【摘 要】
：
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。
【机 构】
：
北京科技大学计算机与通信工程学院,武警北京指挥学院
【基金项目】
：
国家“863”计划资助项目（2009AA01Z119）, 国家自然科学基金资助项目（60973065）
论文部分内容阅读
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。
其他文献
直接数字频率合成器(DDS)技术是近四十年来发展起来的基于查找表的频率合成技术。作为信号发生器的一种,数字频率合成器是通信系统的重要组成部分,在很大程度上决定了通信系统的性能。介绍了DDS的基本原理,并实现了一个基于FPGA的DDS设计。通过改变查找表的存储数据灵活地改变输出的波形;根据频率分辨率的要求不同,修改具体波形数据值。其操作简单、频率分辨率较高、全数字化、便于集成,在工程应用上具有很大的
服务型制造是企业间通过相互服务实现协同和创新,企业间的相互服务聚集成了复杂的网络关系。如何描述和分析这种关系是研究维护并优化协同制造关系的前提。针对服务型制造发展的需要,提出了面向全生命周期的服务制造网络建模方法。首先深入分析了服务型制造网络的概念和特点以及产品与服务的关系;然后根据产品BOM建立了满足服务制造的BOM,在此基础上,构建了设计、制造、维护三种基本形态的全生命周期的服务型制造网络模型
针对在IPv6无线网络切换过程中,短暂的链路连接断开会导致反复丢包;同时在切换过程中,由于带宽的改变,在新的接入点就有可能发生丢包或资源浪费以及拥塞。提出一种以TCP协议为基础的路径损耗确认(TCP-PLACK)机制来代替TCP选择确认机制(TCP-SACK)。每当一个TCP接收方在断开或切换后而连接到一个新的接入点时,上述的TCP-PLACK机制就会发送一个特殊的确认,其中包含有在新接入点丢包的
如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的形式化模型,在简单介绍抽象状态机(ASM)的基础理论之后,刻画了网构软件的构件模型,并对构件模型进行了基于ASM的形式化描述,在此基础上,将粗粒度抽象构件的精化问题转换为求解构件组合方案的问题,并在体系结构元层,提出一种双向验证方法对不同抽象程度的组合方案进行横向和纵向的
通过大量实验证明了公安110报警事件具备可预测性。该预测模型具备适用性特点,可应用于公安机关实战指挥及政府应急管理部门的预测应用,并辅助决策支持。该创新建模预测过程称为先重构后建模预测法。
在SIMO-OFDM通信系统中,基于发送端多天线冗余的物理层安全算法不再适用。针对这一问题,提出一种基于时域参考的物理层安全传输方案。合法接收者在各个子载波上构造多天线随机加权向量,使构造的加权向量在合法信道上的投影等于随OFDM符号快变的时域参考变量,发送端利用前一时刻接收端构造的参考变量对当前时刻的发送调制符号进行相位旋转。时域参考变量的随机变化,扰乱了窃听者的接收信号星座图,导致其无法正确解
针对嵌入式系统实时控制和信号处理的需求,建立了一种基于DSP架构的快速上下文切换机制,为实时处理提供了有力支持。机制采用两条独立的总线,分别用来传送地址和数据信息,实现地址和数据信息的并行传输,增加了上下文保存和恢复的带宽;同时应用影子寄存器与通用寄存器之间的切换,有效减少了对存储器的访问;引入对上下文的延后保存和提前恢复操作,解决了任务或中断嵌套调用时的低效问题,显著地提高了上下文切换的速度。
研究了面向服务的业务活动监控(BAM)系统设计问题。在分析BAM的几类系统模型优缺点的基础上,立足于BAM系统的动态感知、协同工作和实时处理数据,采用事件驱动体系架构,提出了一种基于事件、面向服务的业务活动监控系统模型。该模型以总线的形式构建在企业原有的各个信息系统之上,采用事件作为模块之间基本的通信机制,并对该系统模型中关键技术的设计进行了详细分析。最后通过原型系统的实验表明,该设计方案有良好的
提出人体下肢向量的概念,通过分析人体运动指出下肢向量能保持运动的主要特征,由此提出基于下肢向量特征不变性的人体运动重定向方法,以此提高运动捕获数据的可重用性。该方法面向人体下肢的运动重定向,能够将运动数据从原始骨骼模型重定向到具有不同骨骼长度比例的目标骨骼模型,同时保持原始运动的主要特征。实验结果表明,该方法具有较好的运动重定向效果和较快的计算效率。
针对LTE系统中海量M2M终端同时接入引起的频繁碰撞问题,提出一种基于分组的解决方案。将同一小区内的M2M终端划分成组并引入组长节点,由组长代表本组发起接入请求,基站根据当前负荷情况分配接入资源并通过组寻呼触发组员节点的随机接入过程。理论分析和系统级仿真实验结果表明,相比LTE系统,现有的随机接入策略新方案在终端数量较多时能够有效减少碰撞次数,提高首次接入的成功概率。