模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

面向方面的两级建模技术研究与应用

提出一种基于模型/视图/控制器模式实现两级分层建模的方法, 使用模型驱动架构开发, 满足元对象设施规范, 扩展了统一建模语言, 特别是支持了面向方面的建模技术, 从而解决了建模领域中系统的不同方面和抽象的不同层次需要不同语言的问题. 该建模方法可以在元建模阶段建立领域元模型和领域语言.     

IFML到MVPJavaFX的元模型转换及代码生成研究

富互联网应用程序(RIA)用户界面的设计和实现是一项耗时、高成本、一致性低的工作。针对这个问题提出了一种基于交互流建模语言(IFML)的RIA用户界面模型驱动开发方法。该方法首先利用对象管理组织最近采用的新用户界面建模标准IFML,完成应用程序需求分析的建模设计并获得PIM Ecore元模型;然后,设计符合MVP设计模式的JavaFX元模型,利用ATL模型转换规则,将PIM Ecore元模型元素转换到MVPJavaFX平台中的元素,得到PSM Ecore元模型;接着,通过Acceleo转换工具和定义代码生成模板实现PSM Ecore元模型到代码的生成。最后以一个实例进行了方法的验证。     

基于四元数法的空空导弹数学模型建模研究

空空导弹的运动方程通常用一组基于欧拉角的微分方程来表示,但欧拉角方程有时具有奇异性,会使得微分方程不可求解,而采用四元数法则可以有效克服这一问题。本文以现有基于欧拉角的空空导弹六自由度数学模型为基础,用导弹各个坐标系之间的转换关系以及四元数来表示刚体的平移和转动,把已知的欧拉角导弹模型转换为四元数导弹模型。以样例导弹为对象,分别将欧拉角模型和四元数法模型在Matlab环境下进行了仿真,结果表明四元数法模型与欧拉角模型的仿真结果一致,并且四元数法模型具有更快的运行速度。     

用于计算机数控系统模型层验证的模型转换

传统的以代码为中心的数控系统开发方式使系统测试滞后,性能难以保证,开发成本增加.针对这种情形,文中提出利用模型转换将领域模型转换为第三方验证工具(Matlab 或UPPAAL)可识别的模型来进行系统性能早期测试,从模型层保证系统的可靠性.采用基于元模型层的规则定义、语义动态添加和基于设计模式的操作等策略,以满足模型转换的语义保持性、转换一致性、转换可终止性、转换易扩展性等具体要求,并给出了模型转换实现的理论框架以及点对点转换和两步法转换两种实现方式.最后,通过一个从数控系统工作模式模型到StateFlow模型的转换实例,从建模语言构建、映射规则定义、算法设计等方面验证了上述模型转换理论框架和实现方式的可行性及正确性.     

基于特征事物元的计算机辅助工艺零件信息模型研究

零件信息模型对计算机辅助工艺规划(CAPP)系统的可靠性和质量具有决定性作用.针对CAD/CAPP信息集成困难的问题,根据特征事物元理论,提出了一种基于特征事物元的计算机辅助工艺零件信息模型.采用对象技术,用Visual C++语言,在Pro/ENGINEER系统中实现了零件信息模型的建立、识别与获取(extraction),最终实现了CAD/CAPP信息的高效集成.最后,通过实例证明了该方法的正确性和有效性.     

地震采集设计技术的新发展

本文主要介绍了地震采集技术在新世纪的发展,简述了基于模型设计的三种方法、聚焦射线束分析三维地震采集和转换波采集技术设计的原理、优点及适用范围。其中主要介绍了目前有一定应用梁的基于模型设计的三种方法,主要应用于复杂地区的封闭块的复杂三维模型设计是目前在复杂地区比较成熟的一种设计方法。     

基于元学习的网络入侵协同检测框架

提出了一种基于元学习的网络入侵协同检测框架.利用数据挖掘/分布式数据挖掘技术提取检测到新型攻击行为的模式,并实时地加入攻击特征库;利用元学习方法进行协同检测,并给了出一个改进的最佳检测模型的搜索算法,能够自动地调整分类算法的参数和系统阈值.     

基于XML/SOAP数据交换中间件的设计

分析了异构系统数据交换中的若干核心问题,给出一种基于XML/SOAP的异构系统数据交换中间件模型,定义了数据转换的若干规则和定理,给出了基于SOAP的数据传输压缩方法,并对模型中的其它相关核心技术进行了讨论.     

带拼音纠错的汉语音字转换技术

提出了一种基于统计和规则的混合方法来实现汉语音字转换。利用汉语的语法规则，在统计语言模型中采用了两种基于词和词性的混合语言模型。在实验中，将这两种混合语言模型与基于词的语言模型进行了比较。实验证明，在语言模型中引入词性后，提高了音字转换正确率。考虑了出现拼音错误时的音字转换问题，提出了一种拼音纠错方法来纠正错误。实验证明，当拼音正确率高于８５％时，这种带纠错的音字转换方法可以提高音字转换正确率。     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture,MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V）,目前的研究比较少。为此,尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质,检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时,采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统,并通过实例验证了其有效性。     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.     

一类椭圆方程组Neumann问题正解的唯一性

研究一类椭圆方程组正解的唯一性. 运用变换技巧和极值原理, 在确定的条件下证明了有关解的两个递归不等式, 并取极限得到了该问题的唯一正解. 结果表明, 在更弱的条件下, 该问题没有非常值正解.     

一种基于社团和分层思想的无标度演化模型

针对复杂网络节点度分布服从幂律分布问题, 给出一种基于社团和分层思想的无标度演化模型. 该模型利用转轮思想和限制节点度改进了无标度模型的优先连接策略; 加入分层结构优化了无标度网络的搜索; 将局域世界模型中的局域世界思想引入到模型中, 并利用社团结构改进了局域世界模型中局域世界的不确定性问题.  理论分析证明了模型的度分布服从幂律分布, 且幂律指数可调.  模拟实验结果表明, 模型有较小的平均路径长度和较大的聚类系数,  且两层网络搜索效率优于单层网络搜索.     

A MOP Based Constructive Reflective State Metamodel

Construction,management and extension of state space is crucial for many applications.Combining with frequent change of requirement of state space,these applications are rather complicated.Synthesizing techniques of refection architecture,MOP mechanism and metamodel,this paper advances a MOP(Meta Object Protocol) based constructive state metamodel,which defines construct and rules for building models with extensible structure for state space.Based on this metamodel,modeling with extension of state space that adopts decorator pattern and role object pattern is discussed.An implementation of modeling based on this metamodel is presented.With appropriate extension,models based on this metamodel can dynamically adapt state space change.     

多种环境因子交互作用对沉积物吸附阿特拉津的影响

采用自行研制的模拟自然水环境吸附解吸系统实验装置, 运用24完全析因实验设计, 研究4种环境因子（pH、 离子强度、 曝气强度和温度）共同作用对沉积物吸附阿特拉津的影响规律, 并利用固定效应模型估算各环境因子主效应和高阶交互效应对沉积物吸附阿特拉津的贡献. 结果表明： 4种环境因子主效应对沉积物吸附阿特拉津的影响均较大（显著性水平0.05）, 其中曝气强度与离子强度促进沉积物吸附阿特拉津, 温度与pH抑制沉积物吸附阿特拉津; 4种环境因子的二阶交互效应对沉积物吸附阿特拉津的影响也较大（显著性水平0.05）, 效应估计值依次为温度×pH值=-73.53, 曝气强度×pH值          =-59.03, 温度×离子强度=33.19, pH值×离子强度=27.55; 在三阶交互作用中, 仅有曝气强度×温度×pH值可促进沉积物吸附阿特拉津（显著性水平0.05）.     

基于网络的个人健康管理实时监控健康分析平台

针对个性化电子医疗服务、高效医疗服务和远程医疗服务的需求,将国际通行个人健康档案标准数据模型、Java手机客户端和网络服务技术相结合,构建一个基于Web2.0的社区医疗服务平台,该平台实现了为医生/患者、教练/运动员4类用户提供基于网络的实时监控及在线远程医疗分析功能.     

支持虚拟机跨局域网在线迁移的混合式虚拟网络原型

针对虚拟机迁移停机时间段内数据包的丢失问题,提出一种分布式异步缓存协议,保证了虚拟机通信的可靠性和有序性,使虚拟机迁移过程对应用程序完全透明.为了解决虚拟机跨局域网通信问题,引入overlay虚拟网络模型,并针对虚拟网络效率较差的问题提出一种混合式的虚拟网络架构,解决了现有虚拟机在线迁移不能跨局域网的限制.实验结果表明...     

基于Kriging代理模型的注塑产品翘曲优化

针对传统的基于CAE的注塑产品工艺优化方法精度不高、效率低,提出了Kriging模型与自适应粒子群算法相结合的集成优化策略.Kriging模型代替CAE分析作为粒子群算法迭代过程中的适应函数,大大减少了优化算法的计算量;同时,通过在粒子群算法中引入自适应惯性权系数,加快了粒子群算法的收敛速度.算例表明,基于Kriging模型与自适应粒子群算法的优化策略可以在小样本情况下获取较高的求解精度,并通过与标准遗传算法做比较,表明该优化策略同时具有较高的计算效率.