并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

程序设计系统化思维培养模式的探讨

程序设计系统化思维模式培养是程序设计课程的内在要求,也是理工科大学生综合素质培养的要求。本文根据软件工程的思想,提出了程序设计系统化思维的培养模式,从学生学习方法,教师教学方法的角度提出了程序设计系统化思维的培养方法。并通过教学实践,说明该方法是行之有效的。     

基于模拟退火的电网巡视分层搜索算法

针对电网巡视系统中巡视路线设计的问题,提出了一种基于模拟退火思想的分层搜索算法.引入巡视点、巡视分组来描述巡视路线,然后建立巡视路线的求解模型及其搜索算法.工程实例表明,分层搜索算法较好地解决了最优巡视路线的搜索问题,达到了工程要求.     

手持式IC卡读写终端的设计与实现

给合PDA与IC卡技术,提出了手持式IC卡读写终端的解决方案。首先设计了基于PDA的IC卡读写器的硬件结构,然后开发了PDA与IC卡通信的软件并提供了主要的实现源代码,最后给出了在设备巡视管理系统的应用实例。     

基于与或依赖图的多Agent系统任务分解算法

针对多Agent系统任务分解问题,提出了基于与或依赖图的任务分解模型及算法.通过引入与或依赖图概念,以描述任务中各操作之间的依赖关系,然后给出了构造操作集的与或依赖图算法,最后在此基础上设计了任务的分解模型及其算法.算法优点是能区分出各操作之间是否具有并行性且能分解出所有可并行执行的操作集,而且由于按与或依赖图中的各层而不是按各操作进行循环,其循环的次数大大减少.实例应用表明,该算法具有较高的时间与空间效率,并支持任务的动态分解.     

基于蚁群-遗传算法的模糊Petri网参数优化算法

在模糊Petri 网（FPN）的建立过程中如何确定模糊产生式规则的各项参数是尚未解决的热点问题。将蚁群算法和遗传算法相结合,提出了GAACA算法。仿真实验表明：该算法具有很强的泛化能力和自适应功能,能够达到参数优化的目的。     

一种通用高效语法分析器的设计与实现

针对大型应用软件中嵌入脚本语言问题,提出了一种快捷而通用的语法分析器设计与实现方法。建立了脚本语言文法的描述规范;设计并实现了语法分析的算法。实例表明,该算法实现的语法分析器完全可以达到工程要求。     

基于对比ART2的高压电器绝缘故障诊断

针对高压电器绝缘在线监测中的故障诊断问题,提出了一种基于对比ART2神经网络的故障诊断新方法.首先分析了绝缘在线监测的目标和特点,然后建立绝缘在线监测的故障诊断模型,最后在此基础上设计了一种对比ART2神经网络模型及绝缘故障诊断算法.工程实例表明,模型和算法具有较稳定的故障诊断能力及较高的准确性.