基于Web Service的EAI实现研究

文中阐述了企业信息化的现状和存在的问题，并引入EAI的概念及其必要性，分析了传统EAI各个层次的解决方案。指出Web Service技术是一个新兴的发展中的技术，然而无数迹象表明，Web Service将是未来应用架构的一个极为重要的模式。文中就此对Web Service技术及基于Web Service实现EAI进行了研究。     

含约束的基于模型的诊断系统

在诊断空间中如何选取理想诊断是诊断系统面临的一个重要问题。在实际的诊断过程中,人们会利用限制条件排除不太可能的诊断,或者利用强制条件选取较优的诊断。按照这个思想,作者提出含约束的基于模型的诊断系统,通过增加依赖于应用领域的约束控制诊断空间,这是一种能够融入计算过程的选择诊断的机制,同时作者在系统拓扑结构的基础上给出了选取理想约束的理论依据。     

真稳定类与辩论语义

稳定类语义和辨论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论,它们统一了一些很重要的语义,因为它们有着不同的直觉和概念,它们的相互关系并不清楚。我们在它们最基础的概念层次上证明了,常规逻辑程序句法下二者是等价的,它们有着同样的语义统一能力。基于这个结果,我们为有前途的辨论语义指明一种迭代构造的方法。     

等价部件在基于模型诊断中的应用

一般的诊断系统中的部件数量很多，这给诊断带来很大困难，为了减少诊断系统的“部件”数量，把诊断系统中的部件按结构分成若干“等价部件”，等价部件或同时属于一个冲突集，或同时不属于一个冲突集的部件的集合。将一个诊断系统中的部件划分为等价部件之后，可以“减少”诊断对象数量，从而可以提高诊断效率。给出的算法也可以用于增加探测及替换之后的诊断系统。     

基于DSP的列车信号处理算法分析

介绍一种互相关检测解调算法用于列车交通信号的检测,可将不同制式下的各种高频信号送DSP进行处理,提取出承载列车控制信号的低频信号,以便分析其中的载频信息和低频信息;对互相关检测算法流程作了分析说明,提出该算法在DSP器件上的基本实现方案,并给出了部分实验数据;采用互相关解调算法(能量算法)对轨道信号进行解调,具有运算速度快、精度高、抗干扰性能好和对硬件资源要求低等特点;经过反复的轨道信号实测,完全符合国家标准。     

基于LabVIEW的激光功率远程检测系统

设计了一种基于Lab VIEW虚拟仪器技术的激光功率远程检测系统.本测量系统使用了DH-JG2型光功率计、美国NI公司的USB6008数据采集卡、PC机、惠普laser Jet 1020 Plus打印机,实现激光功率数据采集、数据存储、数据分析以及生成测试报告等功能.然而由于激光器输出激光功率存在不稳定性,现有的设备无法及时地将激光器的异常工作状态反馈给检测人员进行处理.为了解决这个问题,本系统通过TCP协议及使用移动客户端来实现远程控制的功能,以达到实时处理的效果.本检测系统已成功应用于连续激光器的光功率检测之中.测试表明:该设计可获得良好的实时检测和控制效果,可操作性强,具有广阔的应用前景.     

遗传算法在汇编语言程序分片中的应用

程序分片在程序设计、并行、诊断与测试等方面均有广泛的应用,介绍了一种用遗传算法计算最小动态分片的算法。将整个程序看成是一个染色体,而每条语句看成为基因,通过现有遗传算法的操作：选择、变异、交叉等,就可以计算出动态分片,并给出了一个诊断汇编语言的实例。     

污水处理计算机控制系统的设计与实现

对化工厂污水处理的工艺流程给予了详细的介绍,并据此提出了应用OMRON PLC典型的三层网络架构(管理层的以太网(Ethernet)、控制层的控制器网(Controller Link)和设备层的Devicenet网)来构建污水处理厂集散控制系统;根据污水处理过程各个部分的控制目标和执行机构的特点,给出了污水处理各个部分的下位机PLC控制程序流程,进而对下位机控制程序进行了详细的设计;在下位机的设计中,重点研究了污水处理过程中SBR工艺中溶解氧浓度的PID控制算法;设计并开发了基于Citect 6.0组态软件的上位机监控界面,实现了对现场设备运行参数的在线监控和故障报警信息的实时显示;上位机监控界面主要包括系统工艺流程界面,各个部分的控制界面,报警界面,趋势界面和PID控制界面等;整个污水处理计算机控制系统投入持续运行一年,日处理污水达到了12000m3/d,最终实现了环保和经济效益的双赢局面。     

投票理论研究现状及其展望

社会选择理论是研究如何表达和聚合个体选择的一门学问.而社会选择理论与计算机科学的融合产生了称为计算社会选择的交叉学科,该学科成为社会计算的重要研究内容之一,在人工智能、经济和计算性理论领域引起了轰动.其一方面引入了复杂性分析和算法设计等计算机学科中常用的技术来对社会选择机制进行研究;另一方面也通过引入社会选择理论中的概念来推动计算机技术的发展,特别是在多智能体系统研究中有着成功的应用.投票理论是计算社会选择中最重要的研究主题之一.首先介绍常见的投票方法以及投票理论的形式化框架;再对投票理论中所关心的操纵问题做分析;然后介绍在组合域上的投票;最后对其他相关问题作简要介绍,并对该领域未来的发展与应用做出展望.