一种统一的可扩展语言UXL及其应用

本文提出一种统一的可扩展语言UXL,它可用于描述Web上数据源、用户查询需求、各种服务、控制流以及事件等。利用UXL可实现对网上数据源和服务的统一描述,从而为各种服务器做一件外观统一的“主动服务外套”,构成所谓的“主动虚拟服务器。此外,还可利用UXL来描述查询计划,实现分布式协同工作和计算,构造可供网上使用的、动态的、可伸缩的分布式协同环境等。

基于共振扩张状态观测器的内置式永磁同步电机统一全速域无位置传感器控制

常规的永磁同步电机全速域无位置传感器控制通过复合两种位置观测器实现全速域的转子位置估计,然而,在电机频繁宽频域调速工况下,两种位置观测器频繁地切换,易导致估计的位置和转速振荡,并且两种位置估计方法需要单独的设计和调谐,增加了系统整定难度和算法复杂度。为此,该文提出了一种基于共振扩张状态观测器的内置式永磁同步电机统一全速域无位置传感器控制方法。首先,通过共振扩张状态观测器估计基频反电动势和高频反电动势。然后,建立了统一全速域模型,通过统一全速域模型实现全速域的转子位置和转速估计。在零速和低速时,通过向d轴注入高频电压,增加统一全速域模型中转子位置信息的信噪比,从而可以准确估计零速和低速区的转子位置,消除了传统高频注入法中由滤波器和延迟引起的估计误差。当电机在中高速区运行时,统一全速域模型自动蜕变为基频模型法,不需要两种位置观测器切换控制。最后,在2.0 kW内置式永磁同步电机实验平台上验证了算法的有效性。

论融合通信技术在大型会议会展中的应用与发展方向

对当下高等级的会议会展项目设计中的融合通信技术进行研究,紧密围绕“智慧城市”建设的总体战略,以先进信息技术广泛深入应用推动会展经济发展、创新会展管理方式、提高会展服务效率。通过世界会客厅项目中5G通信系统、专用无线通信系统的设计及运用、融合通信指挥中心的设计及使用情况,探索数字“新基建”技术的发展,为今后的发展设计提供思路。

主动虚拟服务器和网上数据集成的新模式

针对Internet上信息搜索和数据集成存在的问题 ,提出了“主动虚拟服务器”的概念 ,并给出了基于这种虚拟服务器的数据集成模式。主动虚拟服务器可认为是网上海量数据统一的存储和处理器 ,而且具有主动服务的功能。在不改变服务器中原DBMS的前提下 ,只需用一种统一的可扩展语言UXL为各种服务器做一件外观统一的“主动服务外套” ,就可构成所需的“主动虚拟服务器”。上述“外套”对每种服务器只需实现一次 ,就能在整个网上统一使用 ,因此 。

基于扩展UML的作战信息需求描述方法研究

在广泛研究需求描述方法的基础上,提出了一种基于扩展UML的作战信息需求描述方法。该方法通过作战目标的静态和动态描述,满足了战前和作战过程中的敌情信息需求。通过构建作战功能需求体系,对我方作战单元信息需求进行定性分析和定量描述。最后,与其他信息需求描述方法进行了对比。基于扩展UML的信息需求描述方法对于消除战场"迷雾",增强战场透明性,实现作战指挥、控制、决策的扁平化、自动化具有重要意义。

UPFC扩展状态空间模型和基于矩阵描述的可靠性灵敏度解析算法

统一潮流控制器(unified power flow controller,UPFC)传统三状态模型仅考虑降额,四状态模型仅考虑单换流器继续运行情况,该文兼顾两者,扩展得到UPFC九状态模型,并计及UPFC与单独串补、并补方式相互重叠,以获得更为精确的设备停运概率。利用矩阵描述频率和持续时间法分层等值,建立换流器通用备用模型,以及可以量化UPFC实现不同功能的等值模型。新推导出分层等值系统状态概率、频率和持续时间灵敏度公式,弥补连续修改参数法求UPFC模型灵敏度的不足。算例分析UPFC可靠性指标及其灵敏度,帮助辨识薄弱环节、优化结构和参数,分别采用全微分公式和连续修改参数法,验证所提模型的正确性和有效性。

扩展UML活动图在工作流建模中的应用

针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满足工作流过程建模的要求。

二进制翻译中的X86浮点栈处理

二进制翻译系统是一种基于软件的跨平台代码迁移系统,它将一种体系结构的二进制代码翻译成另一种体系结构的二进制代码.二进制翻译可以用于解决遗产代码的迁移问题,也可以实现不同硬件平台之间软件的通用.浮点栈的处理已成为以X86为源的二进制翻译的研究中的关键性问题之一,如何处理X86浮点栈问题直接关系到以X86为源的二进制翻译系统的性能.针对X86浮点寄存器栈的特征,提出了一种扩展虚拟栈(extending virtual stack)处理方案.它采用归一的方法,保证了每个基本块中的运算所涉及到的浮点寄存器可以直接映射到目标机器中的浮点寄存器,确保了翻译的效率,并利用翻译时的分析避免了在入口处不必要的判断;同时还给出了在基本块入口处判别一个基本块是否会出现浮点栈上溢和下溢的充分必要条件,为生成更加高效的代码提供了条件.实验表明,它能够在保证正确实现其功能的前提下,获得更好的执行效率.

基于eEPC和UML的企业建模

通过分析扩展的事件驱动过程链(eEPC)和统一建模语言(UML)的特点,提出两者相结合的建模方法,利用eEPC进行需求分析和初步设计阶段的建模工作,用UML进行详细设计阶段的建模工作。该方法不仅有利于建模工作前期的决策过程,也保证了建模工作后期对模型的一致性理解,并简化了模型之间的转换工作。

带OCL的活动图多态性测试用例生成方法

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。

溱潼凹陷三维地震资料联片处理技术和效果分析

溱潼凹陷工区包括10块三维地震资料,每块资料的处理成果数据之间在分辨率、信噪比、波组特征等方面存在较大差别,尤其是各区块结合部位存在着严重的边界效应,这给全区统一的构造解释、岩性处理和解释造成一定的困难。针对各区块处理成果资料之间存在的各种不一致性、边界效应及成像问题,采取了一系列措施。为确定处理方位角和扩展半径,采用了面元均化技术;为达到能量的一致性,采用了地表一致性,振幅补偿技术;为提高资料分辨率和统一全区频率,采用了不同的反褶积技术;为提高资料信噪比,采用了噪音自动识别与压制和动校CMP道集迭代校正等技术;为正确归位、准确成像,采用了DMO和偏移技术。这些技术的应用,解决了不同三维边界处的拼接问题,有效地提高了原三维资料的处理质量,得到了统一的成果数据体。

一种基于AOP和UML的用例扩展关系建模方法

面向方面编程(Aspect-Oriented Programming,AOP)提供一种描述和实现横切关注点的机制,UML的扩展机制提供增加新构造块、创建新特性和详述新语义的机制。讨论一种基于AOP和UML的对用例的扩展关系建模的方法,该方法使用标准的UML建模横切的关注点来表达方面,最后通过实际例子实现这种方法的应用,并用AOP技术实现用例的扩展关系。

医院信息系统数据中心统一存储平台的设计与实现

目的 :为提高医院信息系统业务连续性、数据的安全性、提高硬件资源利用、统一数据资源调配,建立数据中心统一存储平台。方法:用基于SAN架构的光纤存储和基于NAS的并行扩展存储,核心系统数据库采用互为镜像备份。结果 :信息系统存储得到整合,实现核心数据高可靠、高安全、高应用。影像大数据通过NAS存储的部署实现数据量极大情况下的快速访问。

基于本体论的能量管理系统建模

本体建模是智能信息处理领域研究的热点。在深入分析本体的定义、及其理论方法的基础上,为了增强本体建模表达能力,扩展定义了本体论的相关概念,提出了应用扩展的UML语言描述本体建模的方法;深入分析了能量管理系统建模的意义,采用扩展的统一建模语言建立的能量管理系统应用框架模型,达到能量管理系统应用之间、及其与相关系统之间数据共享的目的。

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性.

基于LDAP的统一身份认证系统的实现

结合兰州理工大学“基于LDAP的统一身份认证系统”的实例介绍了基于LDAP的统一身份认证系统的完整实现过程.系统采用LDAP(lightweight directory access protocol,轻量级目录访问协议)存储用户认证信息,可以构建复杂的分布式目录结构.在LDAP存储模型的基础上,系统实现了统一的用户认证信息管理系统,可以通过统一的界面和逻辑对用户认证信息进行集中管理.

基于双级矩阵变换器的统一潮流控制器并联侧无功扩展

考虑到现有基于双级矩阵变换器的统一潮流控制器(IMC-UPFC)并联侧无功功率范围的受限问题,提出一种基于模型预测控制(MPC)的IMC-UPFC并联侧无功范围扩展方案。论文推导了IMC-UPFC串联侧线路电流预测模型和并联侧无功预测模型,建立了以控制线路潮流和扩展并联侧无功范围为目标的综合代价函数,通过合理地选取使综合代价函数最小化的IMC的最优开关状态,以达到其控制目标。MPC控制策略具备算法简单及无需额外设置调制规则等优势。两节点网络IMC-UPFC的Matlab/Simulink仿真对比结果表明,所提IMC-UPFC的MPC控制策略有效地扩大了IMC-UPFC并联侧无功范围,进一步证实了该方案的合理性与有效性。

适用于统一迭代潮流计算的扩展型“Sen”变压器模型

为了发展基于扩展型“Sen”变压器(Extended Sen Transformer,EST)的潮流计算理论与方法,从简化EST潮流模型的角度出发,提出了一种适用于统一迭代潮流计算的EST模型。首先,根据EST的工作原理,将串、并联侧绕组等效为电压源与阻抗串联组成的支路,进而把EST简化为一种双电压源型等效电路。然后,基于统一迭代法的解算思想,并结合EST的电压调节、相角调节和功率调节运行模式,建立了EST的稳态潮流模型。最后,借助Matlab软件,算例分析在一个修改的IEEE6机30节点系统中展开。通过比较所提模型与软件仿真所得系统节点电压幅值和相角,二者之间偏差在合理范围内,验证了所提模型的有效性。

面向软件模糊自适应的UML用例扩展

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模,为此,提出一种基于UML用例扩展的SFSA需求分析与设计方法———Fuzzy Case。该方法结合SFSA的概念模型,应用UML扩展机制引入新的构造型和标记值,建立了Fuzzy Case的一般模型;同时定义了Fuzzy Case的语法结构,并用对象约束语言(OCL)定义了其语义描述,形成了完整的SFSA建模设施。实例验证表明,与传统方法相比,Fuzzy Case能更清晰地表达SFSA的结构,准确定义软件的内部语义,建模过程更加简单方便,能有效提高SFSA的开发效率。

信息物理融合系统建模技术研究

面向复杂环境下的物理实体,目前还没有一种有效的建模和仿真方法。针对此问题,文中在分析现有建模方法特点基础上,提出了一种行为协同建模方法。通过扩展AADL功能,增强其对实体的描述能力,可以对复杂环境下物理实体采用统一建模方法,提升模型间的通信能力和耦合能力,实现虚拟仿真与真实生产间的精准映射与无缝连接。