61results about How to "Ensure completeness" patented technology

A method for analyzing and validating clock integration properties in a circuit design is disclosed. A database of timing points that are clocked cell elements of the circuit design is generated. Next, a timing point frame showing the interaction of the clocked cell elements and the non-clocked cell elements is generated. The timing point frame graphically shows the timing network properties for the cell elements of the circuit design. A clock analysis view can be generated from the timing point frame for selected timing points. In this respect, the timing point frame shows timing points that meet a prescribed criteria (e.g., same clock domain). Therefore, the clock analysis view provides a graphical representation of timing and clock interactions for the circuit design.

A system for securely storing data in a memory includes a memory (1) and a CPU (Central Processing Unit) (2). The memory is divided into a plurality of fixed-size blocks (10) for storing data. Each block includes a plurality of data pages (101), and a parity check page (102) storing check codes for checking and recovering byte data. Each data page includes a plurality of byte addresses for storing byte data including a CRC (Cyclic Redundancy Check), and a complement of the CRC in the hexadecimal system expressed as CRC′. The CPU is for calculating a CRC for each data page according to byte data of the data page, calculating a CRC′ based on the CRC of the data page, and for identifying and correcting any incorrect bit data. A related method is also disclosed.

A method, a device, and a system for alerting against unknown malicious codes are disclosed. The method includes: detecting characteristics of a packet; judging whether any suspicious code exists in the packet according to a result of the detection; recording a source address of the suspicious code if the suspicious code exists in the packet; and sending alert information that carries the source address to a monitoring device. The embodiments of the present invention can report source addresses of numerous suspicious codes proactively at the earliest possible time, lay a foundation for shortening the time required for overcoming virus threats, and avoid the trouble of installing software on the client.

A method and system based on an enhanced publish-subscribe information delivery model for delivering information from information publishers to information subscribers on an Intranet or the Internet is disclosed. The invented system includes a centralized subject catalog that contains a hierarchy of categories with built-in functionality of browsing, searching, and navigation. Information publishers list information subjects in the appropriate categories in the subject catalog and publish information subsequently in terms of issues for the subject listings. Information subscribers find and make subscriptions to desired subject listings in the catalog. Then, the issues published by the publishers for the subject listings are delivered to and only to the corresponding subscribers in a timely manner. While emphasizing timeliness, the invented method and system permits great flexibility in information publication, subscription, and delivery.

An organic EL display apparatus comprises a display unit including a plurality of organic EL elements two-dimensionally arranged on a substrate, where the organic EL elements provide pixels, a sealing plate configured to be adhered to the substrate with an adhesive to cover the display unit, and a plurality of lead wires disposed on the substrate such that the lead wires are drawn outward from the display unit to the outside of the sealing plate. A linear bank is formed along an adhesion zone defined on the substrate to extend across the lead wires in a region where these lead wires are disposed. The sealing plate has its periphery adhered to the adhesion zone on the substrate along the adhesion zone on the substrate.

The invention relates to a color temperature correction method comprising the following steps: presetting white field target color coordinates and target gain values in a ray machine; receiving an input signal of each input end by the ray machine; measuring color coordinates of colors of the input signals and white field sample color coordinates by a measuring device; comparing the white field sample color coordinates with the white field target color coordinates; and regulating values of the white field sample color coordinates to be consistent with values of the white field target color coordinates. The invention also relates to a projection system using the color temperature correction method.

The present invention relates to the use of a resorcinol derivative, i.e., 4-(2,4-dihydroxyphenyl)cyclohexanol, or a pharmaceutically acceptable salt thereof, as a skin lightening agent.

A method of measuring a plurality of heavy metals in an organic pigment by a microwave digestion-inductively coupled plasma mass spectrometry is disclosed. The method comprises: a first step of preparing agents and materials, a second step of preparing instruments and devices, a third step of preparing standard working solutions, a fourth step of subjecting an organic pigment sample to microwave digestion pretreatment, a fifth step of setting main working parameters of ICP-MS instruments and a sixth step of selecting pretreatment of the sample.

A method and apparatus provide the ability to generate and use a database representing all solutions (legal combinations) satisfying all constraints of configuration problems on finite domains and/or intervals. The configuration space with all legal combinations is stored in a compact way in terms of nested arrays, where each legal Cartesian subspace has a unique index. Thus, the complete configuration space (which can be extended with object functions for optimization) is easily addressable by parallel indexing techniques and the database is therefore suitable for run-time applications (e.g. configuration on the Internet), which must be performed in real time.</PTEXT>

A folder has a detachable illumination device disposed on an upper cover of the folder so that the illumination device, such as a lamp, can be momentarily inserted into a specific power socket to provide illumination, or can be detached and placed in a predetermined slot formed on an inner surface of the folder to facilitate the carrying. Thus, the folder can break the limitation in use in various occasions where no sufficient light source is provided, and can thus enhance the utility and the convenience thereof.

The invention discloses an establishment method of a flight simulator data package architecture. The establishment method comprises the following steps that a one-dimensional linear data packet architecture is generated based on data type and the first dimension for establishing the data packet architecture; based on a flight system and second dimension for establishing the data packet architecture, a two-dimensional planar data packet architecture is generated by combining with the first dimension and the second dimension; based on data hierarchy, the third dimension for establishing data packets and the two-dimensional planar data packet architecture, a three-dimensional stereo modular data packet architecture is generated by combining with the third dimension. By adopting the establishment method, the three-dimensional stereo modular data packet architecture can be established. Compared with a traditional data packet architecture, the granularity of the data packet architecture canbe finer, the accessibility and traceability of data packet data information are improved, the data packet updating efficiency is improved, and improvement of the simulation degree and development efficiency of a flight simulator is facilitated.

The present invention provides a traffic information processing apparatus and method, the apparatus comprises a format unifying device which unifies input traffic information with different formats to traffic information with unified format; and a traffic information integrating device which corrects and/or complements the traffic information with unified format based on a knowledge base to obtain traffic information which is consistent with each other, so as to integrate the traffic information, wherein the knowledge base is external to the apparatus or internal to the apparatus. The traffic information processing apparatus and method according to the present invention can process traffic information with spatial inconsistence, temporal inconsistence and semantic inconsistence so as to integrate effectively the traffic information from a variety of heterogeneous information sources and ensure the accuracy, completeness and reliability of traffic data.

An asynchronous request-response communication method is applied in data transmission for applications running in a server. The asynchronous request-response method includes the following steps. Establish a socket and a connection port corresponding to a request in a request side; set an object pool in each request side respectively, for recording connection statuses of the sockets corresponding to different requests; wait till the server has finished the request; once the server has finished the received request, the server transmits a callback message to the corresponding socket of the request side; and search a corresponding process event in the object pool according to the callback message. The request side adopts the socket and the connection port to perform the asynchronous request-response operations, thereby reducing the connection load between the server and the request side.

The present invention relates a method for high-performance traceability query oriented to multi-chain data association, comprising: identifying a target transaction needing the traceability query; searching out all corresponding target chains based on cross-chain transaction data association; making query requests parallelly; and executing the query among the target chains according to a key value of the target transaction and returning query results. The blockchain traceability query method proposed by the present invention is different from serialized block data query conducted in the chain-type structure, and the disclosed cross-chain query operation can be parallelly executed, leading to improved efficiency of traceability query. Opposite to the conventional blockchain where blocks are used as nodes of chains, the present invention directly uses sub blockchains as nodes of the SRB. Since sub blockchains can be dynamically added or removed, the present invention enhances the scalability of the entire system.

The invention discloses a method and a system for transmitting streaming media data. The transmitting method includes: a transmitting side transmits streaming media data to a receiving side, in the meantime, the transmitted streaming media data is saved in transmitting queue; the transmitting side transmits all streaming media data saved in transmitting queue to the receiving side by using first time as period. The method and system provided by the invention reduce packet loss condition in user data message protocol transmitting process, keeps transmitting speed of user data message protocol, ensures whole efficiency of received data, consequently, fluency and stabilization of video streaming media in playing process can be ensured.

A system and method for creating designs for over the phone voice enabled services is provided. The system and method provide an automated way to start with a sample dialog, view and edit its content in both a detail dialog design format and a flowchart format, and automatically create (1) a prompt recording script; (2) a high fidelity prototype system for usability testing; and (3) an XML file for importing into a development environment.

The invention discloses an automatic concrete curing device. The automatic concrete curing device comprises a suction cup, a working disc, a water inlet pipe and a plurality of water outlet pipes. The first side of the suction cup can be attracted to a concrete structure to be cured, and a cavity is defined in the working disc; a cover capable of being opened/closed is arranged on the top of the working disc, and a first temperature sensor for sensing is arranged in the cavity; a humidity sensor is arranged on the outer portion of the working disc; the first end of the water inlet pipe is communicated with a water source, the second end of the water inlet pipe extends into the cavity, and a second temperature sensor, a heater and an electromagnetic valve are arranged on the water inlet pipe sequentially; and the first ends of the multiple water outlet pipes are all communicated with the second end of the water inlet pipe, the second ends of the multiple water outlet pipes extend out of the cavity, and spray nozzles are arranged at the second ends of the multiple water outlet pipes. In terms of curing of newly-cured concrete, according to the temperature and the humidity, the water temperature and the water spraying curing strength can be automatically adjusted, and full-process full-coverage automatic curing can be achieved.

The invention relates to an automatic cleaning device for a surface air cooler at the tail end of a central air conditioner and belongs to the technical field of cleaning of surface air coolers. The automatic cleaning device for the surface air cooler at the tail end of the central air conditioner comprises fins which are arranged at intervals and cold water pipes which penetrate through the fins, are perpendicular to the fins and are arranged at intervals, wherein a water inlet is formed in one end of each cold water pipe, a water outlet is formed in the other end of each cold water pipe, cleaning branch pipes which are arranged at intervals penetrate through the fins, one end of each cleaning branch pipe is connected with a cleaning header pipe, a plug is arranged at the other end of each cleaning branch pipe, and a water orifice is formed in the portion, between every two adjacent fins, of each cleaning branch pipe. According to the automatic cleaning device for the surface air cooler at the tail end of the central air conditioner, the fins can be cleaned and maintained effectively, and the cleanness and the smoothness of the fins are guaranteed. When the automatic cleaning device is used, a maintainer just needs to open a valve at regular times to wash the fins if possible, then the cleanness and smoothness of the fins can be kept for a long time, the situation that a special cleaning company is required for cleaning is avoided, and thus cleaning cost is reduced; when a large amount of dust is accumulated on the surfaces of the fins due to the absence of regular maintenance, chemicals can be injected into the cleaning header pipe for cleaning, and thus the fins can be thoroughly cleaned.

The invention discloses a description method of a space electric field of a multi-conductor transmission line system, and aims to accurately and completely describe the space electric field of the multi-conductor transmission line system in detail, and provide a basic method for carrying out electrical parameter calculation and performance index analysis of the multi-conductor transmission line system. The description method comprises the following steps: classifying conductors in the complex multi-conductor transmission line system according to transmission and backflowing functions, and then constructing loops two by two by the different conductors participating in transmission and backflowing, and using the loops, which uniquely correspond to charge in a physical sense, as basic space electric field units; for each loop, deriving and calculating spatial potential differences of all the loops and spatial mutual potential differences between the different loops according to parameters of a radius, a spatial relative distance and the like of the conductors of the loop, and synthesizing the spatial self-potential differences and mutual potential differences to complete electric field description for the single basic space electric field unit; carrying out electric field description on the other basic space electric field units according to the above steps; and synthesizing electric field description equations of all the basic space electric field units, and listing and writing a space electric field description matrix to complete description of the space electric field of the multi-conductor transmission line system.

Provided is a method for automated verification of a software program in a Behavior-Driven Development environment and a data processing system configured to execute such a method. Individual test steps of BDD test scenarios are first matched and then assigned to existing test step definitions from a BDD framework. If a one-to-one matching is not possible, natural language processing is used to decide if an assignment is possible with a certain matching probability. The assigned test step definitions are used to generate graphical test models for the test scenarios, e.g., UML diagrams. Finally, executable test scripts are generated to test the software program. The present invention relates particularly to Behavior-Driven Development and combines traditional BDD advantages with Model Based Testing for improved convenience and automatization in case of complex software packages.