车身制造ERP环境中设备管理系统的分析与实现

本文在分析了传统设备管理系统的不足和ERP系统实现目标的基础上，结合某汽车车身厂ERP系统的开发实践，建立了设备管理系统与其他系统的信息集成模型，给出了系统软件功能结构和系统特征，目前，该系统已经投入使用，并取得了良好的效果。     

模糊神经网络在火灾报警系统中的应用

提出一种利用神经网络和模糊推理系统设计火灾报警系统的方法，该系统将模糊系统和神经网络结合起来，实现模糊系统的自学习和自适应功能，提高火灾报警的准确性，减少了火灾报警系统漏报率和误报率。神经网络的学习方法提高了该系统智能化程度。实现了消防系统智能化。     

办公自动化系统中工作流系统的设计

为了适应办公自动化系统的发展和中国办公流程特点，并将办公自动化系统中的公文流转功能设计为一个核心的工作流系统，根据办公环境中流程特点，基于一种工作流定义模型设计了工作流系统，并针对特殊工作流和工作流进化问题，提出了有效和易于实现的解决方案。通过将传统工作流系统和特殊工流系统相结合，实现了办公自动化系统中流程的灵活执行和管理。     

一个并行三维图形处理系统的设计

本文介绍了一三维图形并行处理系统的设计，着重研究了三维图形处理系统体系结构问题，具体设计了一种并行处理结构，讨论了系统硬件和软件的设计，描述了系统的工作过程，分析了系统的特点     

企业财务决策支持系统的研制

本文论述决策支持系统的概念和发展现状，分析决策支持系统的基本结构，探讨财务决策支持系统中问题处理系统，数据库系统，模型库系统，方法库系统，知识库系统，图形库系统内机会话系统等的工作原理和实现技术，在微机上初步研制实现了财务决策支持系统，并进行了试用运行，效果良好。     

微机网络集中抄表系统的一种设计

简要介绍了一种远程微机抄表系统的设计原理和系统组成，比较详细的叙述了系统通信软件和管理软件的设计。可对用户电表抄表，以及对数据进行分析，跟踪和检查。该系统成本低，可靠性强，系统稳定性好。     

基于Granite Data Services的Web监控系统

基于Flex、GDS、Spring和Hibernate框架，设计了全新的Web监控系统并应用于供热监控系统，简化了监控系统的开发．提高了项目开发进度克服了传统Web监控系统的页面刷新难题以及基于AJAX技术的安全难题和浏览器不兼容问题系统应用表明，该系统运行稳定可靠，实时性好，具有一定的实用性和推广价值．     

基于8253芯片的平板玻璃折射率CCD测量系统

提出了一种利用线阵CCD传感器作为接收装置，以8253可编程芯片实现自动测量并实时显示测量结果的平板玻璃折射测量系统，论述了系统的工作原理和软硬件的实现，分析了系统的测量误差，证明了系统的可行性和先进性，系统具有较高的实用价值和应用前景。     

计算机考试系统的设计与实现

首先描述了计算机考试系统的概念，接着从专家系统、数据流、用户三个不同角度说明了该系统的总体结、构设计，同时，就系统研制的难点成卷系统和题库管理进行了分析，阐述了具体实现过程中的关键技术，最后，介绍了该系统的实用性和安全性。     

专科学校学生选课网络管理信息系统的分析与实现

本文介绍了学生选课网络管理信息系统，文章从实际出发，叙述了该系统的应用前景?详细分析了该系统的功能和特点，特别强调了系统实体之间关系和人机界面问题，并给出了该系统的网络软件，硬件的实现框图。在文末还提出了提高系统速度方面的措施。     

基于P2P覆盖树网络的流媒体传输技术优化研究

PeerCast是一个基于P2P网络的流媒体传输系统,各节点被组织成树状来进行数据的分发.但没有一个有效的机制来维护树的平衡和保证所选取的父节点是最佳的节点.在此基础上,对该系统进行优化,在媒体数据包上加一个字节用来标识当前节点与根节点的距离,并对节点间响应消息进行优化.实验结果表明,这些优化措施能够有效的维护树的平衡和降底数据传输时延.     

离轴式拖车移动机器人的任意路径跟踪控制

离轴式拖车移动机器人属于非完整系统,当车头线速度随时间变化且过零变号时,难以用一个控制器实现系统对期望路径的跟踪.本文研究离轴式拖车移动机器人系统的任意路径跟踪问题.首先由系统和虚拟小车的运动学方程得到误差状态模型,线性化后用坐标变换将其化为标准型,然后基于Lyapunov方法构造出一种跟踪控制律.只要车头的运动线速度有界且不趋于零,其导数有界,则所设计的控制律就可以保证系统跟踪任意的期望路径,且跟踪误差最终一致有界,最终界的大小与期望路径的曲率变化率成比例.当期望路径的曲率变化率为零或趋于零时,所设计的控制律可以保证拖车移动机器人指数收敛到期望路径.仿真结果证实了控制律的有效性.     

Hybridization of genetic algorithm with immune system for optimization problems in structural engineering

Optimization is the task of getting the best solution among the feasible solutions. There are many methods available to obtain an optimized solution. Genetic algorithm (GA), which is a heuristic type of optimization method, is discussed in this paper. The focus of the paper is the use of GA for large dimensionality design problems, where computational efficiency is a major concern. The motivation of this paper is to hybridize GA with an immune system mechanism by avoiding the implementation of penalty constants, which are highly sensitive to the choice of algorithm parameters. The principal advantage of the immune system is in its seamless integration with GA-based search for optimal design. It is being hybridized with the immune system mechanism. The hybrid GA and immune system is applied for the design of the optimal mix of high-performance concrete (HPC), which is still based on trial mix and for which no rigorous mathematical approach is available. As such, to infer the values of strength and slump, a wavelet back propagation neural network or wavelet neural network is used for any HPC mix. It is necessary to minimize the cost of HPC/unit weight of HPC subjected to strength and slump constraints. The interwoven algorithm is also applied to obtain optimal sectional areas for minimum weight of space trusses subjected to static loading. Formian programming language is used for the generation of the space trusses, and Feast package is used for the static analysis of the trusses. In addition to the induction of immune system in the GA for constraint handling, it is being applied in this particular application for improving the search of GA in obtaining the best optimal solution. For obtaining the optimal sections of space trusses subjected to earthquake loading, SAP 90 package is used, and reliable results are obtained.     

Structuring formal specifications—a lesson relearned

Specifications written in the formal specification language Z often make use of a form of decomposition that is novel to programmers. A published Z specification is rewritten using the form of decomposition familiar to programmers. Whenever decomposition is used, there must be some strategy for deciding what is to go in one component and what is to go in another. At the highest level, the strategy underlying the rewritten specification is the well-known strategy of separating user interface issues from deeper system functionality issues. The effectiveness of the strategy is put to a simple test by showing how a modification to the interface can be supported by a modification to only part of the specification. The conclusions drawn are that care over decomposition is important in specifications, just as it is in programs, and that lessons learned from programming about effective decomposition strategies can be applicable at the specification level, too. In particular, the lesson relearned is that it is important to separate information about a system's functionality from information about how this functionality is presented to users.     

Monitoring Smoothly Degrading Systems for Increased Dependability

A strategy is presented for determining when it is advantageous to take some action to restore a system to full capacity. A determination is made of the types of data that need to be collected and circumstances under which the strategy is likely to be useful. Production traffic data is presented for a very large industrial telecommunications project, and the strategy is applied. An investigation is made of when the application of the strategy leads to increased system availability and decreased packet loss experienced by users.     

坑道水核磁共振探测激发磁场计算与测试方法研究

提出一种测量激发场垂直于地磁场分量的测量方法：应用固定线圈电磁感应法测量激发场,应用磁通门传感器测量地磁场,通过矢量运算求解激发场垂直于地磁场的分量。制作了激发场测量装置,通过对比激发场的径向分量和轴向分量的理论计算值和实测值,验证测量装置有效性。分析固定点处激发场垂直于地磁场的分量受线圈布设方向的影响,推导出固定点处激发场垂直于地磁场的分量取最大值时线圈布设角度求解方法,为实际探测线圈布设方向提供理论指导。     

一种区间型数据的离散化方法

随着数据挖掘和知识发现等技术的迅速发展,出现了很多数据离散的算法,但是,已有的离散化方法大多是针对固定点上的连续属性值的情况,实际应用中大量存在着连续区间属性值的情况。针对这一问题,提出了一种连续区间属性值离散化的新方法。通过区间数的相似度来描述对象间的相似关系,定义相似度阈度确定离散关系,来实现对区间数据的离散化,经过分析相似度在算法中的作用,提出了一种新的变量——关联度,改进了算法。采用多组数据对此算法的性能进行了检验,与其他算法做了对比试验,试验结果表明此算法是有效的。     

含有等式约束优化问题的遗传算法

在遗传算法中最难处理的是有等式约束的优化问题,而等式约束在一般问题中常常遇到.许多算法采用引入惩罚函数降低适应度方法使其满足等式约束条件,但太难收敛或解根本不满足约束条件,因此它是遗传算法的一个瓶颈.根据遗传算法的性质及等式约束的特点,提出了另一种算法来解决这个瓶颈,并从理论上证明了算法的可行性.通过数值实验表明该算法是有效的.     

主题爬行中的隧道穿越技术

由于网络环境的复杂性和网页内容的多主题性,要想得到更多的特定主题相关网页,就要穿越那些主题不相关网页来获取更多的主题相关网页,即隧道穿越.将隧道穿越分为灰色隧道穿越和黑色隧道穿越.对于灰色隧道,在爬行过程中,将一个多主题Web页面分割成数量不多的内容块分别处理来避免由于网页整体主题不相关给该块所带来的影响.对于黑色隧道的穿越,将隧道中主题不相关网页根据其父亲页面的主题相关性赋予一个深度值,然后根据其深度值的大小进行取舍,来达到扩展主题爬行区域的目的.实验结果显示,这两种方法都达到了预期效果,所以方法是有效、稳健和实用的.     

型传感器测量断路器动特性的研究

通过对断路器触头运动特性的分析,提出采用硅压阻MEMS技术的加速度传感器来测量断路器触头运动特性的方法,并详细介绍了3031型加速度计的特点。同时采用滤波算法对测量数据的进行修正。使用MEMS型加速度传感器,测量准确、安装方便,建议在全国范围内推广使用。