Abstract: A system in which a pass/fail criterion can be expressed using a temporal logic formula when testing object code is provided. The system includes a control content generation part for generating information regarding test execution control content from execution path information retrieved from an object to be inspected, which is object code or an executable file model. The system further includes a pass/fail condition generation part for generating information regarding a pass/fail condition from the execution path information and an inspection formula, including a temporal component, for the object to be inspected. The system also includes a test case generation part for generating a test case having a corresponding pass/fail condition for the inspection formula from the information regarding the test execution control content and the information regarding the pass/fail condition.

Abstract: The purpose of the present invention is to provide a technique whereby a pass/fail criterion can be expressed using a temporal logic formula when testing object code.

Abstract: In a control device for an internal combustion engine having a turbocharger with a variable turbo flow rate, and an intake valve provided with a variable valve mechanism, mirror cycle operation is performed. The control device includes a device which calculates an intake air quantity per unit time and an intake air quantity per cycle on the basis of torque required to the internal combustion engine. The turbocharger is controlled so that, with the calculated intake air quantity per unit time, supercharging pressure is further increased in a range in which the ratio of exhaust pressure to supercharging pressure is equal to or less than a predetermined value. A further device, which controls the variable valve mechanism on the basis of the supercharging pressure and the calculated intake air quantity per cycle.

Abstract: When an engine torque trace is set during acceleration or deceleration, the ratio of increase or decrease in the engine torque per unit time is restricted so that when the engine torque generated during acceleration or deceleration approaches an engine torque (balance torque) at which the engine is oriented upright with respect to the engine mount, the engine torque stays near the balance torque for a prescribed time.

Abstract: A vehicle control apparatus is provided which can detect a rotating speed drop of an engine generated together with a clutch connection so as to be set to a trigger of a control start. An engine rotating speed at a time of issuing the trigger is set to a target rotating speed, and a rotating speed feedback control having an engine torque as an operation amount is carried out. An ignition retard and a fuel cut are provided as an operator for engine torque in addition to an intake air amount operation by an electronically controlled throttle.

Abstract: When a throttle is fully open, a maximum torque set value is corrected based on the ratio between the maximum air volume set value under fully-open throttle conditions and the actual maximum air volume detected by an intake air volume meter such as an air flow sensor. Based on the corrected maximum torque set value, both the relation between the degree of accelerator opening and target torque and the relation between the target torque (target air volume) and the degree target throttle opening are corrected.

Abstract: The present invention has a means for calculating the amount of air to be inhaled into the cylinder in a steady state of an internal combustion engine by using a regression model based on the rotational speed of an internal combustion engine, the pressure in an intake pipe, and the valve lift characteristics of the variable valve, and also includes a means for estimating the amount of air to be inhaled into the cylinder of an internal combustion engine by compensating for a delay in flow rate detection by an intake airflow rate detection means according to a change in the amount of air to be inhaled that is caused by a change, which is calculated by the regression model, in variable valve operation.

Abstract: An engine control system, which is adaptable for individual differences among engines, changes with time, environmental changes, etc., and which can control engine torque with high accuracy and high response. The engine control system comprises a unit for detecting engine torque in at least one of direct and indirect manners, a unit for computing an engine control parameter, and a unit for modifying the engine control parameter based on the detected torque detected by the engine torque detecting unit.

Abstract: In a control method and control device for an engine, in order to prevent torque control precision from deteriorating while performing an ignition retard control in a variable valve engine, when a torque down control is carried out by using the ignition retard, combustion duration is calculated in consideration of valve timing or an engine rpm for each driving state, and a characteristic of a reference ignition timing efficiency curve is corrected on the basis of a difference between the combustion duration and a combustion duration reference value which is set in advance.

Abstract: A control device for an internal combustion engine, which comprise a turbocharger, of which turbo flow rate is made variable, and an intake valve provided with a variable valve mechanism and in which mirror cycle is performed, the control device comprising: device, which calculates an intake air quantity per unit time and an intake air quantity per cycle on the basis of torque required to the internal combustion engine; device, which controls the turbocharger so that with the intake air quantity per unit time, supercharging pressure is further increased in that range, in which a ratio of supercharging pressure and exhaust pressure is equal to or less than a predetermined value; and device, which controls the variable valve mechanism on the basis of the supercharging pressure and the intake air quantity per cycle.

Abstract: A transient correction of an ignition timing is precisely executed even in a transient state. The ignition timing at a stationary time is computed on the basis of an operating state detected by an operating state detecting means, and the ignition timing at the stationary time is corrected by a transient time ignition timing correcting means defined by a transfer function G(s).

Abstract: An object of the invention is to provide a vehicle control apparatus which can achieve a smooth start without generating any engine stall even if general drivers perform a rough starting operation in an MT vehicle, and can execute an engine torque operation having no sense of discomfort with respect to an accelerator operation. A rotating speed drop of an engine generated together with a clutch connection is detected so as to be set to a trigger of a control start, an engine rotating speed at a time of issuing the trigger is set to a target rotating speed, and a rotating speed feedback control having an engine torque as an operation amount is carried out. As an operating means for the engine torque, an ignition retard and a fuel cut are employed in addition to an intake air amount operation by an electronically controlled throttle.

Abstract: An internal combustion engine controller for automobiles which realizes torque increasing performance and exhaust gas purifying performance in a well-balanced manner even when a high-response torque increase is demanded in uniform charge stoichiometric combustion which is operated at a value close to the theoretical air-fuel ratio in torque base type engine control. The internal combustion engine controller comprises target torque computation means for computing the target torque based on the demand torque of the internal combustion engine such as the operation quantity of an accelerator, means of computing the target throttle angle based on the target torque, and torque assist control means for assisting torque based on the state of the target torque and the operation state of the internal combustion engine. The above torque assist control means carries out torque assist control by increasing the quantity of fuel when a torque increase is demanded.

Abstract: The control device of the internal combustion engine has a variable valve train capable of variable-controlling opening/closing time or lift amount of at least one of an intake valve and an exhaust valve, and a turbo charger. The control device comprises: an internal EGR scavenging ratio arithmetic operation unit to, in a charging status, when intake pressure becomes higher in comparison with exhaust pressure, perform arithmetic operation to obtain an internal EGR scavenging ratio as an internal EGR ratio scavenged from a cylinder to the exhaust pipe and reduced in the overlap duration in which both the intake valve and the exhaust valve are opened; and a unit to control the overlap duration so as to control the arithmetic-operated internal EGR scavenging ratio to a predetermined ratio.

Abstract: When a throttle is fully open, a maximum torque set value is corrected based on the ratio between the maximum air volume set value under fully-open throttle conditions and the actual maximum air volume detected by an intake air volume meter such as an air flow sensor. Based on the corrected maximum torque set value, both the relation between the degree of accelerator opening and target torque and the relation between the target torque (target air volume) and the degree target throttle opening are corrected.

Abstract: A spark advance controller capable of controlling spark advance in an internal combustion engine with high accuracy without requiring a larger number of data maps and performing laborious optimization tests using an actual engine. In the spark advance controller, map data for controlling the spark advance is computed by a numerical simulator simulating an internal combustion engine, and the map data for spark advance control is approximated with a regression model. The spark advance is computed by using the regression model depending on the detected operating conditions.

Abstract: When an engine torque trace is set during acceleration or deceleration, the ratio of increase or decrease in the engine torque per unit time is restricted so that when the engine torque generated during acceleration or deceleration approaches an engine torque (balance torque) at which the engine is oriented upright with respect to the engine mount, the engine torque stays near the balance torque for a prescribed time.

Abstract: An internal combustion engine controller, is used with a fuel-based torque-on-demand control type, multi-cylinder, direct-injection internal combustion engine, to provide an air flow rate control that excels in response and convergence. The internal combustion engine controller includes a section for computing a target throttle opening from operating conditions, which in turn includes a first computing section for determining a target throttle opening by feedback control in accordance with operating conditions including an intake air flow rate; a second computing section for determining a target throttle opening by feed-forward control in accordance with operating conditions; and a third computing means for determining a target throttle opening based on the target throttle opening value determined by the first computing means and the second computing means.

Abstract: An internal combustion engine control device for, in a lean-burn internal combustion engine provided with a three-way catalyst and a lean NOx catalyst in an exhaust system, optimizing an air/fuel ratio in a rich mode from the viewpoints of both better fuel economy and exhaust emission control when NOx having been stored in a lean NOx catalyst during a lean operation is desorbed and cleaned by switching to a rich operation. An internal combustion engine control device for controlling an air/fuel ratio during the rich operation to be changed between a period of desorbing O2 stored in the three-way catalyst and a period of desorbing and cleaning NOx stored in the lean NOx catalyst.

Abstract: A transient correction of an ignition timing is precisely executed even in a transient state. The ignition timing at a stationary time is computed on the basis of an operating state detected by an operating state detecting means, and the ignition timing at the stationary time is corrected by a transient time ignition timing correcting means defined by a transfer function G(s).