浅谈合情推理在大学数学中的应用

论述了合情推理的两种常用方法：归纳推理和类比推理在大学数学中的应用．     

基于知识图谱技术的配电站房智能运检

针对配电房主要依赖传统的人工巡检方式,存在巡检成本高、故障隐患误报漏报率较高等问题,基于知识图谱和智能认知技术,提出了配电站房运检业务知识库及高级应用的理论和技术,深入研究了知识共享管理、智能搜索和推荐、数据标签及故障智能推理,建立了配电站房知识库并在山西电网进行了示范应用。利用研究成果构建了配电站房智能运检业务知识库,并开展了智慧应用研究,实现了故障隐患智能分析等知识赋能,减小了巡检成本,提高了智能运检能力。     

中国股票市场异质信念资产定价实证分析

扣除完全市场因子、行业因子和流动性需求后的换手率指标是我国股票市场异质信念合理代理指标。异质信念对股票收益率有较好的解释能力,异质信念最高的组合获得较高的收益率,同时,观察滞后一期数据发现异质信念收益表现出明显的反转特点。结论对我国异质信念资本资产定价提供了有力的实证支持。     

一种基于模糊集的混合空间推理方法

基于模糊集合理论, 提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法. 将对象间的空间关系解释为表达有关对象空间信息语言变量的限制, 引入语言变量表达定性空间关系; 把语言变量与模糊集合关联起来, 获得定量空间信息; 通过将语言值映射为模糊集合, 以及将模糊集合的元素映射为语言限制词, 实现了定性空间信息和定量空间信息间的转换. 此外, 还给出了与Allen提出的二元基 本关系关联的模糊关系, 并得到了基于模糊关系的Allen推理算法, 从而实现了空间关系间 的推理.     

规则推理与实例推理在模具加工刀具智能化选择中的应用

规则推理（RBR）和实例推理（CBR）是使用已有经验来解决问题的两种不同的方法,结合这两种技术并将其用于刀具选择,有利于模具加工的智能化发展．首先,根据刀具选择任务的特点,采用“分而治之”的原则,把刀具选择划分为刀具类型及材料选择和刀具几何参数确定两个子任务,并对两个子任务分别采用RBR和CBR两种不同的推理方法．同时对实例的框架表示、基于模糊贴近度的实例相似性度量以及实例特征的权重计算等关键技术进行了研究,并给出了相应的实例．     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

基于知识的火箭安全控制智能决策系统

随着科学技术的不断进步,航天事业得到了蓬勃发展,火箭发射成为各个航天国家共同研究的课题。其中安全控制是火箭发射中的首要问题,也是各个航天国家关注的焦点．论述了火箭安全控制的重要性,分析了原有火箭安全控制系统的特点,针对存在的不足,采用人工智能领域的智能决策技术和推理技术,融合安全控制知识,提出了基于知识的火箭安全控制智能决策系统的设计思想、结构体系及实现方法,提高了火箭安全决策的可信度和真实性．     

多型地空导弹网络化作战部署效能评估

首先,建立了评估指标体系,运用D—S证据推理理论对专家的评估数据进行处理,在得到决策矩阵的基础上应用熵技术对预先给定的权重进行修正,结合决策矩阵计算出了评估结果,最后,通过实例验证了模型的可用性。     

基于案例源证据推理法的城市安全大数据治理能力成熟度评价

为了系统客观地评价智慧城市转型下城市公共安全的大数据治理水平,提出了基于案例源证据推理的城市安全大数据治理能力成熟度评价方法。首先,以大数据治理活动为基本对象,从组织、规制、流程、技术等不同角度提炼关键过程域,同时定义各关键过程域的能力目标集合;其次,为避免专家打分的主观因素对评价结果的影响,将案例借鉴思想引入成熟度评价,在历史案例的结构化表达基础上,根据案例相似度检索案例中的评价证据,利用证据推理实现证据合成与成熟度评价。通过河南省濮阳市的城市智慧内涝防控用例分析了所提出基于案例方法的合理性。案例结果表明：所提出方法能够实现成熟度评价结果的智能化生成,其结果具有较强的区分性与场景适应性,有助于治理决策者精准认知当前城市安全大数据治理的薄弱环节,为治理更新完善提供决策支持。     

证据推理与检索数据网络安全获取

利用动态数学模型,首先给出了内-数据、外-数据与内-外数据概念,然后给出了证据推理与检索数据智能获取定理和网络数据空间与数据-证据关系定理,进而给出了检索数据的网络安全获取算法,最后给出了这些概念、理论结果的应用。