核级仪控系统平台和睦系统主控制站的研发和应用

开展国内首个核安全级数字化仪表控制（仪控）系统平台和睦系统主控制站的研发和应用。主控制站硬件采用PowerPC系列高性能处理器;嵌入式软件采用无商用操作系统、无中断任务调度和静态固定内存分布设计;主控制站之间通信采用单向传输方式。主控制站在出现故障和失电的情况下,满足故障安全的设计要求。主控制站中的软件已经通过了德国独立第三方检验、检测和认证机构（ISTEC）的确认和验证（V&V）, 所有板卡已经通过相关标准要求的环境、电磁兼容性（EMC）和抗震实验,并已经成功应用于国内先进百万千瓦级压水堆核电站（ACPR1000）和高温气冷堆核电站。      

核电安全级仪控系统形式化功能验证

提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证。通过实例逻辑验证表明,依据功能验证平台,按照验证步骤对设计程序进行缺陷检查,测试用例能保证RTL代码结构和功能覆盖达到100%,并提供验证报告方便快速定位并进行缺陷修复,大大地降低了仪控系统在核电厂实际使用过程中出现问题的概率,保证核电安全级仪控系统稳定性、可靠性和安全性的要求,为仪控系统提供更充分更有力的依据。     

辽宁排山楼金矿区深部成矿预测及靶区验证效果

排山楼金矿床赋存于太古宇建平群大营子组变质岩中,受近东西向东沟—马家荒韧性剪切带控制。矿区主矿体T1、T8及T4受逆冲推覆作用影响,T4矿体位于北侧,T1矿体居中,T8矿体位于南侧。T1、T8及T4矿体在走向及垂向均未尖灭,符合"白云质糜棱岩—矿体—黑云斜长糜棱岩和长英质糜棱岩"矿体围岩岩性序列,认为T1、T8与T4矿体在走向及深部均具有良好的找矿潜力,并对深部进行了成矿预测,圈定靶区2处。通过对靶区BQ2进行验证,探获了矿体,表明排山楼金矿区深部具备良好的找矿前景。     

批量控制器系统测试平台的设计与应用

为提升批量控制器产品测试工作的效率,提出用IO控制系统的信号输入输出功能模拟现场设备的信号输入输出,并在测试平台中提供装车信号监控、装车逻辑验证及装车过程模拟等功能.     

链路连通性验证在链路管理协议中的研究

首先对链路管理协议中链路连通性验证功能进行了系统地分析,详细描述了其实现过程,然后对比性地讨论了链路连通性验证在SDH/SONET和DWDM网络中的修正和扩展.     

一种双向、数字式微型无线内窥镜系统设计

通过分析目前消化道无线内窥镜的发展状况,提出了一种全新的双向、数字化的微型无线内窥镜系统方案设计,该系统具有实时观察病人图像、全消化道检查以及提供三维深度图像数据等功能,并对方案中各硬件模块及其关键技术进行了详细的论述,设计了该系统的FPGA验证环境,验证了整个方案的正确性。系统胶囊内的数模混合芯片已采用0.18μm CMOS工艺流片。     

利用两台基站仿真器验证RAT间切换和信元转移

在不影响服务的情况下进行切换是所有蜂窝网络的一项关键要求.传统上的特定蜂窝技术主要支持切换时的话音呼叫,而现在蜂窝技术需要支持多种业务(话音、视频和数据)的信元转移,以及无缝地支持各种无线技术(GSM/EDGE、WCDMA/HSDPA).支持范围的扩大极大地加深了一致性测试要求的复杂程度,除此之外,UE设计师们还在寻找更经济高效的解决方案,以提供广泛的测试范围,并满足验证和回归测试的需求.本文描述了如何使用2台Agilent 8960达到上述目的.     

A new model for verification

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.     

浅析太原市北部管网水质在线监测点布点

随着市民环保意识的提高,饮用水水质近年越来越受到关注。监管部门对供水企业提出了更高的水质安全目标。这就要求水质管理单位需要加强技术力量。建立管网水质在线检测系统,可以及时准确的获取水质数据,为水质管理提供科学助力。本文介绍了某区管网水质在线监测选点布点工作;以及如何选取水质在线监测点有关的监测参数、安装条件、选址布点等实施的详细情况;还有验证布点有效性的一些办法。     

机载低空多光谱传感器性能评价方法分析

机载低空多光谱是一项新型遥感技术,具备高精度、高效率、高维度自然生态资源的定量监测与演化分析能力,可为区域生态红线划定和资源环境承载能力研究提供有效支撑.传感器性能的精密评价是机载低空多光谱高可靠精准感知的重要先决条件,但目前国内外还未有针对新型机载低空多光谱传感器性能的科学评价体系和标准支撑.在分析国内外机载低空多光...