首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   10篇
  完全免费   2篇
  自动化技术   12篇
  2015年   1篇
  2009年   1篇
  2007年   1篇
  2005年   1篇
  2003年   1篇
  2002年   1篇
  2001年   2篇
  2000年   3篇
  1999年   1篇
排序方式: 共有12条查询结果,搜索用时 31 毫秒
1.
对基于模型诊断测试理论的修正与扩充   总被引:8,自引:2,他引:6       下载免费PDF全文
李占山  姜云飞 《软件学报》2000,11(7):979-983
虽然McIlraith和Reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对McIlraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性.  相似文献
2.
信息隐藏理论安全性研究   总被引:2,自引:2,他引:0       下载免费PDF全文
分析Cachin的基于假设检验理论的安全性模型,指出在安全性建模中应该对感知特征和统计特征同时进行约束。通过限制条件转移概率的取值约束载体感知特征和统计特征的变化,建立信息隐藏理论安全性模型。结合数字图像的具体特征进行图像载体隐藏安全性建模,给出2种图像载体隐藏安全性建模方法,得出信息隐藏理论安全的充要条件。  相似文献
3.
基于IEEE1149.4的差分测试方法的研究与应用   总被引:1,自引:1,他引:0  
IEEE1149.4标准(DOT4)为解决数模混合电路的边界扫描测试提供了有效的方法,对于数模混合差分电路的互联测试,一直是数模混合电路中巨联测试的重点之一,介绍了一种基于此标准的差分互联电路的测试方法以及差分模拟边界扫描单元的应用,对混合差分电路实现了简荤互联和扩展互联的边界扫描测试,从而提高了差分电路互联测试的能力。  相似文献
4.
电子设备BIT状态的神经网络预测   总被引:1,自引:0,他引:1  
首先对基于LM 算法的神经网络预测性能进行研究。相对快速BP网络而言,其预测精度高、收敛速度快。然后提出将该方法应用于电子设备BIT输出及相关量的状态预测,对存在于航空电子设备中的压力、温度等环境应力的典型变化曲线进行了预测,并在环境应力影响下的BIT状态综合预测中得到验证。结果表明,利用时空两方面信息进行状态预测和综合分析是一条提高BIT诊断能力、降低虚警的重要思路。  相似文献
5.
软件测试是软件开发的一个重要环节,也是《软件工程》课程教学的一个重要内容。本文主要介绍了一类白盒法—逻辑覆盖测试方法,并结合一个例子重点讨论了运用条件覆盖测试方法设计测试用例的各种方案,还将条件覆盖方法与语句覆盖方法、判定覆盖方法作了深入、细致的比较。  相似文献
6.
A possible approach to test for conditional symmetry in time series regression models is discussed. To that end, the Bai and Ng test is utilized. The performance of some popular (unconditional) symmetry tests for observations when applied to regression residuals is also examined. The tests considered include the coefficient of skewness, a joint test of the third and fifth moments, the Runs test, the Wilcoxon signed-rank test and the Triples test. An easy-to-implement symmetric bootstrap procedure is proposed to calculate critical values for these tests. Consistency of the bootstrap procedure will be shown. A simple Monte Carlo experiment is conducted to explore the finite-sample properties of all the tests.  相似文献
7.
近年来,Internet和各种其他网络应用得到了飞速发展,网络的结构随之变得越来越复杂,如何使各种网络设备正确有效地工作正成为一个等解决的问题。本文集中讨论了基于TCP/IP协议和Cisco的IOS系统的网络自动诊断专家系统的实现问题,并且提供了在这个系统中用于规则库的一种设计模型。  相似文献
8.
Graphical symbols such as icons or pictograms as interfaces in modern technological devices have become quite common. Although generally designed in western countries, their use can be found worldwide from audio-visual appliances to computers and computer-related devices. A basic ergonomic principle is to involve the potential users in the design and evaluation stages especially when the user groups are quite diverse. This study was part of an international project on evaluating telecommunication symbols. One of the major objectives was to test different graphical symbols (of the videophone), designed, and tested in Western Europe using subject groups from Asia, Europe, and the United States. This paper would discuss the major portions of the tests involving US and Swedish subjects. Performance indices used were hits, certainties, confusions, and semantic differential ratings. They were useful in analysing how the symbols were recognised, confused, and perceived by different subject groups. They also helped detect differences between groups which otherwise seemed to have similar test results. The results showed differences in patterns of ratings, which may be culturally linked and could help determine aspects of symbol design and usage that may be more helpful in designing instructions, learning aids, etc. Awareness of such subject bias and their implications are important on how one interprets the test results.

Relevance to industry

The study outcome can be very helpful for industries in designing and evaluating candidate graphical symbols across various types of consumer products for worldwide use.  相似文献

9.
X-machines were proposed by Holcombe as a possible specification language and since then a number of further investigations have demonstrated that the model is intuitive and easy to use. In particular, stream X-machines (SXM), a particular class of X-machines, have been found to be extremely useful in practice. Furthermore, a method of testing systems specified as SXMs exists and is proved to detect all faults of the implementation provided that the system meets certain “design for test conditions”. Recently, a system of communicating SXMs was introduced as a means of modelling parallel processing. This paper proves that each communicating machine component can be transformed in a straightforward manner so that the entire system will behave like a single stream X-machine - the equivalent SXM of the system. The paper goes on to investigate the applicability of the SXM testing method to a system of communicating SXMs and identifies a class of communicating SXMs for which the equivalent SXM of the system meets the “design for test conditions”. Received November 1999 / Accepted in revised form June 2001  相似文献
10.
Some conditions relating to the automata involved in the W-testing method are discussed. It is also shown how to use the method for reduced automata instead of minimal automata. New design test conditions (weak output distinguishable, strong test-complete and output delimited type) are considered for the generalised stream X-machines (stream X-machines with basic functions replaced by relations and having as output strings of symbols rather than single symbols). It is proved that testing methods similar to those already developed for ordinary deterministic stream X-machines may be applied for generalised stream X-machines with output delimited types. A particular case of generalised stream X-machine with output delimited type is the X-machine with output delimiter, which produces outputs having a distinct right end character. Received October 2000 / Accepted in revised form January 2001  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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