Search Results

In response to the growing demand for fuel economy, we are developing a high-efficient variable displacement pump for hydraulic power steering systems. In order to develop a quiet variable displacement pump which generates lower noise for better vehicle interior sound quality, we have been developing a simulation tool which includes hydraulic analysis, vibration analysis, and vehicle interior noise analysis which combines simulation outputs and measured noise transfer functions of the targeted vehicle. This paper provides both validation results of the simulation tool and application examples to design improvement to conclude the effectiveness of the simulation tool developed.

Model-based methodologies for the engine calibration process, employing engine cycle simulation and polynomial regression analysis, have been developed and the reliability of the proposed method was confirmed by validating the model predictions with dynamometer test data. From the results, it was clear that the predictions by the engine cycle simulation with a knock model, which considers the two-stage hydrocarbon ignition characteristics of gasoline, were in good agreement with the dynamometer test data if the model tuning parameters were strictly adjusted. Physical model tuning and validation were done, followed by the creation of a dataset for the regression analysis of charging efficiency, EGR mass, and MBT using a 4th order polynomial equation. The stepwise method was demonstrated to yield a logarithm likelihood ratio and its false probability at each term in the polynomial equation.

We developed the numerical simulation tool by using OpenFOAM® and in-house simulation codes for Gasoline Direct Injection (GDI) engine in order to carry out the precise investigation of the throughout process from the internal nozzle flow to the fuel/air mixture in engines. For the piston/valve motions, a mapping approach is employed and implemented in this study. In the meantime, the spray atomization including the liquid-columnbreakup region and the secondary-breakup region are simulated by combining the different numerical approaches applied to each region. By connecting the result of liquid-column-breakup simulation to the secondary-breakup simulation, the regions which have different physical phenomena with different length scales are seamlessly jointed; i.e., the velocity and position of droplets predicted by the liquid-column-breakup simulation is used in the secondary breakup simulation so that the initial velocity and position of droplets are transferred.

To detect difficult-to-find defects in automotive control systems, we have proposed a modeling method with a program slicing technique. In this method, a verifier adjusts the boundaries of source code to be extracted on a variable dependence graph, in a kind of data flow. We have developed software tools for this method and achieved a 35% decrease in total verification time on model checking. This paper provides some consideration on effective cases of the method from verification practices. There are two types of malfunction causes: one is the timing of processes (race conditions), and the other is complex logics. Each type requires different elements in external environment models. Furthermore, we propose regression verification based on the modeling method above, to further reduce verification time on model checking. The paper outlines tool extensions needed to realize regression verification.

Magnetic Phase Shifter is the controlling element to make integral action, excellent in anti-noise performance and makes high stable and reliable controlling device. (1)* We have developed a new compact thyristor chopper equipment controlled by Magnetic Phase Shifter. This equipment has simple controlling circuit and many functions such as wide range duty factor control, adjustable plugging brake, speed up by field weakening, anti-rollback control and so on.

Safety concepts are essential to conform to functional safety standard ISO 26262 for automotive products. Safety requirements, which are a part of safety concepts, shall be satisfied by products to avoid hazards by vehicles to maintain their safety. Incompleteness of safety requirements must be avoided in deriving parent requirements to its children. However, measure for checking is only reviewing when the safety requirements are described in a natural language. This measure for checking is not objective or stringent. We developed a specification technique written in formal notation that addresses some of the shortcomings of capturing safety requirements for verification purposes. Safety requirements in this notation are expressed in goal tree models, which originate from goal-oriented requirement engineering Knowledge Acquisition in autOmated Specification (KAOS). Each requirement is written with propositional logic as the node of a tree.