Abstract: A battery includes an outer package including a laminated film including one or more resin layers, a terminal, and a melt-bonding assisting member including a thermoplastic resin and extending along the terminal. The outer package includes a melt-bonded region at which the terminal is sandwiched between the one or more resin layers via the melt-bonding assisting member. The terminal includes an inner part, a sandwiched part, and an outer part arranged in a first direction. The battery has a discharge capacity of 10 Ah or more.

Abstract: According to an aspect of an embodiment, operations may include generating a first abstract syntax tree with respect to a first iteration of first source code of a first software program and generating a second abstract syntax tree with respect to a second iteration of the first source code. The operations may also include identifying a first sub-tree of the first abstract syntax tree and identifying a plurality of second sub-trees of the second abstract syntax tree. In addition the operations may include generating a first textual representation of the first sub-tree and generating a plurality of second textual representations with respect to the second sub-trees. Moreover, the operations may include modifying the second abstract syntax tree based on the second sub-trees and obtaining a third iteration of the first source code by regenerating the first source code based on the modified second abstract syntax tree.

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: According to an aspect of an embodiment, operations may include generating a first abstract syntax tree with respect to a first iteration of first source code of a first software program and generating a second abstract syntax tree with respect to a second iteration of the first source code. The operations may also include identifying a first sub-tree of the first abstract syntax tree and identifying a plurality of second sub-trees of the second abstract syntax tree. In addition the operations may include generating a first textual representation of the first sub-tree and generating a plurality of second textual representations with respect to the second sub-trees. Moreover, the operations may include modifying the second abstract syntax tree based on the second sub-trees and obtaining a third iteration of the first source code by regenerating the first source code based on the modified second abstract syntax tree.

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. The present invention is a non-aqueous electrolytic solution comprising an electrolyte and a non-aqueous solvent dissolving therein the electrolyte, wherein the non-aqueous electrolytic solution contains a compound represented by formula (1), and a non-aqueous electrolyte secondary battery comprising the non-aqueous electrolytic solution.

Abstract: Operations may include identifying an edit that corresponds to a fault of a program. The edit may be identified based on a difference between the program and an improved program. The operations may include obtaining an AST that represents the program and includes defect nodes that correspond to a fault location and include an edit node. The operations may include classifying a particular node as a primary node that operates as a starting point for the edit. The operations may include identifying a path from the primary node to the edit node. The operations may include generating a fix pattern based on the path and the edit. The operations may include performing repairs with respect to an identified fault of code. The repairs may be performed using the fix pattern and based on the identified fault of the code being the same type as the fault of the program.

Abstract: Provided is a downhole tool member containing a polyglycolic acid resin composition that is easy to process during extrusion molding or injection molding, is able to reduce cracks during cutting and transportation, and has sufficient strength in a well in a high temperature environment. The downhole tool member according to an embodiment of the present invention contains a polyglycolic acid resin composition, in which a weight-average molecular weight Mw is from 150,000 to 300,000, and a melt viscosity My (Pa·s), measured at a temperature of 270° C. under a shearing speed of 122 sec?1, satisfies Mv<6.2×10?15×Mw3.2.

Abstract: An object of the present invention is to provide a well plugging apparatus configured to reduce an expense and shorten a process for well drilling and a temporal plugging method of a well using the well plugging apparatus. The well plugging apparatus according to the present invention is a well plugging apparatus that includes a downhole plug, a setting tool (2) to operate and install the downhole plug, and an obstacle that plugs a flow path in the downhole plug. Since the setting tool (2) internally includes the obstacle, after the downhole plug is installed inside the well, and the setting tool (2) is removed, the flow path in the downhole plug can be reliably plugged in a short time. Additionally, the use of the well plugging apparatus of the present invention allows temporarily plugging the well reliably in a short time.

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: According to an aspect of an embodiment, operations may include determining a plurality of event correspondences. Each event correspondence may indicate a correspondence between a respective change of a plurality of changes made to first source code of a first software program and a respective event type that occurs with respect to the first software program. The plurality of event correspondences may be determined by performing two or more event type inference operations of a plurality of event type inference operations. The plurality of event type inference operations may include determining a fault introduction event, determining a fault correction event, determining a defect introduction event, determining a defect correction event, and determining a platform migration event.

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: According to an aspect of an embodiment, a method may include generating an abstract code graph (ACG). The method may include obtaining an abstract syntax tree (AST). The AST may include a first AST node that may represent a first construct at a first level of abstraction and a second AST node that may represent a second construct. The method may further include generating an ACG, based on the AST. The generating of ACG may include generating a first ACG node based on the first AST node and a second ACG node based on the second AST node. The generating of ACG may also include generating, based on the first ACG node, a third ACG node that represents the first construct at a second level of abstraction. The third ACG node may be connected between the first ACG node and the second ACG node based on the AST.

Abstract: The present invention provides an optical member comprising a silicone material having excellent antifouling property while having good light transmittance, heat resistance, and strength, and an optical semiconductor device and illumination apparatus having excellent antifouling property. The present invention is an optical member comprising a silicone material containing a fluorinated surface, the proportion of F atoms being from 0.1 to 45 at % and/or the ratio of F atoms relative to C atoms being from 0.01 to 1.00 in the atomic composition percentage according to X-ray photoelectron spectroscopy (XPS) of the fluorinated surface.

Abstract: Operations may include identifying an edit that corresponds to a fault of a program. The edit may be identified based on a difference between the program and an improved program. The operations may include obtaining an AST that represents the program and includes defect nodes that correspond to a fault location and include an edit node. The operations may include classifying a particular node as a primary node that operates as a starting point for the edit. The operations may include identifying a path from the primary node to the edit node. The operations may include generating a fix pattern based on the path and the edit. The operations may include performing repairs with respect to an identified fault of code. The repairs may be performed using the fix pattern and based on the identified fault of the code being the same type as the fault of the program.

Abstract: Provided is a power supply apparatus including a power storage module, a DC-AC inverter, a bypass circuit, and a controller. The DC-AC inverter converts output of the power storage module into AC power. The bypass circuit directly transmits the AC power. The controller switches between a discharge mode for supplying output of the DC-AC inverter to a load, and a bypass mode for supplying output of the bypass circuit to the load. A threshold for switching between the discharge mode and the bypass mode is set to a range that enables the power storage module to provide output in an overload state.

Abstract: A method may include obtaining a plurality of synthesized method invocations using a plurality of objects and a plurality of methods of a software program. The method may also include determining a prioritization of the plurality of synthesized method invocations based on one or more of: relationships between one or more characteristics of each of the plurality of synthesized method invocations and a fault location; and relationships between the one or more characteristics and an error report that corresponds to the fault location. The method may also include selecting a synthesized method invocation from the plurality of synthesized method invocations for repair operations with respect to the fault location based on a corresponding prioritization of the selected synthesized method invocation. In addition, the method may include performing repair operations with respect to the fault location and the selected synthesized method invocation.

Abstract: According to an aspect of an embodiment, a method may identifying a fault location of a fault in a tested software program using a test suite and obtaining a repair candidate for the fault. In addition, the method may include obtaining a repair code pattern of the repair candidate and determining a number of occurrences of the repair code pattern in existing code of multiple existing software programs. Moreover, the method may include prioritizing the repair candidate as a repair of the tested software program based on the number of occurrences of the repair code pattern. The method may also include performing repair operations on the tested software program according to the prioritizing of the repair candidate.

Abstract: A primer composition is provided. The primer composition comprises: (A) an organosiloxane block copolymer represented by the average unit formula: (R12SiO2/2)a(R2SiO3/2)b, wherein each R1 and R2 is independently an alkyl group having 1 to 12 carbon atoms, an aryl group having 6 to 20 carbon atoms, or an aralkyl group having 7 to 20 carbon atoms, “a” is a number in the range of 0.40 to 0.90, “b” is a number in the range of 0.10 to 0.60, and “a+b”=1.00, and having 0.5 to 35.0 mol % of silicon atom-bonded hydroxyl groups or silicon atom-bonded alkoxy groups, in which resinous siloxane blocks are connected by linear siloxane blocks; (B) a curing catalyst; and (C) an organic solvent. The primer composition improves the adhesion of silicone-cured products to base materials of optical semiconductor elements, package materials, substrates etc., and can suppress peeling or cracking caused by heat cycles.

Abstract: According to an aspect of an embodiment, a method may include generating an abstract code graph (ACG). The method may include obtaining an abstract syntax tree (AST). The AST may include a first AST node that may represent a first construct at a first level of abstraction and a second AST node that may represent a second construct. The method may further include generating an ACG, based on the AST. The generating of ACG may include generating a first ACG node based on the first AST node and a second ACG node based on the second AST node. The generating of ACG may also include generating, based on the first ACG node, a third ACG node that represents the first construct at a second level of abstraction. The third ACG node may be connected between the first ACG node and the second ACG node based on the AST.

Abstract: A search device, for each of a plurality of inquiries including a plurality of options, based on a log of answers of a respondent in the past, specifies a matching option corresponding to a trend of answers of the respondent from the plurality of options to be represented to the respondent. The search device, when an answer to the plurality of options is included in the matching option, determines that it is a preference-reached mode that is a mode where the estimating a preference of the user converges. The search device transmits, to the respondent, an inquiry including options, contents of the options included in the inquiry being changed depend on whether it is determined to be a preference-reached mode in the determining.