Abstract: The present disclosure relates to a welding device and a processing apparatus for a secondary battery current collector. The welding device includes: a welding head; and an anvil block. A welding station is disposed between the welding head and the anvil block. The welding device is configured to weld a foil to a portion of a composite current collector at the welding station. According to this solution, the foil can be used as a tab of the composite current collector by using the foil to connect with the composite current collector so as to output the current in the battery cell.

Abstract: Disclosed is an aryl hydrocarbon receptor modulator of formula (I), and a pharmaceutically acceptable salt thereof, wherein R? is H, CN, CH2(OH)R0, CmH2m+1, CnH2n?1, CnH2n?3, two Ra are independently H or two Ra together form =0 or ?N—W3—R1; A is a C6 to C10 aromatic ring unsubstituted or substituted with 1 to 3 R, or a C2-C10 heteroaromatic ring interrupted by 1 to 5 heteroatoms selected from N, 0, and S or a 4 to 7 membered nonaromatic heterocyclic ring containing C?N and interrupted by 1 to 3 heteroatoms selected from N, 0, and S, with either one unsubstituted or substituted with 1 to 3 R; Q is R, or is a C6 to C10 aromatic ring or a C2 to C10 heteroaromatic ring unsubstituted or substituted with 1 to 3 R and interrupted by 1 to 5 heteroatoms selected from N, 0, and S; and R is RC which is C-attached or RN which is N-attached.

Abstract: An incremental data restoration method and apparatus are disclosed, and the method includes creating a current snapshot of data, determining a changed data block in the current snapshot relative to an mth backup, where m is a positive integer, and the mth backup is not a last backup, and restoring data corresponding to the changed data block to data corresponding to a corresponding data block in the mth backup.

Abstract: The present disclosure relates to a current collector production apparatus for producing a current collector. The current collector includes a current collector substrate, a conductive layer disposed on at least one surface of the current collector substrate. The current collector production apparatus includes an oven having a space where the current collector is to be heated, and a passivation ozone knife having a current collector injection port. The current collector injection port is configured to release ozone in such a manner that the ozone reacts with a surface material of the conductive layer, so as to form a passivation layer. The passivation ozone knife is disposed inside the oven. The current collector produced in the present disclosure can prevent HF in electrolyte from reacting with Al, so as to solve a problem of detachment of active material from the current collector and maintain the performance of lithium-ion battery.

Abstract: The present invention describes use of spink6 gene and the encoded protein in the manufacture of an anti-tumor drug. spink6 gene has a nucleotide sequence designated as SEQ ID NO:1, and the protein encoded by spink6 gene has an amino acid sequence designated as SEQ ID NO:2. The protein encoded by spink6 gene and its derivatives can be used as potential drugs for treatment of human diseases caused by dysregulation of the cell cycle control, such as various malignant tumors, cell abnormal proliferation, and the like.

Abstract: A detection device, a substrate holder and a method for detecting a position of a substrate on a substrate holder are disclosed. The detection device of the present disclosure is used to detect the position of the substrate carried on the substrate holder, and the substrate holder includes a plurality of carrying positions, each of which is used to carry a substrate. The detection device includes an emitting electrode connected to a signal source, which is disposed at an edge of each carrying position and located at one of upper and lower sides of the substrate carried by the carrying position; and at least one receiving electrode connected to a detector, which is disposed opposite to the emitting electrode and located at the other of the upper and lower sides of the substrate carried by the carrying position.

Abstract: Methods of synthesizing 2?(1?H-indole-3?-carbonyl)-thiazole-4-carboxylic acid methyl ester (ITE) and structural analogs thereof. The methods include condensation reactions or condensation and oxidation reactions to form the thiazoline or thiazole moiety of ITE or its structural analogs.

Abstract: Systems and methods for software verification. In some embodiments, an application architecture model is generated for a software application, wherein: the application architecture model is generated based on source code of the software application and a framework model representing a software framework using which the software application is developed; and the application architecture model comprises a plurality of component models. One or more component models may be selected, based on a property to be checked, from the plurality of component models. The one or more component models may be analyzed to determine if the property is satisfied.

Abstract: Systems and methods for software verification. In some embodiments, a first application architecture model is generated for a software application, wherein: the first application architecture model is generated based on a first version of source code of the software application; and the first application architecture model comprises a plurality of component models. A second version of source code may be compared against the first version of source code to determine at least one difference. At least one affected component model of the first application architecture model may be identified based on the at least one difference. A second application architecture model may be generated based on the second version of source code, wherein generating the second application architecture model comprises generating an updated version of the at least one affected component model.

Abstract: Systems and methods for software verification. In some embodiments, an application architecture model is generated for a software application, wherein: the application architecture model is generated based on source code of the software application; and the application architecture model comprises a plurality of component models. A property model type may be selected, based on a property to be checked, from a plurality of property model types. One or more component models may be selected, based on the selected property model type, from the plurality of component models. The one or more selected component models may be used to construct at least one property model of the selected property model type. The at least one property model may be analyzed to determine if the property is satisfied with respect to the at least one property model.

Abstract: Systems and methods for software verification. In some embodiments, a first statement is identified, from a discovery query written in a query language, the first statement comprising a side-effect construct with at least a first parameter and a second parameter, wherein: the first parameter of the side-effect construct comprises at least one second statement specifying one or more actions to be performed; and the second parameter of the side-effect construct comprises at least one condition specified based on a syntactic pattern. Source code of a software application may be analyzed to determine whether the at least one condition is satisfied, wherein determining whether the at least one condition is satisfied comprises determining whether the source code comprises a program element that matches the syntactic pattern.

Abstract: Methods of synthesizing 2-(1?H-indole-3?-carbonyl)-thiazole-4-carboxylic acid methyl ester (ITE) and structural analogs thereof. The methods include condensation reactions or condensation and oxidation reactions to form the thiazoline or thiazole moiety of ITE or its structural analogs.

Abstract: A control device for an electric vehicle improving the responsiveness of a motor and leading to improvement in occupant's riding comfort during power running and regenerative control of the motor. A motor control module includes: a current PI control section to perform PI feedback control to eliminate a deviation relative to a command current value generated in an inverter, in response to a torque command from an ECU; PI control gain adjustment tables, for power running and regenerative control, in which a PI control gain used when the current PI control section performs the PI feedback control is set in accordance with a running state; and a control gain adjustment section to adjust the PI control gain according to the PI control gain adjustment table such that a PI control gain corresponding to the running state is used.

Abstract: An electric vehicle includes a motor, an ECU, and an inverter device. A motor control module of the inverter device includes: a parameter map having motor parameters stored therein; an open loop control section to generate control variables in open loop control by a voltage equation using the parameters stored in the parameter map, in response to a torque command from the ECU; a current feedback control section to perform control to eliminate a deviation relative to a command current value generated in an inverter, in response to the torque command from the ECU; and a hybrid control section to control the motor on the basis of control variables which are generated on the basis of the control variables generated by the open loop control section and control variables generated by the current feedback control section.

Abstract: A method may include determining sequence-execution constraints that constrain execution orders of a plurality of events of an event-driven software application. The method may also include determining sequence-position constraints that constrain positions of the plurality of events in one or more possible event sequences of the plurality of events. Further, the method may include determining event-relation constraints that each indicates a relationship between an event input and an event output of each of the plurality of events. Moreover, the method may include forming a constraint set that enumerates the one or more possible event sequences and that includes the sequence-execution constraints, the sequence-position constraints, and the event-relation constraints. In addition, the method may include encoding control flow information of the one or more possible event sequences into the constraint set.

Abstract: Certain aspects of the present disclosure support demodulation reference signal (DMRS) enhancement for higher order multi-user multiple-input multiple-output (MU-MIMO) communications. An example method generally includes determining a plurality of ports of a multi-dimensional array of transmit antennas and a number of spatial multiplexed layers for transmission to a plurality of user equipments (UEs), configuring a demodulation reference signal (DMRS) pattern by multiplexing the layers or the ports in the DMRS pattern, using an orthogonal cover code (OCC) and one or more code division multiplexing (CDM) groups, and transmitting DMRS symbols based on the configured DMRS pattern using the multiplexed layers and the ports.

Abstract: A control device includes an ECU and an inverter device having power circuitry including an inverter and a motor control unit. A rotation angle sensor detects a rotation angle of a motor. The power circuitry receives a rotation angle of the motor from the rotation angle sensor to perform control in accordance with the rotation angle of the rotor, the control being based on a torque command mapping table in which a relationship between a rotation speed and a torque of the motor is defined. The power circuitry includes an adjustment module adjusting the torque command mapping table with respect to a torque command from the ECU and a speed of the electric vehicle.

Abstract: Systems and methods for software verification. In some embodiments, a first application architecture model is generated for a software application, wherein: the first application architecture model is generated based on a first version of source code of the software application; and the first application architecture model comprises a plurality of component models. A second version of source code may be compared against the first version of source code to determine at least one difference. At least one affected component model of the first application architecture model may be identified based on the at least one difference. A second application architecture model may be generated based on the second version of source code, wherein generating the second application architecture model comprises generating an updated version of the at least one affected component model.

Abstract: Systems and methods for software verification. In some embodiments, an application architecture model is generated for a software application, wherein: the application architecture model is generated based on source code of the software application and a framework model representing a software framework using which the software application is developed; and the application architecture model comprises a plurality of component models. One or more component models may be selected, based on a property to be checked, from the plurality of component models. The one or more component models may be analyzed to determine if the property is satisfied.

Abstract: Systems and methods for software verification. In some embodiments, a statement is identified from a discovery query written in a query language, comprising a semantic operator with at least a first parameter and a second parameter, wherein: the first parameter comprises a first syntactic pattern; the second parameter comprises a second syntactic pattern; and the semantic operator represents a semantic relationship between two program elements. Source code of a software application may be analyzed to determine whether one or more portions of source code match the statement identified from the discovery query, wherein analyzing the source code comprises determining whether the source code comprises a first program element and a second program element such that the first program element matches the first syntactic pattern; the second program element matches the second syntactic pattern; and the first and second program elements satisfy the semantic relationship represented by the semantic operator.