IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究，通过加强IMTL-代数条件的方法建立了IMTL＊-代数，并通过实例证明了IMTL＊-代数结构的存在性；其次，构造了一个非IMTL＊-代数的IMTL-代数，说明了IMTL＊-代数是IMTL-代数的真的强化形式，并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画；最后，给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

规则智能系统的用户面设计

描述一类规则智能系统（通常是专用系统）的用户面原理，并着重探讨这类系统界面设计过程中的几种关键因素，如为传统性、线性特征，实时表象及群集效应等，也介绍了基于这些因素所开发的规则智能系统。     

模糊元图及其在飞行器故障诊断中的应用

基于现有不确定知识的表示和推理方法的不足，提出了一种新的图论结构——模糊元图，给出了模糊元图的一系列定义，并探讨了其数学特性．模糊元图具有很强的图形化描述功能和形式化分析能力，它描述的是集合而非单个元素之间的关系，并能有效地表示和处理模糊信息．利用模糊元图的邻接矩阵闭包可实现以离线计算为主的推理方式，避免不必要的重复计算，并可大大减少搜索空间，从而极大地提高实时推理效率．将其应用在飞行器故障诊断中，取得了很好的效果．     

浅谈公路桥梁质量保证资料管理

根据笔者参与的施工项目,就如何齐全、真实、系统地收集、整理和管理好施工过程产生的施工原始记录、试验数据、质量检验、评定记录、检定报告等质量保证资料,为交付竣工和工程档案及时准确提供可靠有效的全部资料,进行了较为系统地阐述,可供施工单位资料管理人员参考。     

二次映射和遗传算法用于鉴别可视化特征提取

多元数据图表示是高维数据可视化最简单的一种处理方法.从多元数据的雷达图中提出了一种图形特征-可视化重心特征.由于雷达图与数据的特征排序有关,导致可视化特征深受特征排序影响,提出了利用二次映射计算出所有特征排序下的可视化特征,基于遗传算法再从中选择出具有鉴别能力的可视化特征.葡萄酒、乳腺癌和糖尿病等UCI真实数据集的实验结果证实了我们的想法,最佳分类错误率分别达到了0%、1.61%和20.7%,优于报道的常用的分类性能,优于传统的鉴别特征提取方法.     

零维代数簇短系数有理单变量表示的可分元计算

针对零维多项式系统中Rouillier计算可分元的算法使 其相应的有理单变量表示中整系数过长的问题, 提出一种改进的可分元选取算法, 新算法通过逐步确定坐标可分元得以实现. 结果表明, 较之Rouillier算法, 新算法选取可分元对应的有理单变量表示中整系数的长度更短, 且两算法具有几乎相同的平均复杂度.     

论合并高校分校区图书馆文献资源共享

在认真分析合并院校及图书馆存在问题的基础上,探讨了图书馆实现各分校区文献资源共享的对策.     

公文写作中的逻辑作用

公文写作离不开逻辑，因为只有遵守逻辑的基本要求，做到概念明确、判断恰当、推理有逻辑性，才能使公文主旨明确、语言准确、结构清楚，以保证公文表述的准确性与清晰性，从而更好地发挥公文的政策性、权威性和严肃性在日常公务活动中的重要作用。     

Hausdorff连续集值随机过程的选择定理及表示定理

本文给出了Ｐｆｃ（Ｘ）值随机过程为Ｈａｕｓｏｄｏｒｆｆ连续的充要条件是其可表为一例Ｘ值连续过程的Ｃａｓｔａｉｎｇ表示。     

多源异构感知数据融合方法及其在目标定位跟踪中的应用

物联网的全面感知产生了海量的感知数据,并且感知数据呈现为显著的多源异构性.因此,如何实现海量多源异构感知数据的智能处理是一个具有挑战性的课题.数据融合是处理多模态数据并挖掘提取有价值信息的有效手段,但针对多源异构数据,特别是非结构化的视频多媒体信息,如何实现高效的融合计算还面临许多问题需要解决.本文针对物联网多源异构感知信息的处理问题,提出多层次的多源异构数据融合方法,并以基于无线信号、视频和深度感知数据的目标定位跟踪应用为切入点,重点研究多源异构数据的处理、特征表示和数据融合方法.根据不同类型数据的特性采用不同的数据融合方法,通过挖掘无线信号、视频和深度等多源异构数据内在的关联性,实现多源异构数据有价值信息的有效利用.实际复杂场景的实验表明,本文提出的基于多源异构数据融合的目标跟踪和定位方法,能够解决传统依赖单源同质数据的目标跟踪方法所面临的光照变化和遮挡交错等难点问题,并且可以获得较为准确的运动目标三维位置,具有良好的跟踪定位效果.