全文获取类型
收费全文 | 114篇 |
免费 | 7篇 |
国内免费 | 5篇 |
专业分类
综合类 | 4篇 |
化学工业 | 2篇 |
机械仪表 | 2篇 |
建筑科学 | 1篇 |
石油天然气 | 2篇 |
无线电 | 16篇 |
一般工业技术 | 5篇 |
冶金工业 | 4篇 |
自动化技术 | 90篇 |
出版年
2024年 | 1篇 |
2022年 | 1篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2018年 | 2篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 4篇 |
2014年 | 4篇 |
2013年 | 4篇 |
2012年 | 4篇 |
2011年 | 6篇 |
2010年 | 3篇 |
2009年 | 11篇 |
2008年 | 3篇 |
2007年 | 6篇 |
2006年 | 7篇 |
2005年 | 10篇 |
2004年 | 4篇 |
2003年 | 7篇 |
2002年 | 5篇 |
2001年 | 3篇 |
2000年 | 8篇 |
1999年 | 2篇 |
1998年 | 5篇 |
1996年 | 7篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1990年 | 1篇 |
1989年 | 2篇 |
1988年 | 1篇 |
1986年 | 3篇 |
排序方式: 共有126条查询结果,搜索用时 15 毫秒
1.
Wolfgang Appelt 《Computer Standards & Interfaces》1988,7(4):377-385
The Office Document Architecture (ODA) is an International Standard which is developed by TC 97/sc 18 of the International Organization for Standardization (ISO) in close collaboration with CCITT's Study Group VIII and with ECMA. This paper describes the current state of a formal specification of the ODA document structures by mathematical means and its use for conformance specification and conformance testing. 相似文献
2.
Rachel Cardell-Oliver 《Formal Aspects of Computing》2000,12(5):350-371
A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal
timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test
generation algorithm for TTTSs are defined. Results of applying the method are presented.
Received October 1999 / Accepted in revised form November 2000 相似文献
3.
由于高层测试集的日益庞大,使TTCN的综合及有效管理成为必需.本文简要介绍了TTCN语言及对其进行管理的各种要求,阐述了一个综合的集成TTCN工具,它用XwindowsMotif实现,能方便地管理和编辑测试集. 相似文献
4.
In component-based development, software components are taken as units of composition. Nevertheless, to achieve the widely disseminated status of components being plugged together as simple ‘Lego Pieces’, the integration of components must be carefully designed, systematised and verified; only this can ensure reliable architectures. In this work, we propose some conformance notions to predict the precise nature of some forms of composition, considering coordination patterns used in the integration. These notions are formalised in terms of the denotational semantics of the process algebra CSP, and assist the designer in common activities during integration, such as the substitution of component specifications by implementations, contract adaptations, and system extensions. To support mechanical verifications using FDR (a model-checker for CSP), we derive test characterisations from the denotational definitions of conformance. We illustrate the application of these notions through a systematic composition strategy of software frameworks, and we mechanically verify the preservation of behavioural component properties in these compositions. Moreover, we characterise the well-formedness of a coordination pattern used in this strategy at the design stage, before components are assembled. 相似文献
5.
基于有限状态机的一致性测试例自动生成方法 总被引:5,自引:0,他引:5
一致性测试通俗地讲是测试被测设备(IUT)是否符合有关标准。随着被测设备类型的增多,用手工方法产生测试例将是不可能的,所以,迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例,用这种方法产生的测试例的数目有一确定的上限。 相似文献
6.
There are two distinct categories of knowledge in a design standard: (1) knowledge of the organization of design objects and (2) knowledge of the methods used in reasoning about the design objects. The object-oriented paradigm lends itself naturally to representing the organizational aspect of the design standard. The logic programming paradigm, on the other hand, is well suited to implementing the reasoning mechanisms for design and conformance checking. The object-oriented and logic programming paradigms are combined to provide a unified Object-Logic model for the representation of design codes and the processing of design standards. By storing the design provisions in a knowledge base, the model is capable of performing conformance checking and component design. To evaluate the feasibility and practicality of this model, a prototype system, HyperLRFD++, has been implemented for parts of the American Institute of Steel Construction (AISC) Load and Resistance Factor Design (LRFD) specification and tested on sample problems. 相似文献
7.
Additive Manufacturing (AM) is changing the manufacturing paradigm as it makes it possible to generate complex geometries that are impossible using conventional technologies. However, conventional GPS/GD&T practices are inadequate both at specifying and verifying geometric tolerances. In both cases, they lack the required flexibility. Applying volumetric instead of surface representations helps to solve the problem of specifying tolerances and coheres with topological optimization. The verification paradigm must be modified, too, as AM allows an increase in part complexity without a corresponding increase of cost. Among measurement techniques, only X-ray computed tomography (XCT), which is volumetric, is capable of easily measure complex parts. Leaving the discussion of volumetric tolerance specifications to the future, the aim of this work is exploring a part geometric accuracy verification by direct comparison between its nominal geometry and geometric tolerance volumetric representation, and an XCT volumetric image of it. Unlike the conventional use of XCT for geometric verification, this is a segmentation-free verification. The method is based on the “mutual information” of the two, i.e. information shared by the measured and nominal representations. The output is a conformance statement that does rely on a measurement but nor on a specific measured value not rely on a measurement result. This makes defining a decision rule considering consumer's and producer's risks difficult: uncertainty does not exist in this case. Statistic and simulation techniques make it possible to estimate these risks, defining a numerical model of the distribution of the gray values in a specific portion of the XCT image. Finally, an additive manufacturing case study validates the methodology. 相似文献
8.
协议一致性测试和互操作性测试是保证不同厂商的ATM产品和服务实现完全的互通的重要技术手段,本文分析了ATM协议的测试需求,提出了适合的测试结构和测试描述技术,并结合适配层协议CPAAL5讨论了协议集成测试系统PTTS在ATM协议测试中的应用。 相似文献
9.
会话层/表示层协议是OSI高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法,分析会话层/表示层协议一致性测试需求,采用树表格式(TTCN)与抽向语法表示(ASN,1)相结合的形式化描述语言,设计实现了会话层/表示层协议一致性测试系统及测试集。并对ISODE软件中的会话层/表示层协议实现进行了一致性测试,包括基本互连、能力、有效行为、无效行为及定向诊断等。 相似文献
10.
分布式测试方法是对网络产品进行协议一致性测试活动的一种重要的抽象测试方法,在本文中我们提出了分布式抽象测试法的一种骑跨实现技术,并详细讨论了它的测试结构和优缺点,同时我们给出了这种测试方法的一个具体实现并介绍了它在实际测试活动中的应用。最后我们讨论了骑跨式测试法在网络产品的互操作性测试中的配置结构以及它对互操作性测试生成的影响。 相似文献