Exploration of the Core Research on Functional Logic Development and Testing of Integrated Vehicle Controllers for Electric Vehicles

2021 ◽  
Author(s):  
Chen Zhang
Keyword(s):  
Electric Vehicles ◽  
The Core ◽  
Functional Logic ◽  
Vehicle Controllers

Research on Data Display for New Electric Vehicle

2013 ◽  
Vol 694-697 ◽  
pp. 2675-2679
Author(s):  
Qiu Chan Bai ◽  
Chun Xia Jin ◽  
Ding Li Yang ◽  
Ma Hua Wang
Keyword(s):  
System Design ◽  
Real Time ◽  
Electric Vehicle ◽  
Electric Vehicles ◽  
Hall Sensor ◽  
Electronic Instrument ◽  
Data Display ◽  
The Core ◽  
Speed Measurement ◽  
Display Function

Based on the data display of instrument for the current electric vehicle is imperfect, this paper puts forward designing a generic electronic instrument of electric vehicle with speed, mileage and power data display function. The microcontroller of AT89C52 is the core of system design. The design uses Hall sensor as a speed detection sensor to realize the mileage/speed measurement display of electric vehicle. It uses the 24C02 saving the mileage information in case of power-down system, uses LED module in real-time displaying the speed, mileage and power, and provides the alarm function of hypervelocity. The design of the system is in real time, running well in the test, may be promoted to the electric vehicles research and development industry.

scholarly journals Default rules for Curry

2016 ◽  
Vol 17 (2) ◽  
pp. 121-147 ◽  
Author(s):  
SERGIO ANTOY ◽  
MICHAEL HANUS
Keyword(s):  
Logic Programming ◽  
Basic Concept ◽  
Functional Programming ◽  
Functional Languages ◽  
Logic Programs ◽  
The Core ◽  
Functional Logic Programming ◽  
Functional Logic ◽  
Default Rules

AbstractIn functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and contrary to functional languages, e.g., Haskell enforces a strict sequential interpretation of rules. However, in some situations it is convenient to express alternatives by means of compact default rules. Although default rules are often used in functional programs, the non-deterministic nature of functional logic programs does not allow to directly transfer this concept from functional to functional logic languages in a meaningful way. In this paper, we propose a new concept of default rules for Curry that supports a programming style similar to functional programming while preserving the core properties of functional logic programming, i.e., completeness, non-determinism, and logic-oriented use of functions. We discuss the basic concept and propose an implementation which exploits advanced features of functional logic languages.

scholarly journals Comparative analysis of positive output super lift DC-DC luo converters

2020 ◽  
Vol 18 (2) ◽  
pp. 707
Author(s):  
Richa Adlakha ◽  
Anita Khosla ◽  
Dheeraj Joshi
Keyword(s):  
Electric Vehicles ◽  
Input Voltage ◽  
Industrial Applications ◽  
Power Supplies ◽  
The Core ◽  
Switched Mode Power Supplies ◽  
Converter Topologies ◽  
Integral Controller ◽  
Proportional Integral Controller ◽  
Solar Powered

<p>Due to the advancement in the semiconductor technologies, DC-DC converters are gaining the importance in several industrial applications. They form the core of the switched mode power supplies which are used in real time applications. The performance of the conventional converter is affected by the parasitic elements and their voltage gain is also limited. To improve upon this, Super lift converters converter were developed by Luo. Voltage lift technique increases the voltage in geometric progression .These super lift converter are classified as positive output and negative output which are further classified into different series. In this paper series of Positive output Super lift converter topologies are analyzed. The proportional –integral controller is employed to theses converter in the paper. These converters boost the voltage up to three times the input voltage and gaining importance in Electric vehicles and Solar powered applications. The simulations are carried in PSIM.</p>

scholarly journals Application of Simulation Software in Optimization of Powertrain of Pure Electric Vehicle

2020 ◽  
Vol 10 (11) ◽  
pp. 42-55
Author(s):  
Baoqi Ma ◽  
Zhenping Wan ◽  
Zhibiao Hu ◽  
Zhantong Li ◽  
Chongyang Han ◽  
...  
Keyword(s):  
Electric Vehicles ◽  
Electromechanical Coupling ◽  
Simulation Software ◽  
Drive System ◽  
Heat Transfer Analysis ◽  
Technical Problems ◽  
The Core ◽  
Noise Optimization ◽  
Drive Motor ◽  
Core Components

— Pure electric vehicles are a research hotspot in today's new energy vehicle industry. Its core is the electromechanical coupled drive system (drive motor and gearbox), and its performance affects the overall performance of pure electric vehicles. The application of industrial software for electromagnetic design, electrothermal design, electromagnetic vibration and noise optimization of drive motors, heat transfer analysis, fatigue analysis, and noise optimization analysis of gearboxes has become important technologies for designing and manufacturing the core components of electromechanical coupling drive systems.This article analyzes the current status and existing problems of the development of simulation software for the core components (drive motor and gearbox) of the electromechanical coupling drive system of electric vehicles, and proposes solutions to key technical problems, and proposes the development direction of unified simulation of drive motor and gearbox on the electromechanical coupling platform

A MODEL-BASED DESIGN-FOR-VERIFICATION APPROACH TO CHECKING FOR DEADLOCK IN MULTI-THREADED APPLICATIONS

2007 ◽  
Vol 17 (02) ◽  
pp. 207-230 ◽  
Author(s):  
BEATA SARNA-STAROSTA ◽  
R. E. K. STIREWALT ◽  
LAURA K. DILLON
Keyword(s):  
Constraint Handling ◽  
Compositional Model ◽  
The Core ◽  
Model Based ◽  
Functional Logic

This paper explores an approach to design for verification in systems built atop a middleware framework which separates synchronization concerns from the "core-functional logic" of a program. The framework is based on a language-independent compositional model of synchronization contracts, called Szumo, which integrates well with popular OO design artifacts and provides strong guarantees of non-interference for a class of strictly exclusive systems. An approach for extracting models from Szumo design artifacts and analyzing the generated models to detect deadlocks is described. A key decision was to use Constraint Handling Rules to express the semantics of synchronization contracts, which allowed a transparent model of the implementation logic.

What face familiarity feelings say about the lateralization of specific entities within the core system

2019 ◽  
Vol 42 ◽  
Author(s):  
Guido Gainotti
Keyword(s):  
Temporal Lobe ◽  
Memory System ◽  
Core System ◽  
The Core ◽  
Memory Traces ◽  
Specific Memory ◽  
Target Article ◽  
Temporal Structures ◽  
The Right

Abstract The target article carefully describes the memory system, centered on the temporal lobe that builds specific memory traces. It does not, however, mention the laterality effects that exist within this system. This commentary briefly surveys evidence showing that clear asymmetries exist within the temporal lobe structures subserving the core system and that the right temporal structures mainly underpin face familiarity feelings.

A scanning electron microscopic study on dissolving process of cholesterol gallstones by chenodeoxycholic acid (CDCA)

1978 ◽  
Vol 36 (2) ◽  
pp. 522-523
Author(s):  
T. Kanetaka ◽  
M. Cho ◽  
S. Kawamura ◽  
T. Sado ◽  
K. Hara
Keyword(s):  
Electron Microscope ◽  
Chenodeoxycholic Acid ◽  
Outer Surface ◽  
Electron Microscopic ◽  
Cholesterol Gallstones ◽  
The Core ◽  
Scanning Electron Microscopic Study ◽  
Scanning Electron Microscopic ◽  
Acceleration Voltage ◽  
Scanning Electron

The authors have investigated the dissolution process of human cholesterol gallstones using a scanning electron microscope(SEM). This study was carried out by comparing control gallstones incubated in beagle bile with gallstones obtained from patients who were treated with chenodeoxycholic acid(CDCA).The cholesterol gallstones for this study were obtained from 14 patients. Three control patients were treated without CDCA and eleven patients were treated with CDCA 300-600 mg/day for periods ranging from four to twenty five months. It was confirmed through chemical analysis that these gallstones contained more than 80% cholesterol in both the outer surface and the core.The specimen were obtained from the outer surface and the core of the gallstones. Each specimen was attached to alminum sheet and coated with carbon to 100Å thickness. The SEM observation was made by Hitachi S-550 with 20 kV acceleration voltage and with 60-20, 000X magnification.

The Structure and Development of Microbodies in the Fat Body and other Tissues of an Insect (Calpodes Ethlius)

1970 ◽  
Vol 28 ◽  
pp. 148-149
Author(s):  
M. Locke ◽  
J. T. McMahon
Keyword(s):  
Electron Microscopy ◽  
Liquid Crystals ◽  
Fat Body ◽  
Competitive Inhibitor ◽  
Dense Core ◽  
Urate Oxidase ◽  
Blood Proteins ◽  
Free Base ◽  
The Core ◽  
The Matrix

The fat body of insects has always been compared functionally to the liver of vertebrates. Both synthesize and store glycogen and lipid and are concerned with the formation of blood proteins. The comparison becomes even more apt with the discovery of microbodies and the localization of urate oxidase and catalase in insect fat body.The microbodies are oval to spherical bodies about 1μ across with a depression and dense core on one side. The core is made of coiled tubules together with dense material close to the depressed membrane. The tubules may appear loose or densely packed but always intertwined like liquid crystals, never straight as in solid crystals (Fig. 1). When fat body is reacted with diaminobenzidine free base and H2O2 at pH 9.0 to determine the distribution of catalase, electron microscopy shows the enzyme in the matrix of the microbodies (Fig. 2). The reaction is abolished by 3-amino-1, 2, 4-triazole, a competitive inhibitor of catalase. The fat body is the only tissue which consistantly reacts positively for urate oxidase. The reaction product is sharply localized in granules of about the same size and distribution as the microbodies. The reaction is inhibited by 2, 6, 8-trichloropurine, a competitive inhibitor of urate oxidase.

Exsolution and inversion in pigeonite from the Whin Sill, Northern England

1978 ◽  
Vol 36 (1) ◽  
pp. 474-475
Author(s):  
P.P.K. Smith
Keyword(s):  
High Temperature ◽  
Low Temperature ◽  
Homogeneous Nucleation ◽  
Silicate Mineral ◽  
Antiphase Boundaries ◽  
Two Phase ◽  
Primitive Form ◽  
The Core ◽  
Nucleation Mechanisms ◽  
And Inversion

Grains of pigeonite, a calcium-poor silicate mineral of the pyroxene group, from the Whin Sill dolerite have been ion-thinned and examined by TEM. The pigeonite is strongly zoned chemically from the composition Wo8En64FS28 in the core to Wo13En34FS53 at the rim. Two phase transformations have occurred during the cooling of this pigeonite:- exsolution of augite, a more calcic pyroxene, and inversion of the pigeonite from the high- temperature C face-centred form to the low-temperature primitive form, with the formation of antiphase boundaries (APB's). Different sequences of these exsolution and inversion reactions, together with different nucleation mechanisms of the augite, have created three distinct microstructures depending on the position in the grain.In the core of the grains small platelets of augite about 0.02μm thick have farmed parallel to the (001) plane (Fig. 1). These are thought to have exsolved by homogeneous nucleation. Subsequently the inversion of the pigeonite has led to the creation of APB's.

Sign in / Sign up

Export Citation Format

Share Document