全文获取类型
收费全文 | 94篇 |
免费 | 10篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 3篇 |
综合类 | 10篇 |
机械仪表 | 1篇 |
能源动力 | 6篇 |
轻工业 | 3篇 |
无线电 | 14篇 |
一般工业技术 | 2篇 |
冶金工业 | 1篇 |
自动化技术 | 75篇 |
出版年
2021年 | 1篇 |
2019年 | 1篇 |
2016年 | 4篇 |
2015年 | 5篇 |
2014年 | 3篇 |
2013年 | 6篇 |
2012年 | 4篇 |
2011年 | 10篇 |
2010年 | 7篇 |
2009年 | 4篇 |
2008年 | 9篇 |
2007年 | 11篇 |
2006年 | 8篇 |
2005年 | 9篇 |
2004年 | 8篇 |
2003年 | 8篇 |
2002年 | 5篇 |
2001年 | 1篇 |
2000年 | 6篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1994年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
排序方式: 共有115条查询结果,搜索用时 15 毫秒
1.
为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提。在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素(组件、连接件、配置及复合组件,连接件)与可靠性评估相关属性的图形表示,便于架构的验证和分析。 相似文献
2.
3.
研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型,并基于所构建的形式化描述模型实现系统的仿真运行。结果表明,基于XYZ/ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系,精确模拟电梯运行的各种状态。 相似文献
4.
一种基于SOADL的Web服务合成方法 总被引:1,自引:0,他引:1
服务合成是面向服务的软件开发中的一个重要开发活动.探讨了体系结构设计和服务合成之间的关系,提出了一种基于体系结构的Web服务合成方法.通过自动发现服务以及自动生成过程代码和部署代码,可以将SOADL的体系结构模型转化为一个可执行的BPEL组合系统,来实现Web服务的合成.与其它服务合成方法相比,合成方法可以更好地实现从设计到实现的平滑过渡,提高合成的效率和保障合成后系统与体系结构模型之间的可跟踪性. 相似文献
5.
ADL and the State-Transition Model of Action 总被引:1,自引:0,他引:1
6.
7.
This paper introduces and motivates ADL, a new formal notation for the specification of the temporal and functional behaviour
of concurrent processes. ADL is tailored to be directly compatible with the DORIS design method. It combines a graphical Activity State-Machine (ASM) notation and a model-based Activity Functional Behaviour (AFB) notation. The abstract syntax, and static and dynamic semantics for the ASM notation are given, the dynamic semantics
being given proof-theoretically in many-sorted logic extended with the RTL ‘occurrence’ relation, Θ, and the ERTL ‘holding’ relation, Φ. ADL is used to specify a small network, and proofs are given of its timeliness and safety properties.
Received November 1998 / Accepted in revised form May 2000 相似文献
8.
James W. Hooper 《International journal of parallel programming》1985,14(2):83-105
Rapid prototyping of software and hardware is recognized as a very important step in timely, cost-effective system development. The complexity inherent in designing distributed computing systems and distributed problem solutions emphasizes the need for effective rapid prototyping tools. ADL/ADS is a testbed user interface tool for experimentation with critical research and design issues pertaining to distributed data processing (DDP). The experimenter expresses a candidate distributed system in terms of experiment objects, along with attributes and relationships. The experiment objects represent hardware, software, and behavior. This paper provides a brief overview of ADL/ADS, and gives especial emphasis to the Behavior Prototyping Language (BPL) within ADL/ADS. BPL is designed for expressing Behavior Modules (B_MODULEs)—the most versatile of the behavior objects. BPL incorporates set-theoretical approaches, and provides syntax designed for effectively describing manipulations of experiment objects, and their attributes and relationships. 相似文献
9.
10.
UML与ACME/ADL在运输业务管理系统体系结构建模中的应用 总被引:1,自引:0,他引:1
探讨了UML与ACME/ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素;然后用UML描述了系统体系结构的视图模型:进而用ACME/ADL描述了系统主要构件的交互模型;最后对这两种建模语言在体系结构建模方面的应用特性进行了比较和分析,得出了自己的结论。 相似文献