基于MSC测试目的的协议互操作性测试生成

提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.     

浅析Windows程序设计中的消息机制

本文从消息处理流程的四个步骤，对Windows程序的消息机制进行了概括性的理论描述。     

嵌入式多任务GUI通信机制研究

针对单任务GUI系统中对事件响应慢和系统资源浪费等问题，将Windows消息驱动机制的设计思想引入到嵌入式多任务GUI系统的设计中，讨论了关于在嵌入式Linux平台上实现基于消息驱动的多任务GUI系统中出现的一些任务对数据访问与保护、任务间同步和系统稳定性等关键问题以及解决方案。     

基于无向图的尺寸标注模型的研究

提出了一种基于图结构描述的二维图形尺寸标注模型的建立及存储方法，该方法利用图论的概念和原理，在几何约束系统的基础上用无向图的结构描述尺寸标注模型，同时，建立一种扩展的图的邻接表的数据结构来存储尺寸标注模型。     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

UNIX系统中IPC机制综述

ＩＰＣ机制是ＵＮＩＸ系统提供的一个用于进程间通信的软件包，包括消息、信号量和共享内存３种。本文论述了ＩＰＣ机制提供给用户的命令级接口和程序设计接口，对ＩＰＣ机制内部的数据结构和主要的实现算法进行了剖析。     

基于高效缓存管理机制的可靠消息传输机会网络路由算法

针对基于社区的机会网络路由算法存在的消息无序发送和过期消息管理效率不高等难题,提出一种基于高效缓存管理机制的可靠消息传输机会网络路由算法RMTEB(Reliable Message Transmission Routing Algorithm for Opportunistic Networks Based on Efficient Buffer Management Mechanism)。引入Spray and Wait机制,设计消息传输策略,对消息发送顺序、缓存清除机制以及消息转发机制进行优化,以确保携带消息节点在有限通信时间内向邻居节点转发更多的消息,节点相遇后,判断缓存中过期消息的目标节点是否为当前邻居节点,是则将消息发送给对方,否则删除;通过调整发送给目标节点为邻居节点的消息顺序,优先发送生存期剩余时间小的消息,显著提高消息传输效率,降低传输时延。仿真结果表明,RMTEB算法在传输成功率、平均端到端时延、路由开销比率和平均存储时间等方面均优于经典的Prophet routing算法及其改进算法Social Groups Based Routing(SGBR)。     

Aglet消息系统应用研究

介绍了移动agent系统的组成结构,以及它的工作平台IBM Aglet,重点研究了Aglet的消息机制、消息的类型、各种不同类型消息的作用以及消息队列的概念和控制方法．在此基础上,以聊天系统为例,设计实现了Aglet消息系统的简单应用．     

优化消息轨迹图以提高TTCN测试套的开发效率

最新的消息轨迹图(MSC)标准MSC-2000增加了包括定时约束等很多新要素,但用于表达定时器事件的符号较多,而且有时还要借助图注的方式,直观性欠佳.文中提供了一种优化的定时器事件表达方式,并应用于H.323、H.245等协议一致性测试的TTCN测试套开发中.     

Statechart规格语言的语法分析研究

Statechart是一种用以规约复杂反应式系统行为的可视化语言.它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求.实际上,Statechart满足层次的描述,包括高层和低层事件,更显著地是采用广播通信机制产生连锁反应而引起多层并发.通过对Statechart语言进行了分析研究后给出了其形式化文法表示.在此基础上,讨论了Statechart规格语言语法正确性分析的问题.     

基于UNIX的企业短信增值服务系统的设计

系统将UNIX平台与短信服务系统相结合,依照短消息网关原理,完成与移动的协议转换、计费和网络管理等功能,客户端和服务端程序通过SOCKET连接,为企业提供了SP运营系统各种支持的平台。该系统避免了目前普遍采用的GSM网的规范、造成该SMSC负荷极大做法,并在山东移动公司运行一年,结果证明:该系统稳定、安全,有效地提高了企业短信服务的效率,拓展了业务,取得了预期的效果。     

面向对象的系统分析和程序的一种新设计方法

面向对象的系统分析与程序设计展现了软件工程学中一种新颖的思想概念和理论方法体系，具有相当的优越性与发展潜力，但在理论上与实践上均未完全成熟定型，提出了基于关键词限定的信息传递模式概念，对系统信息结构的两种形式及面向对象的程序设计方法进行了讨论．并以“宏观经济智能人－机决策支持系统（ＭＥＩＤＳＳ８６３－３０９－６０９）”中的一个问题过程为例给出了其实现方法．     

企业短信平台中的身份认证系统设计

分析了企业短信平台的应用特点,提出了一种易于实现的短信身份认证机制,可以作为身份认证模块加入到现有的短信平台中,以满足企业短信平台中的信息安全需求。     

浅谈短信兴起对校园文化的影响

短信作为崛起的“第五媒体”，是社会发展的产物；当短信上升为一种文化时，已经深入我们生活，也为单调的校园生活增添了一道亮丽风景线；短信文化有其丰富的内涵和多种功能，它在丰富我们校园生活的同时，也潜伏着各种隐患，不断侵蚀着校园文化；我们要用辨证发展的眼光看待短信文化与校园文化的关系。     

WIN32系统窗口消息传送技术分析

本文作者主要从消息的投递和传送两方面来讨论Win32 应用程序有关用户界面线程传送消息和处理消息的技术，重点阐述Win32相关的消息传送函数的工作原理，以及在实际编程中的运用。     

手机非法短信息的危害及对策研究

手机短信作为一种全新的相对独立的交互模式,已经成为人们获取信息的又一途径,有人将 其称为继网络之后的“第五媒体”。但手机非法短信却给社会争个人造成严重危害。本文从分析非法短信的 危害入手,从法律上寻找根本治理非法短信的对策。     

关于会计信息失真问题的思考

会计工作以其对经济活动的“反映和监督”为基本职能，会计信息的真实性，对国家宏观调控和企业管理至关重要，但目前会计造假、信息失真问题已经严重地影响我国的经济秩序。为了治理这一问题，结合对会计法和会计准则的学习，分析了会计信息失真的原因及治理，最后指出只有不断地加强法规、政策、内部控制制度以及监督机制的建设,才能杜绝会计信息失真的现象。     

DATRON 1071数字多用表的计算机控制

1071数字多用表是一种高精度多功能仪表.利用GPIB接口将它与IBMPC微型计算机相连接,将大大扩展其能力,使测量工作更为完善.能将被测信号的非常微小的非周期变化在计算机的CRT上显示出来.本文介绍了这一概念及有关的软件设计流程图.     

数据挖掘在垃圾短信过滤中的应用

针对手机垃圾短信泛滥、治理效果不佳的问题,基于运营商现有业务平台,借助统计分析和数据挖掘技术设计了垃圾短信过滤系统,提出了垃圾短信过滤闭环流程图;系统根据动态荻取的垃圾短信数据自动生成过滤规则,在信息转发阶段对垃圾短信进行过滤.结合某省运营商短信运营数据对垃圾短信过滤进行了实证研究,在分析样本短信数据的基础上确定了建模特征属性集,采用决策树推进算法获取了垃圾短信的过滤规则,并设计了垃圾短信过滤方案,从准确率和覆盖率两方面进行了验证,取得了较好的效果.