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

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

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

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

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

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

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

摘要：目的探讨遗传性耳聋基因芯片对耳聋高危人群检测的临床意义。方法签署知情同意书,采集耳聋患者外周血,并采用耳聋基因芯片进行突变检测。结果在21名耳聋患者中,发现GJB2共11例(52.4%),其中包括235delC 5例,299delAT6例;SLC26A4 3例(14.3%),其中IVS7-2AG 1例,2168AG2例。结论本研究显示针对我国常见耳聋相关基因热点突变设计的耳聋基因芯片对本地区耳聋患者的突变检出率为66.7%,且其操作简单、快速、高标准化、成本低及易重复等优点,能够满足临床对基因检测的要求,因此适于推广,有临床应用价值及前景,最终能降低聋儿的出生率。