Sharif Digital Repository

Model-based topography estimation in trolling mode atomic force microscopy

Author

Seifnejad Haghighi, M.

Publisher

Elsevier Inc,

Pub. Year

2020

Subjects

Adaptive fading extended Kalman filter. / Forgetting factor. / Trolling mode atomic force microscopy. / Adaptive filtering. / Atomic force microscopy. / Imaging techniques. / Scanning. / Topography. / Closed loop controllers. / Conventional imaging. / Forgetting factors. / Kalman filter algorithms. / Novel imaging techniques. / Parameter uncertainty. / System dynamics model. / Topography estimation. / Kalman filters.

Does the short-term boost of renewable energies guarantee their stable long-term growth? Assessment of the dynamics of feed-in tariff policy

Author

Milad Mousavian, H.

Publisher

Elsevier Ltd,

Pub. Year

2020

Subjects

Feed-in tariff. / Policy resistance. / Social acceptance. / System dynamics. / Budget control. / Finance. / Electricity-consumption. / Financial managements. / Integrated frameworks. / Long-term growths. / Potential investors. / Renewable energies. / Resistance behaviors. / Alternative energy. / Assessment method. / Computer simulation. / Design. / Energy efficiency. / Financial crisis. / Fuel consumption. / Governance approach. / Investment. / Socioeconomic conditions. / Tariff structure. / Iran.

An investigation on the torsional sensitivity and resonant frequency of an AFM with sidewall and top-surface probes

Author

Kahrobaiyan, M. H.

Pub. Year

2010

Subjects

AFM. / Atomic force microscopes. / Cantilever probe. / Contact stiffness. / Free end. / Geometrical effect. / Geometrical parameters. / Microgears. / Sample surface. / Vertical extension. / Vibration modes. / Design. / Nanocantilevers. / Natural frequencies. / Probes. / Stiffness. / Surface topography. / Atomic force microscopy.

An investigation on the flexural sensitivity and resonant frequency of an AFM with sidewall and top-surface probes

Author

Kahrobaiyan, M. H.

Pub. Year

2010

Subjects

Atomic force microscope (AFM) / Cantilever probe. / Contact stiffness. / Flexural sensitivity. / Geometrical effect. / Sample surface. / Vertical extension. / Vibration modes. / Mechanical engineering. / Nanocantilevers. / Natural frequencies. / Probes. / Surface topography. / Atomic force microscopy.

Sensitivity and resonant frequency of an AFM with sidewall and top-surface probes for both flexural and torsional modes

Author

Kahrobaiyan, M. H.

Pub. Year

2010

Subjects

Atomic force microscopy (AFM) / Nano- and microstructure. / Vibration sensitivity. / AFM. / Cantilever probe. / Contact stiffness. / Electro-mechanical techniques. / Flexural sensitivity. / Free end. / Geometrical effect. / Geometrical parameters. / Microgears. / Resonant frequencies. / Sample surface. / Surface probes. / Top surface. / Torsional modes. / Vertical extension. / Vibration modes. / Atoms. / Microstructure. / Nanocantilevers. / Natural frequencies. / Probes. / Stiffness. / Surface topography.

Fabrication of a novel 3D scaffold for cartilage tissue repair: In-vitro and in-vivo study

Author

Haghighi, P.

Publisher

Elsevier Ltd,

Pub. Year

2021

Subjects

Biocompatibility. / Biomechanics. / Cartilage. / Cell adhesion. / Cell culture. / Cells. / Degradation. / Pore size. / Pore structure. / Repair. / Scaffolds (biology) / Water absorption. / 3D scaffolds. / Cartilage engineering. / Cartilage tissue engineering. / Cartilage tissues. / Chondrocytes. / Control groups. / Gelatin. / Mechanical. / Property. / Silk fibroin. / Chitosan. / Fibroin. / Animal. / Articular cartilage. / Chondrocyte. / Leporidae. / Tissue engineering. / Tissue scaffold. / Animals. / Cartilage, Articular. / Fibroins. / Rabbits. / Tissue Engineering. / Tissue Scaffolds.

Real-time topography and hamaker constant estimation in atomic force microscopy based on adaptive fading extended kalman filter

Author

Haghighi, M.S.

Publisher

Institute of Control, Robotics and Systems,

Pub. Year

2021

Subjects

Adaptive control systems. / Adaptive filtering. / Atomic force microscopy. / Scanning. / Topography. / Classical imaging. / Closed loop controllers. / Conventional imaging. / Estimation process. / Forgetting factors. / Hamaker constants. / Micro-cantilevers. / Transient oscillations. / Extended Kalman filters.

Towards a calculus for nondeterministic schemas in Z

Author

Haghighi, H.

Publisher

World Scientific,

Pub. Year

2012

Subjects

Modalities of nondeterminism. / Schema calculus operations. / Concurrent systems. / Formal program development. / Formal Specification. / Non-determinism. / Schema calculus. / Type theory. / Z notation. / Artificial intelligence. / Software engineering. / Calculations.

A safe stopping protocol to enable reliable reconfiguration for component-based distributed systems

Author

Ghafari, M.

Publisher

Springer Verlag,

Pub. Year

2015

Subjects

Model checking. / Architecture-based. / Component based. / Consistency. / Distributed systems. / Reconfiguration. / Run-time evolutions. / Safe stopping. / Software systems. / Software engineering.

A refinement approach for developing probabilistic programs

Author

Haghighi, H.

Pub. Year

2009

Subjects

Existing method. / Imperative languages. / Probabilistic choices. / Probabilistic programs. / Refinement calculi. / Calculations. / Specifications. / Program translators.

A practical approach to networked control design for robust H∞ performance in the presence of uncertainties in both communication and system

Author

Haghighi, P.

Publisher

Elsevier Inc,

Pub. Year

2020

Subjects

Discrete-time singular system. / Markovian jump linear systems. / Robust H∞ control. / Stochastic admissibility. / Design. / Markov chains. / Networked control systems. / Numerical methods. / Augmentation methods. / Controller design method. / Markovian jump systems. / Network-induced delays. / Networked Control Systems (NCSs) / Output feedback controller. / Performance requirements. / Transition probabilities. / Controllers.

Nondeterminism in constructive Z

Author

Haghighi, H.

Pub. Year

2008

Subjects

Set theory. / Constructive Z. / Formal program development. / Formal specification. / Modalities of nondeterminism. / Nondeterminism. / Specifications.