Abstract: A method of verifying software includes receiving at least a portion of a software program. The portion of the software program may include a software function within a class. The method may also include generating a proxy class based on the class where the proxy class includes a proxy function that includes a call to the software function and analyzing the proxy function. The analysis of the proxy function may include analyzing the software function based on a proxy condition used by the proxy function, the proxy condition based on the software program and configured to apply conditions to parameters and/or variables in the software function.

Abstract: A projection display device includes an optical modulation element configured to modulate light outputting from a light source, and a projection unit configured to project light modulated by the optical modulation element on a projection screen. The projection display device includes an element control unit that controls the optical modulation element to display a test pattern image, an acquiring unit that acquires an image obtained by capturing the test pattern image from an image capture element that captures the test pattern image projected on the projection screen, and an adjusting unit that adjusts an image projected on the projection screen on the basis of the capture image acquired by the acquiring unit. The element control unit controls the optical modulation element such that a guidance image that guides focus adjustment of the image projected on the projection screen is displayed.

Abstract: A multipackage sponge-forming liquid silicone rubber composition that characteristically comprises at least (A) an alkenyl-containing polydiorganosiloxane comprising (A1) a polydiorganosiloxane that has alkenyl groups on both molecular chain terminals and that does not contain alkenyl groups in the side chains on the molecular chain, and (A2) a polydiorganosiloxane that has at least two alkenyl groups in the side chains on the molecular chain; (B) an organopolysiloxane that has at least two silicon-bonded hydrogen atoms in each molecule; (C) a mixture comprising water and an inorganic thickener; (D) an emulsifying agent; (E) a hydrosilylation reaction catalyst; and (F) a cure retarder; and is stored as a plurality of separate compositions wherein none of this plurality of separately stored compositions contain both component (A) and component (C), none of this plurality of separately stored compositions contain both component (B) and component (C), and none of this plurality of separately stored compositions

Abstract: A battery system includes a secondary battery and a bypass circuit provided with a semiconductor switch element, and the secondary battery and the bypass circuit are connected parallely. In this battery system, the semiconductor switch element is attached so as to radiate heat to a surface of a battery outer case of the secondary battery or to a bus bar.

Abstract: A room temperature-curable electrically conductive fluorosilicone rubber composition comprises: (A) a fluoropolysiloxane capped at the molecular terminals with hydroxyl groups having a viscosity at 25° C. of from 1,000 to 1,000,000 mPa·s; (B) fine silica powder having a BET specific surface area of not less than 50 m2/g; (C) a carbon black; (D) a fibrous carbon allotrope having a graphene structure; and (E) a crosslinking agent. Component (D) is comprised in an amount of not less than 1.5 parts by mass per 100 parts by mass of component (A). The room temperature-curable electrically conductive fluorosilicone rubber composition is cured to form a cured product having both superior post-cure physical strength and electrical conductivity. Also, the room temperature-curable electrically conductive fluorosilicone rubber composition has viscosity that enables superior handling, and provides superior post-cure surface smoothness, solvent resistance, and adhesion.

Abstract: Provided is a press machine for driving a slide by a motor, including a control device for controlling driving of the motor, in which the press machine has a press capacity which can be variably controlled by using field control for the motor.

Abstract: The present invention is to provide a method for growing a group III nitride crystal that has a large size and has a small number of pits formed in the main surface of the crystal by using a plurality of tile substrates. A method for growing a group III nitride crystal includes a step of preparing a plurality of tile substrates 10 including main surfaces 10m having a shape of a triangle or a convex quadrangle that allows two-dimensional close packing of the plurality of tile substrates; a step of arranging the plurality of tile substrates 10 so as to be two-dimensionally closely packed such that, at any point across which vertexes of the plurality of tile substrates 10 oppose one another, 3 or less of the vertexes oppose one another; and a step of growing a group III nitride crystal 20 on the main surfaces 10m of the plurality of tile substrates arranged.

Abstract: Toward making available III nitride crystal substrates advantageously employed in light-emitting devices, and light-emitting devices incorporating the substrates, a III nitride crystal substrate has a major face whose surface area is not less than 10 cm2 and is characterized by: edge dislocations in the crystal being concentrated along propagation lines forming an angle of some 0° to 5° with a given {0001} plane of the crystal; screw dislocations in the crystal being concentrated along propagation lines forming an angle of some 45° to 60° with the given {0001} plane; and in a major-face principal region excluding the peripheral margin of the major face from its outer periphery to a 5 mm separation from its outer periphery, the total dislocation density being between 1×104 cm?2 to 3×106 cm?2 inclusive, and the ratio of screw-dislocation density to the total dislocation density being 0.5 or greater.

Abstract: A first measured value of a specific physical quantity at a target portion is correlated with a damage evaluation index to calculate a damage degree corresponding to the first measured value. The specific physical quantity is measured at least once at a position corresponding to the first measurement position in another time period having a different usage elapsed time from that of the first measurement, and these second and subsequent measured values are correlated with damage degrees calculated based on temporal changes corresponding to the second and subsequent measurements. A new damage evaluation index is approximately calculated based on a relationship between the first, second, and subsequent measured values and the damage degrees corresponding to the first, second, and subsequent measured values.

Abstract: The present invention relates to a nonaqueous electrolytic solution for use in a nonaqueous electrolytic solution secondary battery that comprises a negative electrode and a positive electrode capable of storing and releasing metal ions, and a nonaqueous electrolytic solution, wherein the nonaqueous electrolytic solution contains the specific compounds (A) and (B).

Abstract: A method of analyzing a software program includes compiling the software program into an intermediate representation. The method also includes finding an instruction in the intermediate representation that matches a pattern in a check pattern. The method also includes generating an instrumented intermediate representation in which the instruction is modified according to an action specified in the check pattern. The method also includes symbolically executing the instrumented intermediate representation.

Abstract: According to an aspect of an embodiment, a method of increasing efficiency of a software program may include executing a software program that is developed based on a dynamically-typed programming language. The method may also include determining, during execution of the software program, type information for variables included in the software program. Additionally, the method may include generating a modified software program based on the software program and the type information and distributing the modified software program.

Abstract: A method of verifying software includes receiving at least a portion of a software program. The portion of the software program may include a software function within a class. The method may also include generating a proxy class based on the class where the proxy class includes a proxy function that includes a call to the software function and analyzing the proxy function. The analysis of the proxy function may include analyzing the software function based on a proxy condition used by the proxy function, the proxy condition based on the software program and configured to apply conditions to parameters and/or variables in the software function.

Abstract: A method of analyzing an incomplete software program may include receiving high-level software code of a software program that includes multiple functions. The multiple functions may include at least one incomplete function and at least one complete function. The method may further include compiling at least a portion of the high-level software code to generate low-level software code by compiling the complete function and passing over the incomplete function. The method may further include modifying the low-level software code to account for a call to the incomplete function in the low-level software code and symbolically executing the low-level software code.

Abstract: An adsorption heat pump system includes: an adsorption heat pump including a condenser configured to condense a vapor of a refrigerant; an air-cooling device configured to air-cool a coolant discharged from the condenser in the adsorption heat pump and to resupply the air-cooled coolant to the condenser; and a controller. The controller controls a flow rate of the coolant to be supplied to the condenser according to a difference in temperature between the coolant supplied to the condenser and the coolant discharged from the condenser.

Abstract: A non-aqueous electrolyte battery comprising: a battery case containing aluminum; a positive electrode terminal attached to the battery case; and a negative electrode terminal attached to the battery case and insulated from the battery case, wherein the positive electrode terminal and the battery case are connected through a resistor having resistance of 1? to 1 M?. Otherwise, A non-aqueous electrolyte battery comprising: a battery case containing iron; a negative electrode terminal attached to the battery case; and a positive electrode terminal attached to the battery case and insulated from the battery case, wherein the negative electrode terminal and the battery case are connected through a resistor having resistance of 1? to 1 M?.

Abstract: Disclosed is a method of producing an adsorbent. The method includes hydrophilizing a surface of activated carbon with an oxidizing agent, and immersing the activated carbon in a solution of a basic compound.

Abstract: An embodiment includes a method for detecting a potential floating-point error in an addition or a subtraction instruction included in an operation. The method may include identifying a first operand and a second operand. The first operand and the second operand may be configured to be manipulated during execution of the instruction. The method may include copying a first exponent of the first operand to a first comparison register. The method may also include copying a second exponent of the second operand to a second comparison register. The method may further include comparing the first exponent in the first comparison register to the second exponent in the second comparison register. Based on the comparison, a determination may be made whether the instruction includes a potential floating-point error when executing the instruction using the first operand and the second operand formatted according to a first precision.

Abstract: Aspects may include a method of designing a system-on-chip. The method may include receiving multiple processing modules, each representing in software one of multiple processing units of a system-on-chip. The method may further include modeling communications from one or more of the multiple processing modules as accesses to memory. The method may further include generating a coherent memory module associated with the multiple processing modules based on modeling the communications from the one or more of the multiple processing modules as accesses to memory. The coherent memory module may represent in software a coherent memory associated with the multiple processing units.

Abstract: An image forming apparatus that may securely mix a toner and a carrier in a minimum space when high-speed printing is performed. The image forming apparatus including: a photosensitive drum; a developing roller; and a developing unit, wherein the developing unit includes: a receiving or transferring unit for receiving or transferring a two-component developing agent in an axial direction of a developing roller; and a preparatory agitation unit disposed on an end part of the receiving or transferring unit and including an agitation screw that has a large diameter and for mixing the newly-supplied toner and the carrier.