滚筒制造中CO_2气体保护焊打底工艺的应用

在滚筒制造过程中,对环形对接焊缝采用CO2气体保护焊打底单面焊双面成型,然后用埋弧焊盖面工艺,本文对此工艺进行论述与验证。     

基于遗传算法SVM的基因表达谱数据分析

提出一种基于遗传算法的数据挖掘方法——TGASVM,它能够尽可能少地选出分类能力强的信息基因.实验表明与同类的算法相比,TGASVM算法无论是分类准确率,还是挑选信息基因数目都优于同类算法.     

Asp．net网站开发中实现弹出对话框

通过对Asp．net网站开发中实现弹出对话框的介绍，说明在开发整个网站中所使用的三层架构、可空类型数据与数据库交互、用户输入验证与字符串转换输出、验证控件的封装与样式、弹出对话框的数据提交和样式部局、铡览器对于CSS样式的兼容性测试和提高上网用户的体验等技术和问题。     

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

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

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

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

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

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

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

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

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

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

空调机组冷凝热换算方程

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

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.