一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

LDCQ的距离更新策略

提出了在LDCQ中保证满足误差限制的距离更新策略．移动对象和查询边界的距离远近不同，它们相交的可能性也不同，因而对查询结果的影响也不一样．依据它们之间距离的不同，给予移动对象不同的偏差限：使得越靠近查询边界，移动对象的偏差限越小；反之亦然．其好处是减少了大量的不必要的更新，减轻了系统负荷．     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

“学校课程”的建构

澄清作为三级课程体制结构中的"学校课程"概念,分析"学校课程"的缘由和要义,参照泰勒提出的课程与指导原理,结合中国课程实际情况,初步梳理学校自主设计课程的思路、程序和相应的教师专业化、课程管理的要求。     

浅谈人的全面自由发展

自由是对必然的认识和对客观世界的改造,它是一个历史发展的过程,没有绝对的自由。马克思主义人的全面自由发展理论不是空想,而有直接的现实意义。     

GIS系统简介及前瞻

GIS(Geography Information System,地理信息系统)是融合计算机图形和数据库于一体,用来存储和处理空间信息的高新技术,它把地理位置和相关属性有机地结合起来,根据用户的需要将空间信息及其属性信息准确真实、图文并茂地输出给用户,满足城市建设、企业管理、居民生活对空间信息的要求,借助其独有的空间分析功能和可视化表达功能,进行各种辅助决策.     

有交流的博弈及其特点

从有交流的策略形式的博奕(strategic-form game)和有交流的贝叶斯博奕(Bayesian game)两个方面介绍了引入有交流的博奕(Game With Communication)的概念能极大地简化博奕模型，而且能够得出更易于分析的均衡解，并指出了有交流的博奕的概念在经济活动中设计激励相容的协调机制中的重要应用价值。     

小型中央空调系统热经济学优化设计分析

建立了户式中央空调常用制冷剂HCFC22热物性的仿真模型，在VC 环境下编制了仿真程序；提出了户式中央空调系统的热经济学优化方法，对典型的户式中央空调系统进行了热力学和热经济学优化，并对两者优化结果进行了比较。结果表明，户式中央空调系统的热经济学优化方法能够克服热力学优化方法的弊端，有利于减少系统的年生产费用，是一种值得推广使用的新方法。     

鸟苷发酵过程中参数相关特性的研究

通过对鸟苷发酵过程参数相关特性的研究，结合菌体形态变化规律和氨基酸的测定结果，发现过程后期发生的代谢流迁移。以此为基础实现了过程的优化，鸟苷水平提高了50％，达到28g／L。     

最简线状李代数

作者定义了一类线状李代数，即所谓的最简线状李代数，它是一类结构最简单的线状李代数，也是Luis Boza, Francisco J. Echarte 和 Juan Nunez在1994年对复数域上的10维线状李代数的分类中所提到的参数全为零的代数μ₁₀¹³⁰的推广。设g是域F上的n维最简单的线状李代数（n≧4）,确定了g的导子代数，并且证明了当F 的特征为0或p＞n-2时g的导子代数不可解的完备李代数。 还计算了g的自同构群，并证明了当∣F∣≥n时它是一个无中心的可解群。此外，对于素特征的的情形，还考虑了g 的可限制的充要条件，并对非可限制的情形确定了g 的极小p—包络。