基于3层C/S模式的邮政电子化生产作业系统的设计与实现

邮政电子化支局生产作业系统是邮政综合网的一个应用系统，是联机交易处理系统，采用3层C／S模式，并在3层结构中利用BEATuxedo分布式事物处理中间件，设计并实现了邮政电子化支局生产作业系统。     

面向制造企业的智能企业诊断系统

概述了企业诊断系统的研究现状,分析了其与企业信息系统研究相孤立所带来的问题.为适应现代制造企业管理的需求,提出基于数据仓库的智能企业诊断系统.智能企业诊断系统由查询与跟踪、问题识别和指标评价、模糊Petri网推理、诊断过程概要解释、问题解决支持、人机界面等6个主要模块构成.为了更好地处理企业诊断知识的模糊性、整体性和复杂性,通过扩展模糊Petri网系统实现企业诊断的知识建模和推理.功能模型描述了系统各模块的主要功能及其与数据仓库系统间的集成方式.此外,讨论了模糊Petri网诊断推理、与数据仓库系统的集成、知识提取和数据挖掘等系统实现的关键技术和方法.通过智能企业诊断系统、数据仓库系统和OLAP三者的有机集成,提供一个有效的企业诊断集成环境,使管理者能够更好地解决经营管理中存在的问题,充分发挥制造企业潜力,使企业健康发展.     

两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

生产安排的动态模型与优化方法

使用Petri网的方法,建立了描述生产过程中工作量与各产品存储量关系的动态模型.以最小二乘法、线性规划等数学工具,给出了安排生产各时段工作量的计算方法,使得生产过程可按预想的状态进行,达到综合优化的目的.     

基于交换网络的并行PC体系结构性能评价

针对传统的PCI总线结构形成系统通信瓶颈的缺陷，提出了以交换网络为中心的可扩展并行PC体系结构设计思想．用面向对象的分析方法对传统计算机硬件结构进行分析，设计了新的基于交叉开关的PC系统结构，并用Petri网分别对传统PC的I／O结构和并行PC的I／O结构进行建模分析，并作了定量计算，对这两种结构的性能进行了比较与分析，结果表明，并行PC系统结构可以在很大程度上提高系统设备的利用率和进程的执行效率．     

高速车用发动机非对称配气凸轮型线设计方法研究

分析了在高速车用发动机中应用非配气凸轮形线的必要性，阐述了非对称配气凸轮形线的优点，推导了高次多项式非对称凸轮型线的解析式，并通过计算证明：采用非对称凸轮型线确实可以在保证足够的砉满系数的条件下，降低气门落座的速度和加速度。     

焊接孔长度对钢框架梁-柱刚性节点性能的影响

对焊接孔长度扩大的钢框架梁－柱刚性节点进行了空间非线性有限分析。分析结果表明，焊接孔长工的扩大显著地降低了梁－柱连接面处的对接焊缝和焊接孔切角端开裂以及翼缘脆性破坏的可能性，但过长的焊接孔也会导致梁侧向稳定的丧失。     

碾压混凝土坝防渗结构型式的工程实践

针对碾压混凝土坝的渗流特性及其渗控设计的复杂性，在多年理论研究工作的基础上对国内外多座已建大坝工程所用的防渗结构型式和运行情况进行介绍，并对不同典型防渗结构型式的主要优缺点作了分析，推荐了既有较好防渗功能又能充分发挥碾压混凝土施工优点的优选防渗结构型式。     

配离子与表面增强拉曼散射

分析了银－分子系统的活位和配离子的性质．结果表明，配离子的性质对表面增强拉曼散射具有重要影响．即给银－碱性分子系统或银－酸性分子系统加入Ｃｌ－，Ｂｒ－，Ｉ－等负离子时，ＳＥＲＳ信号分别增强或减弱．     

C^r映射芽的γ阶导网的v—充分性

本文给出了Ｃ＾ｒ映射芽的γ阶导网是ｖ充分性的充分条件，推广了（１）中的结果：给出了拟齐次多项式是ｖ充分的充分条件。