Abstract: An interlocking data safe conversion method for formal verification and a translator. Two translators with same functions are developed by adopting different programming methods and programming languages. An input file of each of the translators at least comprises an interlocking information table in interlocking data, a device interface information table, a station yard description data and interlocking Boolean logic data. Consistency of output files of the two translators is compared to realize detection process failure.

Abstract: This technology provides systems and methods for tracking facial movements and reconstructing facial expressions by learning skin deformation patterns and facial features. Frontal view images of a user making a variety of facial expressions are acquired to create a data training set for use in a machine-learning process. Head-mounted or neck-mounted wearable devices are equipped with one or more camera(s) or acoustic device(s) in communication with a data processing system. The cameras capture images of contours of the users face from either the cheekbone or the chin profile of the user. The acoustic devices transmit and receive signals to calculate a representation of the skin deformation. A data processing system uses the images, the profile of the contours, or skin deformation to track facial movement or to reconstruct facial expressions of the user based on the data training set.

Abstract: A robot includes a limit device and an energy storehouse, the limiting device may lock or loosen a battery opened in the energy storehouse, the limiting device includes a first connecting member, a transmission rod, and a second connecting member. The first connecting member includes a first main body portion and two first connecting elements arranged at intervals. The two first connecting elements are respectively connected to the first main body. The transmission rod includes a first end and a second end arranged at intervals. The first end penetrates through one of the two first connecting elements. The second end penetrates through the other one of the two first connecting element. The second connecting member includes two indexing buckles arranged at intervals, each of the indexing buckles includes a first limiting groove and a second limiting groove.

Abstract: Methods for large-scale additive manufacturing of high-strength boron nitride nanotubes (BNNT)/aluminum (Al) (e.g., reinforced Al alloy) metal matrix composites (MMCs) (BNNT/Al MMCs), as well as the BNNT/Al MMCs produced by the large-scale additive manufacturing methods, are provided. A combination of ultrasonication and spray drying techniques can produce good BNNT/Al alloy feedstock powders, which can be used in a cold spraying process.

Abstract: Systems and methods are disclosed herein for designing and proposing an installation of a project for a structure or site that can be based on identifying installation surface faces, installation surface face insolation, obstructions affecting insolation (or similar property), obstacles and penetrations affecting placement of installation equipment, etc., and for providing an educational experience for a potential purchaser of the system comprising general information and at least one structure-specific installation proposal. A selected plan can be implemented from within a proposal platform of the disclosed systems and methods.

Abstract: Provided VCSEL including substrate, emitters arranged in m×n array, and first ohmic metal layer. Surface of substrate includes light-emitting regions in array of m rows and n columns and non-light-emitting region surrounding each light-emitting region, m×n?2. Each emitter includes first DBR on surface of substrate, active layer on side of first DBR away from substrate, and second DBR on side of active layer away from substrate, at least part of first DBR disposed in respective light-emitting region, active layer and second DBR disposed in respective light-emitting region. First ohmic metal layer disposed on surface of first DBR away from substrate and disposed in non-light-emitting region, projection of first ohmic metal layer on substrate doesn't overlap projections of first and second connecting lines on substrate, first and second connecting lines respectively connects centers of emitters in same row, connects centers of emitters in same column.

Abstract: Embodiments of this application provide a method for displaying a two-dimensional code and an electronic device. The method is performed by an electronic device, and includes: obtaining first sensor data, where the first sensor data is collected at a first moment; if it is determined, based on the first sensor data, that a first action of a user corresponding to the first moment is a preset action, determining whether the user performs a wrist turning action within a preset duration range starting from the first moment; and displaying a preset two-dimensional code page when the user performs a wrist turning action within the preset duration range. In the method, a process of presenting a two-dimensional code by the user can be simple and efficient.

Abstract: Methods for large-scale additive manufacturing of high-strength boron nitride nanotubes (BNNT)/aluminum (Al) (e.g., reinforced Al alloy) metal matrix composites (MMCs) (BNNT/Al MMCs), as well as the BNNT/Al MMCs produced by the large-scale additive manufacturing methods, are provided. A combination of ultrasonication and spray drying techniques can produce good BNNT/Al alloy feedstock powders, which can be used in a cold spraying process.

Abstract: Methods for large-scale additive manufacturing of high-strength boron nitride nanotubes (BNNT)/aluminum (Al) (e.g., reinforced Al alloy) metal matrix composites (MMCs) (BNNT/Al MMCs), as well as the BNNT/Al MMCs produced by the large-scale additive manufacturing methods, are provided. A combination of ultrasonication and spray drying techniques can produce good BNNT/Al alloy feedstock powders, which can be used in a cold spraying process.

Abstract: A low-carbon and low alloy hot-work die steel with a high toughness at low temperatures and a high strength at high temperatures and a high hardenability, comprises the following components: C: 0.15-0.35%, Si: 0.40-0.90%, Mn: ?0.80%, Cr: 1.50-2.40%, Ni: 2.50-4.50%, Mo: 1.00-1.60%, V: 0.10-0.40%, W: 0.20-0.90%, P: ?0.02%, S?0.02%, and a balance of Fe matrix and other inevitable impurities. The above percentages are mass percentages. The material of the present invention can have a V notch impact energy of 30 J or more than 30 J at ?40° C., a high temperature strength of 380 MPa or more at 700° C., and a hardenability of 200 mm or more to ensure the consistency of internal and external microstructures. The materials of the present invention can be applied to hot-work molds used in special working conditions that require high toughness at low temperatures, high strength at high temperatures and high hardenability.

Abstract: A system for a sandy soil landfill solid waste polluted river channel, includes a ground water interception and diversion system and a river channel ecological remediation system. The ground water interception and diversion system includes a water intake well arranged upstream of ground water in a landfill area, a buffer pool communicated with the water intake well, and a wastewater treatment system communicated with the buffer pool. The water intake well, the buffer pool, and the wastewater treatment system are communicated through a wastewater pipe. An electric wastewater valve and a variable frequency water pump are arranged on the wastewater pipe in sequence. The river channel ecological remediation system includes an impermeable layer arranged at a bottom of a river channel and ecological bank protections arranged on both sides of a river channel slope.

Abstract: A micro-metering device with a constant flow rate, including a rotary shear valve, a mounting seat, a rotation drive assembly, an injection drive assembly and a controller. The rotary shear valve includes a valve main body and a valve spool. The valve main body is provided with a main flow channel and a plurality of branch flow channels. The valve spool is rotatably arranged inside the valve main body, and is configured to communicate the main flow channel with different branch flow channels. A pressure sensor is provided inside the valve main body, and is communicated with the main flow channel. The pressure sensor is configured for detecting a pressure inside the main flow channel. Whether the switching of the liquid path is correct is determined according to the pressure in the main flow channel.

Abstract: Provided is a utidelone liposome composition. The liposome composition mainly contains utidelone, a phospholipid, and optional cholesterol. The liposome composition does not contain an excipient that is prone to causing an allergic reaction of a human body, has a high drug loading capacity and stability, and has a good industrialization potential. Further provided are a method for preparing the utidelone liposome composition and the use thereof.

Abstract: Methods, systems, and devices for configurable memory die capacitance are described. A memory device may include a capacitive component, which may include one or more capacitors and associated switching components. The capacitive component may be coupled with an input/output (I/O) pad and an associated input buffer, and the one or more capacitors of the capacitive component may be selectively couplable with the I/O pad via the switching components. Switching components may be activated individually, in coordination, or not at all, such that one, multiple, or none of the capacitors may be coupled with the I/O pad. The capacitive component, I/O pad, and input buffer may be included in a same die of the memory device. In some cases, a configuration of the capacitive component may be based on signaling received from a host device.

Abstract: A method comprising: sampling a temporal causal graph from a temporal graph distribution specifying probabilities of directed causal edges between different variables of a feature vector at a present time step, and from one variable at a preceding time step to another variables at the present time step. Based on this there are identified: a present parent which is a cause of the selected variable in the present time step, and a preceding parent which is a cause of the selected variable from the preceding time step. The method then comprises: inputting a value of each identified present and preceding parent into a respective encoder, resulting in a respective embedding of each of the present and preceding parents; combining the embeddings of the present and preceding parents, resulting in a combined embedding; inputting the combined embedding into a decoder, resulting in a reconstructed value of the selected variable.

Abstract: A method comprising: sampling a first causal graph from a first graph distribution modelling causation between variables in a feature vector, and sampling a second causal graph from a second graph distribution modelling presence of possible confounders, a confounder being an unobserved cause of both of two variables. The method further comprises: identifying a parent variable which is a cause of a selected variable according to the first causal graph, and which together with the selected variable forms a confounded pair having a respective confounder being a cause of both according to the second causal graph. A machine learning model encodes the parent to give a first embedding, and encodes information on the confounded pair give a second embedding. The embeddings are combined and then decoded to give a reconstructed value. This mechanism may be used in training the model or in treatment effect estimation.

Abstract: The disclosure provides a limit device and a robot using the same. The limit device comprises a first connecting member, a transmission rod and a second connecting member. The first connecting member comprising a first main body portion and two first connecting elements. The two first connecting elements are arranged at intervals. The two first connecting elements are respectively connected to the first main body. The transmission rod comprising a first end and a second end. The first end and the second end are arranged at intervals. The first end penetrates through one of the two first connecting elements. The second end penetrates through the other one of the two first connecting element. The second connecting member provided with two indexing buckles. The two indexing buckles are arranged at intervals, each of the indexing buckles comprises a first limiting groove and a second limiting groove.