首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   4篇
  完全免费   13篇
  自动化技术   17篇
  2018年   2篇
  2017年   1篇
  2016年   1篇
  2015年   1篇
  2014年   1篇
  2011年   1篇
  2010年   1篇
  2008年   1篇
  2007年   3篇
  2006年   2篇
  2003年   1篇
  2002年   2篇
排序方式: 共有17条查询结果,搜索用时 46 毫秒
1.
一种基于模糊聚类的网格DAG任务图调度算法   总被引:20,自引:2,他引:18       下载免费PDF全文
杜晓丽  蒋昌俊  徐国荣  丁志军 《软件学报》2006,17(11):2277-2288
针对网格环境中,任务调度的目标系统具有规模庞大、分布异构和动态性等特点,提出一种基于模糊聚类的网格异构任务调度算法.以往的很多调度算法需要在调度的每一步遍历整个目标系统,虽然能够获得较小的makespan,但是无疑增加了整个调度的Runtime.定义了一组刻画处理单元综合性能的特征,利用模糊聚类方法对目标系统(处理单元网络)进行预处理,实现了对处理单元网络的合理划分,使得在任务调度时能够较准确地优先选择综合性能较好的处理单元聚类,从而缩小搜索空间,大量减少任务调度时选择处理单元的时间耗费.此外,就绪任务优先级的构造既隐含考虑了关键路径上节点的执行情况对整个程序执行的影响,又考虑了异构资源对任务执行的影响.实验及性能分析比较的结果表明,定义的处理器特征能够实现对处理器网络的合理划分,而且随着目标系统规模的增大,所提出的算法优越性越来越明显.  相似文献
2.
基于Petri网的语义Web服务自动组合方法   总被引:7,自引:0,他引:7       下载免费PDF全文
汤宪飞  蒋昌俊  丁志军  王成 《软件学报》2007,18(12):2991-3000
Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.  相似文献
3.
混合语义时间Petri 网模型   总被引:2,自引:0,他引:2       下载免费PDF全文
潘理  丁志军  郭观七 《软件学报》2011,22(6):1199-1209
提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力.  相似文献
4.
基于精炼操作的Petri网建模及其分析方法   总被引:1,自引:0,他引:1  
针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.  相似文献
5.
基于网语言的Ada程序局部性质的分析和验证   总被引:1,自引:0,他引:1       下载免费PDF全文
丁志军  蒋昌俊 《软件学报》2002,13(12):2305-2316
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.  相似文献
6.
丁志军  蒋昌俊 《控制与决策》2003,18(1):49-52,57
在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念,利用时序Ada网,可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求,规范,对时序Ada网的语言性质进行分析,结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系,有助于对程序性质的分析和验证。  相似文献
7.
利用时序 Petri网对实际问题进行建模 ,通过 Petri网反映系统的物理结构 ,并利用时序逻辑公式描述系统需求及其相关约束条件 ,从而通过时序 Petri网的运行 ,得到施加控制后的变迁发生序列 ,即对应问题的实现方案 ,达到智能控制的目的。  相似文献
8.
本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。  相似文献
9.
审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序Petri网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了Petri网缺乏描述系统事件之间时序关系的局限性,同时发挥了Petri网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。  相似文献
10.
时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号