两段提交协议的Petri网模型

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

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

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

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

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

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

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

铝合金双层网壳结构的抗震性能分析

以双层球面网壳为研究对象,分析了结构随参数变化的自振特性.采用Newmark积分法对其进行地震时程响应分析,研究了铝合金与钢双层网壳结构在竖向地震荷载作用下节点的位移响应及杆件的轴力响应.研究结果表明,铝合金双层网壳与钢双层网壳在结构相同情况下,其自振特性基本相同.而地震荷载引起的位移响应,铝合金双层网壳要略大于钢双层网壳,但铝合金双层网壳的杆件轴向应力远小于钢双层网壳的杆件轴向应力,因此用铝合金取代钢材是可行的.     

IEEE 802.1x 认证技术的原理和应用

介绍了IEEE802．1x协议的起源、体系结构、技术特点等，指出了需要认证的端口有受控和非受控两种状态，没有通过认证前，只有EAP报文可以通过端口到达认证服务器，认证通过后，其他数据报文才可以通过。     

基于工作流技术和B/S结构的办公自动化系统研究

提出了基于工作流管理的0A系统模型，并用Petri网描述了公文审批的工作流程，论述了采用基于B／S结构体系的优势，最后实现了0A系统的开发和应用。     

同时检测O2和CO2的实时动态传感技术研究

氧和二氧化碳是两种与生命过程息息相关的共存气体.我们先期研究建立的微电流法,采用非水电解质在气敏微电极和硅一体化薄膜微电极器件上常温直接检测CO_2,取得了满意的结果.但是,O_2的干扰难以消除.若要连续检测O_2和CO_2,则必须分次提取两者的响应信号,以致电极结构复杂,测量费时.而且,这类按Clark电极限流原理稳态工作的电化学传感器,其响应速度不可能跟上生物呼吸过程中O_2和CO_2气体分压的动态变化频率.     

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

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

与Tchebychef网有关的讨论

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