基于进程网系统的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的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

基于计算网格的移动Agent透明性迁移

文中结合基于JAVA的移动agent迁移技术，提出了一种在计算网格中实现移动Agent的透明性迁移的网格中间件模型（MAG），并对其透明迁移机制的实现进行了描述。     

对加快双江农业科技成果转化的思考

农业科技成果转化是实现农业科技进步的关键，也是我国农业在国际竞争中立于不败之地的需要，加速农业科技成果转化，推进农业现代化进程，满足现阶段农业和农村经济发展对科技的需求，将是我国目前和今后一段时期的重要任务。近几年，双江县农业取得了很大的发展，农业科技在农业中的贡献率显著提高，农业科技的综合实力明显增强，为全县农业和农村经济的全面、持续、协调发展做出了重要的贡献。农业科技成果的转化工作也逐步向适应社会主义市场经济方向发展。然而，由于受到多种因素的制约，目前，双江县农业科技成果转化率仍然很低。新技术、新成果推广、转化滞后已严重制约了双江县农业的现代化进程。尽快弄清成果转化工作存在的问题，提出提高成果转化率的对策建议，对提高全县农业生产现代化水平将具有十分重要的意义。