SAM*模型向关系模型的转换规则

在语义数据库管理系统中,模型转换是查询转换和数据转换的基础,本文探讨了SAM模型向关系模型转换过程和转换规则,并给出了原型设计,为了防止转换过程中语义丢失,本文利用字典解决这一问题.     

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

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

GPS大地坐标向地方坐标转换的实用方法研究

讨论了WGS-84坐标系统和地方坐标系统之间坐标转换的数学模型.研究了坐标转换数学模型的简化公式,在对其精度分析的基础上,对简化公式的适用性进行了论证.根据若干个已知点在两个坐标系统中的坐标值,利用最小二乘法拟合了回归曲面.提供了坐标转换的一种可行方法.     

基于元模型架构的UML类图到PVS规范的转化方法

UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.     

基于概率主题建模的图像语义学习与检索

针对图像检索中存在的“语义鸿沟”问题,本文提出一种语义学习模型进行图像的自动标注.首先提出连续的概率潜在语义分析(PLSA)模型及对应的参数估计算法,并利用最大惩罚似然的方法解决协方差矩阵的奇异性问题;然后,提出一个根据不同模态数据各自的特点进行处理的概率模型,该模型使用连续PLSA和传统PLSA分别建模视觉特征和文本关键词,并通过不对称学习算法发现两种模态之间共有的语义主题,从而能更精确地对未知图像进行标注.通过在分别包含5 000幅和31 695幅图像的两个标准Corel数据集上进行实验,并与几种典型的图像标注方法进行比较的结果表明,文中方法具有更高的精度和更好的效果.     

控制时滞与测量时滞采样系统的最优扰动抑制

研究在持续外部扰动作用下,具有控制时滞和测量时滞的采样线性系统前馈-反馈最优扰动抑制控制器设计问题.首先将采样系统离散化为时滞离散系统,再利用模型转换将时滞离散系统转换为无时滞系统;对转换后的系统设计前馈-反馈最优控制器,证明其存在唯一性;通过求解Riccati矩阵方程和Stein方程,设计含控制记忆项的最优控制律,利用控制记忆项补偿时滞对系统产生的影响;然后通过构造降维状态观测器解决前馈控制物理不可实现以及状态不完全可测的问题.最后通过仿真示例,证实运用模型转换方法所设计的最优扰动抑制控制器,能够有效地补偿时滞给系统带来的影响,并实现扰动抑制.     

试论英语双宾语结构和与格结构的关系

双宾语结构和与格结构之间的关系问题是生成语法界研究的一个热点问题。一些研究者认为双宾语结构和与格结构存在转换关系。本文根据Chomsky的最简方案理论,并对双宾语结构和与格结构在语义、句法上的差别进行研究,认为这两个结构不存在转换关系。     

基于本体语义映射的MDA模型转换方法

模型转换是MDA的一项关键技术,模型转换的正确性问题是MDA研究的核心问题。模型转换的正确性包括语法正确性、语义正确性等,而目前国内外存在的大多数模型转换方法都是在语法层次进行的,缺乏语义正确性的验证,针对该问题,本文提出了基于本体语义映射机制的模型转换方法,给出了一系列的转换规则,以UML模型到C语言模型的映射为例,进一步讨论了不同抽象层次模型之间映射关系的建立过程以及所应遵循的基本原则。本方法用本体实现语义层的模型转换,提高了模型自动变换的效率,还为验证模型之间映射规则的可行性和正确性提供了依据。     

基于改变结构刚度模态试验的动力学模型修改

提出了一种新的动力学有限元模型刚度与质量矩阵的修正方法.在分别测量原结构动力学系统的模态和改变结构刚度后的动力学系统模态基础上,利用矩阵计算和代数方程求解,计算出原结构有限元模型的刚度、质量矩阵的修正量.文中用实例研究了用非完整模态集进行模型修正时,实测模态阶数与模型修改后刚度、质量阵元素及模态频率、振型的计算精度之间的关系,从而证明了本文所给出方法的可用性以及当误差局限于局部小区域时该方法所具有的易用性与准确性.     

机械结构边界条件动态设计方法研究

仅通过边界条件的动态设计而不改变结构的内部参数,在一定条件下,使结构满足给定的多阶固有频率与振型的要求.通过边界参数的改变量,建立了边界条件改变前后2个系统之间的关系,并将上述关系由物理坐标转换至模态坐标,得到结构在新的边界条件下的特征方程.在此基础上,采用逐步二次规划法,对边界参数进行了优化求解.此外,研究了模态截尾对算法的影响以及补偿方法.本文方法具有精度高、物理概念清晰、实用性强等优点.     

港航地理信息系统中基准面转换研究

该文通过对两个基准面转换的简易模型、分带理论、潮波延伸即基准面传递模式的分析,提出对于两个基准面都为平面时宜采用简易模型进行基准面转换.提出的方法通过在港航GIS系统中进行数据实例检验,证明可行有效.     

XML与关系数据库相互转换中的语义约束完整性

采用Shared Inlining方法,提出基于函数依赖的XML到关系的无损映射算法,使得原XML文档的内容和结构信息及语义约束完整地映射到关系数据库中.在此基础上利用外键连接与路径映射规则,提出基于语义约束的关系模式向XML模式的转换算法,以重构出原XML文档.提出的新观点是：映射得到的关系或XML文档的范式不但与映射算法有关,而且与XML文档或关系的规范化程度有关.定义了XML范式,提出XML文档与关系的相互转换中XML范式与关系范式对应关系的相关命题,并给出了相应证明.     

波长路由WDM网络中"稀疏-部分"波长转换的模型与研究

在波长路由WDM网络中,波长转换是提高阻塞性能的一项关键技术.由于当前波长转换器的价格依然非常昂贵,如何有效利用波长转换器成为一个重要的问题.分析了稀疏-部分波长转换网络的结构,论证了该结构在获得优秀的阻塞性能同时,能显著地节省波长转换器的数目.理论和仿真结果表明,一个仅具有1%～5%波长转换能力的波长路由WDM网络,其性能非常接近于具有全程-完全波长转换能力的WDM网络.     

一种多级安全系统模型的隐通道流量分析

利用Markov状态机形式化地描述了一种多级的，基于模式转换的安全系统模型，该模型利用系统可分分性构筑，将一个多级的安全系统划分成多个运行模式，利用该模式可提高所设计系统的灵活性，但该模型存在隐通道问题，利用香农信息论和广义图灵测试模型证明该模型中隐通道流量存在上限并给出定量分析，从而为达到可控的系统安全性和灵活性平衡提供了理论基础，采用该系统模型和隐通道流量分析，通过限制模式转换频率和限制参与转换的资源数目等方法可控制隐通道隐患。     

古汉语双宾语之间的语义联系考察

<战国策>的双宾语结构,体现出古汉语双宾语结构中两个宾语之间的不同语义联系.这些语义联系主要是:领属关系、同一关系、陈述关系、相似关系、不确定关系等.     

具有极点约束的不确定压电柔性结构鲁棒H∞振动控制

以具有范数有界不确定的压电柔性结构为对象,考虑其被控模态参数的不确定性以及剔除残余模态所引起的模型误差,建立了模态空间内结构的不确定线性分式模型;根据所建立的不确定模型,设计了一个对结构进行振动控制的非同位动态输出反馈H∞控制器,并将不确定闭环系统的极点配置在所预设的区域;利用线性矩阵不等式方法,将具有极点约束的不确定压电柔性结构鲁棒H∞振动控制问题转化为一个具有线性矩阵不等式约束和线性目标函数的凸优化问题.仿真结果表明,所建立的模态不确定模型是合理可行的,系统在控制结构低频模态的同时,能很好地抑制在非同位控制中因模型降阶而带来的高阶模态溢出;与单纯的鲁棒H∞控制方法相比较,采用带极点约束的鲁棒H∞控制方法对不确定柔性结构进行振动控制,可保留很好的稳态响应,同时也获得了更理想的动态响应特性.     

转换函数未知时转换模型的变量选择

作者研究了转换函数未知时转换模型的变量选择.较经典的Box-Cox转换模型,作者提出的模型不限制转换函数的形式,并且允许非正态的误差分布.作者先由估计方程得到转换函数的估计,然后用SCAD判罚方法同时进行变量选择和参数估计.数值模拟结果证明本文方法是有效的.     

用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

文言语篇英译中段内关系的分析与再现

文言语篇的英译要牵涉遵从原文结构、添加语义空缺和改换表层形式等转换策略,本文依此对语符移译时如何处理原作的段内关系进行了例证,并指出,翻译中语言形式的选用主要依循原作的具体语境,从语篇深层结构敦促语义的契合,从而更科学地重塑原作.     

基于数据挖掘的本体关系学习算法

如何确定概念间语义关系的存在性和如何确定概念间的关系类型是本体关系学习的两个基本问题.现有的本体关系学习算法常常区分出不同类型的语义关系,使用不同的策略来获取概念间的各类关系,影响了算法的效率.提出一种基于数据挖掘的本体关系学习算法,运用关联规则挖掘获取概念间的关系,利用聚类分析对概念关系类型进行区分.实验结果证明,算法较好地解决了本体关系学习中的两个基本问题.