首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   4篇
  自动化技术   7篇
  2007年   1篇
  2001年   2篇
  2000年   2篇
  1996年   2篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
移动计算形式理论分析与研究   总被引:16,自引:1,他引:15  
移动计算是在网络技术发展中涌现出的一种新计算范型,文章旨在从形式抽象的角度来认识移动计算的本质特点,文中分析了网络计算平台的综合特征,总结了移动计算范型的曲型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π-演算、环境演算和Seal演算、时序逻辑类的移动Unity,以及Actor扩充模型,针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资  相似文献
2.
移动组件系统模型的分析与描述   总被引:6,自引:0,他引:6       下载免费PDF全文
魏峻  周桓 《软件学报》2001,12(1):56-64
移动计算是新兴的分布式计算范型,其主要特征是计算组件与计算场所能动态改变绑定关系,表现出移动性,从而带来许多新的系统设计需求.从系统模型层次角度对位置、移动组件、移动和资源访问等移动计算核心概念,以及组件与位置之间的各种关系和关系变化刻画的移动范型进行了描述.通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制,进而抽象出移动系统设计所需的语言结构,为移动系统设计和开发提供了分析基础.  相似文献
3.
一种基于对象序列图的组件交互协议设计方法   总被引:2,自引:0,他引:2       下载免费PDF全文
魏峻  王栩  李京 《软件学报》2001,12(7):996-1006
基于组件的软件开发(component-basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unifiedmodelinglanguage)的对象序列图(objectsequencediagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架.  相似文献
4.
高校《计算机文化基础》实验教学中的问题与思考   总被引:1,自引:0,他引:1  
魏峻 《福建电脑》2007,(7):22-22,51
随着计算机技术和信息技术的飞速发展,《计算机文化基础》实验中一些不适应形式发展的实验方法和实验内容盖现出莱.本文根据多年从事《计算机文化基础》教学的研究与实践,对《计算机文化基础》课程的实验教学进行探讨,通过分析这些问题.并提出相应的解决方案,进一步提高高校《计算机文化基础》实验的教学质量。  相似文献
5.
基于时序逻辑的移动计算的形式方法分析   总被引:1,自引:0,他引:1       下载免费PDF全文
魏峻 《计算机科学》2000,27(6):22-27
At present,mobile computing is widely considered as a new computing paradigm supported by advanced computational technologies.One of main characteristics of this paradigm is the ability to dynamically change the binding for hardware and/or software components,that is mobility. Although there are many languages appeared to announce supporting mobile computing,the requirements and features of this paradigm are still scarcely recognized.So a lot of research is being expanded on formal models and methods for mobile computing. In this paper,we analyze a temporal logic based formalism for mobile computing——Mobile Unity. At first,we summarize the features of mobile computing,and generalize that mobile systems should be decoupled,strongly-autonomous,context-dependent and owning new requirements for location-transparency.Then we introduce Mobile Unity,its extensions for U NITY from syntax to computational semantics,specially analyze the correspondence between the language structures of Mobile Unity and the abstraction of mobile features,such as location,mobility,transient interactions etc.At the end,we conclude its some deficiency for supporting mobile computing.  相似文献
6.
在多智能体系统中,每个智能体必须使自身适应环境动态地同其它智能体协调。为达到此目标,智能体须有预测其他智能体的行为及与其它智能体协作的能力,应动态地建立起自身的行为模型并且不断的演化它。  相似文献
7.
魏峻  周隽 《计算机科学》1996,23(6):74-77
这篇文章分析了基于模型(转换系统)的规格说明方法的特点,给出了形式方法和严格定义,并且通过实例,探讨了基于模型的规格说明方法在公平条件下约束下,描述系统安全和活动性质的能力和特点。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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