基于信息容量的模式变换等价性研究

研究了多数据库模式集成过程中的模式变换等价性问题，从信息容量的概念出发，给出了一种判断模式变换正确性的标准，并证明了在不同应用背景下，模式变换Ｆ：Ｓ１→Ｓ２的正确性等价于Ｓ１和Ｓ２之间满足某种蕴含关系。本文还利用该标准对一种经典模式变换方法进行了分析，指出如果没有完全满足该标准，模式变换可能隐含的一些错误。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

基于广义S变换的沉积旋回分析方法研究

传统时频分析方法(如傅立叶变换、短时傅立叶变换、小波变换、S变换等)的时频分辨性均不佳,在实际应用中受到一些限制,难以满足高精度时频分析要求.广义S变换,引入λ和p两个参数对S变换进行了扩展,其时频分析效果得到较大提高.对广义S变换方法原理进行了深入研究,编写了广义S变换时频分析程序.通过非平稳线性调频信号和4种典型沉积旋回模型分析,证实了广义S变换的可靠性及优越性.最后,将该方法推广到实际地震资料沉积旋回分析中,取得了良好的效果.     

基于模糊聚类方法的S700K转辙机故障诊断

针对S700K转辙机动作功率曲线非线性、非平稳的特点,提出一种基于模糊聚类的信号分析及故障诊断方法。该方法对转辙机故障下的动作功率曲线提取特征值,由各模式下的10种特征值组成特征模式矩阵,利用模糊聚类分析算法求该矩阵的模糊相似矩阵与模糊等价矩阵,在模糊等价矩阵中,当可变阈值λ在[0,1]内变动时,模糊等价矩阵转化为等价的布尔矩阵,由布尔矩阵可以形成动态聚类图并得到分类结果,从而实现故障诊断。研究结果表明:该算法能够准确地提取故障特征且支持多种故障同时检测,有效提高了S700K转辙机故障诊断的精度与诊断效率。     

基于C/S与B/S相结合的教学管理系统的规划

针对当前高等教育体制改革学校办学规模不断扩大,存在多校区的办学模式,原来基于C/S或B/S单一模式结构的教学管理系统存在诸多弊端,对目前高校教学管理的实际需要和特点进行了分析,比较了两种模式的优缺点,提出了一种基于C/s和B/S结合的结构模式的教学管理系统,给出了基于该模式下教学管理系统的功能模块、实现方法、系统的软硬件支撑条件.     

演绎推理新模式理论的实验检验

用14种演绎推理题作材料对108名大学生进行了测试,检验了Johson-Laird等人于1992年提出的新模式理论.这一理论认为.推理是一种基于心理模式的语义加工过程,因此一个推理过程所涉及的模式的数日越多,这个推理任务就越难.本研究结果表明.新模式理论有一定的正确性,模式是影响推理正确性的一个重要因素.但新模式理论个能解释本实验的所有结果.人们并非在所有场合下都用模式方法进行推理.推理的四种心理学理论从不同角度揭示了影响推理正确性的不同因素.     

基于CCCII的电流模式全通滤波器结构的设计

提出了一种用CCCII实现的有高输出阻抗的电流模式全通滤波器,该电路仅使用2个CCCII模块,通过选取4个不同的电阻或电容可构成8种不同的全通滤波器,且阻抗匹配、增益可调,PSPICE仿真结果验证了理论分析的正确性.     

电力线通信中三导体电缆高频传输参数模型

为寻求电力线通信中对称三导体电缆的高频传输参数的一般模型,定义了对称三导体电缆的两种不同工作模式。根据这两种工作模式构造了一个变换矩阵,通过变换矩阵将多导体传输线的参数矩阵对角化,得出了对称三导体电缆在这两种工作模式下的传输参数的理论计算公式,通过实验验证了用这种方法计算结果的正确性。和传统的求电力通信电缆传输参数的方法相比,该方法简单,避免了传统方法中复杂的电磁场的分析与计算,并且更具有通用性。     

基于PLCopen标准的运动控制系统设计

基于PLCopen标准,结合PLC(可编程逻辑控制器)编程和运动控制编程,设计并实现了一种运动控制器.此运动控制器采用PLCopen标准定义的功能块模块模型,一方面达到了PLCopen标准定义的运动控制要求,另一方面实现了运动控制器的图形化编程模式.为了满足PLCopen定义的功能块模式的变换,在研究PLCopen标准定义的模块间关系基础上,设计了一种打断锁,通过对打断锁的操作,实现了PLCopen标准定义的模块间不同模式的交互方式.最后,在基于Beremiz开源开发平台上,以单轴模块验证了运动控制系统的可行性.     

基于相似度的电力电子电路故障诊断技术

采用一种基于S变换相似度的电力电子电路故障诊断方法,首先建立各种故障类型信号的S变换模时频矩阵,然后计算故障信号S变换模时频矩阵与已建立的标准模时频矩阵的相似度,以相似度最大为判别依据,实现故障的诊断.三相桥式可控整流电路晶闸管故障诊断仿真结果表明:该方法能准确对电力电子电路故障进行类型的识别和故障元的定位,对噪声具有鲁棒性,且算法简单.     

MDBS中基于模式映射树的查询分解和优化

提出了一种多数据库系统的模式映射方法，并对水平映射、垂直映射、混合映射、相关映射和局部映射给出了一种统一的形式化描述．使用模式映射树存储和表达用于查询分解的全局模式以及全局模式到输出模式及局部模式的映射信息，使用查询树来表示多数据库查询的内部结构．通过合并全局查询树与模式映射树，给出了将全局查询转化为中间查询的全局查询分解方法．利用模式映射信息中的相关映射性质，给出了多数据库查询中全局连接的优化处理策略．     

异质数据库中具有矛盾结构的关系的集成

局部方案之间存在各种各样的语义差异 ,所以在构造异质数据库系统中 ,方案的集成就成为一个重要的规则。本论文给出的方法是根据本地策略中元数据的不同将关系分成不同的类型 ,把具有不同策略结构冲突的本地关系转换成具有同种结构的新的关系 ,然后将这些新的关系进行集成     

多数据源上Top-k中间模式的产生算法

模式集成在很多数据库相关领域起着关键作用,例如数据空间、数据仓库和电子商务等.提出一种自动的多个中间模式的产生方法.首先,引入概念图在抽象层次上表示待集成的多个源模式.其次,给出一种概念之间相似性的划分方法,每种划分方式表示一种源模式的集成策略.最后,利用模拟退火算法在候选中间模式空间中进行搜索,该算法能够自动地找到k个最好的候选中间模式.实验表明,提出的算法是有效的,并且具有较小的运行开销.     

基于模式元素语义关系的模式合并方法研究

数据集成问题一直是数据库研究领域的热点之一,而全局模式构建是数据集成中的一项重要任务。通过对模式元素之间语义关系的分析,从数据源系统数据字典入手,利用模式匹配结果,提出了一种基于模式元素语义关系进行模式合并的方法,并给出了基于模式元素语义关系的合并规则及合并算法。最后,通过对已有模式合并方法的比较分析,说明该模式合并方法的可用性和有效性更好。     

面向对象多数据库系统的模式集成

讨论了使用面向对象技术解决多数据库系统模式集成的问题，针对全局模式多数据库系统提出了一个五级模式集成结构：局部模式、成员映射模式、成员对象模式、全局对象模式和全局外模式，详细描述了每级模式的定义和构成．     

基于模式元素语义关系的模式合并方法研究

数据集成问题一直是数据库研究领域的热点之一,而全局模式构建是数据集成中的一项重要任务。通过对模式元素之间语义关系的分析,从数据源系统数据字典入手,利用模式匹配结果,提出了一种基于模式元素语义关系进行模式合并的方法,并给出了基于模式元素语义关系的合并规则及合并算法。最后,通过对已有模式合并方法的比较分析,说明该模式合并方法的可用性和有效性更好。     

基于片断的多版本网络服务模式匹配方法

利用分治思想提出了一种基于片断的模式匹配方法.基于网络要素服务、网络覆盖服务模式及传感器观测服务模式,阐述了模式文件分割和片断表示、模式片断识别、模式片断元素匹配及匹配结果组合等关键技术.使用WFS 1.1,WCS 1.1,WFS 1.0和WCS 1.0进行模式匹配测试,实验结果证明了该方法的可行性和优越性.     

教育语篇的意象图式分析——以奥巴马演讲为例

意象图式作为隐喻的认知基础,在概念域的映射过程中起着重要的作用,是构建隐喻的一种模式。经过对奥巴马演讲中的主要意象图式和隐喻的总结分析,探讨意象图式在隐喻构建、转喻映射中源域与目标域的建构以及隐喻与转喻互动中的重要作用,认为特定认知域的认知模型受制于文化模型,不同的思维认知方式折射出不同的语言图式,理想化认知模型的文化认知模型的个性差异较为明显。     

基于XML的数据集成应用架构中的模式管理模型

基于XML的数据集成应用指屏蔽底层分布式、异构数据库的差异,为用户提供统一的XML数据展示视图和数据操作接口。在分析了基于XML的数据集成应用架构的基础上,针对其中的预存模式管理,提出了二叉树结构的管理模型以及算法描述。