公开(公告)号：US07913256B2

公开(公告)日：2011-03-22

申请号：US11233176

申请日：2005-09-23

申请人： Osamu Torii ,  Seiji Maeda

发明人： Osamu Torii ,  Seiji Maeda

IPC分类号： G06F9/46

CPC分类号： G06F9/4887

摘要： 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.

摘要翻译： 实时系统包括用于执行多个周期性任务的多个处理器，每个任务具有预定周期，在每个任务的周期中将每个作业分配给处理器，计算分配执行作业的执行时间的分布 在处理器上，根据分配确定每个作业是否在期限内完成的期限，确定调度是不可能的，当其中一个作业被确定为不在期限内完成时，确定是否分配 每个决定完成的作业的执行时间在截止日期之前收敛，并且当分布收敛时确定调度是可能的。

公开(公告)号：US20050229177A1

公开(公告)日：2005-10-13

申请号：US11085532

申请日：2005-03-22

申请人： Osamu Torii ,  Seiji Maeda

发明人： Osamu Torii ,  Seiji Maeda

IPC分类号： G06F15/177 ,  G06F9/46 ,  G06F9/48 ,  G06F15/16

CPC分类号： G06F9/4887

摘要： 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 . . . NMi*Uk,i≦Lk for all k (1≦k≦N), wherein Lk corresponds to task-k which is to be detected to satisfy corresponding one of conditions, Lk being expressed as follows if Mk≦(M+1)/2, Lk=(M−Mk+1)−(M−2Mk+1)Ck/Dk, andUk,i is expressed as follows if Mk≦(M+1)/2, Mi

公开(公告)号：US07797703B2

公开(公告)日：2010-09-14

申请号：US11085532

申请日：2005-03-22

申请人： Osamu Torii ,  Seiji Maeda

发明人： Osamu Torii ,  Seiji Maeda

IPC分类号： G06F9/46 ,  G06G7/00 ,  G06G7/32

CPC分类号： G06F9/4887

摘要： 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 . . . NMi*Uk, i≦Lk for all k (1≦k≦N), wherein Lk corresponds to task-k which is to be detected to satisfy corresponding one of conditions, Lk being expressed as follows if Mk≦(M+1)/2, Lk=(M−Mk+1)−(M−2Mk+1)Ck/Dk, and Uk, i is expressed as follows if Mk≦(M+1)/2, Mi

摘要翻译： 使用处理器确定任务的实时调度是否可行的调度确定方法包括计算Lk和＆Sgr; i = 1。 。 。 NMi * Uk，i，（1＆nlE; k，i＆nlE; N; k，i：整数）其中Lk对应于task-k，Mi表示task-i同时使用的一个或多个处理器的数量，Uk，i对应于 任务k和任务i，N表示任务数，并且如果任务满足条件，则确定任务的实时调度是可能的，并且Sgr i = 1。 。 。 对于所有的k（1＆nlE; k＆nlE; N），其中Lk对应于待检测以满足相应条件的任务k，如果Mk＆nlE;（M + 1） 如果Mk＆nlE;（M + 1）/ 2，Mi <（M + 1）/ 2，则Lk =（M-Mk + 1） - （M-2Mk + 1）Ck / Dk， 如果Mk＆nlE;（M + 1）/ 2，Mi（（i-1）/ 2，Xk，i＆nlE; 0，（1）Uk，i = Ci / Ti {1+（Ti-Di）/ Dk} M + 1）/ 2，0

公开(公告)号：US07103604B2

公开(公告)日：2006-09-05

申请号：US11220841

申请日：2005-09-08

申请人： Seiji Maeda ,  Tatsunori Kanai ,  Toshiki Kizu ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hisako Tanaka

发明人： Seiji Maeda ,  Tatsunori Kanai ,  Toshiki Kizu ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hisako Tanaka

IPC分类号： G06F17/00

CPC分类号： G06Q10/10 ,  G06F17/30864 ,  G06F17/30914 ,  Y10S707/99932 ,  Y10S707/99933 ,  Y10S707/99942 ,  Y10S707/99943 ,  Y10S707/99945

摘要： 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.

公开(公告)号：US20050149572A1

公开(公告)日：2005-07-07

申请号：US11053333

申请日：2005-02-09

申请人： Tatsunori Kanai ,  Toshiki Kizu ,  Seiji Maeda ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hirokuni Yano ,  Hisako Tanaka

发明人： Tatsunori Kanai ,  Toshiki Kizu ,  Seiji Maeda ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hirokuni Yano ,  Hisako Tanaka

IPC分类号： G06F12/00 ,  G06F17/30 ,  G06F7/00

CPC分类号： G06F17/30038 ,  G06F17/30017 ,  Y10S707/99943

摘要： 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.

摘要翻译： 公开了一种用于对各种类型的单独数据进行系统地注册元数据的方案，以便能够利用数据服务器中的元数据实现复杂的检索或应用程序构造辅助。 从登记到数据的数据服务器中注册和管理用于数据的数据的数据类型和与检测到的数据类型相对应的一个过程的数据类型从对应于各个数据类型提供的多个过程中选择并存储 预先，每个过程具有用于根据相应数据类型生成用于数据的元数据的程序代码。 然后，通过执行所选择的过程的程序代码来生成用于注册数据的元数据，并且相对于注册数据登记生成的元数据。

公开(公告)号：US07072983B1

公开(公告)日：2006-07-04

申请号：US09532535

申请日：2000-03-22

申请人： Tatsunori Kanai ,  Toshiki Kizu ,  Seiji Maeda ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hirokuni Yano ,  Hisako Tanaka

发明人： Tatsunori Kanai ,  Toshiki Kizu ,  Seiji Maeda ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hirokuni Yano ,  Hisako Tanaka

IPC分类号： G06F15/16

CPC分类号： G06F17/30038 ,  G06F17/30017 ,  Y10S707/99943

摘要： 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.

摘要翻译： 公开了一种用于对各种类型的单独数据进行系统地注册元数据的方案，以便能够利用数据服务器中的元数据实现复杂的检索或应用程序构造辅助。 从对应于各个数据类型提供的多个过程中选择要登记到数据服务器中的注册数据和数据的元数据的数据类型以及对应于检测到的数据类型的一个过程， 每个程序具有根据相应的数据类型的数据的元数据进行基因评估的程序代码。 然后，通过执行所选择的过程的程序代码来生成用于注册数据的元数据，并且相对于注册数据登记生成的元数据。

公开(公告)号：US06973458B1

公开(公告)日：2005-12-06

申请号：US09342268

申请日：1999-06-29

申请人： Seiji Maeda ,  Tatsunori Kanai ,  Toshiki Kizu ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hisako Tanaka

发明人： Seiji Maeda ,  Tatsunori Kanai ,  Toshiki Kizu ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hisako Tanaka

IPC分类号： G06F17/21 ,  G06F13/00 ,  G06F17/27 ,  G06F17/30

CPC分类号： G06Q10/10 ,  G06F17/30864 ,  G06F17/30914 ,  Y10S707/99932 ,  Y10S707/99933 ,  Y10S707/99942 ,  Y10S707/99943 ,  Y10S707/99945

摘要： 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.

摘要翻译： 公开了一种在用户系统中构建数据库的方案，其可以自动存储包含重要内容的结构化文档的那些部分而不会对用户造成负担。 根据由用户系统作出的文件请求获得​​由服务器设备提供的结构化文档，其中每个结构化文档具有由每个结构化文档中的标签表示的结构。 然后，根据预先规定的规定的提取标准，通过利用结构化文档的结构自动地从结构化文档中提取至少一个重要部分，并且将所提取的重要部分存储到数据库中，同时将获得的结构化文档转移到 用户系统。

公开(公告)号：US06779001B1

公开(公告)日：2004-08-17

申请号：US09666468

申请日：2000-09-20

申请人： Tatsunori Kanai ,  Hirokuni Yano ,  Toshiki Kizu ,  Hiroshi Yao ,  Seiji Maeda ,  Osamu Torii

发明人： Tatsunori Kanai ,  Hirokuni Yano ,  Toshiki Kizu ,  Hiroshi Yao ,  Seiji Maeda ,  Osamu Torii

IPC分类号： G06F1730

CPC分类号： G06F9/466 ,  G06F11/1471 ,  G06F17/30227 ,  Y10S707/99943 ,  Y10S707/99952 ,  Y10S707/99953

摘要： A transactional file system capable of realizing atomic update of plural files by transactions. In the transactional file system, a log entry containing information for validating all updates made by transaction collectively on a stable memory device, is generated for one or more files updated on a buffer region by the transaction since a start of a processing of the transaction until a commit of the transaction. Then, the log entry is written into the stable memory device at a time of the commit of the transaction.

摘要翻译： 一种能够通过事务实现多个文件的原子更新的事务文件系统。 在交易文件系统中，由事务开始处理之后，生成一个日志条目，该日志条目包含用于在一个稳定的存储器设备上统一地验证由事务共同进行的所有更新的信息，该事务由缓冲区域上更新的一个或多个文件生成，直到 交易的提交。 然后，在提交交易时将日志条目写入稳定的存储器件。

公开(公告)号：US07349927B2

公开(公告)日：2008-03-25

申请号：US10880446

申请日：2004-07-01

申请人： Tatsunori Kanai ,  Hirokuni Yano ,  Toshiki Kizu ,  Hiroshi Yao ,  Seiji Maeda ,  Osamu Torii

发明人： Tatsunori Kanai ,  Hirokuni Yano ,  Toshiki Kizu ,  Hiroshi Yao ,  Seiji Maeda ,  Osamu Torii

IPC分类号： G06F17/30 ,  G06F15/16

CPC分类号： G06F9/466 ,  G06F11/1471 ,  G06F17/30227 ,  Y10S707/99943 ,  Y10S707/99952 ,  Y10S707/99953

摘要： A transactional file system configured to realize atomic update of plural files by transactions. In the transactional file system, a log entry containing information for validating all updates made by a transaction collectively on a stable memory device, is generated for one or more files updated on a buffer region by the transaction since a start of a processing of the transaction until a commit of the transaction. Then, the log entry is written into the stable memory device at a time of the commit of the transaction.

摘要翻译： 配置为通过事务实现多个文件的原子更新的事务文件系统。 在事务文件系统中，由事务开始处理之后，由交易自动生成包含用于在一个稳定存储器设备上统一地验证由事务共同进行的所有更新的信息的日志条目。 直到交易的提交。 然后，在提交交易时将日志条目写入稳定的存储器件。

公开(公告)号：US07246170B2

公开(公告)日：2007-07-17

申请号：US11053333

申请日：2005-02-09

申请人： Tatsunori Kanai ,  Toshiki Kizu ,  Seiji Maeda ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hirokuni Yano ,  Hisako Tanaka

发明人： Tatsunori Kanai ,  Toshiki Kizu ,  Seiji Maeda ,  Takeshi Yokokawa ,  Hiroshi Yao ,  Osamu Torii ,  Hirokuni Yano ,  Hisako Tanaka

IPC分类号： G06F15/16

CPC分类号： G06F17/30038 ,  G06F17/30017 ,  Y10S707/99943

摘要： 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.

摘要翻译： 公开了一种用于对各种类型的单独数据进行系统地注册元数据的方案，以便能够利用数据服务器中的元数据实现复杂的检索或应用程序构造辅助。 从登记到数据的数据服务器中注册和管理用于数据的数据的数据类型和与检测到的数据类型相对应的一个过程的数据类型从对应于各个数据类型提供的多个过程中选择并存储 预先，每个过程具有用于根据相应数据类型生成用于数据的元数据的程序代码。 然后，通过执行所选择的过程的程序代码来生成用于注册数据的元数据，并且相对于注册数据登记生成的元数据。