39 results about "Type description" patented technology

System and method for providing services to a user with one or more user devices in a communication network are disclosed. The system includes a server for communicating with the one or more user devices, where the server includes a connected-data-set and the one or more user devices share portions of the connected-data-set, a configuration database for storing configurations and settings of the one or more user devices, where the configuration database includes type descriptions, transcodings, account templates, service descriptions, and settings of the connected-data-set, and logic for providing services to the one or more user devices using the connected-data-set and the configuration database.

A method of generating a searchable database system for storing and querying Extensible Markup Language (XML) documents is disclosed. A Document Type Description (DTD) associated with one or more XML documents is analyzed to determine a scope of XML documents defined by the DTD. A first set of elements associated with the DTD is identified. The first set of elements is mapped to a relational database. A second set of elements associated with the DTD to be stored in an XML database is identified. A collection of classes is created such that each class defines an object schema. The classes are mapped to a set of corresponding tables, and foreign and primary keys associated with the corresponding tables are identified.

A conversation definition language (CDL) is disclosed that programmers may use to define sequences of interactions for communicating with a web service to facilitate use of the web service. CDL enables web services provided by different entities to engage in flexible and autonomous interactions. Using CDL, services can communicate by exchanging messages, and the message exchanges are expected to follow a specific pattern (i.e., a conversation). CDL is used to define the conversation, such that a service may expect a particular message in response to transmitting a particular message. CDL includes document type descriptions, interactions and transitions for describing a conversation. The document type descriptions describe the messages that may be exchanged. The interactions describe the type of actions (e.g., receive and / or transmit a message) that may be performed, and the transitions describe the possible sequences of the interactions.

A code verification system is utilized to type check compiled code. The code verification system includes memory and a code verifier. The memory is utilized to store a compiled program. The code verifier analyzes instructions of the program and generates a plurality of type signatures based on the instructions The type signatures indicate the input type constraints and the output type descriptions of the instructions, and the code verifier analyzes the type signatures to detect a type error.

The invention provides a processing and optimizing method and device for a dynamic language, equipment and a storage medium. The processing and optimizing method includes the steps: based on program codes in an intermediate file, obtaining an abstract syntax tree through analysis, obtaining type description information of the corresponding program codes through analysis based on the annotation information in the intermediate file, and adding the type description information to corresponding nodes on the abstract syntax tree; and traversing the abstract syntax tree so as to obtain attribute and type information owned by the object with the class structure based on the association relationship between the nodes and the type description information of the nodes, generating a hidden class, and attaching the hidden class to the class definition node corresponding to the object so as to generate an optimization code based on the abstract syntax tree with the hidden class. Therefore, by pre-generating the hidden class during compiling, the object layout information can be known in advance, so that the source file can be optimized based on the pre-generated hidden class to avoid the overhead of adding attributes to create the hidden class and expanding the object layout during running, and the running rate is increased.

The embodiment of the invention discloses a method and a device for scheduling system information. The method comprises the following steps: obtaining a mark of a received system information class by a terminal; and ensuring the type of the system information class according to the mark of the system information class. By using the invention, under the condition that an additional type specification message of the system information class does not need to be transmitted, the terminal identifies the type of the system information class, the selective read of the system information class is realized by the terminal, and consequently, the flexibility of the terminal for reading the system information class is increased, and it is beneficial to the energy saving of the terminal.

The invention provides an event simulation-based user interface test method, which comprises the following steps of: receiving a test case which comprises the type explanation of an event required to be tested and the type explanation of a control used when the event occurs; sending a current event simulation request according to the test case; judging the rationality and completeness of a current event and processing the current event according to the rationality and the completeness; establishing the current event by calling an upper layer working environment interface; and recording the running log of the current event. According to the test method, the layout change situation of a user interface can be processed well during testing of the user interface, linkage between events is considered, the logical relation between the control and the event is considered in every event simulation request and a test action which is consistent with the logical relation of the event required to be simulated is generated automatically, so that test missing is avoided well.

The invention relates to a system and a method for simulating power transformation equipment for inspection and belongs to the technical field of electrical power system simulation. The invention aims to solve the problems of low flexibility and poor training effect of the present training system for the transformer substation inspecting personnel. According to the invention, a power transformation equipment inspecting part description file and a defect type description file are used for describing the power transformation equipment; three-dimensional part models for all the inspecting parts of the power transformation equipment are established on the basis of a virtual reality technology; a three-dimensional equipment model is established through the three-dimensional part models; a power transformation equipment three-dimensional inspecting scene is further built; a power transformation equipment defect event is arranged; a power transformation equipment inspecting process simulating training environment is formed and displayed in real time; a power transformation equipment inspecting operation event is received and processed; a power transformation equipment inspecting simulating training processing result is displayed. The system and the method provided by the invention are used for training the personnel for inspecting the power transformation equipment.

The invention discloses a coding and decoding system for a reactive system test. The coding and decoding system comprises a type converter and a codec, wherein the type converter is used for converting specific language types into corresponding tree and tabular combined notation (TTCN-3) language types supported by a third edition TTCN-3 test platform of a test and a test control representation notation; the codec is used for performing attribute information analysis according to converted corresponding TTCN-3 languages, and coding / decoding in a coding / decoding mode specified by a coding and decoding control word in TTCN-3 language attribute information. The coding and decoding system can support various kinds of data type description, particularly support direct use of extensive makeup language (XML) type description in the TTCN-3 test, and can realize general coding and decoding of various TTCN-3 test platforms.

The invention discloses a general data format conversion method and a general data format conversion system for network data transmission of airborne equipment. The general data format conversion method comprises the following steps of: 1) according to the type of source data to be converted, defining the data structure type description of the source data; 2) stating the variables of source data type description, and initializing and assigning the variables of the source data type description; 3) defining a target data storage buffer area; 4) according to data format conversion rules, resolving the variables of the source data type description; and 5) converting the source data according to the resolved data type and storing the conversion results in the target data storage buffer area. The general data format conversion method and the general data format conversion system for network data transmission of airborne equipment have the advantages that the unification of various different network data format conversion processing methods which exist at present is realized, the work of designers at the period of network interface protocol and program design is simplified, the efficiency of data transmission among aviation airborne equipment is improved and the risk of erroneous data transmission among the airborne equipment is reduced.

The invention discloses a rainfall type identification method using rainfall particle multi-characteristic parameters. The method comprises the following steps of: establishing a feature vector required by a precipitation particle recognition model by utilizing feature parameters such as precipitation particle geometric information, gray scale information and speed information measured by an observation instrument; according to the actual measurement particle image information, dividing the main rainfall particle types into ice crystal small particles, dendritic snowflakes, columnar snowflakes, aggregated snowflakes and raindrops; and using a support vector machine method to establish a rainfall particle type recognition model, and achieving fine recognition and classification of rainfalltypes. According to the invention, fine classification and identification of precipitation particles can be effectively realized. The measurement performance of the imaging raindrop spectrometer can be further exerted, and the fineness degree of rainfall type description is improved.

Disclosed is a BMC (baseboard management controller) running status display method. The method includes judging whether the running status of a BMC is normal or not; storing hexadecimal numbers corresponding to abnormalities when the running status of the BMC is abnormal; storing hexadecimal numbers of the important stage corresponding to the running status when the running status of the BMC is normal; prompting the running status of the BMC and displaying the hexadecimal numbers on a digital tube; looking up type declaration of the running status of the BMC corresponding to the hexadecimal numbers in text files according to the hexadecimal numbers and displaying the type declaration of the running status of the BMC on a webpage user interface of the BMC. The invention further provides a BMC running status display system. The running status of the BMC can be effectively acquired.

The present invention discloses a heterogeneous wireless network multichannel fusion-based equipment interconnection device. The device comprises a network discovery unit used for a terminal to initiate a gateway search command; an address sending unit used for receiving the gateway search command and noticing an IP address to the terminal after receiving the search command; a wireless connection unit for establishing the wireless connection with a target gateway; an instruction reception unit for receiving the equipment access instructions and the equipment control instructions; an instruction execution unit for dispatching the instructions to different wireless target modules according to the type explanation of the equipment contained in the instructions after the instruction reception unit receives the instructions; a standard protocol translation unit and manufacturer driving unit used for transforming the instructions of the semantic definition into the protocols understood by the target modules during the instruction dispatching process of the instruction execution unit; a target module execution unit used for the target modules to execute the instruction operations, wherein after the target modules execute, the data, such as the execution results, etc., is noticed to the instruction execution unit to output.

The invention discloses a dynamics control method and system of space non-cooperative target navigation acquisition. For the problem of navigation acquisition of a space robot for on-orbit grabbing ofa rotating or turning non-cooperative target, the dynamics control method of space non-cooperative target navigation acquisition is put forward in the description. The method includes the steps of firstly, establishing kinetic energy analytic type description of a space robot system; secondly, establishing a kinematics equation of the space robot; thirdly, establishing an analytic type space robot system kinematics and dynamics model through a second-kind lagrange equation and a pseudo-coordinative equation. The method is obtained by deducing a vector mechanics theoretical method, the matrixand vector calculation is adopted, the equation is an analytic type expression, and the physical meanings are clear. By means of the method, the coupling analysis can be conveniently conducted for thekinematics and dynamics of the space robot system, a dynamics control algorithm based on the model can be conveniently obtained, the calculation amount is small, and the real-time calculation of thecontrol algorithm is convenient.

A method is disclosed for translating by a computer system of a COBOL computer program into a translated computer program in a readable and maintainable syntax in an object oriented programming language. The translated program including variable names equivalent to the original COBOL variable names and with attributes described in COBOL syntax. The translating method further providing for memory allocation in the translated computer program for storage of “COBOL” variables compatible with that of the original COBOL program; a description of program flow that is readable, and utilizing arithmetic operators to describe operations between COBOL variables. Also disclosed is a special object oriented run-time library for creating and performing operations between COBOL numeric objects, including maintaining storage of variable content in the original COBOL format, and for enabling readability of the translated source code by allowing arguments for variable type descriptions to be expressed in COBOL syntax.

The invention relates to an electronic reading study method and a system thereof. The electronic reading study method provided in the invention comprises the following steps: 1) a relational word stock comprising relational words, the type specifications, pronunciations, definitions or exemplifications corresponding to the relational words and a relational word list is established; 2) articles are introduced; 3) an learner selects automatic marked relational words and selects different marked display method according to requirement. The relational word list is compared according to the instructions selected by the learner. The positions of the relational words of the articles, which are in the relational word list, are inquired, and the relational words are marked in remarkable method. The invention provides the electronic reading study method and the system thereof, which enhance the reading comprehension capacity of the learner.

The invention discloses a complex system parallel simulation oriented assembly type description method. The method comprises the steps of establishing a modeling simulation process, describing an element model and describing a composite model. The assembly describing method can achieve the purpose of describing parallel simulation system with qualitative and quantitative mixture and continuous and discrete mixture, is closer to natural languages and mathematic languages in description mode, enables programs to be easy to read and write, supports modularized modeling, and is favorable to reuse and maintenance of models. Complex system modeling simulation languages enable system researching staff to be focused on themselves of complex system problems, enable simulation users to be focused on analysis and decomposition of simulation questions in a high-level abstraction level, greatly reduce software programming and debugging work relevant to modeling simulation technology, and enable simulation users and simulation language platforms to work jointly and generate accurate and efficient parallel simulation programs.

The embodiment of the invention provides a method and device for recognizing a fault type, wherein the method includes the steps: acquiring fault information; performing the matching to obtain a faulttype according to the fault information and a pre-generated fault matching rule. The method has the capability of self-learning for a rule base or the fault type description information, and performsthe continuous self-updating, and corrects the fault type information in the fault base in advance, so as to approach to a real result to the maximum degree, and then the matching is performed according to the fault information and the pre-generated fault matching rule to get a fault, so that a person can automatically recognize specific fault types in complex scenarios or complex resource environments.

The invention provides a visual perception identification system, which is characterized by carrying out signal amplification on skin image changes of a person in a high-sampling-rate video image; obtaining wave type description and positioning of the heart rate and breathing change signals through a series of filtering and digital signal processing and according to a volume pulse wave description method, and obtaining physiological parameters of HR, HRV, BR and OS and the like, and establishing nonlinear feature engineering; carrying out data modeling by utilizing a neural network; carrying out classification on correspondence relation between psychological statuses and physiological indicators by utilizing weavlet and SVM and the like; and obtaining more obvious distinction degree through Lyapunov exponents in a two-dimensional coordinate space, wherein the distinction degree can be used for classification of positive emotions and negative emotions. The system can realize more classification dimensions under the condition that the acquisition data increases continuously, and has better evolvability.

The invention discloses a memory address inquiry method and a device. The method comprises the following steps: obtaining the type of the query variable contained in the query request, and judging whether the type of the query variable belongs to a preset user-defined type; If the judgment result is yes, the type description information corresponding to the type of the query variable is obtained according to the preset user-defined script file; According to the type description information corresponding to the type of the query variable, the variable memory address corresponding to the query variable is queried from the memory layout information. This method widens the types of query variables, can query a variety of variable memory addresses, flexible application scenarios, thus providingconvenience for the compilation and debugging of the program.

The invention discloses a method for converting a format description mode, which is used for realizing the conversion of a form from a tiled type description format to a nested type description format. The method comprises the following steps: according to the tiled type description format corresponding to the form, the column width of each basic column, the row height of each basic row and matrix information of each basic grid in the form are determined; according to the matrix information of each basic grid, the number of the basic row contained in each form row and the number of the basic column contained in each form column are determined; according to the row height of each basic row and the column width of each basic column, the row height of each form row and the column width of each form column in the form are obtained; and the row height of each form row and the column width of each form column are recorded through the nested type description. The invention also discloses a device for converting the form description mode.

The invention discloses a computer software product quality control management system. The system includes a code auditing module, a test analysis module, a customer feedback module, a reviewing improvement module, a time monitoring module and an error code counting database. The test analysis module includes an error code labeling unit, a problem analysis unit, a test authentication unit and a test database. According to the system, the color distinguishing labeling and text comment labeling of code error type description are carried out on an error code part in a software test phase; and atthe same time, design demand of test code is combined to input reason analysis of the error code at text label comments according to error code examples in the test database and reason analysis description, that is, automatic color labeling, error type description and error cause analysis description are carried out on errors, which occur in the test phase, at the source code, finding, analysis and modifying are facilitated, the phenomenon that disorder or loss of table data records is liable to occur is avoided, and thus efficiency of software quality control management is improved.

The invention relates to a culture atlas generation method. The method comprises the following steps: constructing an address database, a picture database and a time database; determining a relationship among the pictures in the picture database; generating a picture culture atlas according to the relationship between the pictures; wherein the relationship is expressed as a six-tuple [location, time, picture type, type similarity, first type description and second type description]. The method and the device have relatively high construction efficiency.

The invention discloses a bus conversion method and a bus conversion device for maintaining the source end of a power system; the method comprises the following steps that a connecting point object in a transformer substation description system based on an IEC 61850 standard is expanded, and a type description parameter is added for the connecting point object; a scheduling main station end identifies the type description parameter of the connecting point object; and when the type description parameter is judged to be a bus, bus equipment is created. After the invention is adopted, the connecting point object can be expanded based on the IEC 61850 standard, the bus can be identified on the premise that no bus interval and other external new concepts are introduced, so that the sharing and the maintenance of bus information which is converted from an intelligent transformer substation to a main station are realized conveniently.