产品配置器的研究进展

给出大批量定制生产方式与产品配置器的关系, 并从理论研究与技术两个角度描述了产品配置的发展现状、 研究内容、 知识表示以及目前存在的问题, 在此基础上提出基于图形知识的配置表示, 指出了降低配置计算复杂性、 提高配置求解效率的可行性方法以及产品配置器的应用前景.     

正温度系数热敏电阻电流—时间测试系统的设计

设计了单睛机对正温度系数热敏电阻的电流－时间测试系统。系统完成对正温度系数热敏电阻产生的瞬变非正弦电流的初始，阻尼电流及稳态电流的峰峰值的测量，峰峰值达到2．5级以上，测量阻尼和稳态电流的采样时间可灵活设置。     

噪声环境下函数优化问题的混合优化算法

针对噪声环境下的函数优化问题提出一种混合粒子群优化算法UPSOOHT, 并考察了最优计算量分配（OCBA）和噪声幅度对算法性能的影响. 该算法将粒子群优化算法与假设检验及OCBA有效地结合, 具有很好的全局搜索能力和局部精化能力. 与其他优化算法比较的测试结果表明, UPSOOHT算法的性能和抗噪声能力都具有明显的优势.     

MBD中通过混合键合图对混合系统建模

基于模型诊断即Model—based Diagnosis（MBD）对整个人工智能领域的研究起着重要推动作用，是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术，其应用也越来越广泛。而混合系统是当前应用较多的动态系统之一，其故障诊断问题是当前研究领域的热门。本文介绍应用MBD技术对混合系统进行诊断的建模方法，介绍混合键和图基本原理，通过混合键和图对混合动态系统建模。为进一步进行MBD故障检测和追踪直至故障隔离和鉴别提供基础模型。     

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

基于极性的非循环术语集调试简

通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。     

涡轮流量计及显示仪表工作原理的分析

涡轮流量计是一种能够测量多种介质且稳定性好、准确度高的计量仪表。特别适宜于计量粘度不高的轻质油类和腐蚀性不大的酸碱性液体,同时它也具有较好的线性输出参数,当涡轮流量计与具有多功能、多参数的显示仪表组合为计量仪表时,就能够对被测物理量的累积流量、瞬时流量等进行准确计量。通过对涡轮流量计及显示仪表工作原理的分析,可以掌握在实际使用中对多种参数的选择、调节、设定,大大提高计量准确性。     

面向免费师范生的结构化学课程教学改革探索

针对免费师范生教育的特殊性,通过结构化学课程建设,改革课程的教学内容、教学形式和评价方式,应用计算机网络来辅助教学,使教学内容更加直观明了,从而提高教学效率。引导免费师范生将结构化学和中学化学相联系并进行积极的探索。     

MoS_2/TiO_2复合材料的制备及其光催化降解染料的研究

采用溶胶凝胶法制备了TiO_2及不同质量比例的MoS_2/TiO_2复合催化剂,并对催化剂进行了红外和X射线粉末衍射光谱表征.以甲基蓝为目标染料污染物,利用催化剂对其进行了紫外光催化降解实验,研究表明复合催化剂MoS_2/Ti O2具有较高的稳定性和光催化活性.催化体系在酸性环境中催化性能较好,利用抑制剂反应产生的空穴和·OH自由基对催化反应起关键作用.     

基于模型检测的实时模型诊断方法

提出一种基于模型检测的实时模型诊断方法. 利用 模型检测算法对大状态空间系统验证的高效性, 使诊断系统能够更快地进行模型诊断, 并对这种方法进行了系统实现, 结果表明, 此方法可行、 有效.