50 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.

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.

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 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 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.

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.

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 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.

Specification of a point of interest is received. After then, a distance of movement on a path from an initial viewpoint is obtained based on an operation amount obtained at an operation unit, such as a mouse. View line vectors are set by sequentially changing the view line vectors from an initial view line vector with its start point located at the initial viewpoint to a shortest view line vector connecting a point of interest and a viewpoint at a shortest distance by moving, along the path, a viewpoint of a virtual endoscope on the path from the initial viewpoint closer to the point of interest and by changing the direction of a view line of the virtual endoscope closer to a direction toward the point of interest. Virtual endoscopic images are sequentially generated based on the set view line vectors, and the generated virtual endoscopic images are sequentially displayed.

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.

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.