首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   18篇
  国内免费   1篇
  综合类   19篇
  2014年   1篇
  2011年   2篇
  2008年   1篇
  2007年   1篇
  2006年   1篇
  2005年   2篇
  2004年   3篇
  2003年   1篇
  2001年   1篇
  2000年   1篇
  1999年   2篇
  1997年   1篇
  1993年   1篇
  1991年   1篇
排序方式: 共有19条查询结果,搜索用时 62 毫秒
1.
按需仿真系统仿真建模及并行实现框架   总被引:5,自引:0,他引:5  
基于按需仿真(SOD)系统概念及体系结构特点,分析了系统仿真建模形式化描述的一般原则和Zeigler提出的离散事件系统形式化描述理论,描述了多媒体对象的基本结构,将面向对象的多媒体动态建模理论、人工智能引入按需仿真系统建模理论研究,建立SOD系统仿真建模的形式化描述结构,在此基础上采用逻辑仿真处理的并行执行机制进行仿真建模不同阶段的信息处理,提出了SOD仿真建模的分布并行实现框架,并分析讨论了并行处理层次化问题  相似文献
2.
从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件   总被引:4,自引:3,他引:1  
E-LOTOS是形式描述技术LOTOS的增强版.本文首先提出了一种E-LOTOS的图形表示方法,称为图形E-LOTOS(即GE-LOTOS).然后利用面向对象程序设计语言Java 开发出了一个从文本E-LOTOS到图形E-LOTOS编辑和自动转换编译工具软件.该工具软件可以把E-LOTOS以抽象层的形式体现出来.为将来的进一步研究提供了一个良好的环境  相似文献
3.
基于三层分治结构的领域类库模型设计   总被引:2,自引:1,他引:1  
针对中轻量级领域类库构造中,缺乏构造技术支持及管理维护机制不完善的问题,提出了三层分治结构(Triple—Commune Architecture)的领域类库模型,从类部件的功能特征和应用层面,对类库进行横向分类和纵向划分,确定其结构组织形式;采用同源类链式继承机制,解决类库的扩展及版本升级问题;利用自定义的类部件形式化描述语言,对类库进行形式化描述,对类部件的属性、方法、关系以及其他相关信息进行定义,从而完成类库的维护和管理.在ERP类库原型系统研发中表明该模型提高了软件复用和开发的效率.  相似文献
4.
高安全级信息系统中的特权控制机制及其模型研究   总被引:2,自引:1,他引:1  
为满足高安全级信息系统最小特权需求,提出一种强制访问控制模型EPMM。该模型采用三权分立机制对系统中的特权管理进行改进,将原有的超级用户划分为系统管理员、安全管理员和审计管理员,将其中任一个管理员的权限控制在其职责范围内。建立了模型公理系统并对主要定理进行了证明,使非法用户或异常操作对系统所造成的损失降为最小。  相似文献
5.
本文给出了Estelle-C编译器的设计与实现方法.利用Estelle-C编译器开发的通讯协议软件具有一致性好、易维护、可移植、开发周期短等优点.  相似文献
6.
首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础.  相似文献
7.
在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能.此外,还对原编译软件的图形移动和图形扩展功能进行了完善.最后将由E-LOTOS描述后的部分RIP协议用该软件转化为GE-LOTOS.  相似文献
8.
定义了分布式工作流管理过程中的一些基本概念,阐述了工作流参考模型的基本组成及功能模块,建立了分布式工作流管理的业务流程描述,并对异地分布式环境下的主要工作流程进行了应用验证.  相似文献
9.
通信协议的形式描述是协议实现、正确性验证和一致性测试的基础.本文用一种混合式模型对ISO/OSI的运输层协议进行了形式描述,为协议的实现打下基础  相似文献
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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