Abstract: An electronic timepiece includes a second hand, a dial having a display area provided with a plurality of markings corresponding to the second hand, and a display controller that controls driving operation of the second hand to cause the second hand to display calendar information. The display area, when viewed from a timepiece front side, is divided by two straight lines that pass through a rotating shaft of the second hand and are perpendicular to each other into four divided areas. Each of the divided areas is related to years elapsed since a leap year, and each of the markings is related to the month. The display controller, when causing the second hand to display the calendar information, causes the second hand to point at one of the markings in one of the four divided areas to display the elapsed years and the month.

Abstract: An object of the invention is to provide a nonaqueous electrolytic solution which is capable of bringing about a nonaqueous-electrolyte secondary battery improved in initial charge capacity, input/output characteristics, and impedance characteristics. The invention relates to a nonaqueous electrolytic solution which comprises: a nonaqueous solvent; LiPF6; and a specific fluorosulfonic acid salt, and to a nonaqueous-electrolyte secondary battery containing the nonaqueous electrolytic solution.

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: When a temperature inside a secondary battery becomes high and a gas pressure inside a battery case increases, an inversion plate is pressed due to the gas pressure so as to project and curve in a projecting manner toward an external terminal board. Due to such a deformation, a load is transmitted to a current interruption piece via a load transmission portion. At this time, due to a pushing-up force of the load transmission portion, a vulnerable breaking portion forming part of a peripheral edge of the current interruption piece breaks, so that the current interruption piece is displaced to bend in a V-shape via a folding portion. As a result, the secondary battery is brought into an unusable state. Such a configuration can attain simplification of a structure to interrupt a current.

Abstract: A battery system is provided that can prevent overcharging during charging, and that can demonstrate appropriate charging performance and output performance of a secondary battery even when the battery system is used in a low-temperature environment. The battery system includes a secondary battery and a protection circuit. The protection circuit includes a bypass electrical path that connects an upstream-side main electrical path that is connected to a positive terminal of the secondary battery to a downstream-side main electrical path that is connected to a negative terminal of the secondary battery.

Abstract: A method may include detecting a change in a user repository that includes product code and test code. The product code and the test code may correspond to a software program. The change in the user repository may include a change in the product code with a corresponding changed portion of the product code. The method may also include generating, by a test tool, a test code update for the test code. The test code update may be generated based on detecting the change in the user repository and based on the changed portion of the product code. The method may further include communicating a pull request that requests that the user repository add the test code update to the user-managed repository.

Abstract: Provided is a battery having an outer package made of a laminated film, and further with a terminal having a plate-form first metal layer, and second metal layers laid over both surfaces of the first metal layer, respectively. The terminal is sandwiched between portions of the resin layer or between the resin layers, and at its sandwiched region the second metal layers of the terminal contact the resin layer(s) of the laminated film.

Abstract: The present invention relates to a curable silicone composition which is a hydrosilylation reaction curable silicone composition for sealing, coating, or adhering of an optical semiconductor element, and includes at least one type of compound selected from triazole-based compounds with the exception of benzotriazole. The curable silicone composition, for example, includes (A) an organopolysiloxane having at least 2 aliphatic unsaturated hydrocarbon groups per molecule, (B) an organopolysiloxane having at least two silicon-bonded hydrogen atoms per molecule, (C) at least one type of compound selected from among triazole-based compounds with the exception of non-substituted benzotriazole, and (D) a hydrosilylation reaction catalyst. The curable silicone composition forms a cured product having excellent transparency and thermal shock resistance, and the optical semiconductor device utilizing the composition has excellent reliability.

Abstract: A method of testing a software program may include generating a test driver by assigning concrete values to input variables of a software program. The method may also include assigning symbolic source set elements to the input variables of the software program to generate a data structure based on the symbolic source set elements. The method may also include symbolically executing a current instruction of the software program based on the concrete values and symbolic source set elements assigned to the input variables of the software program and performing data source analysis on the current instruction of the software program based on symbolic execution of the current instruction.

Abstract: A task is to provide a non-aqueous electrolytic solution exhibiting excellent cycle capacity maintaining ratio and excellent low-temperature resistance characteristics and a non-aqueous electrolyte secondary battery using the same. An object of the present invention is to provide a non-aqueous electrolytic solution which improves the cycle capacity maintaining ratio and low-temperature resistance characteristics, and a non-aqueous electrolyte secondary battery using the non-aqueous electrolytic solution.

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: A method to generate a human-friendly test context in a test proxy for a function under test may include generating an initial test context of the function under test. The method may also include enhancing a current test context with a new context enhancement. The method may also include adding a hint to the current test context. The current test context may include or be derived from the initial test context.

Abstract: A power supply control device includes a control unit, and a power path that is connected to a primary external power system. If a connection state between the primary external power system and the power path is in a disconnected state, the control unit is configured to control power output of at least one power conditioner of at least one corresponding secondary external power generation unit, based on (a) an amount of power consumption of a specific load connected to the power supply control device through the power path, and (b) a power generation output of the secondary external power generation unit.

Abstract: A method of verifying software may include receiving a portion of a software program that includes multiple functions. The method may also include clustering the functions into two or more clusters of functions and generating a symbolic driver for each of the clusters of functions such that multiple symbolic drivers are generated. The clusters of functions may be symbolically executed using the symbolic drivers to generate concrete test cases for the functions in the clusters. In response to the coverage of the symbolic execution of the clusters of functions being less than a particular coverage or a number of the concrete test cases being more than a particular number of concrete test cases, the method may include re-clustering the functions.

Abstract: A method may include detecting a change in a user repository that includes product code and test code. The product code and the test code may correspond to a software program. The change in the user repository may include a change in the product code with a corresponding changed portion of the product code. The method may also include generating, by a test tool, a test code update for the test code. The test code update may be generated based on detecting the change in the user repository and based on the changed portion of the product code. The method may further include communicating a pull request that requests that the user repository add the test code update to the user-managed repository.

Abstract: An air-conditioning system includes: a first duct through which air discharged from an electronic instrument passes; a water vapor retention chamber; an evaporator configured to be heated by the air passing through the first duct and thereby to generate water vapor inside the water vapor retention chamber; a desiccant rotor including an adsorbent to adsorb moisture and configured to be driven and rotated by a driving unit; a humidification chamber; a second duct configured to feed outdoor air introduced from an outdoor space into the humidification chamber; and a third duct configured to feed the air passing through the humidification chamber into a room where the electronic instrument is installed, wherein a portion of the desiccant rotor is located inside the water vapor retention chamber, and another portion of the desiccant rotor is located inside the humidification chamber.

Abstract: A method to generate test double proxies for callee functions of a function under test may include generating an initial set of test double proxies with abstract test stubs for all callee functions called by the function under test. Each of the test double proxies in the initial set of test double proxies may correspond to a different one of the callee functions. The method may also include generating a first refined set of test double proxies that includes a first refined test stub instead of a first one of the abstract test stubs for a first test double proxy in the initial set of test double proxies in response to determining that refining the first one of the abstract test stubs improves a test coverage of the function under test.

Abstract: The present invention has an objective to provide a silicone elastomer composition in which a cured product thereof is flexible, which provides a silicone elastomer with a small hardness change even due to thermal aging, and in which superior adhesive properties with respect to other silicone elastomers and superior curing properties are exhibited. The objective of the present invention can be achieved by a silicone elastomer composition comprising: (A) an organopolysiloxane having two or more silicon atom-bonded alkenyl groups on average in a molecule, in which the content of the alkenyl group is less than 0.2% by weight with respect to the amount of component (A); (B) an organopolysiloxane having two or more silicon atom-bonded hydrogen atoms on average in a molecule, in which the amount of the silicon atom-bonded hydrogen atoms in component (B) ranges from 2.

Abstract: Systems and methods are disclosed to determine “don't care” variables in programming code. The method comprises obtaining an SMT formula having a plurality of SMT variables from programming code; obtaining a simplified SMT formula from the SMT formula, the simplified SMT formula includes a plurality of simplified SMT variables; obtaining an SAT formula from the simplified SMT formula, the SAT formula includes a plurality of SAT variables; determining which of the plurality of the SMT variables are “don't care” variables from the simplified SMT formula; and determining which of the plurality of the SMT variables are “don't care” variables from the simplified SAT formula.

Abstract: Affords a method of growing, across the entirety of a major surface of a first III-nitride crystal, a second III-nitride crystal by HVPE, in an ambient temperature higher than 1100° C. The present III-nitride crystal growth method comprises: a step of preparing a first III-nitride crystal (10) having an alkali-metal atom concentration of less than 1.0×1018 cm?3; and a step of growing a second III-nitride crystal (20) onto a major surface (10m) of the first III-nitride crystal (10) by HVPE, in an ambient temperature higher than 1100° C.