一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.     

利用微气泡减小平板摩擦阻力的数值模拟

假定气-液两相流体均匀混合且微气泡在水流中存在滑移运动,运用混合多相流模型对水中运动平板的微气泡减阻过程进行了数值计算,研究了微气泡流的减阻机理,分析了主流速度及气体流量率等对减阻率的影响规律,同时构建了一个减阻率预报数学模型,并指出在微气泡减阻中存在一个与主流速度相对应的饱和气流量.     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

板翅式机油散热器空气冷却侧阻力性能数值模拟

建立了板翅式机油散热器冷却空气侧波纹翅片通道的稳态湍流数学模型,应用CFD(计算流体力学)方法对车用板翅式机油散热器空气冷却侧阻力性能进行数值分析,计算结果与台架试验数据基本吻合。通过分析得到的阻力系数与平均流速拟合函数,可为散热器的设计和优化提供参考。     

基于遗传算法的车用散热器优化设计

选取散热器的散热量、体积和压降作为优化目标,采用线性加权法建立了散热器的多目标优化模型。在给定的散热器原始数据和性能要求条件下,对散热器芯体的外形尺寸和翅片参数进行了优化。介绍了遗传优化算法的执行步骤和流程,在此基础上开发了优化程序。结果表明,优化后散热器的散热量明显增大,散热器芯体的体积和压降也有不同程度的减小。     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

作战运筹实验基本问题探讨

从军事运筹学研究的发展需求出发,阐述了模拟、实验与运筹之间的关系,分析了作战运筹的实验基础,引出了作战运筹实验的基本概念及其设计理论、方法、过程,并根据综合集成理论提出了综合集成模式下的作战运筹实验框架,最后对作战运筹实验的发展提出了一些建议.     

导弹批量测试仿真研究

针对现存导弹批量测试中存在的问题,采用离散仿真方法,论证了在不改变现有测试规程,而适当增加测试工位,优化测试流程,可显著缩短批量导弹测试时间,提高快速反应能力和生存能力.仿真系统可对多个不同方案论证,生成的横道图可直接用于测试组织指挥.     

《线性代数》教学与观念更新

《线性代数》是理、工、农、经类各专业的一门重要的基础课,对后续课程起到工具性、奠基性的作用。《线性代数》中许多概念抽象、层次甚高,学生普遍感到难学,教师在教学中要注意指导和帮助学生更新观念,使其加深对抽象概念的理解,以便较好地掌握基础的代数思想和代数方法。     

核电磁脉冲模拟器放电回路的数值分析

介绍了核电磁脉冲模拟器的组成和主要参数,分析了核电磁脉冲模拟器回路的暂态过程,讨论了电路参数、火花电阻和陡化开关击穿时刻对脉冲波形的影响,并提出了改善输出波形的方法。