一种通用中间件安全模型及形式化描述

本文通过对中间件安全性的分析,结合传统安全模型的特点,从中间件安全模型设计要求的特点出发,建立了一个可应用于任何中间件技术的通用中间件安全模型;最后对该模型的特征进行分析,并运用有穷状态自动机（FSM）对该模型进行形式化描述,并证明了系统的安全性。     

一种将NFA到最小化DFA的方法

词法分析是编译程序重要阶段,有效的词法分析可提高编译程序的效率。本文提出用子集方法完成NFA到DFA并使用树型分割法实现DFA到最小化DFA的化简。     

确定有穷自动机的最小化问题探讨

本文针对DFA最小化时可能遇到的各种情形,给出最小化的通用算法,并通过具体实例加以验证。此算法有利于学生对编译原理课程中DFA最小化的学习和理解,同时让学生进一步了解此知识点在其他问题求解中的应用。     

基于网络的SMS监测控制系统

文章提出了一种由短消息（SMS）通过网络实现对终端的监测控制方案.它利用了网络连接的优势,实现了对多个嵌入式终端的监测和控制.比以往独立方式的短信收发更好的提高无线modem的利用率,若采用嵌入式终端则会大大节约成本.文章通过服务机客户机网络连接方式验证了此方案的可行性,并且建立了通过网络的注册、查询、修改系统,方便了用户管理.     

有穷自动机的Linux多点触摸屏中间件设计

多点触摸屏的应用程序开发是当前的研究热点.Linux multi-touch (MT)协议是Linux输入子系统的一个标准协议,定义了多点触摸设备驱动程序的数据传输规范,有着广泛的使用范围.识别和处理多点触摸屏驱动程序的数据是多点触摸屏应用最基本的功能.本文采用有穷自动机的思想,设计了一个可以识别符合Linux multi-touch协议规范数据的多点触摸屏中间件.中间件提供外部接口供应用程序使用,可以减少程序开发人员的重复工作,提高开发效率.     

一种动态负载均衡的流媒体中间件系统设计

随着平安城市项目建设,视频监控系统已经系统化、业务化,单机的视频监控系统已经没有市场前景.中间件技术的深入应用是当前视频监控系统的必由之路,提出动态负载均衡的中间件技术,有效解决视频监控领域整合、兼容性和系统并发能力.     

一种新的DFA状态最小化算法

提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。     

中间件技术在移动增值领域的设计与实现

中间件是构件化软件的一种表现形式,中间件抽象了典型的应用模式.以一个移动增值平台为例,阐述构件化中间件系统的基本技术及在移动增值领域的应用.通过移动中间件在实际应用系统的具体设计与模块实现,设计一种基于数据库为中介的通用移动增值服务平台,并具体分析中间件满足快速开发和增强系统稳定性的优点,以及在增值领域开发还需要关注的问题.阐述了用移动中间件建立通用移动增值服务系统的必然性.     

基于STC单片机与GPRS的图文LED屏

本文介绍了利用STC89C58RD 单片机做为主控芯片,GPRS模块SIM300做为短消息接收器的LED条形图文显示屏系统的软硬件设计.其中,单片机相当于整个系统的"神经中枢",既要在AT命令下通过串口读和删除GPRS模块收到的短消息并进行处理,又要控制条形屏显示相应的信息.     

基于等价关系的有穷自动机最小化方法

主要介绍了有穷自动机的基础知识,研究了有穷自动机的等价性,并在确定型有穷自动机的状态集上引入等价关系,给出了自动机的最小化过程。利用等价归并算法,可以将某一给定的确定型有穷自动机状态集上的等价状态归并掉．生成与其等价的最小化的确定型有穷自动机。     

一种基于短消息通信的车辆监控中心实现方案

分析了常规的基于短消息通信的车辆监控中心在流量控制上的不足,提出了一种新的监控中心实现方案,介绍了该方案的系统组成、工作原理、软硬件设计等。实验结果表明：该方案可以有效地进行流量控制,提高了系统的性能。     

移动环境下的垃圾短信过滤系统的研究

提出了一种分布式的垃圾短信过滤系统，它适合于移动网络，具有自学习能力，能够及时发现垃圾信息源，有效的过滤垃圾短信。在传统以词为属性的贝叶斯过滤算法的基础上，加入了规则和长度信息，利用互信息减小单词属性的个数。实验表明，它在短信过滤方面具有空间占用小和性能更好的特点，适合在移动电话上使用。同时还提出了一种垃圾短信发送者的可能性排名的方法。     

基于SMS的网络基站告警监控系统的设计与实现

论述SMS告警监控系统的整体设计方案,详细描述了各部分的功能及相互关系,并且描述了系统的硬件结构和软件系统的设计和实现。     

CAPP系统开发工具的设计方法

在深入分析了ＣＡＰＰ系统开发工具的特点与设计要求后,提出一种“工艺功能配置型”ＣＡＰＰ系统开发工具实现模式,它吸取了外壳型、模块组合型以及语言型专家系统工具的合理特性。简要介绍了以此为基础开发的ＢＨＰＰＴ工具系统。