Abstract: A flexible display screen includes: a flexible substrate (1); an OLED device layer (2) formed on the flexible substrate (1); an encapsulation layer(3), disposed on the OLED device layer(2) and encapsulating the OLED device layer (2); and an encapsulation protection layer (4) formed on the encapsulation layer (3). The embodiments of the present disclosure also provide a flexible display device and a manufacturing method of the flexible display screen.

Abstract: A system and method deliver fluidized powder based on flue gas carrying waste slag and instant cooling steel slag. A first flue gas pipeline receives pressurized CO2-rich flue gas and in fluid communication with a fluidization air pipeline, a pressurization air pipeline and a supplementary air pipeline respectively and through them enters an upper discharge bin; a second flue gas pipeline receives the pressurized CO2-rich flue gas and in fluid communication with a gas-gas mixer, a dense phase discharge guide pipe first end extends into the upper discharge bin and receives high-pressure dense phase gas-powder flow of CO2-rich flue gas, and a dense phase discharge guide pipe second end is connected to the gas-gas mixer; a variable-pitch twin screw sealed conveyor discharge end extends into an upper discharge bin internal space, and is provided with an upwardly inclined gas-blocking segment.

Abstract: A sensor package includes a substrate, a light sensor disposed on the substrate, at least one optical filter disposed on the light sensor, and an optical functional layer that is light-permeable, is disposed on the substrate, covers the light sensor and the optical filter, and includes multiple light-scattering particles. The light sensor has a light receiving region, and receives light through the light receiving region. The optical filter covers the light receiving region. When the light passes through the optical filter within an incident angle range and is received by the light receiving region, the light sensor responds to a wavelength range of the light, and a response spectrum is obtained. Within the incident angle range, an absolute value of an offset measured at a crest of a waveform of the response spectrum is less than or equal to 10 nm. An electronic device is also provided.

Abstract: Systems and methods for simulating subterranean regions having multi-scale, complex fracture geometries in a realistic simulation environment, which includes in the modeling process three-dimensional multi-scale rock discontinuities, hydraulic fractures, and heterogenous reservoir properties. Non-intrusive embedded discrete fracture modeling formulations are applied in conjunction with commercial or in-house simulators to efficiently and accurately model subsurface characteristics including three-dimensional geometries having combinations of complex hydraulic fractures and multi-scale rock discontinuities.

Abstract: This invention discloses a method for discovering vulnerabilities of operating system access control based on model checking. In this method, security attribute and security specifications of operating system access control module are analyzed to construct the access control model. To discover vulnerabilities in the model, security analysis is performed for access control functionality with theorem proving techniques, and consistency of abstract machine specification and correctness and completeness of the components are verified with model checking tools. This method provides theoretical and technical support for studies in the field of operating system security.

Abstract: An optical sensing device includes a substrate, sensing elements, a planarization layer, and a light-shielding layer. The sensing elements are located on the substrate. Each sensing element includes a first net-shaped electrode, a second net-shaped electrode, and a sensing layer. The first net-shaped electrode is located between the sensing layer and the substrate. The sensing layer is located between the first net-shaped electrode and the second net-shaped electrode. The planarization layer is located on the sensing elements and the substrate and has via holes. The light-shielding layer is located on the planarization layer and includes net-shaped light-shielding patterns. The net-shaped light-shielding patterns are overlapped with the second net-shaped electrodes of the sensing elements, respectively, and the net-shaped light-shielding patterns are electrically connected to the second net-shaped electrodes of the sensing elements via the via holes, respectively.

Abstract: The disclosure provides a probe card comprising a circuit substrate, a space transformer, and a first coaxial cable. The circuit substrate has a first surface and a second surface, wherein a through hole penetrates the circuit substrate from the first surface to the second surface. The space transformer is arranged on the second surface corresponding to the through hole and has a probe setting surface opposite to the second surface. The first coaxial cable has a first conducting part and a first insulating part, wherein the first coaxial cable is inserted into the through hole, and a first end surface of the first conducting part is flush with the probe setting surface.

Abstract: Certain aspects of the present disclosure provide techniques for generating a user experience for a software program product based on a knowledge engine. Techniques for generating the user experience include a UI builder tool providing a set of tabular UI views and receiving in each tabular UI view corresponding input data for generating a calculation graph, a completeness graph, and a client UI view. Based on the input data, the UI builder tool and knowledge engine can generate a set of artifact files. The knowledge engine can generate and/or execute the calculation and completeness graphs as defined in the corresponding artifact files. The UI builder tool can generate an instance of the client UI view. With the generated calculation graph(s), completeness graph(s), and an instance of the client UI view, the user experience can be provided to a computing device.

Abstract: The present disclosure relates to an immunologically active peptide-biliverdin conjugate (I), a preparation method therefor and an application thereof in cancer diagnosis, and/or tumor immunotherapy, and/or tumor “photothermal immunotherapy” (tumor photothermal therapy combined with immunotherapy). The conjugate to which the present disclosure relates not only may stimulate an organism to generate a tumor-immune effect, but also may relieve and/or eliminate tumor inflammation, remodel a tumor inflammatory microenvironment and achieve photothermal cancer immunodiagnosis and immunotherapy. The conjugate to which the present disclosure relates has high biocompatibility, good stability and an extended half-life. The conjugate is prepared from an immunologically active peptide and biliverdin by means of chemical synthesis.

Abstract: A network reachability solving algorithm based on formal verification, which abstractly models the network reachability problem, concretely models and refines it through semantic equivalence, and implements the network reachability solving algorithm through logical equivalence transformation. With the help of formal verification tools, the present disclosure ensures the correctness and logical completeness of the reachability solving algorithm through mathematical reasoning. Compared with traditional testing-based schemes, the present disclosure guarantees the correctness and effectiveness of the network reachability algorithm based on formal method.

Abstract: The present disclosure discloses a universal aptamer-based colloidal gold lateral flow test strip for detecting small-molecule substances and belongs to the fields of analytical chemistry, medicine, environment, food safety detection, nano-biosensing and the like. An AuNPs@poly-DNA probe is used for rapidly and sensitively capturing an aptamer, streptavidin sprayed in a test zone and streptavidin-biotin-DNAc sprayed in a control zone do not need to be changed, and another substance can be detected only by changing a nucleic acid chain part of the AuNPs@poly-DNA probe. A universal colloidal gold lateral flow test strip, which is rapid, sensitive and low in cost, has been developed. The test strip method for detecting small-molecule substances is simple, convenient and rapid, and can be used for detection at any time.

Abstract: An optical sensing device includes a substrate, sensing elements, a planarization layer, and a light-shielding layer. The sensing elements are located on the substrate. Each sensing element includes a first net-shaped electrode, a second net-shaped electrode, and a sensing layer. The first net-shaped electrode is located between the sensing layer and the substrate. The sensing layer is located between the first net-shaped electrode and the second net-shaped electrode. The planarization layer is located on the sensing elements and the substrate and has via holes. The light-shielding layer is located on the planarization layer and includes net-shaped light-shielding patterns. The net-shaped light-shielding patterns are overlapped with the second net-shaped electrodes of the sensing elements, respectively, and the net-shaped light-shielding patterns are electrically connected to the second net-shaped electrodes of the sensing elements via the via holes, respectively.

Abstract: A screen protector application kit includes a glass-based substrate (110) having an adhesive belt (270) and an adhesive container (478) of an uncured adhesive composition. The adhesive belt (270) includes a first major surface (272) adhered to the glass-based substrate (110), a second major surface (274), a distal edge (276) extending between the first major surface (272) and the second major surface (274), and a proximal edge (278) extending between the first major surface (272) and the second major surface (274). The uncured adhesive composition includes 30 wt % to 99.9 wt % of at least one of: (i) a monomer; and (ii) an oligomer; and 0.01 wt % to 10 wt % of a visible-light photoinitiator. The uncured adhesive composition may further include 0.1 wt % to 10 wt % of a co-initiator. The uncured adhesive composition may further include 0.1 wt % to 5 wt % of an oxygen inhibitor.

Abstract: Certain aspects of the present disclosure provide techniques for generating a user experience for a software program product based on a knowledge engine. Techniques for generating the user experience include a UI builder tool providing a set of tabular UI views and receiving in each tabular UI view corresponding input data for generating a calculation graph, a completeness graph, a client UI view, and a constants table. Based on the input data, the UI builder tool and knowledge engine can generate a set of artifact files. The knowledge engine can generate and/or execute the calculation graph(s), completeness graph(s), and constants table(s) as defined in the corresponding artifact files. The UI builder tool can generate an instance of the client UI view. With the generated calculation graph(s), completeness graph(s), constants table(s), and an instance of the client UI view, the user experience can be provided to a computing device.

Abstract: Certain aspects of the present disclosure provide techniques for generating a user experience for a software program product based on a knowledge engine. Techniques for generating the user experience include a UI builder tool providing a set of tabular UI views and receiving in each tabular UI view corresponding input data for generating a calculation graph, a completeness graph, and a client UI view. Based on the input data, the UI builder tool and knowledge engine can generate a set of artifact files. The knowledge engine can generate and/or execute the calculation and completeness graphs as defined in the corresponding artifact files. The UI builder tool can generate an instance of the client UI view. With the generated calculation graph(s), completeness graph(s), and an instance of the client UI view, the user experience can be provided to a computing device.

Abstract: This invention discloses a method for discovering vulnerabilities of operating system access control based on model checking. In this method, security attribute and security specifications of operating system access control module are analyzed to construct the access control model. To discover vulnerabilities in the model, security analysis is performed for access control functionality with theorem proving techniques, and consistency of abstract machine specification and correctness and completeness of the components are verified with model checking tools. This method provides theoretical and technical support for studies in the field of operating system security.

Abstract: Certain aspects of the present disclosure provide techniques for generating a user experience for a software program product based on a knowledge engine. Techniques for generating the user experience include a UI builder tool providing a set of tabular UI views and receiving in each tabular UI view corresponding input data for generating a calculation graph, a completeness graph, a client UI view, and a constants table. Based on the input data, the UI builder tool and knowledge engine can generate a set of artifact files. The knowledge engine can generate and/or execute the calculation graph(s), completeness graph(s), and constants table(s) as defined in the corresponding artifact files. The UI builder tool can generate an instance of the client UI view. With the generated calculation graph(s), completeness graph(s), constants table(s), and an instance of the client UI view, the user experience can be provided to a computing device.

Abstract: Techniques for the storage management involve, in response to detecting that a storage device is plugged into the storage system, determining, at a computing device of a storage system and based on attributes of the storage device, a target interface device matching the storage device from a plurality of types of interface devices in the storage system, the interface device managing the storage device having attributes matching one of the plurality of types; determining an association between the storage device and the target interface device; and generating, based on the association, information characterizing a state of the storage device in the computing device. In this way, it is possible to support at least two different types of disks in the existing storage system, improving the compatibility and scalability of the system.

Abstract: Certain aspects of the present disclosure provide techniques for generating a user experience for a software program product based on a knowledge engine. Techniques for generating the user experience include a UI builder tool providing a set of tabular UI views and receiving in each tabular UI view corresponding input data for generating a calculation graph, a completeness graph, and a client UI view. Based on the input data, the UI builder tool and knowledge engine can generate a set of artifact files. The knowledge engine can generate and/or execute the calculation and completeness graphs as defined in the corresponding artifact files. The UI builder tool can generate an instance of the client UI view. With the generated calculation graph(s), completeness graph(s), and an instance of the client UI view, the user experience can be provided to a computing device.

Abstract: Systems and method for perturbing a system include obtaining directed acyclic/cyclic graph candidates {GI, . . . , GN} for the system. Each Gi in {Gj, . . . GN} includes a causal relationship between a parent and child node. {GI, GN} demonstrate Markov equivalence. Observed data D is obtained for the nodes. For each respective Gi, the marginal probability of a parent node xi in Gi is clamped by D while computing a distribution of marginal probabilities for a child node yi, by Bayesian network or Dynamic Bayesian network belief propagation using an interaction function. The observed distribution for the child node yi, in D and the computed distribution of marginal probabilities for the child node yi are scored using a nonparametric function, and such scores inform the selection of a directed/cyclic graph from {GI, . . . , GN}. The system is perturbed using a perturbation that relies upon a causal relationship in the selected directed acyclic/cyclic graph.