模拟信号扩展互连测试自动测试矢量生成研究

模拟电路网络的自动测试矢量生成是混合信号测试研究的重点和难点,以IEEE1149.4标准为基础,建立模拟电路网络测试的模型及测试方法,并提出一种适用于模拟扩展互连测试自动测试矢量生成的算法,基于此方法,构建了相应的软件测试系统,通过编译Protel网表文件、BSDL文件、自定义测试模型流程文件及扫描单元真值表文件,提取相关信息,完成测试矢量的自动生成;结果显示,该算法产生的测试矢量可准确控制内部开关的导通,形成测试通路,满足模拟扩展互连测试的要求。     

基于IEEE1232的模拟电路TPS自动生成系统开发

目前在模拟电路故障诊断及测试过程中存在两个问题:测试信号的连续性及容差特性造成的测试信号数量巨大,故障知识表示复杂,测试程序(Test Program,简称TP)的编写多用基于决策知识的人工生成方法;通过对IEEE1232标准的体系结构和诊断推理机要求的分析,论文对IEEEE1232模型体系进行扩充,提出一种包含特征提取技术和多种AI诊断方法的诊断知识库生成协议,设计并实现了符合1232标准知识库的TPS自动生成测试系统;提高了诊断知识的移植性,实现了TPS的自动生成;仿真结果证明了该方案的可行性.     

PLD自动测试程序生成系统

本文讨论基于ＰＬＤ设计文件的ＰＬＤ自动测试程序生成技术，包括设计文件解析技术；测试向量生成长法；测试向量自动生成技术；测试程序自动生成技术；以及相应的ＡＴＰＧ技术。并介绍我们研究开发的ＰＬＤ器件自动测试程序生成系统－ＰＬＤＴＥＳＴ。     

ATML测试流程信息的形式化描述

自动测试描述语言(ATML)用于对ATS相关测试信息的标准化描述,这些信息以XML格式表示,其中包含对测试流程的描述.在自动生成测试程序过程中,需要采用编译技术将ATML文档转换为测试程序,要求输入的文件必须采用形式化描述,因此需要将XML格式表示的测试流程信息转换为形式化描述.在研究ATML中测试流程信息结构和实际含义基础上,设计了表示测试流程信息的形式化描述语言.实践表明,该形式化描述语言可以实现测试流程信息的形式化描述,满足测试程序自动生成的要求.     

基于虚拟仪器的测试信号模拟系统设计

现有电子装备电路结构复杂、集成度高、数量少和购买费用高,对其进行测试性验证非常困难;为了提高装备的测试性水平,采用PXI总线的虚拟仪器技术对测试信号进行模拟,系统的硬件部分由相应型号的板卡组成,软件部分使用Pspice电路仿真软件对电路进行仿真,产生测点信息,并使用虚拟仪器编程软件Labwindows/CVI进行测点信息提取,控制虚拟仪器生成测试信号,以此来代替实际装备进行测试性验证;该系统的实际输出信号与测点仿真结果保持一致;可应用于测试性验证,为提高装备的测试性提供指导。     

基于仿真的数字电路板自动测试系统

文章详细描述了LASAR数字仿真软件的测试数据生成流程和基于数字仿真的电路板自动测试系统，利用该系统可以避免数字电路板测试维修过程中，电路板测试程序集人工开发和手工诊断带来的错误，最终有效地提高电路板诊断数据生成和测试诊断效率。     

数字电路板的自动测试与仿真技术

文章描述了利用自动测试系统对数字电路板进行仿真、测试和故障维修的方法。首先介绍了基于VXI总线的自动测试系统集成技术,然后探讨如何利用数字仿真软件自动为数字电路板生成测试向量和故障字典。最后给出了一个自动测试程序集成开发环境的体系结构,可以方便地利用自动测试系统为数字电路板开发自动测试程序和故障诊断程序。     

CPR1000核电站三废处理控制系统仿真测试技术应用

为实现工厂测试期间,能够最大限度地模拟核电厂三废系统的工艺设备,对三废控制系统（DCS）的组态逻辑正确性进行验证,通过结构化文本语者编写仿真测试程序,对现场的工艺设备的运行状态进行仿真模拟。同时选取对核电站硼回收系统（TEP）的1号除汽器的仿真测试,验证仿真测试程序的可行性,提出了一种低成本,高效率的测试方法。     

基于故障字典的数字电路故障定位过程研究

分析了LASAR仿真生成的故障字典、管脚网络表和节点真值表等文件的内容,找出了其中进行电路故障定位所需的信息,总结出在此基础上对电路进行测试、实现故障定位的过程,设计了数字电路故障诊断系统,可将故障点定位至元件管脚。     

集成电路故障注入攻击仿真方法

故障注入攻击以设备要求低、效果显著逐渐成为芯片攻击的一种有效手段,对集成电路信息安全构成了严重威胁.为了尽早发现集成电路设计中的安全隐患,设计者需要简单有效的方法在设计阶段检测设计的抗故障注入攻击能力.为此,提出一种故障注入攻击软件仿真方法.首先设置3个基本参数生成包含故障数据的控制文件,构建复杂故障模型以模拟各种故障注入攻击技术;然后综合待测电路源码得到网表,在网表中插入采用可综合的硬件描述语言实现的故障注入逻辑得到新网表;再将新网表送入仿真器中仿真,仿真过程中故障注入逻辑自动读取控制文件将故障注入到待测电路中,同时收集待测电路输出;最后评估程序分析收集到的输出数据,给出评估报告.当待测电路提交给仿真系统后,系统自动完成故障注入攻击模拟和安全评估操作,给出待测电路抗故障注入攻击能力评估报告.对AES-128加密电路进行故障注入攻击和差分故障分析的实验结果表明,该方法简单有效;AES-128电路对翻转故障敏感,其输出端口的一些字节更容易出现错误,需要加强防护.     

Call for Papers The 6^th International Conference on Grid and Cooperative Computing

Recent years have seen rapid advances in various grid-related technologies, middleware, and applications. The GCC conference has become one of the largest scientific events worldwide in grid and cooperative computing. The 6th international conference on grid and cooperative computing (GCC2007) Sponsored by China Computer Federation (CCF),Institute of Computing Technology, Chinese Academy of Sciences (ICT) and Xinjiang University ,and in Cooperation with IEEE Computer Soceity ,is to be held from August 16 to 18, 2007 in Urumchi, Xinjiang, China.     

法律信息库系统

本文分析了法律数据库的结构和特点，介绍了采用面向对象设计方法和超文本数据库技术开发和实现法律信息库系统将作为重要网络资源之一为不同用户进行法律咨询服务。     

International Journal of Automation and Computing Table of Contents

正~~     

Information for authors

正SCIENCE CHINA Information Sciences(Sci China Inf Sci),cosponsored by the Chinese Academy of Sciences and the National Natural Science Foundation of China,and published by Science China Press,is committed to publishing highquality,original results of both basic and applied research in all areas of information sciences,including computer science and technology;systems science,control science and engineering(published in Issues with odd numbers);information and communication engineering;electronic science and technology(published in Issues with even numbers).Sci China Inf Sci is published monthly in both print and electronic forms.It is indexed by Academic OneFile,Astrophysics Data System(ADS),CSA,Cabells,Current Contents/Engineering,Computing and Technology,DBLP,Digital Mathematics Registry,Earthquake Engineering Abstracts,Engineering Index,Engineered Materials Abstracts,Gale,Google,INSPEC,Journal Citation Reports/Science Edition,Mathematical Reviews,OCLC,ProQuest,SCOPUS,Science Citation Index Expanded,Summon by Serial Solutions,VINITI,Zentralblatt MATH.     

Erratum to: Fast global kernel fuzzy c-means clustering algorithm for consonant/vowel segmentation of speech signal

正Erratum to:J Zhejiang Univ-Sci C(ComputElectron)2014 15(7):551-563doi:10.1631/jzus.C1300320The original version of this article unfortunately contained mistakes.Algorithm 6 should be as follows:Algorithm 6 FGKFCM-F clustering Input:(1)X={x_1,x_2,…,x_N},,x_iR~d,i=1,2,…,N,the dataset;(2)C,1C≤N,the number of clusters;(3)ε0,the stopping criterion;     

Journal of Zhejiang University-SCIENCE C (Computers & Electronics) Total contents

正~~     

磨机负荷专家控制系统设计及仿真研究

磨矿过程的大滞后和时变性等特点,致使对磨机负荷的最佳工作点很难进行稳定、高效的控制,针对以上情况,借鉴生物界的免疫反馈原理和遗传算法,利用模糊控制可以有效地实现对非线性、纯滞后、复杂的对象进行控制的优点,并结合PID与自寻优方法,设计出磨机负荷专家控制系统,用VB编写OPC客户端及控制程序,实现对磨机负荷的动态优化控制;试验结果表明,文章提出的控制策略能够增强系统的稳定性,且在干扰存在的情况下也能很好的跟随系统的参数变化,在提高磨机台时产量的同时增加了矿厂的经济效益.     

基于人工蜂群的无线传感器网络能耗均衡算法

由于无线传感器网络中的节点链路状况、数据传输能耗及节点剩余能量的限制,造成网络中部分感知节点寿命缩短,影响网络生存周期,提出了一种基于人工蜂群算法的WSNs能耗均衡算法,优化网络能耗均衡,从而提高网络寿命;文章给出了网络能耗相应的数学模型及优化求解算法,介绍人工蜂群算法的寻找食物过程,阐述了人工蜂群算法在网络能耗均衡方面的实现步骤;通过实验仿真证明,文章提到的算法与LEACH分簇算法、蚁群优化算法相比,具有更好的能耗和负载均衡能量、丢包率和时延性,有效地提高了网络生存周期.     

Thermodynamic modeling of the Al–Bi,Al–Sb,Mg–Al–Bi and Mg–Al–Sb systems

All available thermodynamic and phase diagram data of the binary Al–Bi and Al–Sb systems and ternary Mg–Al–Bi and Mg–Al–Sb systems were critically evaluated, and all reliable data were used simultaneously to obtain the best set of the model parameters for each ternary system. The Modified Quasichemical Model used for the liquid solution shows a high predictive capacity for the ternary systems. The ternary liquid miscibility gaps in the Mg–Al–Bi and Mg–Al–Sb systems resulting from the ordering behaviour of the liquid solutions can be well reproduced with one additional ternary parameter. Using the optimized model parameters, the experimentally unexplored portions of the Mg–Al–Bi and Mg–Al–Sb ternary phase diagrams were more reasonably predicted. All calculations were performed using the FactSage thermochemical software package.