Abstract:
A conducting organic polymer battery is disclosed, which comprises a cathode comprising a conducting organic polymer doped with a polymer anion having a number of anionic groups in the molecule thereof, an anode comprising a metal having a redox potential lower than that of the conducting organic polymer, and an electrolyte solution or a solid electrolyte as an ion conductive phase. In the battery, the ion concentration in an electrolyte solution does not substantially change during charging and discharging.
Abstract:
A parameter correction method includes: obtaining, from a variability-aware simulation, a simulation result value of a predetermined product performance for a reference candidate value set concerning statistics of predetermined product characteristics; calculating a likelihood by substituting the reference candidate value set, the obtained simulation result value, statistics of measurement values of the predetermined product characteristics and a measurement value of the predetermined product performance into a likelihood function that is defined from a probability density function for the statistics of the predetermined product characteristics and a probability density function for the predetermined product performance, and is a function to calculate a combined likelihood of the statistics of the predetermined product characteristics and the predetermined product performance; and searching for a reference candidate value set in case where the calculated likelihood becomes maximum, by carrying out the obtaining and the calculating plural times while changing the reference candidate value set.
Abstract:
A semiconductor memory includes a memory cell array that includes data cells of x bits and redundant cells of y bits for each word; a position-data storage unit that stores, for each word, defective-cell position data of defective cells of the data cells and the redundant cells; and a read circuit that reads data from cells of x bits based on the defective-cell position data stored in the position-data storage unit for a specified word of which address is specified as read address, the cells of x bits being formed by the data cells of x bits and the redundant cells of y bits of the specified word other than the defective cells.
Abstract:
A computer readable non-transitory medium storing a design aiding program causes a computer to execute a process of determining worst-case corner candidates for each of a plurality of condition sets. The design aiding program causes the computer to execute a process of mapping the worst-case corner candidates that are within an allowable range. The design aiding program causes a computer to execute a process of determining the worst-case corner candidates that minimize the number of the worst-case corner candidates mapped to the condition sets by handling the worst-case corner candidates thus mapped as a single worst-case corner candidate to be worst-case corners.
Abstract:
Clock gating analysis of a target circuit having a plurality of clock gates, involves the calculation of a clock gate function for each of the clock gates. The clock gate functions indicate an activation state of the clock gates and a combination of output values from sequential circuit elements in the target circuit are substituted into each of the clock gate functions to obtained clock gate function values. Combinations of the clock gate function values form individual clock gating states. Each clock gating state indicates an activation state of each of the local clocks, collectively. A table indicating correlations between the combinations of output values and the clock gating states is generated and from the conversion table, a group that includes all of the clock gating states possible is output.
Abstract:
In an LSI analysis apparatus, a logic element pair extracting unit extracts an unselected logic element pair when an input unit receives circuit description input. A searching unit searches for an input pattern causing the extracted pair to perform concurrent transition. When an input pattern causing concurrent transition is found, the searching unit determines the extracted pair to be a pair capable of concurrent transition (concurrent transition pair), and holds the input pattern causing concurrent transition. When an input pattern causing concurrent transition is not found, the searching unit determines the extracted pair to be a non-concurrent transition pair. An input pattern operation ratio calculating unit calculates an input pattern operation ratio for each input pattern causing concurrent transition. A detecting unit detects an input pattern yielding the highest input pattern operation ratio. An output unit puts out the detected input pattern, non-concurrent transition pairs, etc.
Abstract:
An apparatus for creating a simplified false-path description on a false path among paths in a target circuit extracts, from descriptions on the paths, a target path description on a target path. The apparatus judges whether the target path is a false path based on the target path description. The apparatus identifies, when it is judged that the target path is a false path, a sufficient set of elements from elements included in the target path. The settings for causing every element in the sufficient set to transmit a signal conflict. The apparatus creates the simplified false-path description on the false path by deleting, from the target path description, a description on elements that are not included in the sufficient set.
Abstract:
A false path detection program whereby passing points of signal lines constituting false paths are directly detected, thereby shortening the processing time necessary for the false path detection and the processing time of tools utilizing false path information. A storing section stores, in a storage device, circuit information about a circuit designed by a designer. A signal value generating section generates an impossible signal value with respect to a signal line in the circuit. A signal propagation inspecting section assigns the signal value generated by the signal value generating section to an input of a gate connected to the signal line with respect to which the signal value has been generated, and examines whether signal is propagated through the other input of the gate only when accompanied by the signal value. If signal is propagated through the other input of the gate, a passing point acquiring section acquires a passing point of the other signal line connected to the other input of the gate. A false path specifying section specifies a false path by the passing point acquired by the passing point acquiring section.
Abstract:
An internal combustion engine providing a strong mounting attachment for an engine accessory component on a light weight element of the engine body that is provided with a reinforcement for another primary purpose.
Abstract:
The ethylene base copolymer of the present invention having a density d falling in a range of 940 to 970 kg/m3, a polydispersion index PDI falling in a range of 25 to 50 and a long chain branch index LCBI falling in a range of 0.6 to 2.0 has a high impact strength and few fish eyes and is excellent in a high extruding characteristic, a high-speed moldability, a bubble stability and a tear strength in molding, and it can be produced via at least two steps of reaction by a slurry polymerization method using a Ziegler catalyst.
Abstract translation:本发明的乙烯基共聚物的密度d在940〜970kg / m 3的范围内,多分散指数PDI在25〜50的范围内,长链分支指数LCBI落在一个范围内 0.6至2.0具有高冲击强度和极少的鱼眼,并且具有优异的挤出特性,高速成型性,气泡稳定性和模塑中的撕裂强度,并且可以通过至少两个反应步骤 通过使用齐格勒催化剂的淤浆聚合法。