逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

雅砻江楞古水电站场址区宋玉断层活动性研究

楞古水电站位于区域构造复杂的雅砻江中游, 场址周边断裂构造较发育, 场址区内发育有较大的宋玉断层, 研 究其活动性对枢纽建筑布置和工程抗震设防措施均具有重要意义。在遥感解译的基础上, 通过野外验证和追踪调 查, 结合断层构造岩石英形貌扫描、 电子自旋共振(ESR) 测龄和近代地震震中分析, 确定了宋玉断裂的活动年代, 得 出了宋玉断层不属于工程活动断层的结论。     

计算机局域网硬件常见故障及维修处理方法

随着网络的逐步普及,局域网的建设走向信息化已成为必然选择,它不仅为现代化教学,综合化信息管理,办公自动化等一系列应用提供基本操作平台而且能提供多种服务。本人联系工作实践,阐述局域网常见故障和处理的方法,并针对计算机局域网常见硬件故障,提出相应处理对策。     

PHEVs对配电网故障影响研究

电力工作者对插入式混合动力汽车（PHEVs）进行了大量的研究与讨论,但关于PHEVs对配电网故障的影响却鲜见报道.简要介绍目前PHEVs的研究现状和PHEVs车载电池特性;并以配电网馈线故障电流有效值作为研究对象,研究PHEVs充电对配电网故障的影响,Matlab仿真结果表明：PHEVs的接入不仅影响馈线电流有效值,同时还影响故障电流增长率.     

输电线路山火跳闸原因分析及其防治措施探讨

考虑湖南地理环境、气候条件以及民情民风等因素,分析山火引起的湖南电网输电线路故障跳闸事故;线路故障主要由导线对树木放电造成,受暂态过电压和空气高温游离等因素影响,重合闸成功率低;并提出了防治山火跳闸事故的措施.     

Characteristics of late cretaceous faults of the eastern segment of the northern Qaidam basin, NW China

The Late Cretaceous tectonic upheaval was an important event during the evolution of the Qaidam Basin, resulting in the omission of the Upper Cretaceous in the whole basin and unconformities between the Paleogene sequence and pre-K2 strata. Inte-grating geological and geophysical data, two different groups of Late Cretaceous faults were recognized in the study area, one group consisting of E-W extending strike-slip faults (e.g., the Maxian and Yema-Jinan faults in the Mahai area, which caused an E-W omission zone of Mesozoic), while the other one has NW-SE thrust faults, resulting in NW-SE fold-and-thrust belts. Consid-ering the different strikes and scale of these two groups, a simple-shear model has been employed to explain this structural phe-nomenon. The NW-SE thrust faults were thought to be subsidiary to the E-W strike-slip faults. Putting this into the framework of the Cretaceous paleogeographic environment of central Asia, it is inferred that this tectonic event of the Qaidam Basin is a response to the continuous northward drifting of the India plate.     

基于模糊聚类的移动机器人并发故障诊断

移动机器人并发故障诊断技术大多将并发的多故障作为多种单故障组合状态处理,这样不仅需要为每种故障设计滤波器,且只能诊断特定的多故障组合.为了克服这些缺点,提出一种移动机器人多故障并发的故障诊断技术.根据移动机器人的运动模型,为每一种单故障状态设计一个对应的卡尔曼滤波器,用这些滤波器对移动机器人并发故障数据进行滤波.利用模糊聚类方法对滤波结果进行分类,根据移动机器人运行数据对不同单故障集合的隶属度诊断任意组合的并发故障.在三轮移动机器人Pioneer3上进行仿真实验,对14种常见的单故障和多故障并发的情况进行诊断,证明了该方法对轮式移动机器人并发故障诊断的有效性.     

模拟电路单故障与多故障诊断的提升小波和RBF方法

为了更高效、更准确地诊断模拟电路的单故障和多故障,提出了提升小波和RBF神经网络相结合的方法。该方法用提升小波系数表征故障电路的特征,训练RBF神经网络,将训练好的神经网络作为分类器,对故障电路进行诊断。通过对比,提出的提升小波方法诊断效果明显优于传统小波,准确率达到99.2%,用时更长。结果表明,基于提升小波和RBF神经网络的模拟电路单故障与多故障诊断方法可以有效地提取故障电路的特征并准确快速地对故障进行分类。