基于UML的SBA协同环境分析过程研究

协同环境是实现基于仿真的采办（Simulation Based Acquisition，SBA）的重要途径。文章根据SBA三层体系结构和协同环境参考结构，采用面向对象的分析方法，结合UML规范，提出了一种基于UML的协同环境分析过程，以保证分析结果具有可重用性与互操作性，并以可行性分析协同环境的分析过程为例进行了验证。     

一类高维非线性色散耗散波动方程的有限元分析

非线性色散耗散波动方程，可以用来研究非线性弹性杆中纵向形变波传播及弱非线性作用下空间变换离子声波传播问题．有限元法是现代数值分析求解各类偏微分方程的重要方法之一．它具有网格剖分灵活，适用区域广泛，精度高等特点．对一类高维非线性色散耗散波动方程，运用有限元数值分析方法．给出了问题的变分形式和有限元解空间，构造了半离散有限元格式和非线性全离散有限元格式．证明了这两个有限元格式解的存在唯一性．特别是对非线性全离散有限元格式，为了能运用Brouwer不动点原理和压缩映射原理．定义并证明了一个压缩映射．最后，利用椭圆投影，对这两个格式进行了误差分析，得到了有限元解与原方程精确解间的最优L^2模和H^1模误差估计．     

3R-3P型双臂机器人缠绕系统的动力学研究

以拉格朗日方程为基本理论,Pual R.P.推导简化的单臂机器人动力学方程为基本公式,视纱带张力为3R臂与3P臂分别所受的外力,建立了该双臂机器人的动力学模型及力协调约束方程,并进行了逆运动学问题的求解.     

一个利用模型驱动体系结构技术的分布式系统实现

模型驱动体系结构(ModelDrivenArchitecture)的提出是OMG对于分布式互操作问题提供的一条新的解决途径。该文对MDA的产生背景、核心技术以及互操作模型框架作了深入剖析。以此为基础,在一个软件系统的开发中应用了MDA和核心技术收到了良好的效果。获得了应用MDA的实践经验。     

Web应用开发中的动态页面建模技术

Web应用日趋复杂,动态页面是复杂性主要来源。文章研究Web应用中各种动态页面性质,分析其复杂性因素。针对其建模问题,探讨用例和动态页面之间的关系,为Web应用开发人员提供一种用例驱动的、符合UML规范的建模方法,并给出实例说明。     

粉末——粘结剂两相流模型的碰撞分析与计算机模拟

分析了粉末注射成形中粉末—粘结剂两相流动中粒子(颗粒与分子)碰撞的情况。假设粉末颗粒完全由粘结剂包裹,在成形阶段将粉末颗粒视为非完全弹性体,给出了粉末—粘结剂两相流动模型中碰撞项的碰撞模式,简化了粉末—粘结剂固液两相流动模型的一般方程。为进一步对粉末—粘结剂两相流动进行计算机数值模拟和分析粉末—粘结剂两相分离现象奠定了理论基础。     

一种新的基于Kruppa方程的摄像机自标定方法

主要针对传统的基于Kruppa方程的摄像机自标定算法的欠鲁棒性提出了一种新的二步式标定方法．在新标定方法中，首先利用传统的LM优化算法或遗传算法求解出Kruppa方程中通常需要被消去的比例因子，然后再利用线性方法完成对摄像机的标定．大量的仿真和真实图像实验表明，该方法可以大大提高基于Kruppa方程标定算法的鲁棒性及标定精度．     

液压回路计算机仿真中阀口流量模型的改进

讨论了液压系统仿真中的刚性问题,指出传统阀口流量方程在压差接近零时存在无穷导数值,并导致液压回路仿真计算的困难。从提高仿真计算效率出发,引入临界压力点的概念,给出了一个经验公式来取代零压差附近的传统紊流流量公式,该公式参数易于获取且为线性,并与紊流区域的流量方程能够平滑过渡,从而建立了分段描述的阀口流量模型。实例计算表明,改进后的流量方程能够有效地保证了计算精度和解决数值计算上的困难,可应用于复杂液压系统实时仿真与控制中。     

防失败签字安全性的理论分析

防失败签字是一种十分安全的签字体制,即使攻击者得到签字密钥后也难以伪造签字。论文首先简要介绍了该签字方案的签字过程和验证过程,然后根据这些过程利用矩阵方程等对该签字体制进行理论分析并证明了该体制的安全性。最后得出结论:攻击者得到签字者密钥后成功伪造签字的可能仅为1/q。     

UML在开发工业远程监控系统中的应用

采用面向对象分析设计语言(UML)和面向对象语言(MSVC++)相结合,在整个软件生命周期均采用面向对象方法和工具实现工业远程实时监控系统,得到了结构良好、高内聚、低耦合、容易理解、易于扩展、维护的系统。