高速电磁阀的动态特性

高速电磁阀是重要的液压执行元件,因此其响应速度尤为重要.首先分析高速电磁阀的原理结构,再对电学、磁学、运动学进行建模,研究不同参数下系统的响应速度与时间的关系.研究结果表明:采用的控制变量仿真法可以清晰地看出不同参数对系统动态参数的影响,其中起励电压、线圈匝数与占空比对响应的影响比较明显,为项目研究提供参考.     

基于系统动力学的对虾养殖品质风险应用

针对目前南美白对虾养殖环节存在的溯源点不清晰、养殖过程监管薄弱、品质评价不健全等品质风险问题,以 HACCP 为基准,结合国内外在养殖环节关键影响要素研究现状,对养殖环节建模,利用判断树的方法初选品质风险控制的关键控制点,然后结合 Vensim 软件建立南美白对虾养殖品质风险动力学模型,从而确定关键控制点的核心影响因素。仿真结果表明：南美白对虾养殖品质风险动力学模型能动态仿真五类影响要素对于幼虾品质和成活率的变化关系,从而反映品质风险动态变化情况。由此为南美白对虾溯源管理信息系统中溯源点的选取和养殖过程的实时监控和过程品质动态评价提供理论参考。     

面向真实构建的徽州建筑快速建模方法

快速建筑建模研究领域追求的目标包括模型的高精度、构建的高效率,以及对用户领域知识要求低、交互简单,而这往往互相矛盾.为解决这些问题,提出了一种基于组件的多层参数建模方法,使用概率网络描述建筑和组件的高层参数,作为友好的用户交互接口;使用规则库描述组件低层参数,指导高层参数生成低层参数;最后使用构建模板描述建筑构建过程.基于此,实现了徽派建筑自动营造系统,能较好的完成具有真实构建流程、高精度徽派建筑快速建模.实验结果证明了所提方法的实用性和有效性,且系统具有友好简单的交互方式,扩展性好,用户无论是否具备领域知识都能获得良好的用户体验.     

草图交互式地质建模研究

提出一种简单、快捷的草图交互式地质建模方法,旨在帮助地质学家们在地质勘测初期直观、快速地创建无数据地质概念模型.迄今,现存专业地质建模工具依赖成本较高的真实数据创建精细复杂的三维地质模型,且通常具有建模用时长、不易于学习和使用等缺陷.因此,采用直观的“纸-笔”建模隐喻,提供了一套从草图绘制到三维模型创建,再到三维模型编辑的完整建模流程,允许用户在自由定义的绘图平面上绘制描述模型地质特征的三维草图,并对其构成的连通草图网络实时地进行三维模型重建.模型重建使用分治的思想,大致分为3个步骤完成：首先利用三维草图的几何信息,即拐点,根据其拓扑连接搜寻草图网络中近似平面的能量最小圈,然后通过调和函数计算草图网络中每个圈包围区域的目标平均曲率标量及其法线方向,随后以Laplacian方程优化生成曲面片,最后将曲面片拼接成完整的三维模型.褶皱、断层地质现象可以分别通过重绘和切割操作进行建模.此外,利用层级结构树存储地质模型间的层级关系,并通过变形传递的方式对与形变物体接触的地质模型进行形变,从而保持了地质结构中多物质体相互接触的特性.相比现有基于草图的交互式建模工具,该方法融合了地质学知识,且能够更有效地使用少量草图描述地质物体的特征.基于用户体验调查,该方法具有操作简单、建模直观的特点,能够同时满足专业和非专业人士快速创建地质概念模型的需求.     

群集系统分群行为建模与控制研究进展

群集系统的分群行为表征为一个聚合的母群分裂成多个子群的现象, 探讨其产生机理和控制方法具有重要的理论意义和应用价值. 鉴于此, 从分群行为的理论建模和控制方法两个角度出发, 对近年来群集系统分群运动研究的主要成果进行综述, 回顾了目前分群运动理论建模研究的最新进展, 重点总结了分群运动的现有控制方法和结论, 并对分群控制研究中尚存在的问题进行了探讨, 最后就分群行为后续可能的研究方向进行了展望.

     

基于计算机图形处理与有限元仿真的前列腺穿刺变形模拟

摘 要：前列腺癌近距离放射治疗是有效治疗前列腺癌的一种微创治疗方法。然而在手术针向前列腺内部植入放射性粒子的过程中,前列腺和周围软组织器官的变形会导致粒子植入偏差。本文运用计算机图像处理与有限元仿真技术,使用患者术前的核磁图像,结合盆腔解剖学知识和三维重建技术,建立前列腺器官群有限元模型,并对粒子植入手术过程进行术前的有限元模拟计算,从而得到目标位置的变形量。有限元计算中的输入量均由实验数据结合有限元软件反求获得。结果表明：模型的穿刺变形量符合术中前列腺变形情况,周边组织器官均能提供有效约束。文章方法可以应用于术前穿刺轨迹规划、剂量规划和手术模拟训练机。     

基于场景行为的需求建模及质量特性检测

为在需求分析阶段验证软件是否满足非功能质量要求,本文提出一种基于场景行为的需求建模及质量特性检测方案。该方案首先定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL。然后构造需求行为模型到状态迁移模型CCS的模型转换函数。接着以互模拟的定义为前提,验证转换函数的正确性,进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后,本文使用该工具对手机软件升级这一需求进行行为建模,成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。     

Q-EUGSID的优化算法及应用

针对绝对关联度、相对关联度和综合关联度的缺陷,首先,引入了可调因子以及空间距离来建立新模型。其次,证明了新模型符合灰色关联公理并研究了它的一些特殊性质。另外,提出新模型准优值所具备的几个原则,并根据灵敏性分析原理总结出准优值的算法。最后,由实例验证了:改进的模型不仅能够使关联度的取值扩展到更广的范围,而且在一定程度上改善了关联度值的分辨效果。在定量计算方面,某些参数的值也将会更精确。     

一种基于四变量模型的系统安全性建模与分析方法

近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。     

基于目标检测及跟踪的视频摘要技术研究

为了能够在不丢失有用信息的前提下对海量监控视频进行摘要,提出一种基于目标检测及跟踪的视频摘要技术。首先根据混合高斯模型对视频进行背景建模,获得监控视频的背景;然后通过背景减法对运动目标进行检测,得到前景运动目标;其次对检测到的运动目标采用分层关联的思想进行目标跟踪,得到运动目标的完整信息;最后将这些运动目标及视频背景重新组装成摘要视频。实验结果表明,该方法能够有效地对监控视频进行浓缩,形成的摘要视频能够完整地保存原有视频信息,减少了存储空间,降低了成本,方便了相关人员及时获取有用信息,提高了工作效率。