软件可测试性检测技术研究

软件的可测试性表示软件中故障检测的难易程度，是重要的软件质量特性之一。文章介绍相关的故障／失效模型和RELAY错误检测模型。提出了一个完整的软件故障检测过程：执行过程、传染过程、传播过程。对程序结构，最小表达式错误产生、计算转移、信息流转移等进行分析。提出了一种通过概率进行度量的可测试性静态检测方法，即整个程序可测试性由其包含的所有语句可测试性均值得到。     

室内空气品质预测方法研究

介绍了室内空气品质研究的发展历史及现状，室内空气品质预测的意义和预测的方法及其分类。重点论述了目前国内外普遍应用岛几种室内空气品质预测方法的基本原理及其应用，主要包括灰色GM预测、计算流体力学CFD方法和多区域方法，并比较分析了3种方法的特点及其适用条件。     

基于戴明环理论和.NET环境自主研发的卫星资源销售管理系统

系统于企业在卫星发射成功运营6年后着手建设,经过6年的市场竞争,企业卫星资源销售份额进入一个历史较平稳阶段,公司在销售管理上进入瓶颈期:由于卫里资源运营管理和销售的特殊性     

过氧化物对QY8911-Ⅲ树脂固化过程的影响

利用差示扫描量热(DSC)法研究了过氧化物对QY8911-Ⅲ型双马来酰亚胺树脂(BMI)的固化过程的影响。测试了过氧化物含量对树脂固化特性和力学性能的影响。结果表明,引入过氧化物降低了树脂的起始反应温度,提高了固化速度。弯曲强度略有提高,而冲击强度下降,因而过氧化物含量应小于0.6%。注射模压实验表明,引入过氧化物后,消除了短碳纤维(CF)增强BMI复合材料注射模压过程中的严重溢料现象,并使成型时间由原来的2 h缩短到15 min。     

螺旋曲面廓型的数值拟合方法研究

通过对不同的曲线拟合方法的比较，研究，提出了采用三样样条插值函数来逼近螺杆转子截面型线的方法，推导出了各系数表达式，给出了拟合的方程，并用实例验证了拟合效果，同时解决了拟合过程中的一些关键问题，该方法，为精确的刀具轨迹生成提供了光滑的型线。     

连续字符识别的级联HMM训练算法

用较简洁的模型表达词典中成千上万的词条以及由这些词组成的类别无以计数的句子,是连续手写识别技术要解决的关键问题之一.利用HMM对时间序列的较强的建模能力这一特点,提出了可用于连续字符识别的HMM级联模型;给出了字符HMM模型连接概率和模型间状态转移概率的定义,并通过修正训练算法的重估公式,重估字符模型的连接参数,描述了用于手写体识别的字符HMM的设计方案;给出了级联训练算法重估公式和级联Baum-Welch训练算法描述.将级联方法应用于手写体英文单词的识别,结果表明,级联模型的描述能力与比较系统相比有明显的优势,获得了良好的识别性能.     

基于P2P技术的网格调度算法的研究

首先详细分析经典的Min_min调度算法．指出该算法中所存在的缺陷．并从提高系统负载平衡性能和资源利用率两个方面考虑提出了新的算法。通过仿真试验结果。验证了新算法的可用性和高效性。     

面向种植模板导向结构设计的拉伸建模技术研究

提出一种面向口腔种植模板导向结构设计的拉伸建模方法。首先基于种植规划方案的要求确定设计参数,根据轮廓的参数化方程采样并投影生成底部轮廓,分割轮廓内部区域;然后根据网格密度自适应地确定步长,将轮廓线沿导动线方向偏置;最后使用顺序缝合相邻轮廓线方法构建侧面并封闭顶面,完成导向结构建模。该方法实现了种植模板导向结构的参数化和自动化建模,并可用于指导国产个性化口腔种植模板设计制作,降低计算机辅助种植手术的成本,促进口腔种植治疗的临床应用,造福广大患者,带来巨大的经济效益和社会效益。     

智能网与No.7信令系统

本文介绍了智能网的概念与结构，重点分析了Ｎｏ．７信令系统在智能网中的应用。     

延长油田典型原油基本物性分析

针对目前延长油田油井结蜡现状,为了给清防蜡药剂的研制提供基础数据和理论依据,采用国家或行业的相关规范和标准,分析了延长原油的组成以及原油中蜡的碳数分布和粘温关系等,并深入研究其析蜡规律。