工作流网系统合理性的语言特性

工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

合成网的进程语义

着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网，讨论了保持网的结构性质的条件，这些结果对Petri网的合成和分析是非常有用的。     

对偶Petri网的运算及性能分析

给出了对偶Petri网的加法，笛卡尔积，并运算有及有关性质，得到了对偶Petri网运算具有结构性质的条件。     

网络设置与流程管理

常见的网络有：因特网（Ｉｎｔｅｒｎｅｔ）、企业网（Ｉｎｔｅｒｎｅｔ）和公众交换电话网（ＰＳＩＮ）。在此基础上，充分利用这三种网络的各自优点，构架现代企业网络管理模式。丰因特网技术的发展，浏览／服务模式日益流行起来，不变的程序（浏览器），不变的界面（ＨＭＬ），不变的使用习惯，再加上几乎所有用户都艰很快接受超文本（ＨＭＬ）使在这方面的员工培训比较容易，１００％Ｉｎｔｅｒｎｅｔ应用将给企业带来全新的业务     

Petri网动态运行可视化研究

讨论了可视化开发方法在开发Pmtri网工具中的应用，描述了Petri网的视化运行的表现形式，介绍了Petri可视化运行的设计方法。     

广西都郎河水电资源开发的GPS整体控制网技术分析

该文叙述了都郎河水电资源综合开发工程建立GPS整体控制网的过程，总结了一些常见技术方案．     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

未来的互联网:光Internet

<正> 光Internet又称光IP网,即直接在光网络上运行的Internet。在光Internet中,高速互连设备通过光学联网技术被互连在一起,它们可以与光学介质直接连接,或与一个光学网络层连接,这个光学网络层包括互连设备和SDH(同步数字系列)网络要素,并能为不同的客户机提供波长路由器的选择功能。交换机或     

聚氨酯/环氧树脂互穿网络弹性体的合成及研究

以N，N-二甲基苄胺和二月桂酸二丁基锡为催化剂，在室温条件下采用同步IPN合成了聚氨酯／环氧树脂互穿网络弹性体．研究了有机锡催化剂和叔胺催化剂的用量对乳白化时间的影响，以及环氧树脂用量对固化时间的影响，并对聚氨酯（Pu）／环氧树脂（EP）互穿网络弹性体的红外光谱进行了研究．     

Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X（j）〉0且X（i）=0.最后,用一个实例展示结论的应用过程.     

基于Monad的非确定性里程网描述方法

非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函数式语言中描述了非稳定性进程网。     

极限论中若干问题的探讨

本文先剖析分析中所说的一元函数不同类型的极限，把其统归ε－Ｔ的说法，然后用网和网的极限来叙述定积分的概念，最后论证函数极限的新旧定义之等价性。     

兰州地区网织血小板百分比参考值范围调查

为建立兰州地区有关外周血网织血小板的参考值范围,通过分析慢性肝病患者外周血中网织血小板(RP)的变化,探讨慢性肝病患者血小板变化的原因.用流式细胞仪测定网织血小板占血小板的百分比(IPF).结果表明:兰州地区网织血小板百分比成人正常值为2.59%(0.37%～9.25%).由此初步建立了兰州地区网织血小板百分比.慢性肝炎患者血小板降低可能与血小板破坏过多有关.     

基于ADSL技术的小型网络组建

通过ADSL技术，使寝室或家庭的小型网络访问Internet，是一种非常实用技术，文中以实例形式论述了组建小型网络，并通过ADSL技术访问Internet网的几种方法，用户可根据实际情况，选择最佳方案．     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型，用模糊Petri网表示故障诊断的模糊知识与推理机。     

正交测地线网存在的充要条件

给出了曲面上存在正交测地线网的一个充分必要条件，曲面自身是可展曲面。     

燃料电池——21世纪的能源之星

<正>燃料电池（Fuel　Cell,简称FC）因具有效率高,环境污染低等许多独特的优点,被认为是21世纪最有前途的“绿色能源”,受到出界各国科学家的重视,列为未来世界十大科技之首,许多发达国家都将大型FC的开发作为重点研究项目,企业界特别是出界各大汽车集团也纷纷斥巨资从事FC技术的研究与开发工作,据有关专家预测,FC它将成为21世纪继火电、水电、核电后的第4代发电方式。 一、燃料电池的工作原理 燃料电池的工作原理与传统意义上的电池完全不同。FC不是一个贮能装置,而是一种发电装置,它能将储存在燃料（H2）和氧化剂（O2）中的化学能转变     

电子商务网贷的发展分析

网贷即P2P网贷,自从2005年3月全球第一家网贷平台Zopa上线运营后,网贷这一电子商务形式在全球发展迅速。2007年我国拥有了自己的第一家网贷平台,到现在已上百家网贷平台,网贷成为人们关注的热点。本文借鉴前人的研究成果,分别从网贷的发展历史、我国网贷的发展情况以及网贷的特点这几方面对网贷进行研讨,以期更好地促进网贷的健康发展。