算子模糊命题逻辑中公式恒真恒假水平的模型

为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。     

选择培育战略性新兴产业的几点建议

 根据“十二五”时期中国科技发展环境的新特点,战略性新兴产业培育应重点考虑以太阳能和核能为主的新能源产业及高效节能煤电产业、以生物医药和生物育种为主的生物产业、以三网融合和3G为代表的网络信息产业、以低碳排放和节水减污为特征的节能环保产业、以干线飞机和近地空间技术产业为代表的航空航天产业5个领域,并正确处理好中国战略性新兴产业与发达国家新兴产业、战略性新兴产业与一般产业以及科技人力资源、公民科学素质、创新文化培育与战略性新兴产业5个关系。     

制造技术服务企业CRM系统的研究

主要探讨了制造技术服务企业在其客户关系管理上的需求及特点,通过对制造技术服务企业客户生命周期价值、知识管理的需求与特点等方面的分析研究,设计开发了一个CRM系统,利用客户价值理论细分客户,最大程度地提高客户生命周期利润,有效管理了工程项目过程,实现企业内部与外部的知识共享。     

基于虚拟技术的嵌入式无线教学互动系统

为推动现代教学环节中数字化、智能化与人性化的发展,将虚拟技术和嵌入式无线技术相结合,采用全触控式液晶屏作为终端设备的控制端,完成系统所有的控制命令.通过2.4 GHz无线传输,将触摸屏上的指令及数据进行发送与接收,实现教学的互动交流.上位机软件采用LabVIEW编写,将教师模式和互动模式有机地结合起来,其编写的界面漂亮...     

基于自主创新的地方国际科技合作支撑体系的构建

当前我国地方层面的国际科技合作支撑体系建设的滞后影响了国际科技合作的有效开展,亟待加强和改善。而国际科技合作支撑体系的构建主要包括政府层面的政策与组织支撑体系、社会层面的中介服务支撑体系与物质基础层面的国际科技合作基础条件支撑系统等的建设。     

城镇化水平综合测评与城镇用地分析

构建了一套城镇化水平综合测算的指标体系，把城镇化水平划分为人口城镇化水平、景观城镇化水平、经济城镇化水平、社会城镇化水平，采用多因素综合评价的方法，得到城镇化水平综合指数，对重庆市渝北区城镇化水平综合指数与城镇用地总规模、人均用地量、城镇用地效益进行相关分析，发现伴随城镇化综合水平的提高，城镇用地总规模不断扩大，人均城镇建设用地量有减少趋势，城镇建设用地经济效益有一定提高，据此对小城镇建设用地配置提出了建议。     

我国自然科技资源服务平台取得阶段性成果

自然科技资源服务平台是制约国家科技基础平台发展和运行的关键,是国家制定科技发展战略、社会各界参与资源共享的重要依托。本文综合报道了《国家中长期科学和技术发展规划纲要(2006-2020年)》实施以来,我国自然科技资源服务平台的任务部署、进展和成效,以及许多领域专家提出的对策建议。     

一个水稻抗纹枯病突变体的遗传分析及其基因的初步定位

高水平抗纹枯病突变体和高感纹枯病品种蜀恢881杂交构建分离群体,经F2分离世代的遗传分析,抗、感单株比例符合3 1(χc2=0.563,χ12,0.05=3.84),初步确定该突变体对纹枯病的抗性由一对显性主效基因所控制,命名为Rsb-2(t)。利用已合成的530对微卫星引物,对抗纹枯病突变体和蜀恢881进行多态性引物筛选,用多态性引物对上述F2分离群体的全部感病单株和部分抗病单株的DNA进行PCR分析,借助MAPERMAKER/EXP3.0软件,对其微卫星标记实验数据进行连锁分析,将Rsb-2(t)定位于第3染色体的p臂,发现RM218、RM251、RM4321和RM5748与Rsb-2(t)连锁,它们均位于着丝粒端,连锁距离分别为32.1 cM,41.1 cM,42.4 cM和49.7 cM。研究结果为进一步对该基因的精细定位奠定了基础。     

Design and Implementation of a Fibre Channel Target Driver Supporting SCSI

Fibre channel storage area networks (FC-SAN) are effective solutions to address storage management problems caused by very large volumes of data. But the expense of fibre channel devices limits FC-SAN applications. The use of IP networks instead of fibre channel networks will reduce SAN cost, but will also reduce the performance. Therefore, small computer system interface (SCSI) devices were considered to replace FC disks to reduce the SAN cost. A driver for the FC network adapter and the FC target, designed and implemented to support this structure, obeys the SCSI protocol and works in target mode with 200 MB/s bandwidth. The FC target architecture and implementation were compared with the FC initiator.The SCSI command transfer process in the FC layer was described. The performance test results show that the maximum I/O throughput reachs 167 MB/s for read requests and 196 MB/s for write requests (FC bandwidth is 200 MB/s), verifying that the FC target is very efficient. The modularization, efficiency, and low cost of the FC target will enable SAN and fibre channel to be more widely used in applications.     

当代教育观念下计算机技术改造数学课程原则的建立

本文基于已有研究成果以及笔者多年的学习心得和教学实践经验,针对我国数学课程改革的需要,依靠当今先进的教育理论,探讨了应用计算机技术改造数学课程的原则.其中涉及到教师、学生、教材、媒体(计算机)的相关问题.应用计算机技术改革数学课程的研究,实质上就是一种基于计算机技术的数学课程研制理论和实践.但本文并不是对数学课程理论全面的研究,而是通过计算机技术在数学课程改革中的作用和当代先进的教育观念,得出以数学素质教育为目的信息化数学课程改造原则.