首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   43篇
  国内免费   2篇
  完全免费   2篇
  综合类   47篇
  2014年   1篇
  2013年   2篇
  2011年   3篇
  2010年   3篇
  2009年   1篇
  2008年   2篇
  2007年   9篇
  2006年   2篇
  2005年   7篇
  2004年   2篇
  2003年   4篇
  2002年   3篇
  2001年   1篇
  2000年   1篇
  1999年   4篇
  1997年   2篇
排序方式: 共有47条查询结果,搜索用时 31 毫秒
1.
基于通信顺序进程的计算机网络通信协议形式化描述   总被引:5,自引:0,他引:5  
描述和设计计算机网络通信协议时,使用抽象的同步通信机制最为方便。但在实际中,使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果,本文提出一个形式化方法,这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性  相似文献
2.
按需仿真系统仿真建模及并行实现框架   总被引:5,自引:0,他引:5  
基于按需仿真(SOD)系统概念及体系结构特点,分析了系统仿真建模形式化描述的一般原则和Zeigler提出的离散事件系统形式化描述理论,描述了多媒体对象的基本结构,将面向对象的多媒体动态建模理论、人工智能引入按需仿真系统建模理论研究,建立SOD系统仿真建模的形式化描述结构,在此基础上采用逻辑仿真处理的并行执行机制进行仿真建模不同阶段的信息处理,提出了SOD仿真建模的分布并行实现框架,并分析讨论了并行处理层次化问题  相似文献
3.
主动模糊数据库中的事件与规则   总被引:4,自引:0,他引:4  
实现主动模糊数据库的主动服务功能,必须建立相关的模糊事件库与主动模糊规则库。基于此给出了主动模糊数据库中的四类基本模糊事件和模糊ECA规则的形式化描述方法。为增强模糊事件的表达能力,同时给出了基本模糊事件的运算法则,从而可以构造出更丰富的复合模糊事件。  相似文献
4.
一种基于构件的软件体系结构求精方法及其应用   总被引:3,自引:0,他引:3  
软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。  相似文献
5.
基于属性文法的本体形式化描述方法及其应用   总被引:3,自引:0,他引:3  
在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体的语义;设计一种属性求值器的构造方法,在此基础上实现基于语义的信息检索模型;将基于XML(extensible Markup Language)的本体元数据模型作为属性求值器处理的对象,提供相应的文档类型定义(DTD:Document Type Definition)以指导XML文档的创建;结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度;通过改变产生式、属性及属性求值规则可扩充此方法.  相似文献
6.
数据流图描述语言的研究与设计   总被引:3,自引:0,他引:3  
数据流图是软件设计开发过程中概念模型设计的重要图形表示法,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言,并给出示例说明此语言的使用,将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述,以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。  相似文献
7.
一个基于WWW的工作流管理系统   总被引:3,自引:0,他引:3       下载免费PDF全文
提出了一个基于WWW的WFMS(工作流管理系统)NEUWork,并详细讨论了NEUWork的体系结构及其实现技术·通过采用基于Petri网技术的工作流模型描述方法及多代理协作技术支持的工作流Runtime的正确运行保证机制,使NEUWork不仅具有WWW提供的技术优势,同时实现了工作流管理系统的高灵活性和可靠性  相似文献
8.
工作流机的操作语义   总被引:2,自引:0,他引:2  
针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.  相似文献
9.
基于三层分治结构的领域类库模型设计   总被引:2,自引:1,他引:1  
针对中轻量级领域类库构造中,缺乏构造技术支持及管理维护机制不完善的问题,提出了三层分治结构(Triple—Commune Architecture)的领域类库模型,从类部件的功能特征和应用层面,对类库进行横向分类和纵向划分,确定其结构组织形式;采用同源类链式继承机制,解决类库的扩展及版本升级问题;利用自定义的类部件形式化描述语言,对类库进行形式化描述,对类部件的属性、方法、关系以及其他相关信息进行定义,从而完成类库的维护和管理.在ERP类库原型系统研发中表明该模型提高了软件复用和开发的效率.  相似文献
10.
高安全级信息系统中的特权控制机制及其模型研究   总被引:2,自引:1,他引:1  
为满足高安全级信息系统最小特权需求,提出一种强制访问控制模型EPMM。该模型采用三权分立机制对系统中的特权管理进行改进,将原有的超级用户划分为系统管理员、安全管理员和审计管理员,将其中任一个管理员的权限控制在其职责范围内。建立了模型公理系统并对主要定理进行了证明,使非法用户或异常操作对系统所造成的损失降为最小。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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