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

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

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

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

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

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

微机应用系统程序失控的若干防护措施

在微机应用系统中，程序失控是经常遇到的问题。本文介绍了几种防止程序失控的方法和措施，应用这几种措施，可以有效地提高系统运行的可靠性，使系统具有程序失控自恢复能力     

基于输出反馈的广义双线性系统H∞容错控制

基于非线性系统H∞容错控制的概念,给出了实现广义双线性系统H∞容错控制的输出反馈控制器的存在条件和设计方法,保证设计的反馈控制器在正常情况下和存在执行器故障的情况下,都能使闭环系统渐近稳定,且闭环输入输出信号满足H∞性能指标。最后的仿真结果证明了结论的正确性。     

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

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

我国改革受阻深层原因分析

在改革过程中,我国利益表达主体多元化导致利益表达要求的多样性,利益表达客体角色错位引起利益表达信息的失真,利益表达能力的差异性及利益表达渠道畅通的有限性,利益表达效果与成本的不成比例性等,这些就是目前我国错综复杂的利益表达局面。它对处于攻坚阶段我国的改革产生一定阻力,并在一定程度上延缓了改革的进程。     

不确定时滞非线性混沌系统的鲁棒容错控制

研究了不确定时滞非线性混沌的鲁棒容错控制问题.基于Lyapunov泛函,运用线性矩阵不等式(LMI)的方法,利用不稳定不动点的控制,引入一种带时滞的状态反馈控制律,对传感器或执行器失效的情况,证明了一类非线性不确定时滞混沌系统对于传感器和执行器故障都具有完整性.结果表明,所给出的控制律不但可以实现对某些传感器故障的容错,而且在正常和故障情况下对于传感器和执行器故障都具有完整性.     

推行科技特派员制度 加速新农村建设进程

近年来。随着农村经济体制改革的深入推进，加之受城乡二元经济结构的制约，计划经济条件下形成的传统农业科技服务推广体系已明显不能适应生产发展的需要，出现了科技人才与农村、农业和农民严重脱节的现象。一方面。由于广大农民受传统的小农经济意识的束缚和科学文化素质的制约，对先进农业生产技术和市场经济知识掌握不够，农民迫切需要的技术、信息不能得到及时有效推广应用．农业生产缺乏有效的科技支持和服务，影响了农业生产综合经济效益的不断提升；     

田间珊瑚树净光合速率及生态因子的日变化

自然条件下 ,对珊瑚树叶片光合作用日进程的研究结果表明 :夏季晴天珊瑚树阳叶净光合速率日进程曲线为“双峰”型 ,光合效率午间明显降低 ,主要由非气孔限制引起 .应用逐步多元回归方法 ,得到珊瑚树净光合速率日变化的最优方程为 :Y =- 4 9.8837 0 .0 10 3X1 0 .0 6 75X4 0 .4 913X5(复相关系数R =0 .84 12 ,F值 =4 .84 2 9,显著水平p =0 .0 4 82 ) .偏相关分析和通径分析表明 ,光合有效辐射、空气相对湿度和空气CO2 浓度与净光合速率的日变化有着极显著和显著的相关关系 ,是影响净光合速率的直接主要因子 ,影响的大小顺序为 :光合有效辐射 >空气相对湿度 >胞间CO2 浓度