首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   11篇
  国内免费   1篇
  完全免费   13篇
  自动化技术   25篇
  2018年   2篇
  2017年   1篇
  2016年   1篇
  2015年   1篇
  2014年   1篇
  2011年   1篇
  2010年   2篇
  2008年   1篇
  2007年   3篇
  2006年   4篇
  2003年   1篇
  2002年   3篇
  1998年   2篇
  1997年   2篇
排序方式: 共有25条查询结果,搜索用时 31 毫秒
1.
一种基于模糊聚类的网格DAG任务图调度算法   总被引:20,自引:2,他引:18       下载免费PDF全文
杜晓丽  蒋昌俊  徐国荣  丁志军 《软件学报》2006,17(11):2277-2288
针对网格环境中,任务调度的目标系统具有规模庞大、分布异构和动态性等特点,提出一种基于模糊聚类的网格异构任务调度算法.以往的很多调度算法需要在调度的每一步遍历整个目标系统,虽然能够获得较小的makespan,但是无疑增加了整个调度的Runtime.定义了一组刻画处理单元综合性能的特征,利用模糊聚类方法对目标系统(处理单元网络)进行预处理,实现了对处理单元网络的合理划分,使得在任务调度时能够较准确地优先选择综合性能较好的处理单元聚类,从而缩小搜索空间,大量减少任务调度时选择处理单元的时间耗费.此外,就绪任务优先级的构造既隐含考虑了关键路径上节点的执行情况对整个程序执行的影响,又考虑了异构资源对任务执行的影响.实验及性能分析比较的结果表明,定义的处理器特征能够实现对处理器网络的合理划分,而且随着目标系统规模的增大,所提出的算法优越性越来越明显.  相似文献
2.
并发程序验证的时序Petri网方法   总被引:9,自引:0,他引:9  
并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一。Petri网和时序逻辑被认 为是探讨该问题较为有效的两个理论工具,但二者都有局限性。该文引用一种新网子类;时序Petri网,描述了并发程序的时序Petri网建模方法;利用网结构描述程序基本框架及保证语句的原子性,通过时序逻辑公式反映程序的共享逻辑变量的赋值变化及时序关系,从而有效地对基本网无法描述的并发程序进行了建模;在此基础上,结合Petri网的可达图分析技术和时序逻辑的演绎公式,分析和验证了并发程序的安全性和活性性质。  相似文献
3.
基于Petri网的语义Web服务自动组合方法   总被引:7,自引:0,他引:7       下载免费PDF全文
汤宪飞  蒋昌俊  丁志军  王成 《软件学报》2007,18(12):2991-3000
Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.  相似文献
4.
基于离散微粒群算法的动态Web服务选择   总被引:3,自引:0,他引:3  
Web服务作为一种新型的Web应用模式近年来得到了迅速的发展.如何高效动态地把现存的各种Web服务整合起来以形成新的满足不同用户需求的增值的复杂服务,已成为新的应用需求和研究热点.针对服务选择问题,设计了一种面向动态Web服务选择的离散微粒群算法,并结合服务选择研究背景,提出了3种速度计算算子和一种位置进化方程.针对进化算法容易陷入局部极值这一共同缺陷,定义了微粒无希望/重希望准则,以保证微粒群的多样性,增强全局搜索能力.理论分析和实验结果表明,该算法不仅具有较快的收敛速度,而且具有较好的全局收敛性能;同时说明Max运算在服务选择中具有较好的综合性能.  相似文献
5.
混合语义时间Petri 网模型   总被引:3,自引:0,他引:3       下载免费PDF全文
潘理  丁志军  郭观七 《软件学报》2011,22(6):1199-1209
提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力.  相似文献
6.
基于精炼操作的Petri网建模及其分析方法   总被引:1,自引:0,他引:1  
针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.  相似文献
7.
基于网语言的Ada程序局部性质的分析和验证   总被引:1,自引:0,他引:1       下载免费PDF全文
丁志军  蒋昌俊 《软件学报》2002,13(12):2305-2316
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.  相似文献
8.
LED字符显示器是一种很有应用前途的显示器。本文就以HDSP211X系列为例,详细地说明其性能和使用方法,以其推动在各个方面尤其是在军品方面的应用。  相似文献
9.
一般认为单片机擅长于工业自动化控制,但却不知道它在科学计算方面有其独到的另一面。本文结合在某卫星通信工程的设计过程中所遇到的如的面天线的方位角、仰角的计算等难题,研究它是如何完成这些复杂垢科学运算的。  相似文献
10.
一般认为单片机擅长于工业自动化控制 ,但却不知道它在科学计算方面有其独到的另一面。本文结合在某卫星通信工程的设计过程中所遇到的如抛物面天线的方位角、仰角的计算等难题 ,研究它是如何完成这些复杂的科学运算的。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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