TiO2覆膜PTFE滤料光催化甲醛特性的实验研究

用纳米TiO2作为光催化剂覆膜于工业中普遍使用的PTFE滤料,得到了一种新型滤料。设计搭建了仿真空气净化系统的光催化实验台,分析了初始浓度、净化风速、紫外光强度、温度和相对湿度对甲醛光催化降解效率的影响。实验结果发现,在实验区间内,降解效率随初始浓度和紫外光强度的增加而提高;净化风速和温度对降解效率有双重影响;低的相对湿度对应了较高的降解效率。     

多囊卵巢综合征诊断进展

多囊卵巢综合征(PCOS)是女性常见的内分泌紊乱性疾病,生育年龄妇女发病率5%~10%。多囊卵巢综合征病因不明,临床表现多样,诊断标准一直难以统一,其涉及PCOS的临床表现,内分泌特征,病理生理变化以及卵巢形态学改变等。了解多囊卵巢综合征的诊断标准,将有助于临床诊断并改善其临床治疗。     

基于PCO+FFT的B1C导航信号捕获算法

为了对采用BOC调制的B1C导航信号进行捕获,提出了基于PCO+FFT的导航信号捕获算法。首先,在深入分析B1C信号特点的基础上,对分段长度和FFT点数进行选择;其次,从相干积分增益、非相关积分增益、多普勒测频范围与测频分辨率、检测概率等几个方面对该算法进行了深入地推导;再次,给出基于新算法的FPGA实现方案;最后,通过仿真验证算法的有效性。在FPGA硬件平台上进行实测的结果显示了方案的正确性。将副载波剥离的方式以及基于状态机的控制核心的实现思路可为导航信号捕获算法的改进提供参考。     

基于组件的计算机组成原理虚拟实验室的设计与实现

提出了一种基于组件技术的计算机组成原理虚拟实验室(PCOVL)的设计模型和实现方法。该系统采用Java语言实现,具有良好的平台无关性。以Java Bean组件技术开发元器件,并利用Java反射技术实现了系统动态调整组件属性和行为的功能;结合数据驱动原理,多线程技术的wait、notify机制,以及锁的同步控制技术,提出一种基于数据驱动的触发式调度机制,有效的解决了具有复杂关系的组件之间的数据传递和调度运行的问题。PCOVL实现了可视化的定制实验流程、运行期间随机改变组件状态、以及实验结果的动态实时显示等功能,为开发计算机硬件类课程虚拟实验室提供了有力的技术支持和理论基础。     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。