Results 61 to 70 of about 191,947 (115)

Development of Transmission Systems for Parallel Hybrid Electric Vehicles

Applied Sciences, 2019
This study investigated the matching designs between a power integration mechanism (PIM) and transmission system for single-motor parallel hybrid electric vehicles.
Po-Tuan Chen, Ping-Hao Pai, Cheng-Jung Yang, K. David Huang   +3 more
doaj   +1 more source

Timed Automata Semantics for Analyzing Creol

, 2010
We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to verify real time properties of Creol objects, in particular to see whether ...
Chothia, Tom, Jaghoori, Mohammad Mahdi
core   +2 more sources

Paper-Based Magneto-Resistive Sensor: Modeling, Fabrication, Characterization, and Application

Sensors, 2018
In this work, we developed and fabricated a paper-based anisotropic magneto-resistive sensor using a sputtered permalloy (Ni 81 Fe 19 ) thin film.
Meriem Akin, Autumn Pratt, Jennifer Blackburn, Andreas Dietzel   +3 more
doaj   +1 more source

PDDL2.1: An extension of PDDL for expressing temporal planning domains [PDF]

, 2003
In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources.
Fox, M., Long, D.
core   +1 more source

Use of the Complex Zeros of the Partition Function to Investigate the Critical Behavior of the Generalized Interacting Self-Avoiding Trail Model

Entropy, 2019
The complex zeros of the canonical (fixed walk-length) partition function are calculated for both the self-avoiding trails model and the vertex-interacting self-avoiding walk model, both in bulk and in the presence of an attractive surface.
Damien Foster, Ralph Kenna, Claire Pinettes   +2 more
doaj   +1 more source

Experimental Investigation of the Influence of Longitudinal Tilt Angles on the Thermal Performance of a Small-Scale Linear Fresnel Reflector

Applied Sciences
This paper analyses the influence of the longitudinal tilt angle of the secondary system of a low-concentration photovoltaic system based on a small-scale linear Fresnel reflector.
Carmen López-Smeetz, Arsenio Barbón, Luis Bayón, Covadonga Bayón-Cueli   +3 more
doaj   +1 more source

VERB AS A MEANS OF STATIC SPATIAL LOCALIZATION EXPRESSION IN THE KHANTY LANGUAGE (AS BASED ON OF THE SHURYSHKAR DIALECT)

Sovremennye Issledovaniâ Socialʹnyh Problem, 2018
The article describes the semantic class of verbs of static spatial localization, identification of the internal organization of the lexical-semantic group (LSG) of the studied verbs, description of the distinctive features of these verbs and their ...
Galina Leonidovna Nakhrachеva
doaj  

Investigation on Transition Characteristics of a Modified RAE5243 Airfoil

Energies
The transition characteristics of a modified RAE5243 airfoil were investigated using a wind tunnel test and numerical simulations. Transition detection is of great significance for the assessment of drag reduction.
Zhiyong Liu, Hongbiao Wang, Zhao Zhang, Xiang Liu, Fengxue Qian   +4 more
doaj   +1 more source

On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance [PDF]

, 2007
A. Farzan, A. Farzan, A. Goldberg, D.E. Rodríguez, G.J. Holzmann, J. Goguen, J. Meseguer, J. Meseguer, J. Meseguer, J. Meseguer, M. Clavel, M. Clavel, M.G.J. Brand van den, N. Martí-Oliet, S. Eker   +14 more
core   +1 more source

Location-semantic-based location privacy protection for road network

Tongxin xuebao, 2016
Mobile users suffer location privacy leakage threat as enjoy location-based services (LBS).Therefore,it was important to provide effective policy for location privacy protection.Conventional protection approaches were mainly based on spatial cloaking ...
Hui CHEN, Xiao-lin QIN
doaj   +2 more sources