有限自动机在复合事件检测中的应用

针对早期系统只提供原子事件的检测机制,不能检测由原子事件组成的复合事件的问题,提出了用有限自动机来检测复合事件的方法.说明了复合事件的组成和表达式,利用自动机原理对复合事件的检测模式进行了分析,给出了复合事件检测的具体过程:从事件表达式到不确定的有限自动机,从不确定的有限自动机到最小化确定的有限自动机,再用程序实现了确定的有限自动机.实例表明,自动机模型是检测复合事件的一种有效实现方式.     

基于Trace的即时编译器中代码生成策略的改进

针对编译循环内的查找表分派指令导致的代码重复或额外运行开销,在Dalvik虚拟机的基于Trace的即时编译器中提出了改进的代码生成算法。同已有的代码生成算法相比,该方法在划分基本块阶段获取查找表分派的信息,并将查找表分派指令转换成一系列条件分支指令,通过条件分支指令实现子Trace同主Trace的合并,避免了主子Trace切换时额外的函数调用。实验结果表明,对于循环内含查找表分派的应用程序,该算法能提升其性能。     

基于 Modelica 的半物理仿真代码生成方法研究*

针对当前复杂机电系统的多领域模型不支持半物理仿真或者已有半物理仿真工具无法建立复杂机电系统多领域模型的问题,围绕目标代码生成这一关键技术,提出了两种由M o delica模型生成半物理仿真代码的方法。首先深入研究了Modelica模型直接代码生成技术,并详细描述了其实现过程。其次介绍了基于Simulink的联合建模方法及间接代码生成过程。最后通过示例对两种代码生成方法分别进行了应用验证。     

VAX／VMS Ada编译代码生成技术

代码生成部分的输入是线性化的低级中间语言,且符号节点含有地址存贮信息(经过DATALLOC/DAT_ALLOCATE_FROM_VCG子程序处理),代码生成部分的输出是伪目标代码,所谓伪代码是由于分支转移地址问题还未解决,指令流是由双链表表示而不是目标模块,代码生成后还要对机器指令双链表进行如下处理:寄存器及窥孔优化,分     

从UML类图到关系数据库表的代码生成方法

在介绍代码自动生成技术产生的背景及其应用的基础上，研究从UML类图到关系型数据库表的代码生成方法，其中包括UML类图到关系数据库表之间的映射规范和映射实现方式。最后分析了研究过程中存在的一些问题。     

特定领域建模与代码生成的研究与实现

DSM 通过提高抽象程度实现软件生产力的提高。本文在深入研究DSM 与元建模以及代码生成等技术后,提出一种特定领域建模与代码生成的方法,并建立起它的实现。本文归纳总结了创建特定领域元模型及其实现的方法与原则;介绍了使用GMF 通过特定领域元模型快速定制生成特定领域建模工具的过程;提出基于系统架构与框架创建覆盖不同业务类型的样例代码的方法与原则;总结归纳了特定领域建模与代码生成的整体过程;提出根据特定元模型将样例代码制作成代码模板的方法与原则;最后介绍了通用代码生成引擎的组成部分及其作用以及代码生成的过程。     

一个数据模型驱动的代码生成工具的设计与实现

提出一个数据模型驱动的代码生成工具的设计与实现方案.方案尝试在代码生成过程中引入数据模型.首先,分析ERP领域业务逻辑的特征,抽象出ERP简单业务逻辑模型;然后,基于数据模型生成代码,使得概念设计的复用成为可能.代码生成工具有较好的可扩展性和可重用性,可望提升ERP软件的开发效率和适应性.     

TMS320C6678的自动代码生成及其应用

为优化DSP工程开发方式,将Simulink的可视化模型开发与TMS320C6678相结合,采用可视化的模块设计工具对算法模型和数据流进行建模。模型之间具有标准的数据流传输接口,由代码生成工具根据算法函数模型的描述生成DSP平台上的信号处理程序,完成了MATLAB算法模型到DSP工程的自动代码生成转换。相较于传统的人工翻译成DSP工程的方式,能够在设计阶段就对算法功能进行仿真测试,使得开发者能够更快捷、以更少的成本花费进行开发,也让后期的算法架构修改变得简单。     

基于业务模型和界面模型的代码生成工具

企业信息系统在企业的经营管理中发挥着至关重要的作用,然而,在企业信息系统的开发过程中,存在着相似代码重复编写、系统架构不一致、开发周期长等问题.目前已有的代码生成工具或无法将系统概念设计与软件实现技术分离,或无法满足由可视化设计直接生成完整功能代码的要求.针对上述问题,设计了一种基于业务模型和界面模型的代码生成工具,开发人员只需要对业务模型和界面模型进行可视化设计,由代码生成工具完成完整的代码生成功能.当模型修改时,由代码生成工具完成代码的重构.目前该代码生成工具已应用于国家电网公司统一应用开发平台中,实践表明,代码生成工具的使用可以减少开发人员80％以上的编码量,实现设计成果的复用和共享,统一企业信息系统的开发架构,提高企业信息系统开发的质量和效率.     

MDA技术在手机游戏开发中的应用

针对如何快速高效率开发手机游戏,提出一个代码生成器的设计方案,用来在手机开发过程中实现手机游戏代码的自动生成。介绍模型驱动架构以及代码生成技术的相关知识。讨论代码生成技术的实现原理和代码生成器的结构,并使用代码生成器生成一个通用的手机游戏的例子。     

Thermal buckling optimisation of composite plates using firefly algorithm

Abstract

Composite plates play a very important role in engineering applications, especially in aerospace industry. Thermal buckling of such components is of great importance and must be known to achieve an appropriate design. This paper deals with stacking sequence optimisation of laminated composite plates for maximising the critical buckling temperature using a powerful meta-heuristic algorithm called firefly algorithm (FA) which is based on the flashing behaviour of fireflies. The main objective of present work was to show the ability of FA in optimisation of composite structures. The performance of FA is compared with the results reported in the previous published works using other algorithms which shows the efficiency of FA in stacking sequence optimisation of laminated composite structures.     

主动数据库的时序事件代数

通过引入一元时序算子,表达事件之间任意杂的相对次序关系,在此基础上重新定义了描述复合件的时序事件代数,并证明了该事件代数良好的数学性质,不仅增强了事件描述语言的描述能力,也为处理规划执行的合流性提供了新的方法。     

JPEG2000中重要性编码及上下文建模的改进

众所周知,基于上下文建模的算术编码是JPEG2000标准中的关键技术,而对于重要性编码,JPEG2000中采用的上下文模型是码块内的8邻域系数,由于其根据经验将所有上下文分成9类,且所有比特平面都使用这套固定的上下文分类方案。因此针对这种上下文分类方案的不足,对JPEG2000中重要性编码及其上下文建模方式进行了改进,即首先建立比原来的3×3更大的上下文模型;然后提出了一种基于重要上下文的扫描方式;最后基于新的扫描方式根据最小码长的准则进行上下文量化的优化,考虑到不同子扫描之间的统计差异,对不同的扫描子过程使用不同的上下文模型方案。实验结果表明,与JPEG2000的无损压缩相比,新的重要性编码算法的无损压缩结果(平均比特率)较JPEG2000提高了1.312%。     

基于Petri网工作流模型的复合事件检测的分析和分解

本文介绍了一种应用Petri网技术对工作流进行建模的方法.该方法将工作流的执行方式从检测事件一触发转变为检测状态一触发,并且采用分层分块的策略对Petri网工作流模型中的复合事件进行分解,将复杂的逻辑关系判断简化为简单的状态判断,有利于工程上的理解和实现.     

脚本事件预测：方法、评测与挑战

相较于问答等经典的自然语言处理任务,脚本事件预测并未受到广泛关注。脚本事件预测旨在通过给定的上下文事件对未来事件进行准确预测,进而为后续可能发生的事件作出相应部署。为此,其研究具有重要意义,需要进行归纳与总结。针对脚本事件预测任务,首先给出脚本事件预测的基本概念;然后,梳理分析了事件表征中论元构成和事件表示学习两个子任务,其中事件表示学习从嵌入编码和语义增强两个方面叙述;接着,又以脚本建模方法为主线,从事件对、事件链、事件图以及结合型建模四个角度对其进行总结;并且,对现有模型进行测试,分析各类模型效果;最后,总结当前研究存在的问题,并展望未来可能的研究方向。     

自然环境建模数据编码标准研究

自然环境建模与其数据编码不仅是实现空间信息描述、表示、存储、共享和交换的前提，而且也是获得国防领域建模与仿真高度互操作性和可重用性的关键。本文分析了自然 环境建模特别是环境数据编码的应用需求、技术方法和现有标准，讨论了数据编码的原则、模式、分类、标准、应用和映射，最后给出了数据编码标准的软件系统设计和实现。     

一种基于面向侧面技术的并发式软件建模方法

基于面向侧面（Aspect-Oriented）技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。本方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中，并通过事件广播机制反映二者的交互关系。同时，以模块化的状态迁移系统 （Modular Transition System）作为基本计算模型，对该建模方法进行形式化描述，给出了模型元素及建模过程的精确语义。实例研究表明，该方法在并发软件设计阶段实现了横切关注点的分离策略，并使得系统模型具有松耦合、适应性和可跟踪性的优点。     

一种基于事件的Web服务组合方法

为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示.     

基于HyperMesh二次开发的飞行器尾翼复合材料建模和优化分析

为解决飞行器尾翼复合材料结构建模复杂、优化工况繁琐等问题,利用HyperMesh二次开发技术开发尾翼复合材料建模优化分析系统.介绍该系统相关二次开发技术以及复合材料建模优化分析技术,并给出应用实例.通过该系统可自动建模,自动提交多阶段优化求解和出具结果报告,极大提高尾翼复合材料建模优化分析效率.     

An instance of coincidence detection architecture relying on temporal coding

Although time and space are interrelated in every occurrence of real-world events, only spatial codes are used at the basic level of most computational architectures. Inspired by neurobiological facts and hypotheses that assign a primordial coding role to the temporal dimension, and developed to address both cognitive and engineering applications, guided propagation networks (GPNs) are aimed at a generic real-time machine, based on time-space coincidence testing. The involved temporal parameters are gradually introduced, in relation with complementary applications in the field of human-machine communication: sensori-motor modeling, pattern recognition and natural language processing.