基于专家系统的目标威胁判断模型

文章将专家系统理论应用于防空指挥控制系统,建立基于专家系统的目标威胁判断模型。该模型用产生式规则表示可拦截条件和威胁判断准则等知识,模型具有自学习功能,可自动获取或修改知识库中的知识,能够智能地确定目标的威胁程度,较好地满足了实际需要。     

基于单片机的智能终端中汉字显示的处理

本文简要介绍了汉字的显示原理，并结合实例介绍了如何在单片机系统数据存储空间非常有限的情况下，进行系统字模的裁减和下载处理，实现以单片机为平台的智能终端控制器上的汉字显示。最后，对在实际中会遇到的关键技术进行说明。     

图像处理技术在汽包水位监视中的应用

介绍了汽包水位监视中遇到的问题，并将数字图像处理技术运用于电厂汽包水位的动态监视中，讨论了进一步的发展方向和应用前景。     

光电编码器信号处理技术的研究进展

光电编码器是以莫尔条纹计数为基础的高精度数字化测角设备,在航空航天领域得到越来越多的应用.为提高光电编码器在恶劣环境下的性能,分别介绍了光电编码器信号处理的原理、关键技术、典型应用以及新的动向;同时,对具有代表性的处理技术进行了分析与比较,揭示了其处理方式向数字化、智能化发展的趋势;最后针对国内外关键技术的现状,扼要阐述了其未来的发展方向.     

基于GA-SVM的质量预测系统设计和实现

针对支持向量机(SVM)参数大多凭经验选择的费时问题,提出基于遗传算法(GA)的SVM参数选取方法和基于组件对象模型(COM)技术实现Visual C#与Matlab 的混合编程方法。以质量预测系统中GA-SVM预测模型建模和程序实现为例给出2 种方法的具体实现。结果表明,使用GA优化SVM参数能充分发挥GA算法特性,降低参数选择的时间;使用COM技术的混合编程能提高程序开发和运行的 效率。     

基于ICA-MJE和SVM的虹膜特征提取与识别

提出了一种新的虹膜特征提取与识别方法。对虹膜纹理采用最大判别熵的独立分量分析(ICA-MJE)实现特征提取,通过支持向量机(SVM)完成模式匹配。与Gabor小波的方法比较，在编码长度和编码时间方面有明显地改进。实验结果表明，该算法能更好地提高虹膜的识别率并能够有效地应用于身份识别系统中。     

Lazy Slicing for State-Space Exploration

CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking.However,CEGAR-based slicing repeatedly explores the state space handled previously in case a spurious counterexample is found.Inspired by lazy abstraction,we introduce the concept of lazy slicing which eliminates this repeated computation.Lazy slicing is done on-the-fly,and only up to the precision necessary to rule out spurious counterexamples.It identifies a spurious counterexample by concretizing a path fragment other than the full path,which reduces the cost of spurious counterexample decision significantly.Besides,we present an improved over-approximate slicing method to build a more precise slice model.We also provide the proof of the correctness and the termination of lazy slicing,and implement a prototype model checker to verify safety property.Experimental results show that lazy slicing scales to larger systems than CEGAR-based slicing methods.     

基于时间延迟的多类型维修与经济生产批量联合优化研究

针对目前未能较好的综合考虑多维修类型与经济生产批量联合优化的问题,首先考虑多类型维修关系,基于时间延迟理论求出故障和缺陷次数的表达式;其次,在此基础上,综合考虑生产费用和维修费用的基础上,构建了多类型维修和经济生产批量联合优化模型,以单位时间内总费用最小为优化目标,获得最优检查间隔期和经济生产批量;最后,通过算例分析验证了模型的有效性,说明了第一类缺陷检查次数的多少对费用和经济生产批量影响不大。     

基于JavaScript实现随机数的分组抽取

通过一个随机数的分组抽取小实例,对JavaScript脚本语言做了简要说明,对初学者入门深有裨益。     

基于拟连续高阶滑模方法的AGC系统控制

针对自动厚度控制(Automatic Gauge Control, AGC)系统存在外部干扰的鲁棒稳定性问题,根据传统积分滑模和高阶滑模理论,设计基于拟连续高阶滑模控制方法的厚度控制器。利用Lyapunov稳定性理论,证明所设计控制器的稳定性。将该厚度控制器应用在某板带轧机自动厚度控制系统进行仿真,并与传统滑模控制方法进行对比分析。仿真结果表明:该控制器可以在有限时间内实现对期望厚度的稳定跟踪,并有效减小滑模控制的抖振问题,具有强鲁棒性,其控制效果优于传统滑模控制。