51 results about "Program specification" patented technology

An electronic information browsing system that provides a book-like interface—a virtual book—for presenting electronic contents. Specifically, an electronic information browsing system that allows users to configure its behavior via data and program specification encapsulated in a dynamic file format. Configurable behavior includes but not limited to the kind of contents to be displayed in the virtual book, the sources of the contents to be displayed, the static aspects of the virtual book such as the book dimensions and the dynamic aspects of the virtual book such as when a page is to be flipped, how the flipping of pages is contingent upon the execution of certain pre-specified events, etc.

An electronic information browsing system that provides a book-like interface—a virtual book—for presenting electronic contents. Specifically, an electronic information browsing system that allows users to configure its behavior via data and program specification encapsulated in a dynamic file format. Configurable behavior includes but not limited to the kind of contents to be displayed in the virtual book, the sources of the contents to be displayed, the static aspects of the virtual book such as the book dimensions and the dynamic aspects of the virtual book such as when a page is to be flipped, how the flipping of pages is contingent upon the execution of certain pre-specified events, etc.

Provided is an apparatus and method for transmitting / receiving multiband broadcasting using scalable video coding, which can solve a limitation of a transmission band in a multichannel satellite broadcasting service and increase availability of a satellite broadcasting service by scalably encoding video data and transmitting the data using a different transmission band for each layer. The apparatus for transmitting multiband broadcasting using scalable video coding includes: a scalable video encoder for scalably encoding video data to generate a scalable video stream having multiple layers; a multiplexer for multiplexing the scalable video elementary stream having multiple layers, a compressed audio elementary stream, and program specification information to generate a transport stream (TS); and a multiband transmitter for separating packets of the TS into multiple TSs according to pre-given priority information and transmitting the packet streams using a different transmission band.

Provided is a scalable transmitting / receiving apparatus and method for improving availability of a broadcasting service, which can allow a reception party to select an optimum video according to an attenuation degree of a broadcasting signal by scalably encoding video data and transmitting it by a different transmission scheme for each layer. The scalable transmitting apparatus for improving availability of a broadcasting service includes: a scalable video encoder for scalably encoding video data to generate scalable video elementary streams having logical layers; a multiplexer for multiplexing the multiple scalable video elementary stream, a compressed audio elementary stream, and program specification information to generate a transport stream; and a scalable transmitter for separating the transport stream into multiple TS packet streams according to pre-given priority information, and transmitting the packet streams by a different transmission scheme for each layer. down-sampler

A system, method and computer program for creating a software application specification, including arranging graphical elements to form assemblages including information displays of the graphical elements. The assemblages are classified along a layout type dimension, and a relationship metaphor dimension, are specified by attributes of a situation being studied, and are respectively associated so as to describe a behavior of the graphical elements, a software application specification is generated based thereon. Further embodiments display graphical elements, corresponding to a feature set based on a matrix, a list, a collection, a curve, a timeflow, a sequence flow, a relationship, a map, a stack or a control and a feature set based on a situation of interest, a goal, a plan, a comparison, an evaluation, a conceptual aid, a qualifier, an action, an alert or an alarm, in a consistent manner to represent information in a form useful for decision-making or problem-solving.

Provided is a driving support device and method that specifies the reliability of information used in a driving support device. The driving support device includes a storage medium that stores one or more programs and accuracy information that specifies the reliability of information of various elements used by one of the programs to provide driving support. The driving support device also includes an execution target program specification unit that specifies what program from the one or more programs is to be executed as the execution target program. An element selection unit selects an element that corresponds to the specified execution target program from the various elements. The device also includes a reliability specification unit that specifies the reliability of information used in the target execution program based on the accuracy information of the selected element.

The invention provides a method for obtaining a high-efficiency low-noise impeller of a centrifugal pump volute. Firstly main structure sizes: impeller inlet diameter, impeller outer diameter, blade number, blade thickness, blade inlet placing angle, outlet placing angle, blade wrap angle and blade length of a centrifugal pump impeller are obtained through a traditional method. The method includes: 1) measuring centrifugal pump constant performance of the impeller with the structure sizes; 2) predicting centrifugal pump unsteady performance; 3) performing internal flow field analysis and structural improvement on a centrifugal pump; 4) evaluating performance of the improved centrifugal pump, and testing H-Q, N-Q and h-Q performance curves, particle swarm optimization (pos) and program specification block (psb) variation curves; and 5) providing a novel improvement project according to analysis, and evaluating the performance of the centrifugal pump until an ideal centrifugal pump is obtained.

An invention is disclosed for collecting information on a specification of a computer program. A plurality of classes is provided, where each class is capable of performing a particular task related to obtaining information from a specification. Then a command is received from a user. The command requests a particular task to be performed. A class is then selected from the plurality of classes based on the task requested by the received command, and the selected class is run. In this manner, information on the specification is obtained. The plurality of classes can include a get assertion class that obtains assertions from the specification, and a reporting class that provides information on test coverage of the specification.

A unique comment keyword is given to a comment statement in a source code. If the comment statements are insufficient, a comment including the comment keyword is inserted in this insufficient part thereof. After this processing, the comment statements are extracted from the source code to create specification data. The specification data is displayed on a display 15. An operator completes the specification data by editing. The comment statement in the source code is replaced with the comment statement in the complete specification data based on the comment keyword being used as a key.

Information representative of a graph-based program specification (110) has a plurality of components, each of which corresponds to a task, and directed links between ports of said components. A program corresponding to said graph-based program specification is executed at a node (152). A first component includes a first data port, a first control port, and a second control port. Said first data port is configured to receive data to be processed by a first task corresponding to said first component, or configured to provide data that was processed by said first task corresponding to said first component. Executing a program corresponding to said graph-based program specification includes: receiving said first control information at said first control port, in response to receiving said first control information, determining whether or not to invoke said first task, and after receiving said first control information, providing said second control information from said second control port.

Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.

A device and method for filtering added information, in which PSI (Program Specification Information) in a transport stream is processed in an MPEG-2 system layer, are provided. The device includes a memory for storing table IDs and version numbers of sections for each of the table IDs, a combination of at least one of the sections forming a table which added information defines; a comparing unit for determining matching of a table ID included in the present section and the table IDs stored in the memory upon reception of the section, and comparing the version number of the matched table ID to the version number of a received section number; and a section processing unit for receiving and processing the present section if it is determined that the version number stored in the table ID is not the same as the version number of the received section, where by reducing a size and complexity of hardware, i.e., memories, providing an effective system by abandoning unnecessary sections instead of selecting required sections, and preventing missing sections which should be processed or wasting of the filter due to a time period required for setting the filter.

A content use monitoring system is provided for monitoring use of blister packaged contents. The monitoring device comprises an integrated circuit (14), battery (16) and piezo-electric foil (18) or other transducer that can be attached to a existing blister package, in physical contact with their backing, via adhesive. When a content is expelled from a blister through the backing, the piezo-electric foil (18) or other transducer is deformed, generating an electrical signal. The integrated circuit (14) monitors the piezo-electric foil circuit for such signals, analyses them, and if they meet the programmed specifications, the time and other characteristics of the event are recorded in the integrated circuit's memory. The content use data can later be downloaded for analysis. education or clinical purposes via either a remote or contact reader.

A method for designing a software program including multiple modules includes defining an initialization sequence wherein each of the modules is initialized according to a predetermined order. The method also includes defining calling order constraints wherein a first module may call a second module if the first module succeeds the second module in the allowed order. The method also includes creating a program specification for the software program. The program specification includes a module specification for each of the modules and each module specification indicates other modules called by an implementation of the module. According to one aspect, one of a plurality of initialization sequences is selected based upon the presence of one or more markers in a memory.

A form independent application program operation is performed on one or more Information Management System (IMS) resources by locating the Program Control Block (PCB) associated with an IMS resource exclusive of predetermined knowledge pertaining to IMS construct form, and using the PCB to perform form independent application program operations on the IMS resource.Constraints placed on the form of IMS constructs by an application program executing in an IMS environment are eliminated. Existing IMS constructs are utilized without predetermined knowledge of their number, type, language, order or other characteristics. An application program is enabled to use information from Program Specification Blocks (PSBs) and PCBs in their existing form, rather than requiring these IMS constructs to conform with the idiosyncrasies of the application program's implementation.

An information processing apparatus includes a channel selection task. The channel selection task controls an application program interface (API) to load a detecting microcode into a transport stream processor. The transport stream processor detects a transport stream based on the microcode, and outputs a signal representing detection of the transport stream to an interruption handler. The interruption handler outputs a semaphore signal to the channel selection task. The channel selection task controls the API to output an audiovisual microcode to the transport stream processor. The transport stream processor acquires program-specification information based on the microcode. The transport stream processor performs direct memory access transfer of the information to a memory 28, and outputs an interruption signal representing completion of the transfer to a software driver. The interruption handler outputs a semaphore signal representing completion of the transfer to the channel selection task. The channel selection task analyzes the information from the memory 28, and controls the transport stream processor to output a list of programs.

An electronic information browsing system that provides a book-like interface—a virtual book—for presenting electronic contents. Specifically, an electronic information browsing system that allows users to configure its behavior via data and program specification encapsulated in a dynamic file format. Configurable behavior includes but not limited to the kind of contents to be displayed in the virtual book, the sources of the contents to be displayed, the static aspects of the virtual book such as the book dimensions and the dynamic aspects of the virtual book such as when a page is to be flipped, how the flipping of pages is contingent upon the execution of certain pre-specified events, etc.

A method, system and computer program product for performing testing and verification is disclosed. The method includes converting a bias data specification to a driver specification. The driver specification is then parsed into a base constraint and bias file, wherein the base constraint and bias file is suitable for conversion into one of a set comprising a netlist representation and a random simulation representation. A verification framework is selected from among a set comprising a random verification framework using the random simulation representation and a synthesized verification framework using the netlist representation. In response to selecting the random verification framework using the random simulation representation, the random simulation representation is compiled into a parameter database. In response to selecting the synthesized verification framework using the netlist representation, the netlist representation is compiled into a synthesized model. A property of at least one of a set of the synthesized model and the parameter database is tested and verified.

Given a program P, a specification S, and an abstraction function α, verification determines whether P satisfies the specification S under the abstraction α. If not, a trace T that violate the specification is selected, and either the abstraction α is refined or a constraint that avoids the trace T is computed and added to a set of constraints. The set of constraints are used to modify the program P.

The embodiment of the invention discloses a program code review method and a program code review device. The method comprises the following steps that: error description information and error marking codes set for each programming specification error are prestored in a parameter file; whether each programming specification error exists in program codes or not is checked, and if each programming specification error exists in program codes, an error code line with the programming specification errors and the error marking code of the programming specification errors in the error code line are output; the parameter file is called, the error description information with a mapping relationship with the output error marking code is found in the parameter file, and the error description information of the programming specification error in the error code line is obtained; and a review result report is generated, wherein the review result report includes the error code line, and the error marking code and the error description information of the programming specification error in the error code line. According to the embodiment of the invention, the problems of low review efficiency, high cost and low response speed can be solved, and the difficulty for realizing the review can also be reduced.

User input is received specifying components of a graph-based program specification (628). User input is received specifying links, at least some connecting an output port of an upstream component to an input port of a downstream component. The graph-based program specification is processed to identify one or more subsets (630, 631) of the components, including: identifying one or more subset entry points and one or more subset exit points that occur between components in different subsets based at least in part on data processing characteristics of linked components, and forming the subsets based on the identified subset entry points and exit points. A visual representation of the formed subsets is rendered within a user interface. Prepared code is generated for each formed subset that when used for execution by a runtime system causes processing tasks corresponding to the components in each formed subset to be performed.

A method and system are provided which, in a program recording apparatus which performs recording of television programs, enable even those users who are inexperienced in operating machines to simply, directly and flexibly perform a program recording reservation operation and a recorded program viewing operation. An association is first made between position information on a paper or sheet with program information, and the user inputs a program specification using a program schedule and a digital pen. The information input by the pen is converted to program information, and a program recording reservation is made. If the recorded program list is printed out or various content lists are used, program playback and content management can be performed with greater ease.

A vertical requirements development method is provided for developing requirements for a system to be developed. The system to be developed includes top-level requirements and is representable by a program specification tree made up of multiple layers of individual system elements, with each lower layer of the multiple layers comprising individual system elements having lower level requirements associated therewith compared to an upper layer. The method includes the steps of identifying, based on the top-level requirements, a plurality of system level requirements analyses which, upon satisfaction, comply with the top-level requirements; and for each system level requirements analysis, allocating specification requirements to each of the individual system elements that contribute to the satisfaction of that system level requirements analysis, regardless of the level of the individual system elements that contribute in the program specification tree.

A graph-based program specification (110) includes components corresponding to tasks and directed links between ports of the components, including: a first type of link configuration defined by respective output and input ports of linked components, and a second type of link configuration defined by respective output and input ports of linked components. A compiler (120) recognizes different types of link configurations and provides in a target program specification occurrences of a target primitive for executing a function for each occurrence of a data element flowing over a link of the second type. A computing node (152) initiates execution of the target program specification, and determines at runtime, for components associated with the occurrences of the target primitive, an order in which instances of tasks corresponding to the components are to be invoked, and / or a computing node on which instances of tasks corresponding to the components are to be executed.

A handsfree system includes a handsfree apparatus and a phone. The handsfree apparatus has a database including a primary control program and a model-specific program. The primary control program enables the handsfree phone call when coupled with the phone. The model-specific program is operated to resolve a model-dependent constraint by being incorporated in the primary control program. The model-dependent constraint arises when coupled with the phone. The model-specific program is associated with phone model information and program specification information to specify the model-specific program independent of the phone model information. Phone model information and program specification information are acquired from a phone coupled with the handsfree apparatus. Model-specific program corresponding to the acquired program specification information is retrieved from the database when the acquired phone model information is not included in the database. The retrieved model-specific program is executed by incorporating in the primary control program.

The invention discloses a system and a method for automatically generating answers to programming specification questions. The system comprises a subgraph matching module, a machine reading understanding module and a learning sorting module. The method comprises steps of a programming specification knowledge graph being constructed, and natural language questions being converted into statements conforming to an SPARQL protocol through the subgraph matching module; and querying to obtain candidate answers by using the structured information in the programming specification knowledge graph; selecting all nouns, nouns phrases and subjects from the natural language questions through a machine reading understanding module, marking the words as keywords, using an Apache Solr engine to search toobtain ten most relevant natural segments, using an algorithm based on TF-IDF to score the searched natural segments, and using a TF-IDF algorithm to obtain the most relevant natural segments; using the trained deep learning model for each natural segment to obtain candidate answers, combining the candidate answers through a learning sorting module to generate new candidate answers, and using a logistic regression classifier to sort the new candidate answers according to correct probabilities.

Information representative of a graph-based program specification (110) has components, and directed links between ports of said components, defining a dependency between said components. A directed link exists between a port of a first component and a port of a second component. The first component specifies first-component execution code that when compiled enables execution of a first task. The second component specifies second-component execution code that when compiled enables execution of a second task. Compiling (120) the graph-based program specification includes grafting first control code to said first-component execution code, which changes a state of said second component to a pending state, an active state, or a suppressed state. Based on said state, said first control code causes at least one of: invoking said second component if said state changes from pending to active, or suppressing said second component if said state changes from pending to suppressed.

A system and method for mining program specifications includes generating unit tests to exercise functions of a library through an application program interface (API), based upon an (API) signature. A response to the unit tests is determined to generate a transaction in accordance with a target behavior. The transaction is converted into a relational form, and specifications of the library are learned using an inductive logic programming tool from the relational form of the transaction.