全文获取类型
收费全文 | 36篇 |
免费 | 9篇 |
国内免费 | 9篇 |
专业分类
电工技术 | 2篇 |
综合类 | 3篇 |
化学工业 | 1篇 |
金属工艺 | 1篇 |
建筑科学 | 6篇 |
矿业工程 | 1篇 |
轻工业 | 1篇 |
石油天然气 | 8篇 |
无线电 | 3篇 |
一般工业技术 | 1篇 |
原子能技术 | 2篇 |
自动化技术 | 25篇 |
出版年
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 4篇 |
2019年 | 1篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2014年 | 4篇 |
2013年 | 1篇 |
2012年 | 4篇 |
2011年 | 8篇 |
2010年 | 11篇 |
2009年 | 5篇 |
2008年 | 1篇 |
2007年 | 2篇 |
2006年 | 4篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2001年 | 1篇 |
1991年 | 1篇 |
排序方式: 共有54条查询结果,搜索用时 15 毫秒
1.
行为时序逻辑中公平性的研究与完善 总被引:4,自引:4,他引:0
基于行为时序逻辑(TLA)的并发系统描述,就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性,无法准确地描述某些系统的行为,从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程,分析公平性的概念与定义方法,并以实际例子说明它的局限性。在此基础上,提出以加入两级新的公平性方式对其进行完善。最后,证明了新公平性等级之间的蕴涵关系。完善后的公平性具有更强的描述能力,能够对系统进行更完整的描述与规约。 相似文献
2.
3.
行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图, 对于并发转移可以用谓词行为图进行图形化表示, 谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则, 用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。 相似文献
4.
5.
BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完整的规约,最后使用模型检验器TLC验证BRP协议的各种性质。 相似文献
6.
研究了特立尼达湖沥青(TLA)改性沥青的性能以及在国内外的应用状况,详细分析了TLA改性沥青在沧黄高速公路中的制备以及施工方案。检测结果表明:TLA改性沥青混合料具有优良的高温性能、低温性能以及水稳定性,是一种很好的沥青改性材料。它对于大交通量、重载作用下的公路沥青路面,有广阔的应用前景。 相似文献
7.
8.
采用动作时序逻辑的Web服务组合方法 总被引:1,自引:0,他引:1
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。 相似文献
9.
10.
高增益真对数放大器技术在雷达中的应用 总被引:3,自引:2,他引:1
从分析真对数放大器(TLA)基本原理入手讨论了高增益真对数放大器的性能特点;通过高增益真对数放大器传输函数的数学公式推导,介绍一种新型真对数放大器(TLA)的设计方法;最后给出了一个在雷达接收机中的应用实例. 相似文献