全文获取类型
收费全文 | 59篇 |
免费 | 19篇 |
国内免费 | 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.
2.
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。 相似文献
3.
需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具BRMT),以辅助开发人员从行为的角度进行需求建模。 相似文献
4.
一种检查层次式有穷状态机一致性的方法 总被引:1,自引:0,他引:1
本文介绍了一种层次式有穷状态机(HFSM)的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。 相似文献
5.
从状态图到规则的转换 总被引:4,自引:0,他引:4
本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示,最后,本文也阐述了此工作的作用和意义。 相似文献
6.
本文在描述了程序设计范型的特性之后,详细地介绍了代码组件的组合重用方法,提出并论述了代码组件的组合重用是一种新程序设计范型的观点.本文还详细地描述了这种新程序设计范型的特点,同时也指出了应当解决的一些课题. 相似文献
7.
1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。这些 相似文献
8.
从需求到体系结构的设计 总被引:2,自引:1,他引:1
目前还没有一个好的方法能够将需求过渡到软件体系结构,其部分原因是由于它们二者所涵盖的概念和术语各不相同。讨论了一种基于目标和场景的方法来实现从需求到体系结构的设计。 相似文献
9.
针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。 相似文献
10.
该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。 相似文献