Abstract: According to an aspect of an embodiment, a method may include identifying a fault location in a software program using a test suite. The method may further include determining, using machine learning, a repair effectiveness indication that indicates a potential effectiveness of performing a potential repair operation at the fault location. In addition, the method may include prioritizing implementing a repair at the fault location based on the repair effectiveness indication. The method may further include performing repair operations with respect to the software program based on the prioritization of the fault location.

Abstract: An environmental improvement material includes granulated and/or powderized Wakkanai diatom shale that has been subjected to a sterilisation treatment and provides a disinfecting, sterilizing, or deactivating function, and disinfects, sterilizes, or deactivates microorganisms.

Abstract: A modular data center includes: a rack which houses an electronic device; a blower device capable of switching a flowing direction of air and configured to feed the air into the rack; a space housing a moisture absorbent; an in-rack temperature detector which detects a temperature inside the rack; a dew-point temperature detector which detects a dew-point temperature of outside air; and a controller. The controller receives signals inputted from the in-rack temperature detector and the dew-point temperature detector, and controls shutters and the blower device.

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: 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: 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: A time information receiver that receives a standard radio wave containing a time code and analyzes the time code based on a demodulated signal of the standard radio wave includes a falling edge cycle measurement part that measures a falling edge cycle of the demodulated signal over a measurement period set in advance and counts an occurrence in which the falling edge cycle is determined to coincide with any of 400 ms, 700 ms, 1300 ms, and 1600 ms, a low level width measurement part that measures a low level width over the measurement period whenever the falling edge cycle of the demodulated signal occurs and counts an occurrence in which the measured low level width is greater than or equal to a predetermined threshold greater than 300 ms but smaller than 500 ms.

Abstract: According to an aspect of an embodiment, a method may include identifying a fault at a fault location in a software program using a test suite. The method may also include determining multiple textual similarity scores by determining a textual similarity score with respect to each of multiple repair candidates for the fault. In addition, the method may include sorting the repair candidates based on the textual similarity scores. The method may also include selecting a particular repair candidate from the repair candidates based on the sorting. Moreover, the method may include implementing the particular repair candidate at the fault location based on the selection of the particular repair candidate.

Abstract: An analysis program recorded in a recording medium causes a computer to hold, when executing an intermediate code that is a compiled code in which an element in a source code is replaced with a metafunction that changes the element to a mutant, a set of mutation descriptors indicating a change in the mutant with respect to a mutation operation corresponding to the metafunction. The analysis program further causes the computer to evaluate a command of each of the mutation descriptors, select at least one mutation descriptor having a same command evaluation result from the set of the mutation descriptors, and calculate a direct product of the selected mutation descriptor and one of the mutation operation and a first state that is the set of the mutation descriptors before evaluation of the commands, thereby generating a second state.

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: The present invention relates to an active cathode material of the general formula (I): MxN iaM1bM2cO2 (I) in which the variables are each defined as follows: M is an alkali metal, M1 is V, Cr, Mn, Fe or Co, M2 is Ge, Sn, Ti or Zr, x is in the range from 0.5 to 0.8, a is in the range from 0.1 to 0.4, b is in the range from 0.05 to 0.6, c is in the range from 0.05 to 0.6, wherein a+b+c=1. The present invention further relates to an electrode material comprising said active cathode material, to electrodes produced from or using said electrode material and to a rechargeable electrochemical cell comprising at least one electrode. The present invention further relates to a process for preparing said active cathode material of the general formula (I).

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: According to an aspect of an embodiment, a method may include identifying a fault location in a software program using a test suite. The method may further include determining, using machine learning, a repair effectiveness indication that indicates a potential effectiveness of performing a potential repair operation at the fault location. In addition, the method may include prioritizing implementing a repair at the fault location based on the repair effectiveness indication. The method may further include performing repair operations with respect to the software program based on the prioritization of the fault location.

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 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: 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: 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: According to an aspect of an embodiment, one or more systems or methods may be configured to locate a fault in a software program using a test suite. The systems or methods may be further configured to modify, using a repair template, the software program in response to locating the fault. In addition, the systems or methods may be configured to determine whether the modification satisfies an anti-pattern condition. The anti-pattern condition may indicate whether the modification is improper. The systems or methods may also be configured to disallow the modification in response to the modification satisfying the anti-pattern condition or perform further testing on the software program, as modified, in response to the modification not satisfying the anti-pattern condition.

Abstract: An object of the present invention is to provide an excellent non-aqueous electrolytic solution which is improved in the low-temperature discharge resistance and the capacity maintaining ratio upon high-temperature storage, and a non-aqueous electrolyte secondary battery using the same. The present invention is directed to a non-aqueous electrolytic solution comprising an electrolyte and a non-aqueous solvent, wherein the non-aqueous electrolytic solution contains a compound represented by the following formula (1) and a compound represented by the following formula (2): wherein, in the formulae (1) and (2), Q and R1 to R6 represent predetermined groups.

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. The terminal includes an inner part, a sandwiched part, and an outer part arranged in a first direction. The melt-bonding assisting member internally and externally extends in the first direction beyond contact with the outer package.