Abstract: An electronic door chime can meet safety standards and be compatible with smart doorbells and IOT doorbells. Current generation smart doorbells, also called IOT doorbells, require continuous power to drive the cameras, audio interfaces, and other components within the smart doorbell. Compatibility issues with prior art doorbell systems have emerged with the smart doorbell receiving inadequate power or power that doesn't meet the smart doorbell's input specification. In some cases, a prior art doorbell system is driven to failure or to excessive temperatures when the smart doorbell continuously draws too much power. A new electronic door chime can safely power the smart doorbells while also being compatible with simple push button doorbell devices.

Abstract: An underwater sonar device and an underwater detecting system. The underwater sonar device comprises a main body, a propeller, a detector and a hydrofoil assembly. The main body is an axisymmetric structure. The propeller, the detector, and the hydrofoil assembly are disposed on the main body. The detector is configured to detect and image an underwater target. The propeller is configured to drive the main body to move along a longitudinal direction and a vertical direction, and control a pitch angle, a roll angle, and a yaw angle of the main body. The hydrofoil assembly is disposed at a back of the main body, and is configured to adjust an included angle between the hydrofoil assembly and the longitudinal direction of the main body automatically based on water resistance on the hydrofoil assembly to keep the sonar device navigating at a fixed depth.

Abstract: An image object classification method and system are disclosed. The method is executed by a processor coupled to a memory. The method includes: providing an image file including at least one image object, performing a process of extracting multiple binary-classified characteristics on the image object to obtain a plurality of first results independent of each other in categories, combining the plurality of first results in a manner of dimensionality reduction based on concatenation, performing a process of characteristics abstraction on the combined first results to obtain a second result, and performing a process of characteristics integration on the plurality of first results and the second result in a manner of dot product of matrices to obtain a classification result.

Abstract: An electronic door chime can meet safety standards and be compatible with smart doorbells and IOT doorbells. Current generation smart doorbells, also called IOT doorbells, require continuous power to drive the cameras, audio interfaces, and other components within the smart doorbell. Compatibility issues with prior art doorbell systems have emerged with the smart doorbell receiving inadequate power or power that doesn't meet the smart doorbell's input specification. In some cases, a prior art doorbell system is driven to failure or to excessive temperatures when the smart doorbell continuously draws too much power. A new electronic door chime can safely power the smart doorbells while also being compatible with simple push button doorbell devices.

Abstract: An electronic door chime can meet safety standards and be compatible with smart doorbells and IOT doorbells. Current generation smart doorbells, also called IOT doorbells, require continuous power to drive the cameras, audio interfaces, and other components within the smart doorbell. Compatibility issues with prior art doorbell systems have emerged with the smart doorbell receiving inadequate power or power that doesn't meet the smart doorbell's input specification. In some cases, a prior art doorbell system is driven to failure or to excessive temperatures when the smart doorbell continuously draws too much power. A new electronic door chime can safely power the smart doorbells while also being compatible with simple push button doorbell devices.

Abstract: Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.

Abstract: The present invention pertains to a method of producing solar-grade polysilicon ingot conducive to reduce the energy consumption and cost and have high yield of casting ingot without complicating equipments. It includes melting and heating raw materials into raw water; mixing the slag removal with the water for eliminating metal impurities; conducting some water vapor for obviating B-atomic and generating pure water, thereafter heated from 1500°-1700° C.; advance heating the crucible and graphite mold in the temperature range of 1000°-1400° C., further pouring the pure water therein and having water temperature from 1450°-1600° C.; adjusting the temperature of the crucible and mold from 1400°-1430° C., thence to the range of 1000°-1200° C. for concentrating the solid/liquid property and impurities of the water on central of the mold; reducing the temperature of the crucible range of 1000°-1200° C. to 200°-400° C., thus finishing an integral polysilicon ingot.

Abstract: The present invention pertains to a method for incessantly producing polysilicon ingots, especially fabricated of an equality polycrystalline material. It contains a metallurgical method for continuously producing large amount of polysilicon ingot made by metal silicon, further comprising the steps of aligning empty graphite molds on furnace cars; preheating the molds in the preheating area; pouring the liquidized silicon into the preheated molds; transporting the molds filled with liquidized silicon from the high-temperature area, thence to a medium-temperature area, and then to a low-temperature area for solidifying the liquidized silicon into crystallized silicon; cooling the crystallized silicon until reaching the room temperature by the assistance of a shroud in a rotary conveyer track, thus generating an integral polysilicon ingot. The apparatus comprises a body, a chamber, a track, cars, a front and rear auxiliary cars, a rotary conveyer track, a propulsion apparatus, and an adjusting system.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for formally verifying designs having elements from more than a single design domain is described. An example system allows formal verification of a design containing mixed analog and digital subparts. The system may use different proof engines to solve an appropriate sub-partition of the entire design, and may provide a framework for translating between the different domains to create a unified result. For example, a digital proof engine may be used for a digital only subpart, while an analog proof engine may be used for an analog only subpart. The system may use the partitioning results to determine translators between the various domains, and an order in which the proof engines are applied.

Abstract: Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for formally verifying designs having elements from more than a single design domain is described. For example, an example system allows formal verification of a design containing mixed analog and digital design.