-
公开(公告)号：CN103678101A
公开(公告)日：2014-03-26
申请号：CN201210333675.9
申请日：2012-09-10
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明涉及一种检测高速列车网络控制系统的可靠性的方法，通过可靠性测试过程中获取的错误发生时间数据，根据Jelinski-Moranda模型的公式，使用极大似然估计方法获取模型参数，再代入模型公式获得系统的各个可靠性参数的结果来判断系统是否满足可靠性要求。本发明通过测试过程中获取的错误发生时间数据，使用可靠性增长模型推导的公式，可以定量评估软件可靠性的参数，同时可以预计还需要多少测试时间或发现多少问题才能使软件达到可靠性要求，为测试人员或管理人员控制测试进度，把握项目进度提供参考。而且本发明的检测系统与使用的程序设计语言无关。软件系统可靠性的检测与选用什么程序语言来编写软件之间没有直接联系。
-
公开(公告)号：CN106155781A
公开(公告)日：2016-11-23
申请号：CN201510163407.0
申请日：2015-04-08
Applicant: 中国科学院软件研究所
IPC: G06F9/48
Abstract: 本发明公开了一种多智能体平台中的实时任务调度方法。本方法为：1)将t时刻智能体A的就绪任务集合中的简单任务和预留任务分别按照释放时间升序排列；2)智能体A对到达的新任务进行准入判断，如果可准入则将该新任务按照释放时间插入优先级队列中；3)如果t时刻智能体A正在执行一预留任务，则每一系统执行单元完毕后检查优先级队列中是否有任务就绪，如果有，则将该任务的就绪时间延迟到该预留任务执行结束；如果t时刻智能体A正在执行优先级队列中的一简单任务，则在每一个系统执行单元结束后，检查是否有预留任务在该时刻开始执行，如果有则停止执行当前任务，转而执行该预留任务。本发明大大增强了多智能体平台的可靠性和可预测性。
-
公开(公告)号：CN103792932A
公开(公告)日：2014-05-14
申请号：CN201210430601.7
申请日：2012-11-01
Applicant: 中国科学院软件研究所
IPC: G05B23/02
Abstract: 本发明涉及一种基于ECA规则的高速列车故障检测方法，首先，利用ECA规则对高速列车网络控制系统的故障进行建模，可描述故障数据间的复杂时序关系，从而增强了对故障的描述能力。其次，由于ECA规则适合于描述系统的主动行为，可以支持故障诊断系统“检测事件-判断条件-触发动作”的主动工作模式，克服了传统“请求-应答”模式的缺点。同时，本发明采用基于规则图的启发式搜索可以在给定时间内尽可能多地根据采集到的数据，诊断出发生的故障。此外，由于基于ECA规则的故障诊断，其输入是原子件，而不是原始采集数据，这就过滤了与诊断规则无关的数据，从而提高了故障诊断系统在海量采集数据下的处理效率。
-
公开(公告)号：CN104978170B
公开(公告)日：2018-07-27
申请号：CN201410133930.4
申请日：2014-04-03
Applicant: 中国科学院软件研究所 , 国家电网公司 , 国网陕西省电力公司电力科学研究院
IPC: G06F8/35
Abstract: 本发明涉及种基于图形化表示的多智能体系统生成方法,首先利用图形化方式编辑构建自定义的多智能体系统;然后对多智能体系统的图形化元素进行建模,通过表示模型来描述图形化的多智能体系统;然后将多智能体系统的表示模型转化为用UML描述的中间模型,最后将中间模型转化为底层源代码,在代码转化的过程中,会根据图形化方式设置的参数、元素之间的相互关系,自动生成对应的代码块,并且封装了任务与智能体之间、任务与任务之间通过服务调用进行交互所产生的交互逻辑。本发明能够有效帮助多智能体系统开发者理解与使用,减少了开发工作量,降低了交互逻辑的复杂程度,提高了开发效率。
-
公开(公告)号：CN104980330B
公开(公告)日：2018-06-19
申请号：CN201410138679.0
申请日：2014-04-08
Applicant: 中国科学院软件研究所
IPC: H04L12/58
Abstract: 本发明公开了一种实时多智能体系统的消息准入方法。本方法为：1）在系统中建立一就绪任务集τ(t)、一待处理消息集λ(t)，以及一响应λ(t)中各消息的任务集τ′(t)；2）当t0时刻一智能体收到一消息M时，如果系统对该消息M的响应时间小于或等于该消息M的截止期，则返回请求失败，否则进行步骤3）；3）系统计算将该消息M加入λ(t0)时，如果λ(t0)中各消息的响应时间均小于或等于各消息对应的截止期，则进行步骤4），否则返回请求失败；4）系统计算将该消息M加入λ(t0)时，如果τ′(t0)中各任务的响应时间均小于或等于各任务对应的截止期，则将该消息M加入λ(t0)；否则返回请求失败。本发明大大增加了多智能体系统的可靠性和可预测性。
-
Patent Agency Ranking
公开(公告)号：CN104980330A
公开(公告)日：2015-10-14
申请号：CN201410138679.0
申请日：2014-04-08
Applicant: 中国科学院软件研究所
IPC: H04L12/58
Abstract: 本发明公开了一种实时多智能体系统的消息准入方法。本方法为：1）在系统中建立一就绪任务集τ(t)、一待处理消息集λ(t)，以及一响应λ(t)中各消息的任务集τ′(t)；2）当t0时刻一智能体收到一消息M时，如果系统对该消息M的响应时间小于或等于该消息M的截止期，则返回请求失败，否则进行步骤3）；3）系统计算将该消息M加入λ(t0)时，如果λ(t0)中各消息的响应时间均小于或等于各消息对应的截止期，则进行步骤4），否则返回请求失败；4）系统计算将该消息M加入λ(t0)时，如果τ′(t0)中各任务的响应时间均小于或等于各任务对应的截止期，则将该消息M加入λ(t0)；否则返回请求失败。本发明大大增加了多智能体系统的可靠性和可预测性。
-
公开(公告)号：CN103793589B
公开(公告)日：2017-01-18
申请号：CN201210428024.8
申请日：2012-10-31
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及高速列车故障处理方法，步骤为：1）查询故障列表中用户设定时间内发生的故障和故障代码，组成故障集；2）对故障集进行扫描得到满足最小支持度的频繁项目集，得到合法故障关联规则集；3）将合法故障关联规则集通过规则图表示，根据步骤1）故障列表中故障与该规则图上的节点进行匹配；4）在匹配后的规则图中遍历找到所有节点均被匹配路径；计算被匹配路径上各个节点所代表故障的重要性并排序；5）根据重要性排序按照故障重要性由高到低进行处理。本发明可在专家知识缺乏的情况下，支持对故障原因分析，同时利用规则匹配寻找海量故障中的因果关系，使维修可以优先修理重要性高的根源故障，从而大大降低了高速列车的故障维修成本。
-
公开(公告)号：CN103793589A
公开(公告)日：2014-05-14
申请号：CN201210428024.8
申请日：2012-10-31
Applicant: 中国科学院软件研究所
IPC: G06F19/00
Abstract: 本发明涉及高速列车故障处理方法，步骤为：1）查询故障列表中用户设定时间内发生的故障和故障代码，组成故障集；2）对故障集进行扫描得到满足最小支持度的频繁项目集，得到合法故障关联规则集；3）将合法故障关联规则集通过规则图表示，根据步骤1）故障列表中故障与该规则图上的节点进行匹配；4）在匹配后的规则图中遍历找到所有节点均被匹配路径；计算被匹配路径上各个节点所代表故障的重要性并排序；5）根据重要性排序按照故障重要性由高到低进行处理。本发明可在专家知识缺乏的情况下，支持对故障原因分析，同时利用规则匹配寻找海量故障中的因果关系，使维修可以优先修理重要性高的根源故障，从而大大降低了高速列车的故障维修成本。
-
公开(公告)号：CN106155781B
公开(公告)日：2019-08-27
申请号：CN201510163407.0
申请日：2015-04-08
Applicant: 中国科学院软件研究所
IPC: G06F9/48
Abstract: 本发明公开了一种多智能体平台中的实时任务调度方法。本方法为：1)将t时刻智能体A的就绪任务集合中的简单任务和预留任务分别按照释放时间升序排列；2)智能体A对到达的新任务进行准入判断，如果可准入则将该新任务按照释放时间插入优先级队列中；3)如果t时刻智能体A正在执行一预留任务，则每一系统执行单元完毕后检查优先级队列中是否有任务就绪，如果有，则将该任务的就绪时间延迟到该预留任务执行结束；如果t时刻智能体A正在执行优先级队列中的一简单任务，则在每一个系统执行单元结束后，检查是否有预留任务在该时刻开始执行，如果有则停止执行当前任务，转而执行该预留任务。本发明大大增强了多智能体平台的可靠性和可预测性。
-
公开(公告)号：CN104978170A
公开(公告)日：2015-10-14
申请号：CN201410133930.4
申请日：2014-04-03
Applicant: 中国科学院软件研究所 , 国家电网公司 , 国网陕西省电力公司电力科学研究院
IPC: G06F9/44
Abstract: 本发明涉及一种基于图形化表示的多智能体系统生成方法，首先利用图形化方式编辑构建自定义的多智能体系统；然后对多智能体系统的图形化元素进行建模，通过表示模型来描述图形化的多智能体系统；然后将多智能体系统的表示模型转化为用UML描述的中间模型，最后将中间模型转化为底层源代码，在代码转化的过程中，会根据图形化方式设置的参数、元素之间的相互关系，自动生成对应的代码块，并且封装了任务与智能体之间、任务与任务之间通过服务调用进行交互所产生的交互逻辑。本发明能够有效帮助多智能体系统开发者理解与使用，减少了开发工作量，降低了交互逻辑的复杂程度，提高了开发效率。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.023 seconds)
