多故障测试生成的一种简化算法

针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。     

基于PV曲线的低压减载配置方法

低压减载是解决电力系统电压失稳的重要手段之一。目前工程实践中多采用试凑法进行低压减载方案设计,工作量大且缺乏系统性。为此,文章结合工程实际提出了一套低压减载配置的系统性方法,该方法以保证确定的电压恢复值为目标,以PV曲线为依据。研究表明,该方法具有系统性、鲁棒性和易用性,可直接指导工程实践。     

基于故障仿真确定测试矢量最小测试集方法的研究

为了减少测试矢量，有必要对电路中的故障加以分析，寻找各类故障之间的关系，以求压缩测试矢量。本文提出了一种通过并行故障仿真来确定测试矢量最小故障集的方法。该方法将并行故障仿真与布尔约简法相结合，利用并行故障仿真结果确定出故障点和测试矢量的对应关系。然后根据布尔约简法即可求出测试矢量的最小故障集。     

流感嗜血杆菌多糖抗原主要成分的分析

按Schneerson方法提取了2批多糖抗原，每批包括a、b、c、d、e、f6个血清型，并测定了抗原的固总、蛋白、核酸、磷、核糖、葡萄糖及氨基己糖。并用纸层析作进一步鉴定，用反向血凝方法测定血清学特性。结果表明，HK658（c）主要成分为氨基葡萄糖，HK646（f）为氨基半乳糖，HK644（d）为氨基己糖，HK645（a）为氨基己糖及葡萄糖，HK179（b）、HK641（e）主要为核糖，HK641并含有氨基己糖。6个血清型多糖均是型特异抗原，与相应型的IgG致敏血球能产生凝集，且最高滴度可达1：51200。     

改型钙基膨润土在建筑涂料中的应用

本阐述了应用于建筑涂料中的钙基膨润土的改型机理和在涂料中的作用，简单介绍了几种应用当地钙基膨润土进行改型生产涂料的工艺及涂料的性能。     

论黄山市发展体育赛事产业的优势与模式

地方体育赛事是地方体育产业发展的基础。黄山市具有发展体育赛事产业的体育资源优势、区位优势、政策优势、体育支持性优势和赛事需求优势。目前黄山市的体育赛事产业已经打下了良好的基础,可以通过本土特色赛事的品牌化、高端单项专业赛事的引进、体育休闲旅游的跟进、体育户外基地的开发等,促进体育赛事产业的进一步发展。     

一种基于卡尔曼滤波的动态目标GPS定位算法

针对动态目标的GPS定位精度不高和实时性较低的问题,通过改进卡尔曼滤波的定位算法,有效消除GPS动态数据的随机误差,给出了仿真得出的运动轨迹对比图和误差曲线对比图.该算法将速度观测量加入到常规的卡尔曼方程中,得出带约束项的改进型卡尔曼方程.通过实验结果可以看出该算法可以有效提高动态目标的GPS定位精度和实时性,具有重要的理论和实际意义.     

电信装维办公自动化系统的实现

随着电信用户数和业务量逐年大幅度增加,传统的纸质工单由于工单流转效率低、成本高、失误率高等缺点已不能满足电信公司和用户需求,计算机技术的快速发展使得办公自动化成为未来业务发展的趋势.本文针对上述问题,设计了一套全新的电信装维办公自动化系统,该系统选取当前最流行的iphone手机iOS系统平台进行开发,运用Xcode软件进行Objective-C语言编程,采用HTTP协议实现了手机平台与WEB平台数据网络交互过程.实际测试证明该系统性能稳定,工单流转率高,便于实时管理,大大提高了业务效率.     

多元化实施大学计算机基础课程教学的研究

从多个角度出发研究大学计算机基础课程教学方法,从新生入学的筛选考试入手,实施免修、免考试制度,提高教学效率。在教学过程中充分利用案例教学,在有限的时间内有效地向学生传授更多知识。同时采用分类教学、分类考核模式,进一步抓好教学过程、教材使用、师资聘用等各环节,全面提高教学质量。     

GBF管现浇混凝土空心楼盖的施工及应用

GBF管现浇混凝土空心楼盖技术是住房和城乡建设部重点推广项目,具有减轻自重.提高净空、保温隔音、降低造价等优点.以某学院图书大楼空心楼盖为例,从模板工程,GBF管安装、固定,混凝土浇筑等方面,阐述了GBF管现浇混凝土空心楼盖施工工艺和施工要点,为同类结构施工提供了一定的参考.