Abstract: A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successful; in response to successful verification, label the set of computer-executable instructions as successful; and in response to unsuccessful verification, generate at least one counterexample, with respect to a proof failure and corresponding to at least one failed verification condition of the plurality of the predefined verification conditions, and generate a failing test, by a test-case generator, based on at least one counterexample. A program verification tool for testing the set of computer-executable instructions is also disclosed.

Abstract: Systems and methods for checking the correctness of a computer program with at least one incorrect instruction inserted into at least one of a plurality of branches of the computer program. At least one prover generates a counterexample of computer program correctness in order to switch focus from a failed proof of the correctness of the computer program to a failed test of the correctness of the computer program.

Abstract: This disclosure describes a test prediction service for predicting needed resources and associated costs for testing projects related to testing of new programs, services, etc., within a service provider network. The test prediction service uses a first machine learning model for predicting “hard costs” using data from a first data source that includes end-to-end test details such as associated resource and infrastructure use (costs) of the service provider network during previous end-to-end testing projects. A second machine learning model is used for predicting “soft costs” using data from a second data source that includes data, e.g., engineering headcount/hours spent developing the end-to-end testing and/or during previous end-to-end testing. The data is used to train the machine learning models. The test prediction service uses the trained machine learning models to generate estimated testing costs of new testing projects when a user enters project attributes for a new testing project.

Abstract: A multi-view vision inspection system includes a darkroom; and a plurality of cameras, the plurality of cameras including a plurality of first cameras, a plurality of second cameras and a plurality of third cameras, the plurality of first cameras being arranged spaced from one another at a top of an interior of the darkroom, the plurality of second cameras being arranged spaced from one another at a bottom of the interior of the darkroom, and the plurality of third cameras being arranged spaced from one another on a side wall of the interior of the darkroom in a circumferential direction of the darkroom. The multi-view vision inspection system can measure each angle of a workpiece to be inspected by using the plurality of cameras above.

Abstract: The present disclosure discloses a character offset detection method and system. The method includes: acquiring a text image; performing character separation based on the text image to obtain a character text region; calculating a center point of each rectangular box in the character text region to obtain a center point set; determining an optimal fitted curve based on the center point set; and analyzing character offset based on the optimal fitted curve to obtain an offset result. The present disclosure realizes detection of the character offset based on curve fitting, so that the accuracy of detection is improved.

Abstract: A degradable composite non-woven fabric being a layered structure with an upper surface layer, an intermediate fiber layer, and a lower surface layer in sequence. The upper and lower surface layers are mainly composed of degradable melt-blown fibers. The intermediate fiber layer is mainly composed of degradable water-absorbing fibers, wherein the weight of fibers of the intermediate layer accounts for more than 65% of the total weight of the composite non-woven fabric, and there are fiber interwoven regions between the upper surface layer and the intermediate fiber layer, as well as between the lower surface layer and the intermediate fiber layer.

Abstract: A capacitive ultrasonic transducer device includes a substrate, a first capacitive structure, a second capacitive structure, a first film structure and a second film structure. The first capacitive structure is disposed on the substrate, and includes a first electrode and a second electrode. A first gap and a dielectric layer are located between the first electrode and the second electrode. The second capacitive structure is disposed on the substrate, and includes a third electrode and a fourth electrode. A second gap is located between the third electrode and the fourth electrode. The first film structure is configured to seal the first gap. The second film structure is connected to the third electrode and the fourth electrode, and configured to seal the second gap. A first width between the first electrode and the second electrode is different from a second width of the second gap.

Abstract: A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successful; in response to successful verification, label the set of computer-executable instructions as successful; and in response to unsuccessful verification, generate at least one counterexample, with respect to a proof failure and corresponding to at least one failed verification condition of the plurality of the predefined verification conditions, and generate a failing test, by a test-case generator, based on at least one counterexample. A program verification tool for testing the set of computer-executable instructions is also disclosed.

Abstract: The present disclosure discloses a character offset detection method and system. The method includes: acquiring a text image; performing character separation based on the text image to obtain a character text region; calculating a center point of each rectangular box in the character text region to obtain a center point set; determining an optimal fitted curve based on the center point set; and analyzing character offset based on the optimal fitted curve to obtain an offset result. The present disclosure realizes detection of the character offset based on curve fitting, so that the accuracy of detection is improved.

Abstract: Techniques for auto-intrusive data pattern and test case generation for negative service testing are described. A test engine obtains negative test information specifying negative test input examples or schemas associated with tests that are expected to fail. A test generator generates multiple test cases based on the negative test information. A test execution orchestrator splits each test case up into actions that are inserted into queues, where workflow execution agents perform the tests by reading from the queues and interacting with services. The tests may also include adjusting a rate of transactions allowed between top-level services and/or downstream services. Results from the testing are analyzed by a test analysis engine and used to inform the services or the test originator of test cases where the expected failures did not arise.

Abstract: An antenna includes a piezoelectric disc. The antenna further includes a first electrode disposed on a first surface of the piezoelectric disc and a second electrode disposed on a second surface of the piezoelectric disc that is opposite to the first surface. The first electrode and the second electrode are to receive a time-varying voltage to excite a mechanical vibration in the piezoelectric disc, and the piezoelectric disc is to radiate electromagnetic energy at a particular frequency responsive to the mechanical vibration.

Abstract: A multi-view vision inspection system includes a darkroom; and a plurality of cameras, the plurality of cameras including a plurality of first cameras, a plurality of second cameras and a plurality of third cameras, the plurality of first cameras being arranged spaced from one another at a top of an interior of the darkroom, the plurality of second cameras being arranged spaced from one another at a bottom of the interior of the darkroom, and the plurality of third cameras being arranged spaced from one another on a side wall of the interior of the darkroom in a circumferential direction of the darkroom. The multi-view vision inspection system can measure each angle of a workpiece to be inspected by using the plurality of cameras above.

Abstract: Various liquid cells for use in surface acoustic wave-based sensors are disclosed. The sensor can include a substrate, at least one sensor element, and at least one pair of electrical components. The electrical components can be located on opposite ends of the sensor element. The liquid cell can include a top layer that is configured to cover at least a portion of the pair of electrical components. The liquid cell can also include a fluidic channel. The fluidic channel can be configured to receive a liquid media and is arranged not intersect with any of the pair of electrical components. The liquid cell can also include a plurality of peripheral walls that are configured to form a plurality of air pockets. Each of the plurality of air pockets are configured to form virtual non-physical walls to prevent the liquid media from contacting the at least one sensor element.

Abstract: A photosensor device and the method of making the same are provided. In one embodiment, the device includes at least one pixel cell. The at least one pixel cell includes a substrate formed from a semiconductor material, and includes first and second photosensor regions. The first photosensor region is disposed in the substrate and includes a first dopant of a first conductivity type. The second photosensor region is disposed above the first photosensor region and includes a second dopant of a second conductivity type. The second photosensor region can have an increase in dopant concentration from an outer edge to a center portion therein.

Abstract: An antenna includes a piezoelectric disc. The antenna further includes a first electrode disposed on a first surface of the piezoelectric disc and a second electrode disposed on a second surface of the piezoelectric disc that is opposite to the first surface. The first electrode and the second electrode are to receive a time-varying voltage to excite a mechanical vibration in the piezoelectric disc, and the piezoelectric disc is to radiate electromagnetic energy at a particular frequency responsive to the mechanical vibration.

Abstract: This invention provides a combination clip and hook (clip) for use generally in suspending articles having shoulder or hand straps, or carrying other accessories, such as keys, which is rotatably movable about a rotary joint between a first position in which two opposing, rotatably joined portions of the overall clip structure are oriented together to form a continuous, enclosed shape that can be secured around another strap or loop on an item or piece of clothing, and a second position in which the two portions of the structure are rotated out of the enclosed shape, and into, for example, a substantially S-shaped hook in which one portion of the structure supports the strap of the item and the other portion can be applied to a clothing hook, chair back, table surface, door top, or other supporting member.

Abstract: A multiplexing surface acoustic wave (SAW) device for simultaneous excitation of SAW sensors or simultaneous sensing of multiple analytes, targets or bio-agents. The device includes a plurality of SAW sensors arranged in an array. Each sensor has a delay line and each of the delay lines are different in length. The sensors of the multiplexing SAW device are excited simultaneously to generate an array of surface acoustic waves propagating along the delay lines of each SAW sensor. Because the length of each delay line is different for each SAW sensor, the propagation time of the surface acoustic waves varies in based at least in part on the length variation. A compressed pulse train can be generated with a specific time delay according to the length difference of delay lines. Phase or other information of the compressed pulse can be extracted.

Abstract: Various liquid cells for use in surface acoustic wave-based sensors are disclosed. The sensor can include a substrate, at least one sensor element, and at least one pair of electrical components. The electrical components can be located on opposite ends of the sensor element. The liquid cell can include a top layer that is configured to cover at least a portion of the pair of electrical components. The liquid cell can also include a fluidic channel. The fluidic channel can be configured to receive a liquid media and is arranged not intersect with any of the pair of electrical components. The liquid cell can also include a plurality of peripheral walls that are configured to form a plurality of air pockets. Each of the plurality of air pockets are configured to form virtual non-physical walls to prevent the liquid media from contacting the at least one sensor element.

Abstract: A manufacturing method of pattern layer of solar panel and the structure thereof, with the solar panel having a substrate, a power generating layer disposed on the substrate, and a transparent pattern layer covering the power generating layer, wherein the method comprises: a selecting step, which comprises selecting a base panel having said substrate and the power generating layer, and an rated electricity of the base panel is larger than an electricity actually required; and a surface disposition step, which comprises disposing the transparent pattern layer onto a surface of the base panel, wherein the thickness of the transparent pattern layer is changed according to predetermined colors and transparency of different areas of the transparent pattern layer, so as to maintain an even transparency for light to evenly enter the solar panel.

Abstract: This invention provides a combination clip and hook (clip) for use generally in suspending articles having shoulder or hand straps, or carrying other accessories, such as keys, which is rotatably movable about a rotary joint between a first position in which two opposing, rotatably joined portions of the overall clip structure are oriented together to form a continuous, enclosed shape that can be secured around another strap or loop on an item or piece of clothing, and a second position in which the two portions of the structure are rotated out of the enclosed shape, and into, for example, a substantially S-shaped hook in which one portion of the structure supports the strap of the item and the other portion can be applied to a clothing hook, chair back, table surface, door top, or other supporting member.