基于非结构化控制流的进化测试方法

结构性测试中,进化测试是一种高效的自动生成高质量测试用例的技术.然而,当程序中出现非结构化特征时,在面向节点的测试标准下,其效率极其低下甚至不及随机测试生成方法.在考虑循环体内部出现跳转(goto、retum)语句的情况下,提出了一种适应度计算方法.该方法在结合传统进化测试适应度计算的基础上,充分考虑了循环次数对于进化搜索的影响.实验结果表明,本适应度函数可以很好地引导进化搜索,并以较小的代价生成测试用例.     

永磁同步电机空间矢量控制方法设计实现

针对永磁同步电机结构复杂、模型非线性从而导致难以控制的问题,通过推导建立了其基于矢量控制下的简化的数学模型,仅通过控制电机交轴电流就可对其进行控制.在此基础上,对交轴电流进行调节,将其转换为基于两相静止坐标系下的电压矢量,设计了以两相静止坐标系下的参考电压作为输入变量的空间矢量控制方法,借助于数字信号处理器(DSP)的强大功能对系统进行实现,给出了所设计的硬件结构图及软件流程图,并进行了仿真验证,且效果良好,证明了所建模型的正确性和系统的可行性.     

Global Asymptotic Robust Stability and Global Exponential Robust Stability of Neural Networks with Time-Varying Delays

In this paper, based on nonnegative matrix theory, the Halanay’s inequality and Lyapunov functional, some novel sufficient conditions for global asymptotic robust stability and global exponential robust stability of neural networks with time-varying delays are presented. It is shown that our results improve and generalize several previous results derived in the literatures. From the obtained results, some linear matrix inequality criteria are derived. Finally, a simulation is given to show the effectiveness of the results.     

Global sliding‐mode control with generalized sliding dynamics

A global sliding‐mode control (GSMC) scheme is proposed to provide a framework for ensuring the existence of a sliding mode throughout an entire response. Based on this framework, robust eigenvalue‐assignment GSMC (REA‐GSMC) is proposed to robustly assign closed‐loop eigenvalues that must be real. The eigenvalues being all real, however, leads to sluggish responses. According to most error criteria such as IAE, ISE, and ITAE, the optimum system should have complex eigenvalues. This paper proposes a GSMC scheme with generalized sliding dynamics, referred to as Generalized GSMC, in order to release the previous constraint on the REA‐GSMC. Thus, the Generalized GSMC can be designed to achieve a system that is both robust and optimum in the sense that it minimizes certain error performance indices in spite of the presence of system uncertainties. Experiments were conducted on a two‐link direct‐drive manipulator to demonstrate the effectiveness of the proposed scheme. Copyright © 2009 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

一种基于完全独立集的排课算法

班级、教师、课程、教室、时间是课表的基本要素,通过把排课转化为求图的完全独立集,解决了时间冲突问题和合班课问题;根据教室资源限制,对独立集的个数和大小进行控制,解决了教室完全匹配问题和一门课程的不同教室安排问题.为实现排课软件提供了一个面向实际的算法.     

基于移动代理的分布式入侵检测系统的研究

目前的分布式入侵检测系统存在单点失效、网络带宽占用高、扩展性不强等缺点.文中针对这些缺点提出了一种基于移动代理的分布式入侵检测系统模型.该系统运用移动代理作为各种入侵的独立检测实体到主机监控代理上收集数据并聚集、关联这些数据,这使得系统减小了数据传输量、分散了计算,同时也提高了系统的可扩展性.着重讨论了系统部件失效的检测和自动恢复机制,使系统更加稳定可靠.对实验结果分析表明这种结构很好地减少了带宽的占用,容易对新的攻击进行扩展,失效的代理也能自动准确地恢复.     

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

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

基于动态规划融合多模态的足球视频事件分析

为了更好地满足用户浏览和检索视频的需要,提出一种融合文本的足球视频事件分析框架.分别从文本和视频中提取事件信息,采用动态规划的算法对2种信息进行全局匹配,对于未匹配的文本事件信息.采用一个全局概率模型估计其在视频中的事件边界.通过寻找文本与视频事件信息的最优全局匹配,有效地避免了局部匹配方法造成的漏检和误检.实验结果表明,文中方法能够快速、准确地检测事件,获得详尽的事件内容信息,性能优于局部匹配算法.     

用于图像Hash的视觉相似度客观评价测度

由于评价图像Hash性能时,要求对两幅图像是否在感知上相似做出判断,因此针对这一需求,提出了一种衡量感知相似程度的评价测度。该测度的确定是先对图像进行低通滤波,再进行图像重叠分块;然后运用相关系数检测法计算每一对分块的相似程度,并对相似系数归一化,再分别计算若干个最小和最大的归一化相似系数的乘积;最后用最小相似系数乘积与最大相似系数乘积的比值作为感知相似性的测度。实验结果表明,该测度不仅可有效反映图像视觉质量的变化,而且能较好地区分两幅图像是否存在重要的视觉差异,其对感知相似进行评价的性能优于峰值信噪比。     

ARM皮带秤控制器的高精度测速技术研究

针对皮带秤使用脉冲计数方法进行速度测定精度不高,影响了皮带秤的计量精度,在原有的皮带秤装置的基础上,采用新型的ARM控制器,提出了一种基于此控制器的测速方法,进行了高精度测速技术的研究.实践表明,以ARM为控制器的皮带秤测速精度高,响应快,误差小.