Abstract: A real-time system includes a plurality of processors for executing jobs of a plurality of periodic tasks each having predetermined period, assigns each job in a period of each of the tasks to the processors, calculates distribution of execution times during which jobs assigned are executed on the processors, determines, based on the distribution, whether each of the jobs finishes by a deadline within the period, determines that scheduling is impossible, when one of the jobs is determined not to finish by the deadline, determines whether the distribution of the execution times of the jobs each determined to finish by the deadline converge, and determines that scheduling is possible, when the distribution converge.

Abstract: A gas sensor made up of a sensor element and a first and a second hollow cylindrical porcelain insulators covering the sensor element. The first porcelain insulator is laid on the second porcelain insulator in alignment within a body of the gas sensor. A base end surface of the first porcelain insulator is placed in abutment with a top end surface of the second porcelain insulator. At least one of the base end surface of the top end surface has a ground flat area which forms an interface between the first and second porcelain insulators without micro-contacts resulting in concentration of local stress which would lead to breakage of the first or second porcelain insulator when subjected to physical loads.

Abstract: A scheme for constructing a database in a user system, which can automatically store those portions of the structured documents which contain important contents without exerting a burden on the user is disclosed. A structured document provided by a server device is obtained according to a document request made by the user system, where each structured document has a structure represented by tags in each structured document. Then, at least one important portion is automatically extracted from the structured document by utilizing the structure of the structured document according to prescribed extraction criteria specified in advance, and the extracted important portion is stored into the database, while the obtained structured document is transferred to the user system.

Abstract: A scheme for systematically registering meta-data with respect to various types of individual data so as to enable sophisticated retrieval or application program construction assistance utilizing the meta-data in a data server is disclosed. A data-type of registering data to be registered into a data server that registers and manages data and meta-data for data, and one procedure corresponding to the detected data type is selected from a plurality of procedures provided in correspondence to respective data types and stored in advance, each procedure having a program code for gene rating the meta-data for data according to a corresponding data type. Then, the meta-data for the registering data are generated by executing the program code of the selected procedure, and the generated meta-data are registered in relation to the registering data.

Abstract: According to an aspect of the present invention, heat emissions of processors are level among the processors, and it is possible to suppress occurrence of stop of process due to overheating. The control IC assigns tasks to the processors, and thereafter rectifies an assignment result such that temperatures of the processors become almost level among the processors, on the basis of the temperatures of the processors obtained by temperature sensors. This structure enables level heat emissions among the processors, and suppresses occurrence of stop of process due to overheating.

Abstract: According to an aspect of the present invention, the processor temperatures can be leveled among processors, thereby suppressing the occurrence of stop of processing due to overheating. For example, on the basis of the temperatures of the processors sensed by temperature sensors, the control IC assigns the processor whose temperature is the lowest to the task whose heat emission is the highest. This makes it possible to level the processor temperatures among processors and suppress occurrence of stop of processing due to overheating.

Abstract: A preload controller for controlling a bus access device that reads out data from a main memory via a bus and transfers the readout data to a temporary memory, including a first acquiring device to acquire access hint information which represents a data access interval to the main memory, a second acquiring device to acquire system information which represents a transfer delay time in transfer of data via the bus by the bus access device, a determining device to determine a preload unit count based on the data access interval represented by the access hint information and the transfer delay time represented by the system information, and a management device to instruct the bus access device to read out data for the preload unit count from the main memory and to transfer the readout data to the temporary memory ahead of a data access of the data.

Abstract: A scheme for constructing a database in a user system, which can automatically store those portions of the structured documents which contain important contents without exerting a burden on the user is disclosed. A structured document provided by a server device is obtained according to a document request made by the user system, where each structured document has a structure represented by tags in each structured document. Then, at least one important portion is automatically extracted from the structured document by utilizing the structure of the structured document according to prescribed extraction criteria specified in advance, and the extracted important portion is stored into the database, while the obtained structured document is transferred to the user system.

Abstract: According to the present invention, a surgical therapeutic instrument includes an insertion unit, a treating unit that is arranged at one end of the insertion unit to be extended in the extending direction at a predetermined angle to the axial direction of the insertion unit, and an operation unit that is arranged at the other end of the insertion unit. The operation unit includes a rotating operation unit to rotate the treating unit, and an opening/closing operation unit to open/close the treating unit. The treating unit includes two pinching members having planar portions, is rotatable in accordance with the rotating operation, and can move at least one of the two pinching members in the direction substantially orthogonal to the plane of the planar portion in accordance with the opening/closing operation.

Abstract: A scheme for constructing a database in a user system, which can automatically store those portions of the structured documents which contain important contents without exerting a burden on the user is disclosed. A structured document provided by a server device is obtained according to a document request made by the user system, where each structured document has a structure represented by tags in each structured document. Then, at least one important portion is automatically extracted from the structured document by utilizing the structure of the structured document according to prescribed extraction criteria specified in advance, and the extracted important portion is stored into the database, while the obtained structured document is transferred to the user system.

Abstract: Schedulability determination method of determining whether real-time scheduling of tasks is possible using processors, includes calculating Lk and ?i=1 . . . NMi*Uk,i, (1?k,i?N;k,i:integer) where Lk corresponds to task-k, Mi represents number of the one or more processors simultaneously used by task-i, Uk,i corresponds to task-k and task-i, and N represents number of tasks, and determining that real-time scheduling of tasks is possible using processors, if tasks all satisfy conditions, ?i=1 . . .

Abstract: A scheme for systematically registering meta-data with respect to various types of individual data so as to enable sophisticated retrieval or application program construction assistance utilizing the meta-data in a data server is disclosed. A data type of registering data to be registered into a data server that registers and manages data and meta-data for data, and one procedure corresponding to the detected data type is selected from a plurality of procedures provided in correspondence to respective data types and stored in advance, each procedure having a program code for generating the meta-data for data according to a corresponding data type. Then, the meta-data for the registering data are generated by executing the program code of the selected procedure, and the generated meta-data are registered in relation to the registering data.

Abstract: A storage device for which restoration of data is possible without the need for excess equipment includes mirrored storage units for online use and for backup, and is capable of performing a data backup while continuing input and output of data. The storage device is further provided with an update data storage unit for storing update data. According to the storage device, even if the information stored in a storage unit for online use is not capable of being read because of a fault in the storage unit, it is possible to restore the data in the backup storage unit to the state that existed in the storage unit for online use immediately before the fault by applying the update data to the information stored in the storage device for backup.

Abstract: An information processing system performs a plurality of tasks within a specific time interval. The system includes a bus, a plurality of processors which transfer data via the bus, and a unit for performing a scheduling operation of determining execution start timing of each of the tasks and at least one the processors which executes the tasks, based on cost information concerning a time required to perform each of the tasks and bandwidth information concerning a data transfer bandwidth required by each of the tasks, to perform the tasks within the specific time interval without overlapping execution terms of at least two tasks of the tasks, the two tasks requiring data transfer bandwidths not less than those of the others of the tasks.

Abstract: A storage device for which restoration of data is possible without the need for excess equipment includes mirrored storage units for online use and for backup, and is capable of performing a data backup while continuing input and output of data. The storage device is further provided with an update data storage unit for storing update data. According to the storage device, even if the information stored in a storage unit for online use is not capable of being read because of a fault in the storage unit, it is possible to restore the data in the backup storage unit to the state that existed in the storage unit for online use immediately before the fault by applying the update data to the information stored in the storage device for backup.

Abstract: An information processing system performs a real-time operation periodically at specific time intervals. The system includes a unit for performing a scheduling operation of assigning the real-time operation to a processor to perform the real-time operation periodically at the specific time intervals by the processor, a unit for computing a ratio of an execution time of the real-time operation to be performed by the processor at a first operating speed, based on the specific time intervals and cost information concerning a time required to perform the real-time operation by the processor at the first operating speed, and a unit for performing an operating speed control operation to operate the processor at a second operating speed that is lower than the first operating speed, the second operating speed being determined based on the computed ratio.

Abstract: An information processing system periodically performs a real-time operation including a plurality of chained tasks. The system includes a plurality of processors, a unit for dividing the chained tasks into a first task group and a second task group based on a relationship in order of execution among the tasks, the second task group being executed after the first task group, and a unit for performing a scheduling operation of periodically assigning each of the first task group and the second task group to at least one of the processors to periodically execute the first task group at regular time intervals and periodically execute the second task group at the regular time intervals with a one-period delay relative to the first task group.

Abstract: The present invention provides a lithium polymer cell having high ion conductivity and solid strength high enough to be used as a solid electrolyte for electro-chemical element. The present invention relates to a lithium polymer cell sandwiching between a positive electrode and a negative electrode a solid electrolyte formed from a cured film formed of a lithium ion conductive composition comprising one or more curable oligomers, one or more ethylenically unsaturated monomers and electrolytic salts, and a manufacturing method thereof.

Abstract: An information processing system includes a first processor having a first local memory, a second processor having a second local memory, and a third processor having a third local memory. The system further includes a unit which maps one of the second and third local memories in part of an effective address space of a first thread to be executed by the first processor, the one of the second and third local memories being the local memory of a corresponding one of the second and third processors, which executes a second thread interacting with the first thread, and a unit which changes the one of the second and third local memories which is to be mapped in part of the effective address space to the other when one of the second and third processor that executes the second thread is changed to the other.

Abstract: An information processing system performs a real-time operation including a combination of a plurality of tasks. The system includes a plurality of processors, a unit which stores structural description information and a plurality of programs describing procedures corresponding to the tasks, the structural description information indicating a relationship in input/output between the programs and including cost information concerning time required for executing each of the programs, a unit which determines an execution start timing and execution term of each of a plurality of threads for execution of the programs based on the structural description information, and a unit which performs a scheduling operation of assigning the threads to at least one of the processors according to a result of the determining.