广义因果理论上基于模型诊断过程的形式化

对广义因果理论上基于模型诊断的一般过程进行形式化,对它与本原蕴涵／蕴涵式的直接关系进行论证,从而将理论结果与实现联系起来。表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例。     

光时域反射仪测试范围与光纤线路测试精度分析

在光缆线路的施工维护中,光时域反射仪是不可缺少的测试仪器。在论述光时域反射仪工作原理的基础上,牟光时域反射仪的测量范围和测量精度的关系进行了分析。     

基于粗集理论的C3I信息融合性能评估方法

讨论了基于粗集理论的信息融合系统性能评估的理论和方法, 以C³I的应用为背景建立了信息融合性能指标体系. 给出基于粗集理论进行系统综合评估的一般步骤和确定评估指标权值的算法, 尤其是在有信息遗失情况下的信息处理方法. 同时提出一种用于多传感器信息融合性能测试与评估的系统结构, 通过软件测试的方法, 对融合算法进行测试与评估, 实现了对融合算法选择和参数选择的指导, 实验结果验证了本文方法的有效性.     

基于模型诊断的研究与新进展

综述基于模型诊断的基本任务、诊断过程、研究现状及主要研究领域 .通过与传统诊断方法的比较指出基于模型诊断方法的研究意义 .列举一些最近出现的有代表性的诊断系统 ,并指出有待解决的问题 .     

基于分层任务网络的一致性规划方法

给出一种求解一致性规划问题的新方法, 并给出了此求解方法的有效性分析. 在求解一致性规划问题时, 先将各个可能世界都转移到某个中间状态, 再从中间状态做一次求解. 结果表明, 该方法具有较高的效率和较好的扩展性.     

基于关联解释的术语集MUPS求解方法

本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语集,从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集,一定程度上减少了不相关公理的加入,可以有效减少待测术语集规模.进一步地,将术语集的极小不可满足保持子术语集(minimal unsatisfiability-preserving sub-TBox,MUPS)的求解过程看作是关键公理的查找过程.提出关联解释的定义,并通过构造术语集的关联解释方式确定关键公理.该过程一定程度上减少了推理机调用次数并简化了每次调用用于找出问题时的推理任务.实验部分将各类优化策略应用于黑盒算法并进行了比较.实验结果表明,该方法能够有效提高术语集MUPS求解效率.     

应用绿灯有效利用率实现感应控制的原理及方法研究

本文提出了一种具有自适应功能的交通感应控制方法，并详细阐述了实现这一控制的具体原理及计算方法，这种控制方法根据实时的交通流检测数据并算出实时的绿灯有效利用率来调节绿灯的长短从而实现感应控制。通过定性和定量的分析表明所述方法是可行和有效的，具有实用价值。     

一种融合梯度信息的粒子群优化算法

针对粒子群优化算法(PSO)存在盲目搜索、收敛速度慢的问题，提出一种融合梯度信息的改进粒子群优化算法，简记为GIPSO(Gradient Information based PSO)。利用目标函数的梯度信息指导粒子朝着适应值更低的方向搜索，可有效避免粒子的盲目搜索行为。首先，在线性权重粒子群算法的进化公式中嵌入目标函数的梯度信息，有效提升了改进方法的收敛精度；其次，随机选择一半的粒子使用含有梯度信息的速度进化公式以降低算法的计算量，在标准测试函数上的仿真实验结果表明，GIPSO算法在收敛速度与收敛精度方面，均优于基本PSO算法，线性权重衰减PSO算法，正太分布权重PSO算法等传统方法。     

云南白族"霸王鞭舞"传承现状调查及保护建议

调查了大理市、洱源县、剑川县和云龙县白族"霸王鞭舞"的自然、人文环境及其表演形态的地域性特征、传承现状,认为保护民间艺人、保护好民间最原生态的舞蹈形象等是发展"霸王鞭舞"本体的基本措施.