对加快小城镇建设的思考

我国的国情、性质及小城镇建设在我国城镇化建设中的作用决定了必须把小城镇作为我国城镇化建设的战略重点。加快小城镇建设要从城镇规划、乡镇企业、资金、土地、行政管理体制、农村社会保障体系等几个方面作出努力。     

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

基于前人的理论与经验 ,本文建立了乌鲁木齐现代化指标体系和标准 ,以 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的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．