基于可拓学的行为模型验证

虚拟实体行为的逼真度和可信度是行为建模的两个重要指标,行为模型验证是断定行为模型是否真实可信的重要手段.行为模型具有决策空间多维性和响应结果不确定性等特征,传统的面向数学物理模型的验证方法难以凑效.提出依据可拓学基本原理,结合专家经验评估法,对虚拟实体行为模型进行验证的方法.算例表明该方法对于行为模型的验证是有效的,可以实现多层次验证指标的分解与合成,并最大限度地降低了验证过程中的主观因素.     

工科院校三阶段专业实验教学体系的研究与应用

验证型实验、课程设计型实验、综合设计型实验、三阶段专业教学体系的研究与应用,历时八年,已应用于实验教学。其做法独到,适用于工科院校专业实验教学,深受学生们的欢迎。为高校培养高素质、创新人才提供了一个成功的经验。     

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。     

福建行洛坑钨矿变异函数模型的研究

以行洛坑细-网脉状钨矿为实例,对服从对数正态分布的区域化变量,分别用原始品位值和对数变换值建立变异函数模型。通过交叉验证等方法研究表明,对原始数据进行对数变换所得到的模型能更好地揭示区域化变量的空间变化规律,而且,对数线性克立格估值也比线性克立格估值更佳。     

矿井通风系统电算模拟结果可靠性分析

本文针对矿井复杂通风系统电子计算机模拟结果的可靠性问题及影响模拟结果的可靠性因素进行了分析。讨论了消除影响模拟结果的可靠性因素和提高模拟精度的方法,并给出了分析的具体实例。     

空调机组冷凝热换算方程

本文基于空调机组联合工作点热平衡，通过理论推导和实验验证，建立了冷凝热换算方程，分析了机组冷凝热随进风湿球温度，风量和冷凝温度的变化规律，阐明了上述各热工参数间内在相依关系。这不仅为冷凝热的充分利用提供数学模型和设计依据，而且使机组变工况性能试验得到大大简化。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

基于DLP的指定验证人的代理签名

代理签名与指定验证人签名都是非常有用的密码学工具，在实际生活中有着广泛的应用。在代理签名中，原始签名人能将其数字签名的权力委托给代理签名人；而在指定验证人签名方案中，对于验证人却是有所限制的。文章结合两者的优点，利用基于离散对数的Schnorr签名方案构造了一个指定验证人的代理签名方案。本方案与其他方案相比，除了满足所必需的安全性之外，在代价及计算量上更为高效。     

纳米级石墨晶体的各向异性力学性能的计算

理想的石墨晶体是由碳原子以sp^2杂化轨道和邻近的三个碳原子形成共价键，构成六角平面的网状层片结构，层片之间以Van der Waals力相结合．基于原子键合理论的力能关系基本原理：层片内以C—S键合单元相结合，层片间采用连续介质填充单元，建立石墨晶体的复合模型．其中C—C键合单元包括两个节点，每个节点包含三个自由度：ux，uy，uz．键合单元是该复合建模方法的主要部分．通过运算分析，确定了石墨晶体C—C键合单元的各个参数，该参数保证了石墨晶体正交各向异性的性质．同时，通过建立石墨晶体的拉伸、剪切等计算模型，并与实验数据相对比，验证了该石墨晶体复合建模方法的正确性，并将该复合模型用于研究石墨晶体的模态分析．该复合建模方法为研究石墨的微观结构、性能等提供了一种有效的数值模拟方法．     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.