工业化进程的实证研究

选取了与工业化关系最密切的4项指标，并界定了其工业化完成时的实现值．经定量分析，认定我国在总体上处于工业化中级阶段，但省域之间差异悬殊，多数省域处于工业化中级阶段，也有一些省域处于初级阶段或高级阶段，北京、上海更已完成工业化进程．     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

乌鲁木齐市现代化水平现状评价

基于前人的理论与经验 ,本文建立了乌鲁木齐现代化指标体系和标准 ,以 1998～ 2 0 0 0年统计数据为例 ,分析了乌鲁木齐现代化实现现状 ,根据其解析评价了乌鲁木齐现代化建设中主要存在的问题 ,进而提出相应的对策。     

谈判一般原理在费率听证与外部性听证方面的应用

谈判的一般原理可以应用到两种具体的谈判过程，即费率听证和外部性听证．费率听证会是收集对公用事业服务的市场需求、成本和技术的信息机制．费率听证强调两个重要的制度安排．一是费率制定过程涉及有关当事人之间的敌对互动关系；二是费率管制的次优程序．对外部性的管制通常包括建立和实施总量标准．总量标准的实施，对收入分配和资源的有效配置都可能产生重大的影响．因此，总量标准的建立是讨价还价的重要领域．     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

建设科技强省打造一流的区域创新体系--记全省市科技局长会议

2003年7月3日至4日，在嘉兴市召开的全省市科技局长会议上，本刊记者从各市科技局的工作交流和省科技厅蒋泰维厅长的报告中，深切地感受到：今年上半年，尽管遭受SARS疫情的突然袭击，但全省科技系统贯彻“一手抓非典防治，一手抓经济建设”方针，各项科技工作仍未受阻，科技强省和创新工作稳步推进，取得令人鼓舞的成效。     

集群系统的单一系统映像研究

提出了一种集群网络服务器单一系统映像的结构，即Glosim系统．该系统在操作系统内核层通过修改与IPC对象、进程信号相关的系统调用，提供全局系统映像服务，支持全局IPC对象，包括消息队列、信号量及共享内存，同时引入全局工作进程概念，透明地提供SSI服务，并与LVS和SIOS配合，实现了集群系统的高性能单一系统映像．     

一种改进的漆酶酶活检测方法

以 2 ,2′ -连氮 -双 (3-乙基苯并噻唑 - 6 -磺酸铵 ) (简称ABTS)为漆酶A、B的底物 ,采用UV - 2 2 0 1型紫外 -可见分光光度计连续记录酶反应在 2 5℃ ,4 2 0nm波长下的时间历程曲线 ,并求取最初部分的斜率以计算漆酶酶活的方法 .该方法直观、方便、准确且可靠 .在 2 5℃的 0 .0 4mol/LBritton Robinson缓冲溶液中 ,漆酶A、B的最适 pH值分别为 4 .0和 4 .5 .在 2 5℃最适 pH值的Britton Robinson缓冲液中 ,由双倒数作图法求得漆酶A、B的米氏常数Km 分别是 6 .6 4× 1 0 - 5mol/L和 2 .2 1× 1 0 - 5mol/L ,漆酶A、B的最大米氏反应速度Vmax分别是 1 4 2 5μmol.M (L·min)和 32 5μmol.M (L·min) .漆酶A、B的酶活分别为 2 2 99μmol·min- 1·L- 1和 1 1 4 8μmol·min- 1·L- 1.     

关于进程互斥同步的讨论及PV操作编程的实践

本文从进程和并发进程的基本概念出发，较为详细地论述了进程之间的互斥和同步关系，此后，根据个人的编程经验，作者描述了三类同步互斥问题，分别给出了用ＰＶ操作解决这三类问题的编程方法，并对ＰＶ操作编程的特点进行了评价。     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．