首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   69篇
  国内免费   6篇
  完全免费   11篇
  自动化技术   86篇
  2018年   1篇
  2017年   1篇
  2016年   1篇
  2015年   5篇
  2014年   12篇
  2013年   3篇
  2012年   8篇
  2011年   3篇
  2010年   13篇
  2009年   3篇
  2008年   6篇
  2007年   4篇
  2006年   2篇
  2005年   3篇
  2004年   2篇
  2003年   6篇
  2002年   5篇
  2001年   3篇
  2000年   2篇
  1997年   1篇
  1991年   1篇
  1988年   1篇
排序方式: 共有86条查询结果,搜索用时 31 毫秒
1.
基于组件的软件可靠性模型   总被引:13,自引:0,他引:13  
首先对不同的软件体系结构描述语言(ADL)进行分析,找出体系结构的共性,用抽象代数和一代阶逻辑理论对组件,连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同连接形式下的软件体系结构,给出基于组件的软件可靠性模型,在此模型基础上,对基于组件的软件系统的可靠性计算模型进行研究,提出一种半Markov模型,并在理论上证明该模型的可用性,最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。  相似文献
2.
软件体系结构:一个新的研究领域   总被引:12,自引:0,他引:12       下载免费PDF全文
赵会群  孙晶  王国仁  高远 《计算机科学》2002,29(11):146-149
计算机软件系统中软件成分越来越复杂,系统规模不断扩大,使得软件体系结构越来越庞杂,软件系统的质量和性能已经不再仅仅取决于软件实现算法和数据结构,软件系统体系结构在一定程度上决定系统的优劣,因此软件体系结构(Software Architecture,AS)研究已经逐渐地引起计算机界的重视。软件体系结构作为一个新兴的计算机学科,它的理论体系和解决问题的方法尚未形成。加强其基础理论和应用方法的研究,不论对学科发展,还是对软件生产都具有理论意义和现实意义。  相似文献
3.
面向服务的可信软件体系结构代数模型   总被引:4,自引:1,他引:3  
针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件运算实现,并结合进程代数中算子概念,定义了多种服务组合运算,从而建立SOA的代数模型.在代数模型基础上,进一步对SOA可信属性建模,提出多种SOA可信范式,为可信SOA软件设计提供理论支持.最后介绍了一个应用案例.  相似文献
4.
基于Linux的嵌入式LCD设计   总被引:3,自引:3,他引:0  
本文介绍了基于Linux的嵌入式LCD设计的实现,以ARM处理器S3C2410X嵌入式芯片为平台,设计了嵌入式Linux下的设备驱动程序和帧缓冲设备驱动程序,为同一类设备定义好structfile_operations中的操作函数,处理了大部分与设备相关的操作,在framebuffer内部结构中定义了三个数据结构,实现了对LCD的控制。  相似文献
5.
路由网络代数   总被引:3,自引:1,他引:2  
基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算 ,并在此基础提出更适合于描述Internet路由系统行为的选择运算“ ”、协同并行“ ”以及路由网络常量 ,如m×n(路由转发 )、∧ m(分支 )、∨ m(合并 )、⊥ m(下沉 )和┬ m(亚元 ) .通过分析由上述代数运算和路由网络常量构成的路由网络代数模型 ,可以分析路由系统中死锁 (deadlock)和活锁(alivelock)等行为 .为了检验路由网络代数的有效性 ,完成了BGP路由稳定性的实验分析工作 .  相似文献
6.
一种SOA软件系统可信性评价方法研究   总被引:3,自引:0,他引:3  
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.  相似文献
7.
MTS自动事务一致性仿真测试   总被引:2,自引:0,他引:2  
MTS(Microsoft Transaction Server:微软事务服务器)是Microsoft基于组件的三层C/S(Client/Server:客户机/服务器)结构的核心部件。虽然它提供了自动事务管理机制,但由于应用系统中组件之间相互关系复杂,所以设计开发人员很难在设计阶段恰当地处理组件事务特征的一致性。文中提出了组件事务特征一致性测试的仿真算法,并通过具体实例说明该算法的有效性。  相似文献
8.
基于网格技术的物联网Savant中间件的实现技术*   总被引:2,自引:0,他引:2       下载免费PDF全文
简述物联网Savant中间件的工作原理,分析了目前Savant系统中存在的缺陷,并提出了相应的解决办法.讨论了网格技术的特点及与构造Savant系统紧密相关的技术细节和系统构建思想,就基于网格技术构造可扩展的Savant系统进行研究.提出了一种基于网格技术的Savant系统体系结构,并分析了这个体系结构的特点及优势.详细介绍了Savant系统的内部模块功能和交互方式,并介绍了一个能够满足这种设计需求的Savant系统原型的功能特点及实现方法.  相似文献
9.
体育计算:一个新的计算机应用研究领域   总被引:2,自引:0,他引:2       下载免费PDF全文
给出体育计算的定义,按照应用研究领域综述体育计算的研究现状、需要进一步解决的技术问题和解决问题的思路。介绍了视频点播技术在大型体育赛会的应用现状,提出一种适合大型体百赛会需求的视频点播方案,并介绍一个能够满足这种需求的视频点播原型系统的功能特点。介绍球类临场技战术统计分析软件的设计与实现方法,提出比赛过程以脚本划分的数据模型,从而有效地简化数据采集的数量。概述运动图像处理的技术,结合体育运动项目,提出需要解决的一些实际问题以及解决问题的方法。  相似文献
10.
手机游戏软件一致性测试方法研究   总被引:2,自引:0,他引:2       下载免费PDF全文
在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP(Wireless Application Protocol,简称WAP)协议。结合WAE(Wireless Application Environment,简称WAE),WAP协议的应用层,一个用MSC图(Message Sequence Chart,简称MSC)描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架。为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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