一种基于同步树替换文法的统计机器翻译模型

提出一种基于同步树替换文法的机器翻译模型.相对于基于短语的模型,此模型可以对远距离结构性调序和非连续短语翻译进行建模;相对于基于同步上下文无关文法模型,此模型可以对任何层次上的树节点调序进行建模.因此,该模型可以为处理语言结构间的异构对应问题提供有效的解决途径. 在两组风格差异较大的数据集上进行的实验均验证了基于同步树替换文法的模型相对于基于短语模型和基于同步上下文无关文法模型的稳定优势.     

一种基于扩展规则的#SAT 求解系统

#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统.     

短期负荷预测Volterra滤波器模型

讨论依据相空间邻近轨道演化相似性的特点构造训练模式,建立短期负荷预测Ｖｏｌｔｅｒｒａ滤波器模型的问题．以距离相似度和趋势相似度来衡量电力负荷吸引子轨道的相似度,提出了电力负荷吸引子邻近轨道判别的新方法．从模型训练充分性的角度出发,探讨了模型训练集规模的选择依据．仿真结果表明该模型是有效的．     

带有两次订购机会且两阶段需求相关的Newsboy模型

首先建立需求形式为一般随机变量情形下零售商的两次订购决策模型,并从理论上证明了在两个阶段需求相互独立情形下,零售商期望利润函数的下凹性及最优订购策略的存在唯一性,从而弥补了已有模型在寻求最优订购策略时采用数值方法所存在的缺憾;然后,建立两阶段需求相关情形下带有两次订购的Newsboy模型,给出了模型的分析解.数值实例验证了模型的求解过程,并得到了相关管理启示.     

基于微粒群算法的非线性系统建模方法研究

针对非线性系统多模型自适应控制中的模型覆盖问题,提出一种基于微粒群算法的多模型建模方法.首先,对非线性系统定义了基于混合逻辑模型的多模型描述,建立了非线性系统的混合线性多模型;然后,基于微粒群优化算法对非线性系统进行优化建模,在保证建模准确性的同时采用最少的子模型逼近非线性系统;最后,通过一个仿真算例表明了该建模方法的有效性.     

面向离散型制造业的MES的研究与设计

针对离散型制造业的行业特点,分析了MES的体系架构,利用J2EE的分布式多层应用开发与部署平台,构建具有多层结构的制造执行系统。提出了适合离散型制造业的功能模块。介绍了该系统的设计与应用。     

工业机器人机械设计参数对控制能量的影响

以三自由度搬运工业机器人为研究对象,通过机械设计参数与能量指标关系的程序计算和仿真的方法,研究了机械设计参数对控制能量的影响,从而为在提高控制系统性能角度优化机械设计参数提供了依据。     

基于方案本体的决策模型组装

决策模型组装是智能决策系统中的重要功能。基于本体的决策模型组装在模型之间的匹配上提供了丰富的语义信息,但本体推理的效率造成的响应速度较慢依然是需要解决的问题。本文提出一种基于方案本体的决策模型组装方法,可有效地减少本体建模的复杂度,并设计了相应的算法实现这种方法。     

对含内孔面模型的切割仿真研究

为了快速封堵含内孔的面模型被切割后形成的中空截面轮廓,以便完整的表达模型.采用先剖分外轮廓,以封堵整个截面的轮廓,然后依次去除内轮廓区域的思想,最终实现中空面的封堵.先使用逐点插入算法剖分整个中空截面轮廓,然后删除已检测到的内孔洞的区域,在确保剖切面内所有轮廓顶点不发生任何变化的要求下.实现了含内孔面模型的快速切割仿真,并使用实例加以验证.该算法可以广泛地应用于各种含内孔面模型的切割仿真,尤其在医学手术仿真中.     

面向弹道规划的网络化反导空间威胁建模研究

针对现有弹道规划中的威胁源建模方法不能有效地体现网络化反导体系的作战特点问题,采用网络化反导体系的效能指数来衡量某型超音速战术导弹在突防过程中面临的空间威胁程度.给出了网络化反导防御体系条件下,导弹的威胁指标体系,建立了基于综合指数法的威胁度计算模型.最后,对威胁度模型进行了实例计算,并根据计算结果生成了威胁态势图,从而验证了模型的有效性.