基于B方法的UML类图形式化研究

统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。     

基于形式化方法的道口控制系统规范建模与验证

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.      

基于着色Petri网分布式系统的行为建模方法

：面向对象着色Petri网具有强大的建模能力和成熟的理论，广泛应用于各种系统的模型建立．介绍如何把CORBA IDL和UML与着色Petri网相结合，以便获得CORBA标准表示的分布式系统行为模型，这对于复杂系统分析设计、模拟和性能评价有很高的理论和实用价值．     

Petri网模型的程序仿真

提出了Windows平台上Petri网模型的程序仿真方法--用Windows操作系统中的线程和线程同步对象实现Petri网模型的两个基本元素(状态和变迁)的算法,并用一个模型来验证该仿真方法的正确性.仿真结果表明,算法正确,方法可行.     

基于生存时间的映射缓存建模与仿真分析

映射缓存在身份与位置分离网络中用于暂时存储通信对端的身份标识与位置标识的映射关系,以减少映射查询时延,提高网络性能.本文对基于生存时间（Time-To-Live,TTL）的映射缓存的命中概率进行了数学建模.该解析模型得到的缓存命中概率,可以作为数据包到达间隔分布的函数进行计算.通过仿真分析对数据包到达间隔的分布进行数据拟合,得到其累积概率分布,并验证了所建模型的正确性.进一步仿真评估了映射缓存的性能.     

基于虚拟现实的港口集装箱码头装卸系统仿真建模技术

以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该系统仿真建模有关关键技术进行研究。针对港口集装箱码头装卸系统的离散性、随机性,采用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景建模,并经系统复合模型实时驱动三维场景的动态显示,最终实现基于离散随机事件的港口集装箱码头装卸系统实时可视化、参数化仿真。将Petri网和面向对象两种建模方法结合起来用于现代港口物流系统的建模,即保持了面向对象建模中的优势,又很好地表达了系统事件之间的逻辑关系,同时又能利用Petri网模型中的数学分析方法对系统模型进行验证,与单纯使用其中一种建模方法相比有了很大改进,文中选用的可在微机上运行的虚拟现实仿真建模软件MultiGen较好地解决了复杂场景的实时生成问题。     

基于MDD的住宅报警系统开发模型分析*

应用 MDD方法,提出了住宅报警系统开发的模型分析方法,涉及开发过程中需求与分析2个阶段。功能性需求通过用例建模搭建。非功能性需求用自然语言文本表述。系统结构用 UML类图建模,系统行为通过状态图描述。建模实践说明,MDD方法是实时和并行控制系统模型分析的有效方法。     

基于UML工作流模型的应用研究

分析了工作流模型的组成,根据统一建模语言的特点,形式化定义了为工作流过程建模的UML活动图结构以及建模规则,给出一个应用实例来描述建模过程并对模型作了详细分析。     

基于ConGolog语言的动态Agent建模研究

分析了已有的面向Agent软件工程方法中Agent建模存在的问题,针对Agent的并发性和不确定性的特点,提出了采用具有不确定性和并发性特点的ConGolog语言描述Agent建模的方法。所建议的方法不仅给出了Agent的语义、形式化描述,并且能对Agent的模型进行验证。     

一种工作流管理系统的模型化简方法

针对大规模复杂工作流管理系统的性能分析问题,将一个基于随机Petri网的模型化简算法应用于实际的工作流管理系统,即首先将工作流管理联盟定义的工作流模型映射为随机工作流网,在随机工作流网的4种基本模型的基础上.利用PH分布对简化之后的模型进行性能分析.通过供应链系统模型的化简与实际情况的比较,验证了本方法能够对大规模复杂随机工作流网的模型进行化简,降低了计算复杂度,同时也为工作流管理系统的性能分析提供了有效的方法.     

Statistical Approaches to Mapping QTL of Dynamic Traits

Dynamic traits are those that change with timein the development process of life or other quanti-tative factor (e. g. environmental condition).These traits also are called infinite-dimensionalcharacters by Kirkpatrick and Heckman[1]andfunction-valued traits by Pletcher and Geyer[2], be-cause they can be expressed as a function of someindependent and continuous variables. Dynamictraits are collected at many time points during thecourse of life. Therefore, studies of dynamic traitsare regarded…     

基于帧缓存的多角度影像精细纹理映射方法

三维建筑物模型纹理映射方法通常针对单独平面选取单一影像投影,然而单张关联影像通常存在部分遮挡问题,影响纹理映射质量. 为此,本文提出一种基于帧缓存纹理绘制技术的多角度影像精准纹理映射方法. 首先将单体化精细建筑模型和倾斜摄影测量解决方案生成的三角网模型配准,再根据建筑模型空间特征进行纹理绘制基元提取;然后根据纹理绘制基元对三角网模型生成虚拟渲染相机,利用帧缓存纹理绘制方法,获取帧缓存对象并提取纹理,最后通过纹理绘制基元映射到精细建筑物模型表面,实现三角网模型到精细单体化建筑模型的自动纹理映射. 利用倾斜摄影测量数据进行实验,实验结果表明,相比传统方法,本文方法减少了14%以上的不良纹理比率,纹理空间压缩率达到14.21%,且具有更精确的纹理映射效果,能满足精细建筑模型的纹理重建需求.      

车路协同网络中服务功能链可行时长优化映射算法

以车路协同网络为研究对象，针对物理链路间连通时长的差异性，本文提出优化可行时长的服务功能链映射算法。首先，建立车路协同的物理传输网络模型，并分别分析车车链路和车路链路的连通时长；其次，以映射可行时长为优化目标，以服务功能链的映射规则为约束，建立整数规划问题；最后，为求解该NP-hard问题，提出基于改进子图同构的映射算法，联合考虑车路协同环境中的节点属性、链路属性及链路间关联关系，设计剪枝策略，从而实现服务链路在物理链路上的组合优化映射。实验结果表明，通过考虑物理链路连通时长的差异性，并对其进行优化选择，提出算法在车间通信距离150m和最大车速60km·h-1 条件下，可将可行时长提升34.4%；同时，在车车通信范围、车辆数以及最大车辆速度这3项主要参数设置中均可验证发现，所提算法可有效提升映射可行时长。     

Intelligent drug delivery system using UML diagrams analysis

A novel intelligent drug delivery system potential for the more effective therapy of the diabeticswas proposed, and the composition of system was analyzed. Based on the design of micro-electro-mechanicalsystems (MEMS), an iterative modeling process was introduced. Unified modeling language (UML) was em-ployed to describe the function requirement, and different diagrams were built up to explore the static model,the dynamic model and the employment model. The mapping analysis of different diagrams can simply verifythe consistency and completeness of the system model.     

基于状态参数的安全数码相机模型

现有安全数码相机不能识别二次获取图像且必须直接参与含水印数字照片的认证过程.针对上述问题,本文从含水印数字照片的密钥生成与传递方式入手,提出一种基于状态参数的新型安全数码相机模型.该模型通过设计相机密钥设置函数——级联-混沌映射,隐蔽地生成安全数码相机的相机密钥,然后以相机密钥和照片拍摄时相机的取景模式、焦距、拍摄时间等状态参数为明文数据,利用Hash函数计算出含水印数字照片的密钥,讨论分析了该模型中密钥的保密性和难伪造性,建立了相机与密钥的多对一非线性映射关系.实验结果表明,相机密钥或状态参数改变时,密钥的变化量近似均匀分布.      

不同加载方式的斜齿轮接触分析

以一对相互啮合的渐开线斜齿轮为研究对象,通过APDL语言生成参数化几何模型,研究映射网格划分方式并建立了斜齿轮接触的有限元模型,基于非线性接触算法在不同加载方式下对齿轮啮合齿面的接触应力进行了分析,将仿真与赫兹计算结果进行了比较,讨论了不同加载方式对接触应力的影响.     

精细建筑物碎片化纹理优化的二维装箱方法

为了解决精细建筑物模型大量碎片化纹理造成模型加载时间长和实时渲染效率低的问题，提出一种精细建筑物碎片化纹理优化的二维装箱方法. 计算共用纹理并集区域，优化冗余纹理内容，并同时顾及超出常规坐标[0，1.0]范围的异常纹理；使用二维装箱算法对优化后的离散纹理进行封装，降低纹理数量；利用纹理映射和纹理集技术将优化后的纹理重映射到建筑物表面，然后对建筑群进行实验.研究结果表明:使用本文方法，纹理数据量减少了71.20%，纹理文件数量减少了99.37%，模型载入耗时减少了98.86%，图像处理器耗时减少了63.06%，并可有效避免因异常纹理坐标导致的纹理错误映射问题，同时也提高了数据格式的兼容性.      

Sensorimotor self-learning model based on operant conditioning for two-wheeled robot

Traditional control methods of two-wheeled robot are usually model-based and require the robot’s precise mathematic model which is hard to get. A sensorimotor self-learning model named SMM TWR is presented in this paper to handle these problems. The model consists of seven elements: the discrete learning time set, the sensory state set, the motion set, the sensorimotor mapping, the state orientation unit, the learning mechanism and the model’s entropy. The learning mechanism for SMM TWR is designed based on the theory of operant conditioning (OC), and it adjusts the sensorimotor mapping at every learning step. This helps the robot to choose motions. The leaning direction of the mechanism is decided by the state orientation unit. Simulation results show that with the sensorimotor model designed, the robot is endowed the abilities of self-learning and self-organizing, and it can learn the skills to keep itself balance through interacting with the environment.     

交通出行预测的神经网络模型

针对交通出行集计预测模型的缺陷,结合神经网络在非线性关系映射方面的优势,本文提出了交通出行预测的BP神经网络模型。作者在对BP神经网络的结构和算法进行分析的基础上,研究了交通出行预测BP神经网络模型的影响因素、模型结构和模型数据,并采用实际调查数据对模型进行了检验和应用。研究结果表明模型预测精度较高,既有很强的理论优势和解释性,又有良好的操作性．最后,文章讨论了下一步的研究方向．