高速同步总线的时序设计

从总线时间比的角度出发分析了总线时序实现的难易程度。通过对时间方程的分析 ,讨论了严格同步的时钟系统、固定相移的同步时钟系统、动态调节的同步时钟系统的总线时序 ,并设计出一种时钟相位可调总线时序。在此基础上实现了一种基于GTL逻辑的高速同步总线测试系统 ,并通过实际测试证明了对三种同步时钟系统总线时序分析的正确性 ,结论为各种实际高速同步总线的时序设计提供了很好的参考价值     

基于随机模糊神经网络的噪声混沌时间序列建模与预测

提出了一种基于随机模糊神经网络对噪声混沌时间序列进行建模与预测的方法,并介绍了一种基于非单值逻辑随机模糊神经网络(SFNN)的结构和学习算法.在此基础上,应用该网络对含随机噪声的麦克-格拉斯混沌时间序列进行了仿真,仿真结果表明,在噪声较大的情况下,SFNN比FNN方法有更好的预测效果.     

基于组播组的联邦时间推进策略

从时间管理与数据分发管理(DDM)相结合的角度出发,针对当前HLA/RTI规范中计算时戳下限(LBTS)的“过于保守”的缺陷,为了减少计算开销和时间延迟,提出了三种基于DDM组播组的联邦时间推进策略:基于静态组播组策略、基于动态组播组策略和基于动态“扩展组播组”策略,仅利用组播组中的局部信息来计算LBTS,并结合乐观机制来克服因组播组动态变化而可能引起的时间失序。最后讨论了推进策略的性能改进方法及其适用范围。     

多基地声纳距离信息定位算法研究及精度分析

在双基地声纳系统的定位方法[1]基础上推导了基于距离信息的多基地声纳系统的定位方程及定位误差的表达式,讨论了多基地声纳系统利用距离信息进行定位的定位原理,讨论了站址测量误差和时间测量误差对系统定位精度的影响,并对不同站址布局下,系统的误差分布特点进行了研究,得出了使定位精度达最高的一种站址布局方案.     

一种基于规划系统的计划识别混合求解方法

基于智能规划领域中机器人动作规划的思想,给出了一种求解计划识别问题的混合方法。首先讨论了规划及计划识别系统的一阶谓词逻辑知识表示,然后建立了一种基于智能规划的计划识别模型,并提出了一种计划序列的生成算法,再结合D-S证据理论来实现计划识别的不确定性推理。最后以一个例子说明了采用该方法进行规划推理和计划识别的过程,表明了使用该方法求解计划识别问题的可行性。     

基于组播组的联邦推进策略

从时间管理与数据分发管理（DDM）相结合的角度出发，针对当前HLA／RTI规范中计算时戳下限（LBTS）的“过于保守”的缺陷，为了减少计算开销和时间延迟，提出了三种基于DDM组播组的联邦时间推进策略：基于静态组播组策略、基于动态组播组策略和基于动态“扩展组播组”策略，仅利用组播组中的局部信息来计算LBTS，并结合乐观机制来克服因组播组动态变化而可能引起的失序。最后讨论了推进策略的性能改进方法及其适用范围。     

重型运载火箭预设时间自适应控制

针对存在模型不确定性及未知外部干扰的重型运载火箭姿态控制问题，提出一种新型预设时间自适应控制方法，使得姿态控制误差收敛时间与系统初始状态无关且可预先设定。首先设计一种新型预设时间滑模面，采用滑模面切换的方法避免系统出现奇异；然后设计预设时间滑模控制器，采用神经网络估计系统集总扰动并在控制器中进行补偿，设计自适应律自适应调整神经网络权重系数，基于Lyapunov稳定性定理证明了所设计控制器的预设时间稳定性；最后通过数值仿真验证了所提方法的可行性及有效性。     

带时间窗和随机时间车辆路径问题: 模型和算法

研究带随机车辆旅行时间、服务时间以及时间窗的车辆路径问题.根据不同的优化目标, 首先给出了问题的两种数学模型描述:机会约束规划和带修正的随机规划模型. 为了有效地求解该问题,提出了基于禁忌搜索的启发式算法, 该算法考虑了问题的随机特性.在实验部分, 首先给出了产生 测试问题的方法,然后基于产生的测试问题给出了算法的计算结果.     

一种基于Rough集的时间序列数据挖掘策略

阐述了基于 Rough集的时间序列数据的挖掘策略 ,重点讨论了时间序列数据中的时序与非时序信息的获取问题 .实践证明 ,Rough集理论作为一种处理模糊和不确定性问题的有效工具 ,对于时间序列数据的挖掘同样也是有效的 .文章强调了时间序列数据中的多方面信息 ,包括原始数据及其变化量、变化率所提供的信息.     

基于混合生存分析的动态信用评分方法

当今国内外经济形势复杂多变,不确定因素增多,金融市场中信用风险的动态性显著增强,动态信用风险评价成为金融机构迫切需要解决的问题.为此,本文提出了一种基于混合生存分析的动态信用评分方法.该方法由三部分组成:首先,构建基于混合生存分析的动态信用评分模型,包括违约状态判别模型和违约时间估计模型,用于预测评价对象"是否违约"以及"何时违约";其次,利用面板数据构建多重生存状态向量,用于表征信用特征和生存时间的动态关联;最后,基于生成的多重生存状态向量,利用期望最大算法迭代估计模型参数.实验研究表明该方法的预测效果显著优于基于单分类、基于集成学习以及基于生存分析的信用评分方法.     

真值限定的直觉模糊推理方法

针对直觉模糊逻辑推理,提出一种利用真值限定的直觉模糊推理方法,给出了相关的推理合成运算公式。以具体算例验证了该方法的正确性和有效性,表明了推理计算过程的详细步骤。计算结果分析表明,在一定条件下,真值限定的直觉模糊推理方法与直觉模糊推理的基本形方法在相同的前提下可得出相同的结论。真值限定的直觉模糊推理方法的最大优点是更具有抽象逻辑的特点。     

模拟表示、混合推理与战场态势评估

在战场态势评估领域，战场环境的知识表示和相关的推理方法是一个急需解决的难题。推广的模拟表示及混合推理框架采用了多层模拟结构来表示战场环境及相关的军事知识，对图模型进行了扩展，在其语句子系统融入了包括一阶谓词逻辑、非单调逻辑、模糊逻辑、Demster-Shafer证据方法及其相应的证明理论，使其具备了表示多种不确定性知识与现象的能力，以及利用这些知识对不确定现象进行推理的能力。关于战场态势评估的应用实例简要地说明了所述方法的应用步骤及其作用。     

基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。     

证据网络模型及其推理算法

本文在证据理论与图模型研究的基础上,针对不确定性与关联性相结合的系统建模问题,提出并建立了证据网络模型,定义了证据网络的参数,总结了证据网络的建模特点;分析了证据网络模型的推理问题,建立了其推理策略和推理过程,推导出其正向推理算法和反向推理算法,并通过示例进行了计算验证;证据网络模型将为管理决策分析、系统工程管理等领域的问题分析和求解提供一种有效的技术方法支持.     

结合区间和时域信息的定性模拟方法

针对传统ＱＳ方法中存在的歧义分枝问题，希望能利用区间定量信息和时域信息来减少模拟过程中的歧义性．在传统ＱＳＩＭ算法的基础上，提出了区间界标的概念和区间传播算法，并给出了有效表达时域信息的时域逻辑谓词，最后以一个水库管理的实例来说明如何利用区间信息和时域信息进行定性模拟     

态势估计中的统计时间区间推理方法

在战场态势估计中 ,许多事件有一个持续过程 ,因此需要引入时间区间来表示这些事件发生的时间。态势估计中常常需要判断这些事件发生的时间顺序 ,而对事件发生的时间区间的推测或观测往往含有统计不确定性。利用似然比检验理论 ,建立了一种判别两个事件发生的不确定时间区间的顺序的新方法 ,并讨论了利用检验结果进行限制传播的方法 ,从而有效地增强了态势估计中对时间关系的描述和推理能力     

基于形象思维的医疗诊断系统研究

在分析专家形象思维机制的基础上 ,提出利用案例推理、神经网络等人工智能技术 ,对专家的形象思维进行有效的模拟 .并结合传统专家系统的逻辑能力 ,是建造辅助决策支持系统、开发新一代专家系统的有效途径 .将上述思想用于医疗诊断辅助实验系统的设计上 ,结果表明是可行的.     

A review and prospect of readable machine proofs for geometry theorems

After half a century research,the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field.This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods,and formal logic methods.Some critical issues about these approaches are also discussed.Furthermore,the authors propose three further research directions for the readable machine proofs for geometry theorems,including geometry inequalities,intelligent geometry softwares and machine learning.     

组合导航智能信息融合自适应滤波算法分析

针对当前自适应组合导航系统算法的研究趋势,总结了卡尔曼滤波技术的缺陷和利用智能融合技术提高滤波器性能的设计思想。对模糊控制自适应算法(FIR AKF)、神经网络自适应算法(NN AKF)和自适应神经网络模糊推理自适应算法(ANFIS AKF)进行了分析。着重研究FIR AKF采用滤波器新息序列和外系统状态的模糊控制器关键的模糊规则设计问题;分析NN AKF在组合导航系统模型调整、故障检测和隔离中的应用方法,并给出ANFIS AKF利用神经网络自动生成推理规则和建立自适应组合导航系统的基本方法。