基于LabWindows/CVI的电能质量监测系统设计

为了解决传统电能质量监测装置监测通道少、测量精度不高、功能协同性不强等问题,通过研究电能质量各项指标的测量技术,研发了一种基于LabWindows/CVI虚拟仪器开发平台的一体化电能质量监测系统.该监测系统采用自适应电网频率的数据采集方法和基于脉冲触发的同步方法实现了多通道同步高精度的测量,同时多线程交互式的编程模式实现了多功能之间的良好协调.通过检测表明,该系统能够稳定地检测分析电能质量稳态指标和暂态扰动,操作简单,功能丰富,界面友好,具有广泛的使用前景.     

区域生长辅助的地图配准在室内定位中的应用

地图匹配（ MM）算法通过粒子滤波（ PF）利用室内地图信息来抑制基于惯性传感器的室内定位系统的误差累计。利用区域生长（ RG）算法结合当前步长和方向信息在地图上找到合理的落脚范围,并以此来判断粒子的有效性。这种方法能有效改善地图配准算法的实用性和计算复杂度。提出一种改进的零速度（ ZV）检测算法能准确提取步伐信息,间接提升了零速度更新（ ZUPT）算法和地图配准算法的精度。实验结果表明：该算法的定位误差小于1.0%,定位精度比单纯的航位推算（ DR）算法平均提高了5.97%。     

公共元素模型数据类型的XML Schema描述

AI-ESTATE标准中采用EXPRESS语言对其诊断知识进行描述,但EXPRESS不是程序设计语言,导致采用EXPRESS语言描述的诊断知识难以用程序设计实现,为诊断知识的共享和重用造成了一定困难;XML语言以其良好的灵活性、可读性和可扩展性,为信息交换带来了很大的方便,将EXPRESS语言映射为XML Schema,对诊断知识的共享意义重大.首先,分析了EXPRESS语言和XML Schema的数据类型;然后,分别研究了EXPRESS中简单数据类型、聚合数据类型和构造数据类型到XML数据类型的映射机制;最后,在分析AI-ESTATE标准公共元素模型数据类型的基础上,研究了将公共元素模型的诊断知识用XML Schema标准化描述的过程,实现了诊断知识的可移植和重用.     

反馈线性化在液压型风力发电机组功率追踪中的应用

以液压型风力发电机组为研究对象,为使功率追踪的过程平稳,研究机组的最佳功率追踪控制方法.本文利用反馈线性化方法解决系统非线性问题,以液压系统压力为控制输出,设计最佳功率追踪控制器,并提出一种反馈线性化方法的工程应用解决方案,即结合传统PID控制解决反馈线性化工程应用中依赖模型参数精度的问题.依托30 k VA液压型风力发电机组半物理仿真实验台进行仿真和实验研究,验证了该方法的可行性,为机组进一步研究奠定理论与实验基础.     

基于CCD的掌纹掌脉采集模块设计

针对掌纹掌脉身份认证的需求,以掌纹和掌静脉图像采集系统作为研究对象,设计了一种基于CCD的掌纹掌脉采集模块.采集模块采用单CCD作为图像感应芯片,在单颗芯片上同时获得掌纹掌脉图像,光源设计上突破性地采用了激光二极管作为红外补充光源,采集的图像以USB数据形式进行上传.实验表明:采集模块能够获得满足图像处理要求的清晰可靠的掌纹掌脉图像.     

面向方面设计中干涉问题的分析工具

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.本文设计开发了一个基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具.它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中没有干涉存在或者为修正干涉问题提供线索.     

多传感器基于动态时空特性软硬协作决策的目标检测研究

针对多传感器系统中目标检测时检测精度与效率的矛盾问题,研究了一种具有协同合作决策功能的目标检测算法及其传感器设计方案。首先将多传感器系统依据时域、空域和频域给出三维定义描述,分析了时空动态特性,其次依据二元检验和目标优化检测分析了软决策和硬决策在目标检测时变化规律,建立了一种基于协同合作的目标检测决策机制,最后给出了基于动态时空特性软硬协作决策的目标检测及其传感器头结构设计方案。实验表明,所提目标检测方案在检测精度、检测效率、资源利用率和覆盖率等方面具有明显优势。     

基于行为轨迹属性的软件动态可信模型*

针对软件动态可信度量方法中准确性和效率存在的问题,提出以行为区间划分软件的结构并以行为轨迹属性刻画软件行为的基于行为轨迹属性的软件动态可信模型SBMDB(Software Behavior Model for Dynamic Trustworthiness Based on Behavior Path Properties)。通过对软件功能进行分析,划分软件的行为轨迹区间,提取区间的行为轨迹属性。同时,针对区间的包含、嵌套问题提出了区间化简算法,建立软件的行为模型。该模型以行为轨迹区间为度量基本单位,降低了度量时的整体消耗,提高了度量的效率。实验分析表明,该模型能够精确获取软件的行为信息,有效地检测攻击行为。与其它模型相比,SBMDB可以在保证度量结果准确性基础上提高度量效率。     

基于不可见字符的主副式网页信息隐藏算法

目前国内外网页信息隐藏算法大多侧重于研究如何提高隐藏效率和扩充隐藏容量,而忽视了信息隐藏算法的安全性。为此,提出了一种基于不可见字符的主副式网页信息隐藏(PSWIH)算法,即以ASCII编码下的不可见字符为主方式实现信息隐藏,并以改变标签大小写、嵌入与待隐藏信息不相关的不可见字符、改变标签属性对顺序为副方式实现信息检测干扰。实验结果表明,相对于基于标签大小写、基于属性对顺序、基于不可见字符方法,PSWIH算法具有更好的不可感知性、抗提取性及鲁棒性。     

Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems

Traditional region-based liveness-enforcing supervisors focus on (1) maximal permissiveness of not losing legal states, (2) structural simplicity of minimal number of monitors, and (3) fast computation. Lately, a number of similar approaches can achieve minimal configuration using efficient linear programming. However, it is unclear as to the relationship between the minimal configuration and the net structure. It is important to explore the structures involved for the fewest monitors required. Once the lower bound is achieved, further iteration to merge (or reduce the number of) monitors is not necessary. The minimal strongly connected resource subnet (i.e., all places are resources) that contains the set of resource places in a basic siphon is an elementary circuit. Earlier, we showed that the number of monitors required for liveness-enforcing and maximal permissiveness equals that of basic siphons for a subclass of Petri nets modelling manufacturing, called α systems. This paper extends this to systems more powerful than the α one so that the number of monitors in a minimal configuration remains to be lower bounded by that of basic siphons. This paper develops the theory behind and shows examples.