无线传感器网络的元胞自动机自组织算法

提出一种分布式、自适应的无线传感器网络元胞自动机(CA)自组织算法,将网络中的每个节点映射成CA中的元胞,通过控制节点在不同时间的状态转换(活跃/睡眠),消除与邻居节点间的频繁通信,从而降低能源消耗。仿真实验结果表明,该算法具有较强的目标检测能力。     

AGR元模型到组织抽象模型的建模方法

将目标驱动思想引入AGR中,提出一种从AGR元模型到多Agent系统（MAs）组织抽象模型的建模方法。对AGR进行综述,给出该方法的具体步骤和形式化过程。应用于某智能故障诊断系统的结果表明,该建模方法有利于设计人员直接利用AGR元模型构建MAS组织抽象模型,可适用于各种AGR扩展。     

基于MVC模式的Web用户界面建模

分析了企业信息系统的Web用户界面开发特性,研究了当前主流前端框架的MVC(模型-视图-控制器)设计模式应用,针对Web前端开发需求及最佳实践方法,提出了一种符合MVC用户界面开发最佳实践的组件化Web用户界面建模方法.设计一套抽象和描述Web用户界面组件的UML(统一建模语言)概要文件,从界面数据模型、界面组件模型到界面交互模型等3个方面完成Web用户界面建模.以一个装修行业定制型ERP(企业资源计划)系统为例,通过用户界面建模实践,验证了本建模方法的可行性、易用性和有效性.     

高速电磁阀的动态特性

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

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

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

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

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

草图交互式地质建模研究

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

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

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

     

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

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

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

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