基于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—充分性

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

与Tchebychef网有关的讨论

文中给出了曲面上参数网为Tchebychef网的几个充要条件,并讨论Tchebychef网与Guass映射以及与之相关的一些问题.     

对偶网的一些性质

给出了Petri网与其对偶网性质的一组充要条件或充分条件，这些条件对Petri网的描述与分析是非常有用的．