Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Inamura, Kanagawa
Akihiro Inamura, Kanagawa JP
| Patent application number | Description | Published |
|---|---|---|
| 20100012105 | CONTROL METHOD OF EXHAUST EMISSION PURIFICATION SYSTEM AND EXHAUST EMISSION PURIFICATION SYSTEM - An exhaust emission purification system including a controller performing exhaust temperature rise control executing multistage delay injection control for raising the exhaust temperature, if the exhaust gas temperature is lower than a predetermined judgment temperature, and performing particulate matter combustion removal control executing post injection control, if the exhaust gas temperature becomes equal to or higher than the predetermined judgment temperature, when forced regeneration of a diesel particulate filter is carried out. Multistage delay injection control is forbidden when an idle operation state of an internal combustion engine is sustained for a predetermined judgment time and a power take-off is in operating state. The diesel particulate filter is thereby kept in a good state in a vehicle equipped for purifying particulate matter in exhaust gas by executing forced regeneration while avoiding variation in engine speed. | 01-21-2010 |
Hiroshi Inamura, Kanagawa JP
| Patent application number | Description | Published |
|---|---|---|
| 20100088678 | METHOD AND APPARATUS FOR THE FORMAL SPECIFICATION AND ANALYSIS OF TIMING PROPERTIES IN SOFTWARE SYSTEMS - A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs. | 04-08-2010 |
| 20100198768 | SYSTEM AND METHODS FOR OPTIMIZING USER INTERACTION IN WEB-RELATED ACTIVITIES - A method and apparatus is disclosed herein for facilitating user interaction in web-related activities. In one embodiment, the method comprises monitoring a user's current interaction with a browser, predicting a task a user is likely to take based on a current interaction context associated with the user's current interaction and one or more rules previously generated based on one or more previously recorded browser interactions, and generating, based on the prediction, and displaying a user interface component with the browser, the user interface component selectable by the user and representing an interaction (or a sequence of interactions) that the user can select to occur. | 08-05-2010 |
| 20100223604 | MODULE SYSTEM FOR POLYMORPHIC PI-CALCULUS - A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic π-calculus processes. | 09-02-2010 |
| 20110072417 | DIRECTED TESTING FOR PROPERTY VIOLATIONS - A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored. | 03-24-2011 |
Kohei Inamura, Kanagawa JP
| Patent application number | Description | Published |
|---|---|---|
| 20080204483 | DISPLAY APPARATUS, AND IMAGE SIGNAL PROCESSING APPARATUS AND DRIVE CONTROL APPARATUS FOR THE SAME - In a display apparatus having a display panel | 08-28-2008 |
| 20090009450 | IMAGE DISPLAY APPARATUS AND IMAGE DISPLAY METHODS - Provided are image display apparatus and image display methods capable of suitably making correction for variation of driving conditions due to an electric resistance of matrix wiring of a display panel by downsized hardware. The apparatus and methods involve a device of calculating voltage drop amounts caused by the resistance of row wires, for input image data, and a device of calculating image data with correction for the voltage drop amounts (corrected image data). An overflow processing circuit is provided so as to prevent overflow of the image data after the correction from an input range of a modulator, and the overflow is prevented by a gain. Since a gradation converter for changing a gradation conversion characteristic by a gain is provided in the stage preceding to the configuration for making the correction for influence of the voltage drop, it becomes feasible to cancel saturation characteristics of phosphors and to display images with high quality thereby. | 01-08-2009 |
Seiichi Inamura, Kanagawa JP
| Patent application number | Description | Published |
|---|---|---|
| 20110144162 | OXOTETRAHYDROFURAN-2-YL-BENZIMIDAZOLE DERIVATIVE - The present invention relates to compounds, which are useful for treatment and/or prevention of diabetes mellitus, diabetes mellitus complications or obesity, since the compounds have glucokinase-activating effects, and are presented in Formula (I): wherein R1 represents a carbamoyl group; R2 represents a lower alkyl group; both of X1 and X2 represent CH, or any one of X1 and X2 represents a nitrogen atom and the other represents CH; a group of represents a group selected from the group consisting of a pyridinyl, a pyrazinyl, a pyrazolyl, a thiadiazolyl, a triazolyl, an isoxazolyl and a thiazolyl group; and k is zero or 1, or relates to pharmaceutically acceptable salts thereof. | 06-16-2011 |
Tadayuki Inamura, Kanagawa JP
| Patent application number | Description | Published |
|---|---|---|
| 20110071786 | SEMICONDUCTOR DEVICE AND ITS TESTING METHOD - A semiconductor device | 03-24-2011 |
Tamio Inamura, Kanagawa JP
| Patent application number | Description | Published |
|---|---|---|
| 20090008883 | High-Pressure Fuel Pump and Seal System For High-Pressure Fuel Pump - A high-pressure fuel pump with seal system that is usable under the conditions of “high speed”, “high pressure” and “fuel resistance”. There is provided a high-pressure fuel pump comprising an axle capable of reciprocating motion in the pump and seal system ( | 01-08-2009 |