首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   109篇
  国内免费   6篇
  完全免费   119篇
  自动化技术   234篇
  2018年   5篇
  2017年   1篇
  2016年   6篇
  2015年   5篇
  2014年   9篇
  2013年   10篇
  2012年   12篇
  2011年   14篇
  2010年   16篇
  2009年   19篇
  2008年   11篇
  2007年   16篇
  2006年   18篇
  2005年   5篇
  2004年   11篇
  2003年   9篇
  2002年   13篇
  2001年   4篇
  2000年   11篇
  1999年   7篇
  1998年   4篇
  1997年   5篇
  1996年   8篇
  1995年   3篇
  1994年   4篇
  1993年   2篇
  1992年   2篇
  1991年   1篇
  1990年   1篇
  1989年   2篇
排序方式: 共有234条查询结果,搜索用时 31 毫秒
1.
可视化体系结构描述语言XYZ/ADL   总被引:31,自引:3,他引:28       下载免费PDF全文
骆华俊  唐稚松  郑建丹 《软件学报》2000,11(8):1024-1029
2.
基于时序逻辑的软件体系结构描述语言XYZ/ADL   总被引:27,自引:1,他引:26       下载免费PDF全文
朱雪阳  唐稚松 《软件学报》2003,14(4):713-720
3.
多主体间的协作过程研究   总被引:20,自引:2,他引:18  
多主体间的协作是多主体系统与其它相关研究领域区别开来的关键性概念之一,也是保证多个智能系统在一起共同工作的关键,将规划、竞争、约束、及协调纳入一个协作框架之中对多主体间的协作过程进行了研究,并将协作过程分为①产生需求、确定目标;②协作规划、妥协作结构;③寻求协作伙伴;④选择协作方案;⑤实现目标;⑥评估结果等6个阶段,地规范描述主体间的协作行为时,还将逻辑和进程代数方法巧妙地融进了一个统一的形式化框  相似文献
4.
SPI串行总线接口及其实现   总被引:17,自引:0,他引:17  
本文以ADμC812单片机为例,详细介绍了SPI总线接口的逻辑时序,并运用软件模拟SPI总线时序的方法,实现MCS51系列单片机同ADμC812单片机的SPI总线接口通讯。  相似文献
5.
面向服务的企业应用集成系统描述与验证   总被引:14,自引:0,他引:14       下载免费PDF全文
张广胜  蒋昌俊  汤宪飞  徐岩 《软件学报》2007,18(12):3015-3030
在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.  相似文献
6.
一种面向软件工程的时序逻辑语言   总被引:12,自引:3,他引:9       下载免费PDF全文
唐稚松  赵琛 《软件学报》1994,5(12):1-16
XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分.在统一的框架下,不仅能表示不同层次的抽象描述,而且能表示普通高级语言的各种重要性质.本文是关于这一时序逻辑语言最新、最完整的介绍.  相似文献
7.
基于时序逻辑的加密协议分析   总被引:11,自引:0,他引:11  
肖德琴  周权  张焕国  刘才兴 《计算机学报》2002,25(10):1083-1089
形式化方法由于其精炼,简洁和无二义性,逐步成为分析加密协议的一条可靠和准确的途径,但是加密协议的形式化分析研究目前还不够深入,至今仍没有统一的加密协议验证体系,针对这一现状,该文从加密协议可能面临的最强大的攻击着手,提出了一种基于时序逻辑的加密协议描述方法,在该模型下,对协议行为,入侵者行为,安全需求等特性的描述均用时序逻辑公式表达,从而利用现有的统一的时空逻辑框架分析密码协议的性质,特别地,作者描述和检测了一个系统入侵者不能用任何代数和逻辑的办法获得消息的实例,通过对比,作者认为该方法具有形式化程度较高的特点。  相似文献
8.
计算机支持的协同工作系统的时序逻辑模型   总被引:11,自引:0,他引:11       下载免费PDF全文
史元春  徐光佑 《软件学报》1998,9(3):169-173
为了使群体能够协同完成任务,CSCW(computer supported cooperative work)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导.  相似文献
9.
UML活动图的时序逻辑语义   总被引:10,自引:1,他引:9  
UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZ/E是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZ/E语义,并用一个例子说明活动图到XYZ/E的语义转换,为进一步的分析提供形式化基础.  相似文献
10.
基于Petri网的模型检测研究   总被引:10,自引:2,他引:8       下载免费PDF全文
蒋屹新  林闯  曲扬  尹浩 《软件学报》2004,15(9):1265-1276
模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织对基于Petri网的模型检测理论和验证技术进行了较为详细的研究,着重探讨了基于Petri网状态可达图的偏序简化和偏序语义技术、基于自动机的模型检测算法、基于Petri网的状态聚合法以及基于系统对称性的参数化和符号模型检测技术,并给出了研究思路以及未来所要进行的重点研究工作.模型检测技术已在通信协议和硬件系统的验证等领域得到成功应用,并且随着各种状态空间简化技术和模型检测算法的不断优化,其在其他应用领域也展示出广泛的应用前景.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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