Loading...
  1. Simple search
  2. Search result
Search for: ardeshir-larijani--e
0.1 seconds
Total 2836 records
 List View    Gallery View

# Type Title Author Publisher Pub. Year Subjects Call Number
1 پایان نامه بررسی تجربی حرکت قطره جیوه توسط نیروی الکترومغناطیسی در دهانه میکروکانال Experimental Study of Movement of Mercury Droplets in Micro Channel by Electromagnetic Force اردشیر لاریجانی، مرتضی Ardeshir Larijani, Morteza صنعتی شریف 1393 جیوه Mercury / هیدرودینامیک مغناطیسی Magnetohydrodynamic / ریزپمپ ها Micropumps / نرم افزار دی. ام. وی DMV Software / ریزپمپ هیدرودینامیک مغناطیسی Magnetohydrodynamic Micropump
‭08-46585
2 پایان نامه طراحی و بهینه سازی سیکل استخراج و مایع سازی هلیم از گاز طبیعی به روش مستقیم Design and Optimization of Helium Extraction and Liquefaction Cycle from Natural Gas by Direct Method اردشیر لاریجانی، مرتضی Ardeshir Larijani, Morteza صنعتی شریف 1400 گاز هلیم Helium Gas / سرمازایی Cryogenic / برج تقطیر Distillation Column / بهینه سازی Optimization / مهندسی فرایند Process Engineering / استخراج هلیوم از گاز طبیعی Helium Extraction from Natural Gas / فرایند مایع سازی Liquefaction Process
‭08-54409
3 مقاله Simulation and performance improvement of cryogenic distillation column, using enhanced predictive Peng–Robinson equation of state Ardeshir Larijani, M. Elsevier B.V, 2019 Computer code.
Cryogenic distillation column.
Enhanced predictive Peng–Robinson.
Performance improvement.
Codes (symbols)
Cryogenics.
Equations of state of gases.
Molar concentration.
Molar ratio.
Thermodynamic properties.
Computer codes.
Cryogenic distillation columns.
Parametric study.
Robinson.
Distillation columns.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
4 مقاله Simulation of hybrid reo connectors Ardeshir Larijani, E. Institute of Electrical and Electronics Engineers Inc, 2020 Component based system.
Cyber physical system.
Hybrid system.
Reo coordination language.
Statistical model checking.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
5 مقاله A counterexample to polynomially bounded realizability of basic arithmetic Ardeshir, M. Duke University Press, 2019 Basic arithmetic.
Polynomially bounded realizability.
Primitive recursive realizability.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
6 مقاله A counterexample to polynomially bounded realizability of basic arithmetic Ardeshir, M. Duke University Press, 2019 Basic arithmetic.
Polynomially bounded realizability.
Primitive recursive realizability.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
7 مقاله Linear parameter-varying model predictive control for intelligent energy management in battery/supercapacitor electric vehicles Larijani, M. R. 2024 Batteries.
Electric vehicle.
Quadratic programming.
Real-time simulation.
Supercapacitors.
Acceleration.
Battery management systems.
Charging (batteries)
Constrained optimization.
Cost functions.
Electric discharges.
Energy dissipation.
Energy management systems.
Energy storage.
Hybrid vehicles.
Linear systems.
Lithium-ion batteries.
Predictive control systems.
Timing circuits.
Battery.
Computational modelling.
Hybrid energy storage systems.
Integrated circuit modeling.
Linear parameter varying models.
Model-predictive control.
Predictive models.
Real time systems.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
8 مقاله Parallel hermite interpolation on the pyramid Larijani, E. 2007 Boolean functions.
Communication.
Computer architecture.
Cybernetics.
Data structures.
File organization.
Information management.
Information science.
Interconnection networks.
Interpolation.
Mesh generation.
Network architecture.
Software architecture.
Hardware architecture (graphics processors)
Hermite interpolation.
Interconnection topologies.
International symposium.
Mesh structures.
Point interpolation.
Pyramid networks.
Software data.
Time complexities.
Parallel algorithms.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
9 مقاله Design and implementation of an ADC-based real-time simulator along with an optimal selection of the switch model parameters Rezaei Larijani, M. Springer Science and Business Media Deutschland GmbH, 2021 Bridge circuits.
Electric inverters.
Field programmable gate arrays (FPGA)
Integrated circuit design.
Particle swarm optimization (PSO)
Cascaded H bridge (CHB)
Design and implementations.
Modified nodal analysis.
Particle swarm optimization algorithm.
Real time simulators.
State-space analysis.
Switching converter.
Switching power converters.
Simulators.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
10 مقاله Investigation of effective parameters on the performance of the helium liquefaction cycle Larijani, M. A. International Information and Engineering Technology Association, 2019 Cold box.
Helium liquefaction.
Energy efficiency.
Energy utilization.
Exergy.
Liquefaction.
Liquefied gases.
Sensitivity analysis.
Superfluid helium.
Cold boxes.
Cryogenic process.
Cycle efficiency.
Exergy analysis.
Parametric study.
Helium.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
11 مقاله Investigation of effective parameters on the performance of the helium liquefaction cycle Larijani, M. A. International Information and Engineering Technology Association, 2019 Cold box.
Cryogenic process.
Cycle efficiency.
Helium liquefaction.
Parametric study.
Energy efficiency.
Energy utilization.
Exergy.
Liquefaction.
Liquefied gases.
Sensitivity analysis.
Superfluid helium.
Cold boxes.
Exergy Analysis.
Helium.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
12 مقاله A unification of the basic logics of Sambin and Visser Ardeshir, M. 2012 Sambin's basic logic.
Subintuitionistic logics.
Substructural logics.
Visser's basic logic.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
13 مقاله On the constructive notion of closure maps Ardeshir, M. Wiley, 2012 Closure maps.
Constructive reverse mathematics.
Fan theorem.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
14 مقاله The double negation of the intermediate value theorem Ardeshir, M. 2010 Decidability.
Intuitionistic mathematics.
The intermediate value theorem.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
15 مقاله Decidability and Specker sequences in intuitionistic mathematics Ardeshir, M. 2009 Decidability.
Intuitionistic mathematics.
Specker sequences.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
16 مقاله Latarres, lattices with an arrow Ardeshir, M. 2017 Algebraic logic.
Implication.
Lattice.
Visser algebra.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
17 مقاله Compactness, colocatedness, measurability and ED Ardeshir, M. Oxford University Press, 2018 Constructive.
Constructive mathematics.
Theorem.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
18 مقاله The principle of open induction and specker sequences Ardeshir, M. Oxford University Press, 2017 Construcive analysis.
Open induction.
Specker sequences.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
19 مقاله The Σ1-provability logic of HA Ardeshir, M. Elsevier B.V, 2018 Heyting Arithmetic.
Intuitionistic logic.
Modal Logic.
Provability Logic.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
20 مقاله The Σ1-Provability Logic of HA Ardeshir, M. Cambridge University Press, 2019 Completeness principle.
Heyting arithmetic.
Intuitionistic logic.
Modal logic.
Provability logic.
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
Total 2836 records