Scheme for systemically registering meta-data with respect to various types of data
    1.
    发明授权
    Scheme for systemically registering meta-data with respect to various types of data 失效
    关于各种数据的系统地注册元数据的方案

    公开(公告)号:US07072983B1

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

    申请号:US09532535

    申请日:2000-03-22

    IPC分类号: G06F15/16

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

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

    Schedulability determination method and real-time system for executing a plurality of periodic talks having a predetermined period
    4.
    发明授权
    Schedulability determination method and real-time system for executing a plurality of periodic talks having a predetermined period 失效
    用于执行具有预定周期的多个周期性任务的调度确定方法和实时系统

    公开(公告)号:US07913256B2

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

    申请号:US11233176

    申请日:2005-09-23

    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.

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

    Real-time schedulability determination method and real-time system

    公开(公告)号:US20050229177A1

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

    申请号:US11085532

    申请日:2005-03-22

    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

    Real-time schedulability determination method and real-time system
    6.
    发明授权
    Real-time schedulability determination method and real-time system 失效
    实时可调度确定方法和实时系统

    公开(公告)号:US07797703B2

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

    申请号:US11085532

    申请日:2005-03-22

    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

    Scheme for systematically registering meta-data with respect to various types of data
    8.
    发明申请
    Scheme for systematically registering meta-data with respect to various types of data 失效
    关于各种类型的数据系统地注册元数据的方案

    公开(公告)号:US20050149572A1

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

    申请号:US11053333

    申请日:2005-02-09

    IPC分类号: G06F12/00 G06F17/30 G06F7/00

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

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

    Scheme for systematically registering meta-data with respect to various types of data
    10.
    发明授权
    Scheme for systematically registering meta-data with respect to various types of data 失效
    关于各种类型的数据系统地注册元数据的方案

    公开(公告)号:US07246170B2

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

    申请号:US11053333

    申请日:2005-02-09

    IPC分类号: G06F15/16

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

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