基于事件消息驱动的Petri网的类族测试用例生成技术的研究

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。

可扩展的事件消息自动化处理方案

在实时数据仓库中,获取实时业务数据后,实时或及时的事件处理和决策自动化对实时数据仓库来说至关重要。该文针对仓库系统资源竞争问题,采用消息队列和改进的主动规则技术,提出一套可靠、可扩展并能解决系统负载平衡的异步事件驱动自动化处理方案,同时给出了一套使用高级队列中间件和J2EE技术的实践参考方案,实验结果证明该方案可行。

事件消息中的言语转述:客观与主观

通过对四大报纸20篇事件消息中言语转述的分析,本文发现,无论是哪种类型的转述,报道者对其都有不同程度的介入。报道者一方面借其显示消息的客观,另一方面又借其传达自己对新闻事件或原话语的主观评价。另外,本文还发现,汉语报纸中的事件消息倾向于间接转述。

BC＋＋4．0对Windows消息事件的处理及实现

ＢＣＯｂｊｅｃｔＷｉｎｄｏｗｓ２．０对Ｗｉｎｄｏｗｓ消息事件的处理不再采用动态下标派遣，而是采用消息事件响应表机制。本文详细讨论了该机制的处理过程及其实现过程．

基于事件的银行账户余额变动提醒功能的实现

描述了c#事件的发布与订阅。有两种事件,一种是用户自定义事件,文章主要探讨利用显式调用自定义事件的方式来设计与实现银行账户余额变动提醒功能。另一种是windows控件事件,引发事件的成员方法及事件都被封装在控件内,是不可见的,通过override可以重写引发事件的成员方法。

VANET中一种安全消息拥塞控制机制

针对车辆无线自组织网络在车流量密度大的情况下,周期性安全消息产生的Beacons可能占据整个信道带宽,从而导致信道拥塞的问题,提出了一种基于调整Beacon频率和车辆通信半径的拥塞控制机制。该机制首先为周期性安全消息和突发事件安全消息提出了一个信道分配算法,将周期性安全消息在信道中占用的带宽资源限定在一定的门限以下,保证有足够的信道资源传输突发事件安全消息。然后,在保证车辆用户安全的条件下,根据精确性要求和成功接收率,动态地调整Beacon频率和车辆通信半径,来控制信道中能够容纳的用户数,避免信道拥塞。

消息触发的调度监控信息智能联盟实现技术

针对配电网调度监控中实时信息批量处理的延迟问题,提出一种基于信息智能联盟的消息主动触发处理新方法。通过对比多智能体信息交互的通信代价,利用公共信息模型和对象关系自动映射技术,构建信息智能联盟,综合运用消息事件触发和触发接口实现的技巧,实现联盟智能体间的实时交互。以某10 k V配电网监控的工程算例为例进行信息交互和性能测试,验证了消息触发方法主动交互的可行性。性能测试结果表明:与常规监控画面间隔2 s轮询实时数据方法相比,智能联盟主动消息触发机制可以提高批量信息处理的效率。

车联网中交通安全消息动态优先调度机制

车联网中两类交通安全消息共享有限控制信道带宽,在消息突发状态下无法保证事件触发消息的传播性能,导致预警失效。基于差异化的消息传播性能需求提出了一种动态优先级区分的调度机制,按事件优先级分别进行队列管理,赋予事件触发消息优先权,通过设置优先级调度阈值实现对事件触发消息的动态调度。当优先队列长度高于阈值时,其抢占调度时隙。当队列长度低于阈值一半,退出抢占过程,恢复非抢占优先调度方法。仿真显示,所提调度机制能够减小事件触发消息的端到端时延约1.3 ms,提高周期性消息的公平性约0.22。

变电站监控系统网络漏洞分析与强化策略

文章通过实验研究,评估Scapy框架在检测网络漏洞及结合高级加密标准(Advanced Encryption Standard,AES)与RSA加密算法进行通用面向对象变电站事件(Generic Object Oriented Substation Event,GOOSE)消息混合加解密保护效果方面的表现。实验成功发现并记录多种不同程度的网络漏洞,验证Scapy框架的准确性和适应性。同时,实验结果证明该加解密方案能够有效保护通信内容,且在实际通信场景中对性能的影响较小。综合实验结果可知,该方案在变电站监控系统中具有一定的实际应用潜力,为网络漏洞防护提供了可行的解决方案。

VANETs安全消息广播的性能模型分析

在车载网(vehicular ad hoc networks,VANETs)中将源节点通信范围内的所有节点看作目的节点,在介质访问层耗时很小,因此,常采用广播通信技术分发VANETs的安全消息。然而,广播通信缺乏请求发送RTS/清除发送CTS(request-tosend/clear-to-send)握手连接环节以及数据包确认机制,通信易受干扰,促使通信可靠性下降。为此,提出VANETs中安全消息分发性能评估模型。该模型假定VANETs具有两类级别消息。此外,考虑IEEE 802.11广播协议并使用二维马尔可夫模型(2-D Markov modeling),推导了低级周期性消息LPPMs(low-priority periodic messages)在传输模式和退避阶段的数目的联合概率分布,并利用该联合概率分布推导出高级事件驱动型消息LPEMs(high-priority event-driven messages)的平均传输时延,其有利于网络参数间折衷,如车辆传输范围、安全消息产生率以及介质访问控制MAC(medium access control)参数,通过合适地选择参数,使其满足LPEMs对延时的高要求。

基于Kafka的在线教学平台事件中心设计与实现

某市中小学教师继续教育在线教学平台(以下简称在线教学平台)是为提升教师教学水平和专业技能而设计开发的终身学习平台。该平台服务全市约12万名中小学教师,包含140多个业务功能模块,主要业务模块之间的关系错综复杂,对系统的稳定性和性能等方面提出了较高的要求,因此我们需要构建一个稳定可靠的事件中心,用以支撑关键业务流程。事件驱动架构可以很好的解决模块之间的耦合问题,能够轻松应对业务模块之间的通信需求。本文利用开源Kafka消息系统,设计并实现了一个基于消息事件驱动架构的教师继续教育在线教学平台事件中心,并以教师选课模块为例,阐述了事件中心在平台中的具体应用。通过事件中心,我们优化了业务模块之间的通讯机制,降低了业务数据的出错概率,解决了教师集中选课及在线学习的峰值压力问题。

一种面向RTEMS的GUI系统的设计与实现

介绍了实时多处理器系统RTEMS上的图形用户开发包(GUIToolkit)的消息事件机制的设计。提出了开发一个能够良好的支持RTEMS系统的嵌入式GUI系统,讨论了实现该机制的关键设计部分,并且给出了具体实现的关键数据结构和事件消息处理逻辑流程,详细描述了该GUI的消息通信机制的设计过程与实现方法。

基于Delta3D的气象仿真框架设计与实现

为解决传统气象仿真方法复用性差,耦合性高等问题,提出了基于组件、以事件为中心的独立气象仿真框架,并在Windows平台下形成一个动态链接库,该动态链接库可以方便的动态载入到各种仿真系统中。运用VC++2005和虚拟现实开发引擎Delta3D,通过键盘响应特定气象事件,实现了常见气象现象的仿真。实验结果表明,利用该方法不仅降低了系统的耦合性,还提高了仿真系统的开发和运行效率。

基于BDI智能体的配电网监控信息批处理方法

针对配电网监控中量测点多、变化快,造成关键信息传输产生较大延迟的问题,提出了批量信息的信念–愿望–意图(belief-desire-intention,BDI)智能处理方法。通过建立BDI智能体的五元组模型,对多智能体进行交互分析,构建了公用信息的智能体联盟,综合运用模型自动映射和消息事件触发(message event trigger,MET)的技巧,从业务流和信息流角度进行智能化原型系统实现。利用10 kV配电网监控的工程算例进行了交互与性能实验,结果表明:文中方法的处理效率比传统2 s轮询方法提高了约70%。

动态脚本语言Lua与C++交互方法的研究与实现

针对当前利用C++开发大型复杂程序代价高、周期长的问题,为了充分发挥Lua动态脚本语言的特点,重点探讨了如何在Lua脚本中模拟消息事件机制和Lua访问C++接口的具体实现方法以及Lua调试器的设计方案。

一种嵌入式GUI软件结构实现方案

综合比较了嵌入式GUI的几种实现方式,结合嵌入式系统的特点,研究了嵌入式GUI中的关键技术,分析了嵌入式GUI与普通GUI系统的不同之处,提出一种通用的嵌入式图形用户界面系统的设计思想和体系结构,这种嵌入式GUI实现方案具有轻型、占用资源少、可剪裁等特点。

用VC++.NET编写鼠标交互式绘图程序

主要介绍了在面向对象的VC++.NET语言环境下,通过使用WM_LBUTTONDOWN,WM_MOUSEMOVE,WM_LBUTTONUP等鼠标事件消息,采用橡皮条绘图法,编写一个鼠标交互式绘图程序.该程序可实现绘制随机的平面图形,也可通过鼠标的拖动画出大小不同的圆,椭圆,矩形,直线等平面图形.

集散系统中基于多线程的多机串行通信实现

给出了集散系统中主从式多机串行通信的实现方案,并以最常用的MCS-51单片机为下位机, PC系统机为上位机,用C++Builder语言及单片机汇编语言实现了基于多线程技术和消息响应机制的多机异步串行通信,给出了系统连接和编程的方法及流程.

基于Petri网的UML顺序图分析

本文针对顺序图形式分析上存在的困难,引进消息事件序约束的概念,利用Petri网理论定义了顺序图的分析模型,并给出了UML顺序图冲突和语义一致性的检查方法,最后通过一个实例说明了方法的使用。实例表明,该方法是可行和高效的。

直接引语及其在新闻语篇中的使用

近年来,应用语言学越来越受到人们的重视。由于话语分析的实用性比较强,所以一直以来也是炙手可热的研究项目。而其中的直接引语的使用,特别是在新闻语篇中的使用,也已成为学界关注的焦点。本文则着重介绍直接引语以及在新闻消息中的具体使用。