首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   60篇
  免费   18篇
  国内免费   11篇
综合类   1篇
无线电   3篇
自动化技术   85篇
  2020年   1篇
  2019年   1篇
  2017年   1篇
  2016年   2篇
  2015年   2篇
  2013年   2篇
  2012年   3篇
  2011年   3篇
  2010年   2篇
  2009年   6篇
  2008年   6篇
  2007年   6篇
  2006年   11篇
  2005年   5篇
  2004年   5篇
  2003年   5篇
  2002年   7篇
  2001年   7篇
  2000年   3篇
  1999年   1篇
  1996年   1篇
  1995年   1篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
  1986年   2篇
  1984年   1篇
  1982年   1篇
  1981年   1篇
排序方式: 共有89条查询结果,搜索用时 15 毫秒
1.
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。  相似文献   
2.
1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。这些  相似文献   
3.
多视点需求工程中视点集成过程的研究   总被引:1,自引:0,他引:1  
多视点需求工程方法以视点的形式,分散、独立地获取和表示不同项目相关人员的需求信息.为生成一份统一的规格说明,必须对所有相关的视点进行集成.讨论了以公共开发方式作为视点的集成方式,并基于范畴理论对集成过程进行建模.同时,以公共开发的选取为导向,提出了视点集成的两种优化策略,并证明了它们的有效性.此外,讨论了视点集成的结果与集成的顺序之间的关系.  相似文献   
4.
从状态图到规则的转换   总被引:4,自引:0,他引:4  
本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示,最后,本文也阐述了此工作的作用和意义。  相似文献   
5.
安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。  相似文献   
6.
本文在描述了程序设计范型的特性之后,详细地介绍了代码组件的组合重用方法,提出并论述了代码组件的组合重用是一种新程序设计范型的观点.本文还详细地描述了这种新程序设计范型的特点,同时也指出了应当解决的一些课题.  相似文献   
7.
<正> 一、前言 MPADT(Wuham University problemAnalysis Diagram Translator)系统是一种以PAD(Problem Analysis Diagram)图式为主导的、可适用于多种程序设计语言的软件实现工具系统。该系统能支持软件生命周期的详细设计和编码、排错阶段。采用该系统开发软件,可同时输出PAD图和相应的源程序,  相似文献   
8.
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。  相似文献   
9.
本文简略介绍了软件工具和开发环境的发展。对比了“以图表为主导”和“以高级语言为主导”的两大流派,主张当前我国应大力开发以图表为主导的软件工具和环境。本文第一位作者参加了今年的第七届软件工程国际会议(7-ICSE),参观了会议期间的工具和环境展览,并访问了几个有关单位。  相似文献   
10.
根据文献[2]中提出了的基于属性文法和语义网络的综合知识表示模型MAS,本文提出了关于实现该MAS推理机制的基本算法,并且通过实例对该算法进行了说明,最后,证明了基于MAS模板的属性文法是L-AG和IMAS的解是完全的结论。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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