基于统一建模语言和多色集合的并行设计过程研究

在分析现有并行设计过程建模研究的基础上，提出了一种基于统一建模语言（UML）和多色集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构．采用多色集合理论，将UML活动图节点间的连接关系和基本模型结构形式化，结合基于特征的零件和工艺并行设计过程，建立了UML活动图模型，从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程，实现了该模型到多色集合围道矩阵的映射．研究表明，该方法具有面向对象且易于被非专业人员理解和使用的特点，可以为产品设计过程建立形式化模型．通过对设计活动进行布尔运算和定量分析，发现了影响产品设计进程的关键环节，从而为并行设计的组织和实施提供了理论指导．     

基于形式化的功能代码自动生成

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。     

演化博弈强化学习模型在智能博弈对抗中的应用

智能化指挥控制的核心问题是智能决策问题，智能决策的基础是作战计划的推演和行动计划的优化。演化博弈强化学习模型通过引入演化博弈，使模型能够充分考虑对手的博弈意志和指挥艺术，并且在求解过程中可以使用现有的强化学习算法进一步提升模型的效率。针对离散和连续两种不同场景，分别推导出对应的复因子动力学方程，并给出了非对称博弈问题的一般性求解策略，摆脱了“理性人”这一假设的演化博弈强化模型。相较于现有模型，表征精度更好，刻画博弈对抗更精确，更符合军事对抗实际，有助于智能蓝军的精准化建设，相关结论在多智能体建模平台NetLogo上进行了验证。     

基于服务模板的动态工作流建模及实现

针对当前工作流管理系统难以应对企业组织流程变更的问题,基于服务模板技术,提出了一种动态工作流建模方法.首先以服务模板的形式建立动态工作流模型,完成整个业务流程的预定义和对应组织服务的绑定.在此基础上完成该模型的动态操作算法,实现工作流运行过程中对流程变更的发现与自动更新.最后以一个企业工作流项目实例来验证模型的可行性和...     

数据挖掘中的负关联规则算法

关联规则是数据挖掘的主要研究方面,已往对关联规则的研究主要集中在挖掘征关联规则上,事实上,负关联规则在应用中的地位也是非常重要的     

基于Revit平台的隔震支座快速建模模块开发与应用

随着隔震技术的推广应用以及建筑业信息化水平的持续提升,在隔震工程中对隔震层建筑信息模型(building information modeling, BIM)建模的需求逐渐增长,然而针对性的研究工作相对较少。为此,围绕隔震支座BIM模型的高效建模方法和应用模块开展了研究。首先,综合隔震支座应用情况和力学特性,可将其分为橡胶隔震支座、滑移摩擦隔震支座和其他类型隔震支座,据此提出了隔震支座BIM快速建模模块基本架构;随后,基于Revit和Visual Studio平台开发了三类隔震支座BIM模型的快速建模功能,并实现了连接节点参数化建模和支座批量/手动布置的操作功能;最后,开展了某化工公司的库房隔震加固项目的隔震层BIM模型建模实践,结果表明：利用快速建模模块可将隔震层BIM建模操作从7个步骤降低至2个步骤,且使用过程中对隔震支座构造细节的认知要求相对较低。同时,建成后的BIM模型与实际工程在建筑信息的多个方面具有较好的一致性。相关研究可为建筑和桥梁隔震工程的BIM建模提供参考和借鉴。     

基于多主体的智能决策支持系统构建方法

以MFCADS系统为例,描述基于多主体的思维方式构造智能决策支持系统体系结构的方法。主体的构造基于扩展的BDI思维状态模型,采用统一的层次型内部控制结构。主体规划使用HTN方法,形成偏序规划树。模型管理分别采和面向组件和面向主体的方法来管理不同种类的模型,给出了主体模型的形式化描述和建模方法。在一定程度上解决了多主体领域理论与实践相结合的问题,并为提高智能决策支持系统的有效性与可靠性提供了新的途径。     

NURBS曲线的半正交小波分解算法

为了对NURBS曲线进行精确的分解，提出了半正交B样条小波分解的新算法，同时给出了处理NURBS曲线的非整数阶分辨率的小波分解算法．对于NURBS曲线，无论它有多少个控制点，均可以对它进行半正交分解，而不受控制点数必须等于2‘ 3的限制，这对于NURBS曲线的多分辨率造型具有较大的应用价值．     

生产线动态平衡理论及其在汽车零部件再制造中的应用

生产线平衡是指将生产的全部工序平均化,调整作业负荷,制定各工序合理的作业时间,以使各作业时间尽可能相近从而解决各工序间作业负荷不均衡现象的技术手段与方法。以汽车发动机缸体的再制造为研究对象,通过仿真软件ProModel的建模仿真,对不确定因素进行了两种情况下不同灵敏度的分析。     

基于多核环境的并行性双向枚举连接

基于多核处理器, 结合自底向上和自顶向下两种算法, 提出一种图遍历驱动的双向优化算法, 该算法充分利用两种遍历算法的优点, 并发挥多核环境的优势, 实现了最优查询计划的高性能并行构建, 解决了并行双向枚举连接问题. 实验结果表明, 该算法的性能优于已有算法, 可明显提高数据库查询速度.     

大规模多智能体仿真平台设计方法的研究

大规模多智能体系统是分布式人工智能领域的一个研究热点,由于多智能体间复杂的交互过程受到诸多不确定性因素的影响,实现系统的宏观优化是关键难点.前期研究发现,某一参数的小范围变化可能引起整个多智能体系统性能的大范围的波动;并且多智能体控制协作算法的研究多数仅与非智能的控制方法进行简单对比,缺乏通用的仿真平台来抽象系统环境并模拟复杂的多智能体行为.为此设计了一种通用的大规模多智能体协同控制平台,该平台能够模拟多智能体系统必须完成的协同控制任务,并且通过变换多智能体系统的相关参数模型及加载不同的智能体控制策略,可以模拟和评测系统各项协作性能指标,为未来设计和提升算法性能提供研究基础.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于 MPEG 国际标准压缩视频流的镜头切分算法

镜头切分是实现对动态视频基于内容检索的第一步，以检测出来的镜头作为基本单元，可以进一步对视频内容进行分析和建立索引。从实用角度看，目前越来越多的动态视频资料都是以压缩形式存储和传输，所以，研究基于压缩视频流的算法更有实际意义。本文旨在提出一种基于ＭＰＥＧ国际标准压缩视频流的镜头自动切分算法，通过利用ＭＰＥＧ数据流中已有的信息，如离散余弦变换（ＤＣＴ）系数和运动向量，只进行最小程度的解码，来检测镜头间的边界，从而实现镜头切分。针对实际视频流中镜头切换方式的复杂性，本文提出了三个算法分别处理不同情况，并将这三个算法以树形分类器的方式组织在一起，形成一个系统。通过对十段不同类型的ＭＰＥＧ－Ⅰ压缩视频节目进行镜头切分实验，取得了９０％以上的正确率。     

鲁棒RLS波束形成算法

分析了多径传播环境下,信号方向向量的偏差和采样样本数目的变化对自适应波束形成算法性能的影响,提出了一种鲁棒RLS波束形成算法·该算法具有收敛速度快,抗扰动性强,误差小的特点·采用鲁棒RLS波束形成算法不但降低了波束形成器对于信号方向向量的偏差的敏感程度,而且可以保证阵列输出的信干噪比(SINR)接近最优值,仿真实验验证了所提算法的有效性·实验结果表明即使在强扰动或偏差存在的情况下,采用鲁棒RLS算法可使系统具有良好的SINR,而且可以改善加权向量的归一化偏差·     

网络教育资源Web挖掘研究

针对网络教育资源建设中存在的问题，着重对网络教育资源的获取、分类和标准化描述模型进行了研究．在分析Web挖掘技术和任务分类的基础上，提出了网络教育资源的Web文本挖掘、模型及其相关算法，将数据挖掘技术应用到网络教育领域，有助于在网络上获取高品质的网络教育资源，一定程度上解决了网络教育资源获取缺乏智能的问题．     

并行设计中耦合活动集的割裂规划

为了提高耦合活动集割裂规划的有效性,针对现有割裂方法只考虑设计活动之间行为上依赖关系的局限性,提出基于互相关度和自相关度综合指标的割裂准则.在构造该准则的过程中,用三角模糊数的层次分析法(AHP)分析设计资源之间的关系;用互相关度指标分析设计活动与设计资源之间的关系;用自相关度指标分析设计活动之间的关系.最后,结合某型起重机改进设计的实例,对新的割裂准则进行说明和验证.实践表明,该方法能有效保证并行设计过程在资源约束条件下顺利进行,并为设计资源快速调度规划提供依据.     

Computing Skyline Groups:An Experimental Evaluation

Skyline group, also named as combinational skyline or group-based skyline, has attracted more attention recently. The concept of skyline groups is proposed to address the problem in the inadequacy of the traditional skyline to answer queries that need to analyze not only individual points but also groups of points. Skyline group algorithms aim at finding groups of points that are not dominated by any other same-size groups. Although two types of dominance relationship exist between the groups defined in existing works, they have not been compared systematically under the same experimental framework. Thus, practitioners face difficulty in selecting an appropriate definition. Furthermore, the experimental evaluation in most existing works features a weakness,that is, studies only experimented on small data sets or large data sets with small dimensions. For comprehensive comparisons of the two types of definition and existing algorithms, we evaluate each algorithm in terms of time and space on various synthetic and real data sets. We reveal the characteristics of existing algorithms and provide guidelines on selecting algorithms for different situations.     

小区开放对道路通行影响的相关研究

针对小区开放对道路通行影响的问题,使用层次分析、多目标双层次规划、遗传算法等方法,分别建立了指标体系评价模型、多目标双层规划模型等模型,并构建了不同类型的小区,综合使用了LINGO和MATLAB等软件编程,得出小区开放车流密度、道路饱和度等指标对道路通行产生的影响,并且不同类型的小区开放后对周边道路通行的影响效果不同,由此向城市规划和交通管理部门提出相关建议。     

基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

新疆交通运输与经济发展的相关性分析

文章运用灰色系统建模理论和数量经济的方法对新疆交通运输及经济发展之间的关系进行相关性分析,并研究交通运输业内各重要指标对经济发展的内在联系。这对充分发挥新疆交通运输对新疆经济活动中的重要作用,研究新疆交通运输与经济的协调发展都将提供重要的参考依据。