首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  免费   0篇
自动化技术   5篇
  2008年   2篇
  1998年   1篇
  1995年   1篇
  1986年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
用变换型方法模拟开发电话交换系统   总被引:2,自引:0,他引:2  
本文给出了用变换软件开发方法模拟开发电话交换系统的描述,由抽象的软件规范出发,通过一系列变换实现了数据的精化和操作的分解,最终得到可在机器上运行的程序,整个开发过程是用变换型语言Polya写的,最后提出了Polya的改进建议。  相似文献   
2.
在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.  相似文献   
3.
在无线自组织网络中,经常选取一些节点形成虚拟主干网,用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点,虚拟主干网需要具有一定的容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造容错虚拟主干网,并通过模拟实验评估了算法的性能。近年来,Wang Feng等人设计了常数近似算法用来构造2-连通虚拟主干网。本文将设计一个常数近似算法用以在无线自组织网络中构造一个2-连通k-支配虚拟主干网。  相似文献   
4.
面向生物遗传的计算机应用   总被引:2,自引:0,他引:2  
计算机用于生物遗传研究获得成功,是八十年代计算机应用的一项突破。这是一种在知识性很强的领域中的应用,它有着广阔的前景。  相似文献   
5.
从河内塔的并行解到UNITY程序设计   总被引:1,自引:0,他引:1  
袁崇义  屈婉玲 《计算机学报》1998,21(Z1):195-200
从事并行程序设计实践的人往往把精力耗费在为变量分配内存,为循环体寻求并行上,却忽略对问题本身的分析.其实能否并行的决定因素是应用问题本身.人们往往急于得到能够运行的代码,一开始就把复杂的问题和复杂的并行环境掺和起来了.河内塔(Hanoi Tower)问题看似无法并行,实际上却允许极大的并行.它的并行解及求解过程对并行程序设计应有一定的启发.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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