基于区间矩阵的时态关系的简化方法

用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。     

基于生成对抗网络的交通流参数实时估计模型

为有效调控道路网时空资源，需实时估计交通流参数。若要准确估计交通流参数，应详细考虑道路网交通流时空特征。本文基于生成对抗网络，提出一种能捕捉交通流时空特征的实时估计模型，即TSTGAN模型。该模型包括生成器和判别器两部分，生成器利用门控卷积神经网络 捕捉交通流的动态空间特征，使用基于注意力机制的长短期记忆神经网络分析交通流的动态时间特征；采用门控卷积神经网络与长短期记忆神经网络构建判别器；通过对抗方式训练生成对抗网络的生成器与判别器，实时获得交通流参数估计值。使用中国山东省淄博市12个卡口设备和美国加州洛杉矶市23个线圈检测器获得的交通流量数据，验证TSTGAN模型的可靠性。结果表 明，TSTGAN模型引入的时空模块能有效提取交通流的时空特征，所得均方根误差和平均绝对误差比现有模型分别降低2.12%~42.41%和1.66%~40.49%，证明所提TSTGAN模型可以提高交通 流参数的估计精度。     

大水位差框架墩式码头动力仿真分析

结合三峡库区某框架墩式码头工程,通过有限元动力仿真方法,利用非线性分析软件ANSYS/LS-DYNA建立了船舶与独立墩式码头碰撞的有限元模型,模型中考虑了橡胶护弦的缓冲和吸能作用,更加真实地模拟出船-护弦-码头三者之间的相互作用.模型分析了船舶速度对墩式结构动力响应的影响.     

基于BP神经网络和案例推理的装备故障诊断研究

分析了BP神经网络和基于案例推理（CBR）在故障诊断领域应用中的优点、局限性和互补性,设计了二者相结合的装备故障诊断模型,通过某型装备的故障诊断实例,验证了该算法的有效性。     

军事MAS中战斗行为协调的计算

在军事MAS(multi—agent system多自主体系统)中制订规划／计划时需要对任务和战斗行为相互问存在的依赖关系和时序关系进行分析，计算出可保障MAS中相互进行良好协作的行为序列，避免因可能发生的时序错误、冲突造成协作失败。论述IA(区间代数)网络计算应用于军事MAS中的任务／战斗行为协调时的基本方法和应注意的问题。     

HYBRID STRATIFIED ATMS AND ANN FOR CASE-BASED REASONING

ＩｎｔｒｏｄｕｃｔｉｏｎＭａｋｉｎｇｕｓｅｏｆｅｘｐｅｒｔｅｘｐｅｒｉｅｎｃｅｆｏｒｐｒｏｂｌｅｍｓｏｌｖｉｎｇｉｓｔｈｅｋｅｒｎｅｌｏｆＡｒｔｉｆｉｃｉａｌＩｎｔｅｌｉｇｅｎｃｅ．Ｅｘｐｅｒｔｅｘｐｅｒｉｅｎｃｅｓｏｍｅｔｉｍｅｓｉｓｄｉｆｉｃｕｌ...     

基于约束推理的车站咽喉图型识别及优化设计模型

通用型计算机辅助设计(CAD)软件中不包括铁路车站咽喉平面设计的工具,因此需要研究专业的设计平台。本文认为解决该问题的途径是,首先基于人机交互的图型环境,输入并建立车站咽喉的结构图型,然后通过有效的计算手段识别和判定这种咽喉结构,最后通过结构计算实现车站咽喉平面设计的目标。文章认为模块法比画线法输入咽喉结构图型效率更高,也便于识别。因此,将车站咽喉的基本图形分解为6种基本图元,并对这些图元进行了恰当的描述。应用矢量对接判定条件,识别咽喉结构图型中图元的连接关系。依这种关系,应用约束推理方法和最优化的数学模型,计算满足咽喉设计条件下最优岔心位置坐标和最大平行进路数,从而实现车站咽喉平面设计优化和自动化。     

基于案例推理的铁路施工项目投标报价决策研究

基于案例推理的铁路施工项目投标报价决策模型构建与投标报价紧密关联的基本信息、工程特征、中标情况和投标过程四框架案例库,并将最近相邻法和归纳索引法相结合获得项目综合相似度,同时,建立案例维护机制模型保证决策系统的准确性与科学性.研究结果表明:案例调整焦点在于对投标报价的修改及估算;该研究成果对于加强铁路施工项目管理及控制铁路建设投资具有一定实际意义.     

Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.     

一种基于Rough集的案例推理模型的构建

利用Rough集理论处理案例推理问题具有不需要外界信息和先验知识的优点,对案例库中冗余属性进行简化,能够起到优化案例库的作用,同时能够依赖于统计知识提炼规则并形成多个有效的案例索引,在进行案例检索时可针对不同的检索问题选择恰当的索引快速检索到相似的案例,并进行推理得出相应的问题解决方案.最后,以稀土萃取分离生产过程的产品纯度和料液处理量等生产指标的智能优化设定控制为例,验证了该模型的可行性和精确性.