USSD对话有限状态自动机的设计与实现

USSD（Unstructured Supplementary Service Data，非结构化补充业务数据）是一种基于GSM移动通信网络的新型交互式数据业务，与短消息相比，具有响应速度快、交互能力强、可靠性高的特点。首先分析了USSD对话的信令流程，然后从提高信令的并行处理能力出发，提出了USSD对话有限状态自动机的实现方法。     

基于有限状态自动机的服务组合模型

分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于cFSA的服务理论模型．在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法．     

有限状态自动机在助力器检测设备中的应用

针对目前我国真空助力器检测设备的落后现状,采用有限状态自动机与现代控制技术开发了一种新型的汽车真空助力器设备的微机检测系统;通过对检测设备整个系统和各个分系统的动态行为分析,建立整个系统和各个分系统的状态机和子状态机并依据此模型开发出检测系统主控软件;应用结果表明,利用该方案设计的检测主控软件,增强了系统的可靠性与稳定性;软件结构清晰,易于维护和扩展。     

利用等价类构造有限状态自动机

一类语言由任意字母表上的某种进制的数字串构成，要求该语言中的所有数字串能够整除N；构造有限状态自动机识别该类语言是困难的，本文提出了根据等价类构造一类有限状态自动机的方法。该方法可以针对所有字母表和所有进制的数字串构成的语言，而且满足语言中的所有数字串能够整除任意正整数N。该方法实用、简便。     

基于有限状态自动机的人眼开度PERCLOS实现算法

针对驾驶员驾驶过程中因疲劳引起的眼睛开度变化问题, 在原有PERCLOS(percentage of eyelid closure over the pupil over time)标准的基础上, 提出了一种基于有限状态自动机的人眼开度PERCLOS计算方法, 并将其应用到疲劳驾驶预警系统中。该系统首先采用红外摄像头实时获取驾驶员的脸部视频图像, 使用ASM(active shape models)算法进行人脸检测, 在定位到的人脸范围内搜索人眼区域并计算人眼开度, 为了避免人与摄像头距离变化影响计算结果, 对人眼开度进行归一化处理; 然后依据建立的有限状态自动机模型计算PERCLOS值; 最后根据制定的预警机制实现基于人眼开度的疲劳预警。实验结果表明本方法能够实时监测驾驶员疲劳状况, 具有对光照变化、脸部配饰不敏感的特点。     

基于有限状态自动机的构件化软件集成测试方法

构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题：构件的开发者独立开发和测试了构件，而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试？在观测构造理论基础上构造了一种基于有限状态自动机，并可验证构件化软件行为的测试方法。通过实验验证了其有效性。     

2-adic有限状态自动机的新实现方法

对2-adic有限状态自动机（2-adic FSM）的构造进行了研究,利用多输入的Galois 进位反馈移位寄存器(FCSR)模块代替以往方法中单输入的Galois进位反馈移位寄存器模块,给出一种实现2-adic有限状态自动机的新方法。该方法可将一般的2-adic有限状态自动机等价变换为整数矩阵的2-adic有限状态自动机,且当输入矩阵或状态转移矩阵某行中存在分母不互素的元素时,所得的整数矩阵2-aidc有限状态自动机长度更短,从而节省了寄存器的使用数量。     

基于有限状态自动机的藏文音节组织研究

通过对藏文的字形特征、拼写规律,以及文法规则的分析和研究,实现藏文词语的实时检错.借助形式语言有限状态自动机的方法,对藏文字结构中的基字、前加字、上加字、下加字、后加字、再后加字之间的搭配规则设计了状态图和邻接矩阵.该方法提高了藏文文本质量,使原本复杂的书面语法规则变得简单直观,从而使符合现代藏文音节组织结构的词语能实时检错.该研究为实现藏文的自动校对提供了基础.     

BPEL中基于有限状态自动机的Web服务自动组合

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.     

有限（状态）自动机与泛系方法论

揭示有限自动机的核心机理，探讨这一通用模型中内部状态转移、外部输出所具有的特性，将泛系方法论的一些概括性原理和思想用在了有限自动机的研究之中。     

C#多线程同步与异步的实现

主要对C#语言在．NET平台下进行多线程程序设计的方法进行探讨,着重探讨了实现多线程同步与异步的步骤与方法,并给出实现同步与异步的实例。     

纯C#技术下HTML页面动态生成的实现

动态网站自产生以来就凭借其强大的数据管理以及方便、快速的搜索功能迅速占领了Web市场.随着网络的发展、网络用户的剧增,一些网站,特别是连接数每秒超过200的大型网站的速度慢得难以让人忍受.本文提出了一种静态页面的方案,不仅解决了速度慢的问题,同时也保留了动态网站的强大功能.     

C#利用Web Service编程接口实现动态天气预报

许多政府或企业网站除展示与本单位密切相关的信息外,往往也集成一些小的功能性的、与用户日常生活密切相关的,类似于提供火车时刻表、天气预报等辅助信息,采用C#利用Web Service提供的编程接口实现了实时天气预报功能,并能根据访问者所在地自动提供其相关的天气信息。     

C#实现彩色图像分割

针对图像分析应用日益广泛的现状,基于阈值法对彩色图像实现分割进行论述。介绍图像分割基本概念,讲述彩色图像直方图阈值分割方法,利用二维直方图方便地寻找彩色图像阈值,最后通过C#可行的程序稳定、准确地实现彩色图像阈值分割。     

C#实现彩色图像分割

针对图像分析应用日益广泛的现状,基于阈值法对彩色图像实现分割进行论述。介绍图像分割基本概念,讲述彩色图像直方图阈值分割方法,利用二维直方图方便地寻找彩色图像阈值,最后通过C#可行的程序稳定、准确地实现彩色图像阈值分割。     

基于C#的Excel文档导入技术的研究与实现

随着无纸化办公的普及,现代化的办公环境中Excel文件的广泛使用,对于Excel的数据导入进行统一处理具有很大的需求。本文介绍了COM组件实现Excel数据的导入的原理,并且在Visual C#中实现了数据的导入,为进一步数据的处理打下了很好的基础,具有很强的实用性。     

数据绑定与导航在Visual C#.Net下的实现及应用

本文主要介绍了在Visual C#.Net中如何利用数据集访问模式提供的数据绑定与导航技术实现数据库中数据的显示。文中先总结了在.NET平台下利用Visual C#.Net实现数据绑定与导航的方法,然后在VS.NET环境中通过创建C# Windows数据库应用程序实现了数据绑定与导航,对实现这种技术的关键问题进行了分析,最后将这种技术应用到数据维护和一对多的数据关系中。     

用C#设计个性化动画屏保程序

随着计算机显示器质量的提高,屏保程序保护显示器的功能已淡化,更多时间被用来当作艺术品欣赏。该文介绍了用C#设计个性化动画屏保程序的基本过程,其中重点介绍了动画效果的实现方法。     

基于C#的GIS校园电子地图实现

系统是根据校园规划地图,结合校园信息特点,利用MapInfo构建地图数据,并将不同的数据图层通过Geoset Manager整合集成,在．NET编程环境下通过C#语言对MapX控件的二次开发而实现的校园电子地图系统。系统除了具备地图缩放、漫游等功能外,还实现了鹰眼、测距、图元与属性之间互查与定位功能。文中给出了主要功能的开发过程及核心代码。     

基于正则表达式的DFA拆分算法研究

深度包检测采用简单的字符串匹配技术将报文内容与一组固定字符串进行匹配,基于正则表达式匹配算法能提供更强的表达能力和灵活性,而复杂的正则表达式结构可能引起DFA的状态数膨胀,导致存储代价巨大;DFA拆分算法将DFA转换表拆分为三个表：间接索引表,转换输出表,直接转换表,实验结果表明DFA所占空间大大减小,实现了DFA的压缩存储。