基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器OpenC++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

基于中心化Jaccard匹配的SD卡光学字符验证

为了解决安全数码卡(SD卡,secure digital card)表面字符人工验证效率差、准确率低的问题,提出了一种基于中心化Jaccard匹配的SD卡光学字符验证方法,能够实现SD卡表面字符的精密检测与自动验证。首先,提出了一种基于HSV三通道直方图分析的快速验证方法,实现特征显著SD卡图像的准确验证;其次,针对SD卡字符验证精度受光照变化和微小旋转影响的问题,提取V通道图像和变化角度特征,提高HOG特征对光照和旋转变化的抵抗能力;最后,针对相似SD卡字符的验证问题,提出了一种中心化广义Jaccard系数,增强了相似度指标的辨别力,实现了特征相似图像的精密检测。以实际场景采集的数据对所提方法进行验证分析,试验结果表明,该算法准确率达到99.15%,具有很好的实用性和鲁棒性。     

一种采用取向硅钢片的新型同步磁阻电机

同步磁阻电机（SynRM）结构简单、稳定可靠,但转矩和功率因数偏低,在过载运行下转子导磁桥和定子齿等磁通流经关键位置的硅钢片会逐渐饱和,使得电机发热增多,输出转矩降低。本文提出一种新型同步磁阻电机(NSynRM),通过在电机转子导磁桥表面增加使用取向硅钢片以及在定子齿部替换使用取向硅钢片来解决原电机中磁密饱和带来的问题。同原电机中的硅钢片相比,取向硅钢片在轧制方向具有高磁导率和高饱和磁密的特点,因此在新型同步磁阻电机中使取向硅钢片轧制方向沿着直轴磁场流通方向,能够使磁通沿着取向硅钢片顺利流通,增加电机的抗饱和能力。计算结果表明,新型同步磁阻电机在过载运行条件下,具有更大的转矩和功率因数,能有效降低电枢绕组温升,提高能量利用率。电机的电磁性能计算通过有限元软件完成。     

异步电机低速电制动控制

阐述了异步电机电制动的控制策略;分析实际应用中低速电制动转矩出现偏差的原因,并通过MATLAB绘制出当定向角度出现偏差时给定转矩与实际转矩在三维空间中的比例关系。为解决低速电制动时由于转子磁场定向偏差引起电机转矩不准的问题,采用基于无功功率模型的转子时间常数自适应控制进行校正。试验结果表明该控制策略可以实现校正转子磁场定向偏差的功能,具有良好的动态性能,可以满足地铁列车的性能要求。     

供电企业信息模型研究

总结了一套供电企业面向对象信息模型．该套模型规范出供电企业管理信息系统主体信息内容、信息关系、信息处理形式和管理信息系统的主体功能结构,可供各供电企业在管理信息系统建设过程中参考．同时研究了该套模型的建设方法和设计思路．     

可视化供配电CAD系统的研究开发

基于科学可视化,对象建模,面向对象的软件开发技术,在解决了图形系统快速开发的几个关键技术,对象关联实现方法及电网中电气元件潜在拓扑描述等问题的基础上,开发了功能较烷 备的实用化供配电ＣＡＤ及管理系统软件。同时,通过开放数据库互联技术实现了图形系统、计算接口与数据管理系统的集成,解决了动态扩充功能,对开发专业领域ＣＡＤ软件具有借鉴作用。     

晶体振荡器温频特性自动测试系统

针对传统的人工手动方式对晶体输出频率随温度的变化进行测试和分析,存在着跟踪性能差、数据处理效率低、人为误差大和测试结果无法保存等诸多问题,设计开发了基于GPIB总线和485总线的自动测试系统,系统利用Mscomm控件和agt3494控件很方便地实现了PC对仪器设备的通信、参数设置以及数据读写,测试软件采用面向对象、消息机制的程序设计方法,增强了可读性、可移植性和故障处理能力,数据处理部分重点介绍了调用Excel数据分析功能函数的方法,简化了处理过程,最后试验表明,采用自动测试系统,效率比手工测试提高10倍以上,并且同时完成了数据分析及曲线、方程、报表的生成,大大提高了准确性,由此可知系统实用性强、实用价值高。     

项目导向的计算机审计教学方法的创新与探索

针对目前计算机审计课程教学过程中存在课堂教学与计算机审计实践脱节问题,笔者根据自身教学经验,并结合参与国家审计署项目审计的经历,提出以项目为导向、整体模块化、模块多样化的计算机审计教学方法,实现教学理论与审计实践的较好结合,充分调动教学中两个主体的主观能动性,提高了教学质量。     

Model‐based code generation for HLA federates

This paper addresses the problem of automated code generation for a High Level Architecture compliant federate application given its behavior model. The behavior model is a part of the architectural model of a federation that the federate can participate in. The federate behavior model is based on Live Sequence Charts, adopted as the behavioral specification formalism in the Federation Architecture Metamodel (FAMM). FAMM serves as a formal language for describing federation architectures. An objective is to help the testing of federation architecture by means of its prototype implementation early in the development lifecycle. A further objective is to help developers construct complete federate applications that are well modularized. The approach to achieve these objectives is aspect‐oriented in that the generated code, which handles the federate's interactions with a federation execution, serves as the base code, where the computation logic is to be weaved as an aspect. Copyright © 2009 John Wiley & Sons, Ltd.     

面向领域的服务业务规范化组织模型及其关键技术研究

提出一种面向领域的服务业务规范化组织模型(SBSOM),旨在服务计算环境下针对应用领域中基于服务组合的业务应用系统构建需要,解决如何实现深入到业务层面对服务资源进行有效组织与管理,从而为操作相容组合和服务有效复用提供可靠性保障问题.在该模型的支撑下,基于领域业务本体通过对服务操作的可用性判定,生成服务的领域业务视图,从而完成服务自然面貌、功能面貌、到业务面貌的逐步抽象,全面的展现服务能力,并在以服务为粒度、基于功能对服务资源进行分类管理的基础上,进一步实现以操作为粒度、基于业务适用性组织服务资源.本文重点讨论了SBSOM模型的结构体系,并对服务业务规范化组织建模的关键技术进行了深入探讨,在最后通过实验对SBSOM模型的意义和有效性进行了分析与验证.