“可信软件基础研究”重大研究计划综述

国家自然科学基金委员会启动实施了“可信软件基础研究”重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。     

泰山国家森林公园风景资源研究与评价

在对泰山国家森林公园风景资源进行详细调查的基础上,采用定性评价和定量评价的方法,根据中国森林公园风景资源质量等级评定标准,对旅游区内地貌景观资源、水文景观资源、生物景观资源、人文景观资源、天象资源质量、区域环境质量以及旅游开发条件进行综合评价,其累计得分为43．02分,符合1级风景资源标准。     

某劳教所智能监控系统的设计与实现

针对当前社会形势,明确了智能监控系统在确保社会平安稳定和谐等方面重要作用,并结合现今较为先进的监控技术和劳教场所的工作实际,设计了应用于某劳教所的智能监控系统,分析了该系统的功能、构成和原理,对所用的探测器、控制器、传输方式、软件设计等方面进行了详细说明。     

解析大学英语六级听力短对话中的推理题——基于间接言语行为理论

间接言语行为理论是关于人类言语交际的一个重要理论,它有助于听话者透过字面意思去理解说话者的真正意图。本文通过对2007—2010近4年的大学英语六级考试听力理解短对话题目的统计和分类．分析了间接言语行为理论在听力短对话推理题中的应用和体现。在此基础上．对大学英语的听力教学提出了几点建议。     

高校图书馆开展经典导读工作研究

经典阅读是传承人类精神、繁荣民族文化的基石,是提高大学生文化素养的途径。分析了大学生的阅读心理和阅读现状,提出了充实图书馆经典图书馆藏、搭建网络阅读平台、深化经典阅读活动、营造校园书香环境、构建经典图书阅览室、提升图书馆员文学素养等有效策略。     

土壤水分运动方程的径向基配点法

为解决一维土壤水分运动问题,结合径向基函数与配点法,提出了一种新的无网格方法———径向基配点法无网格算法,证明了解的存在性和唯一性,并通过具体的实例,将该方法与有限差分法比较,结果表明该方法具有计算精度高且易于实现的优点。     

阵列半导体激光器的单元均匀性与器件的质量关系

本文通过电导数和光导数技术对阵列半导体激光器及单管并联模拟阵列进行了测试,通过对表征半导体激光器质量的h和Q参数的测试,研究了各单元器件均匀性与其组成的阵列器件的质量的关系。导数测试的h和Q参数可以给出阵列器件的均匀性,导数技术可以用来评价阵列半导体激光器的质量。     

酯类化合物相对保留时间的分子拓扑研究

在分子图的距离矩阵基础上,构建了酯类化合物的调和拓扑指数H和指示指数I.H、I和极性指数P与酯类化合物的相对保留时间tb显著相关,相关系数大于0.999,计算值与实验值很好吻合,平均误差仅为0.017.所建模型较好地揭示了酯类化合物相对保留时间的变化规律.     

正则剩余格的fuzzy⊙-理想格

在正则剩余格的全体fuzzy⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy⊙-理想之集构成一个分配的剩余格。     

高职高专有机化学虚拟实验室教学平台构建

以计算机技术为基础,构建有机化学虚拟实验室教学平台,并介绍了其设计原则、组成部分及功能。