下载文档原格式
基于加权有限状态机的电话号码规范解析黄明;林家骏;方楠【摘要】We proposed a competitive FSM-based phone numbers analysis and standardisation method in light of the problem that in social data processing the phone numbers data are written in various section formats and are difficult to analyse and utilise,and presented the corresponding negative feedback-based training algorithm as well.By verification with practical applications,this standardisation approach can meet the application requirements in both processing speed and accuracy,this effectively solves the problem of analysing and standardising phone numbers under the circumstance with input differences,and has preferable project applicability.%针对社会数据处理中，电话号码数据写法多样，难以有效分析利用的问题，提出一种基于竞争性有限状态机的电话号码解析与规范化方法，并提出相应的基于负反馈的训练算法。
经过实际应用检验，该规范化方法的处理速度和正确率都能够满足应用要求，有效解决了在存在输入差异性的场景下，对电话号码进行解析与规范化的问题，具有较好的工程实用性。
云计算架构中的异常检测与故障诊断方法一、异常检测方法1.阈值检测法：根据系统的历史数据，设定一些阈值用于判断系统是否发生异常。
例如，可以监测系统的CPU利用率、内存使用率等指标，当这些指标超过事先设定的阈值时，就可以判断系统发生了异常。
此方法简单易行，但是难以处理复杂的异常情况，且依赖于设定的阈值，可能会出现误报或漏报的情况。
2.统计学方法：通过对系统数据进行统计分析，建立异常检测模型。
常用的方法包括概率统计、回归分析、时间序列分析等。
例如，可以使用贝叶斯网络、聚类分析等方法来检测系统异常。
此方法对于复杂的异常情况能够较好地进行检测，但是需要大量的数据和复杂的计算，且需要事先建立模型。
3.机器学习方法：通过训练一些机器学习模型，对系统数据进行分类或回归分析，判断系统是否发生异常。
常用的方法包括支持向量机、决策树、神经网络等。
此方法能够自动学习系统的正常行为模式，对于复杂的异常情况有较好的适应性，但是需要大量的训练数据和计算资源。
4. 异常模式识别方法：通过对系统的行为模式进行分析，判断系统是否发生异常。
常用的方法包括状态机、Petri网等。
例如，可以通过建立系统状态转移图，对系统的状态进行监测，一旦发现系统从正常状态转移到异常状态，就判断系统发生了异常。
此方法对于复杂的异常情况能够较好地进行检测，但是需要建立系统的行为模式。
1.事件日志分析法：通过分析系统的事件日志，找出系统故障的原因和位置。
常用的方法包括日志关联分析、日志模式匹配等。
例如，可以通过分析系统运行时产生的故障日志，找出故障的源头和传播路径。
此方法适用于已发生的故障的诊断，但是对于复杂的故障可能需要大量的人工分析。
2.规则基因算法：通过对系统的规则进行建模，并利用基因算法进行故障诊断。
例如，可以通过建立一些故障规则，如“当系统中一些组件发生故障时，会导致系统整体性能下降”，通过基因算法对这些规则进行优化，从而找出和修复故障。
此方法对于已有的规则易于理解和修改，但是需要事先建立规则集合。
一种改进的通信有限状态机的错误诊断方法贾家涛;曲明成;吴翔虎【期刊名称】《智能计算机与应用》【年(卷),期】2016(006)004【摘要】Currently CFSM has been widely studied, but little work has been done for fault diagnosis of CFSM model. Existing study mainly focuses on output fault and transfer fault. For combining theory and practice, this paper presents a non⁃executable status into the CFSM model and a problem model into the general problem model. Under the assumption of single fault,this paper proposes a series of fault diagnosis algorithm. Based on analysing the output symptoms and making use of the information of the next input/output pair and the transition sequence, the algorithm can diagnose the single fault step by step. At last,an example is given to demonstrate the procedure of the algorithm.%目前对于通信状态机的研究已经很广泛，但对于通信状态机的错误诊断方法的研究不多，已有的问题模型都是输出错误和转换错误。
云计算环境下基于有限状态机的自动测试技术随着云计算的发展和普及，软件系统变得越来越复杂。
为了确保系统的可靠性和高效性，必须对软件系统进行全面的测试。
然而，传统的手动测试方法在面对复杂系统的测试时存在效率低下、错误率高等问题。
因此，自动化测试技术在云计算环境下变得尤为重要。
基于有限状态机的自动测试技术，成为了云计算环境下的一种主流测试技术。
一、有限状态机介绍有限状态机（Finite State Machine，缩写为FSM）是一种以状态为基础的计算模型。
一个状态机由一系列状态和转移函数组成。
在一定条件下，状态机从一个状态转移到另一个状态，并执行相应的操作。
有限状态机被广泛应用于自动控制、编译器、计算机网络、电子电路设计、自动化测试等领域。
二、云计算环境下的自动测试技术云计算环境下的软件系统复杂性增加，传统的手动测试方法无法满足需求。
因此，自动化测试技术成为了必不可少的手段。
自动化测试技术可以提高测试效率，降低测试成本，提高测试质量。
常用的自动化测试技术包括基于脚本的自动化测试、基于模型的自动化测试等。
基于脚本的自动化测试技术是最早的一种自动化测试技术，其主要是借助自动化测试工具生成的脚本来实现测试。
基于模型的自动化测试技术以模型为基础，根据模型自动生成测试用例。
基于模型的自动化测试技术具有测试用例高效生成、测试成本低、测试质量高等优点。
其中基于有限状态机的自动化测试技术，由于其能够表达软件系统的行为和状态变化，被广泛应用于云计算环境下的自动化测试场景。
三、基于有限状态机的自动测试技术原理基于有限状态机的自动测试技术，主要是基于有限状态机模型进行测试用例生成和执行。
在测试用例生成阶段，基于有限状态机模型可以自动生成测试用例。
在测试用例执行阶段，测试代码会依据预定义的状态序列执行测试用例，对系统进行测试。
在测试过程中，由于有限状态机能够自动推断状态转移关系，因此可以快速发现系统的缺陷和错误。
四、有限状态机工具应用有限状态机自动化测试技术需要借助有限状态机工具进行实现。
有限状态机算法引言有限状态机（Finite State Machine，简称FSM）是一种计算模型，它能够根据输入的符号序列在一系列预定义的状态之间进行转换。
有限状态机算法是一种基于有限状态机模型的算法，用于解决各种问题，如语法分析、编译器设计、自动控制等。
本文将对有限状态机算法进行全面、详细、完整且深入的探讨。
有限状态机的基本概念有限状态机由一组状态和状态之间的转移函数组成。
状态表示系统所处的某个特定状态，转移函数定义了状态之间的转换规则。
有限状态机根据输入符号序列和当前状态，通过执行转移函数来改变状态，并产生相应的输出。
有限状态机的分类有限状态机可以分为确定性有限状态机（Deterministic Finite State Machine，简称DFSM）和非确定性有限状态机（Nondeterministic Finite State Machine，简称NFSM）。
DFSM在任何给定时间只能处于一个状态，并且每个输入符号都有唯一的下一个状态。
NFSM在任何给定时间可以处于多个状态，并且每个输入符号可以有多个可能的下一个状态。
有限状态机的表示方法有限状态机可以通过状态转移图或状态转移表来表示。
状态转移图使用节点表示状态，使用边表示状态之间的转移。
状态转移表是一个二维表格，行表示当前状态，列表示输入符号，表格中的元素表示下一个状态。
以下是一个简单的状态转移图示例：+---a---+| |V |(A)---b-->(B)| ^c || |+-------+有限状态机的应用有限状态机算法在许多领域都有广泛的应用。
下面列举了一些常见的应用场景：1. 语法分析在编译器设计中，有限状态机算法用于解析和分析源代码的语法结构。
通过定义一系列的状态和转移规则，可以将输入的源代码转换为语法树或执行代码。
2. 自动控制有限状态机算法在自动控制系统中起着重要的作用。
例如，交通信号灯控制系统可以使用有限状态机来确定不同状态下的信号灯颜色和转换规则。
《信息安全》专辑前言信息技术已在人类的生产生活中发挥至关重要的作用，随之而来的信息安全问题也已成为关系国家安全、经济发展和社会稳定的关键性问题.世界各国政府、学术界及产业界都高度重视信息安全，尤其强调信息安全基础理论和自主关键技术的创新研究.值此之际，《计算机学报》特别推出信息安全专辑，总结信息安全领域的最新热点问题和现状，展现信息安全领域的重要科技成果，开拓信息安全领域的新方向.承蒙国内外从事信息安全研究的科技工作者的厚爱，本次征文共收到稿件516篇，涉及到信息安全的方方面面.这些来稿经过初审、一审、二审和终审等四个环节，最后有56篇稿件脱颖而出，将分两期(即第8、9期)刊登.本次收录的论文涵盖了网络信任、认证授权、攻击检测、网络蠕虫、访问控制、操作系统安全、数据库安全、可生存性、内容过滤、入侵检测、密码学、安全协议和信息隐藏等内容.多篇论文都表现出了很强的创新性，代表了当今信息安全领域的研究热点和国内的研究水平.在网络信任与认证授权方面收录论文9篇.“基于可信计算的移动终端用户认证方案”以智能手机主流处理器OMAP730为基础，基于TPM设计了一种口令、指纹和USIM相结合的用户域认证方案.“基于信任度的授权委托模型”提出了一种适合于开放式环境的授权委托模型——TBAD模型，探讨了TBAD模型的一致性验证算法.“一种基于身份的多信任域认证模型”基于Canetti-Krawczky模型，利用可重用的模块构造了一种基于身份的多信任域认证模型，分析了该模型的安全性.“对等网信任管理模型及安全凭证回收方法的研究”从P2P网络特点出发，给出了P2P环境下基于信任值的信任管理模型，并针对安全凭证的回收问题提出了安全凭证状态信息发布方法和安全凭证认证方法.“COTN：基于契约的信任协商系统”提出了一种新的基于契约的信任协商方法——COTE，既引入契约规范协商过程，又可对相关敏感信息实施保护.“DyTrust：一种P2P系统中基于时间帧的动态信任模型”提出了一种P2P系统中基于时间帧的动态信任模型——DyTrust，使用时间帧标示出经验和推荐的时间特性，通过反馈控制机制动态调节信任评估参数.“XML查询的推理审计”提出了一种对XQuery查询进行审计的审计方法、算法和审计查询图模型，并针对XML文档进行了研究.“显式授权机制及对应的可信安全计算机”给出了信息窃取、破坏型恶意程序的精确定义，证明了基于显式授权机制的计算机能够实时、可靠抵御恶意程序的窃取、破坏攻击，并给出了基于该机制的两种可信计算机系统.“一种基于协议分析的可信信道评估方法”基于通用安全评估标准CC提出了具有一定通用性和重用性的可信信道评估框架和评估方法.在攻击检测与蠕虫方面收录论文7篇.“IPv6网络中蠕虫传播模型及分析”设计了一种可以在IPv6网络中迅速传播的新型网络蠕虫(V6-Worm)，讨论了防御V6-Worm 的策略.“一种可扩展的内部威胁预测模型”提出了一种内部威胁模型，该模型可实时检测授权用户的攻击行为并报告用户的攻击概率.“基于扩展目标规划图的网络攻击规划识别算法”针对网络攻防领域中规划识别问题的特性，对目标规划图进行了扩充，形成了扩展目标规划图(EGG)模型，并研究了基于EGG模型的攻击规划识别算法.“并行网络蠕虫模拟中任务优化划分的研究”提出了并行网络蠕虫模拟任务的优化划分方法，将并行蠕虫模拟运行时间估计模型作为目标函数，采用改进的模拟退火算法对模拟任务进行划分.“面向网络系统的脆弱性利用成本估算模型”提出了一种面向网络系统的脆弱性利用成本估算模型，研究和验证了基于该模型的相关计算方法.“基于CTPN的复合攻击检测方法研究”提出了基于攻击意图的复合攻击检测和预测方法，提出了利用CTPN对复合攻击进行检测的算法.“一种轻量级的拒绝服务攻击检测方法”提出了一种部署在攻击源端、使用少量存储空间和计算资源的轻量级检测方法.在访问控制方面收录论文4篇.“基于量化角色的可控委托模型”提出了量化角色的概念，实现了一种细粒度的委托约束机制，给出了一个形式化的基于量化角色的可控委托模型QBCDM.“一种灵活的使用控制授权语言框架研究”提出了单限制变元Datalog,SC的概念，给出了在单限制变元条件下的可评价限制域和基于单限制变元的分层〖JP〗Active-U-Datalog,SC语义的LUC授权语言框架.“混合RBAC-DTE策略的多角色管理”提出了一种角色划分粒度比域划分粒度粗的划分角色和域的方法，并引入了域的静态继承关系.“基于周期时间限制的自主访问控制委托模型”给出了一个支持临时性限制、时序依赖性限制和传播性限制的权限委托模型PDACDM，描述了如何在基于周期时间限制的自主访问控制模型上实施细粒度的权限委托.在操作系统与数据库安全方面收录论文5篇.“核心化多级安全数据库系统未决提交事务日志写出依赖研究”引入了一个可信的日志协调实体维护全局的未决提交事务间的依赖关系，给出了方案的实现算法，证明了算法的正确性.“概率信息流安全属性分析”对概率信息系统中的安全属性进行了分析，提出了各种安全属性的不同特征描述，并讨论了各种安全属性之间的关系.“基于信息流的多安全策略操作系统构架研究”提出了一个基于信息流的多安全策略操作系统架构，该架构在GFAC〖JP2〗架构上采用多策略管理器实现多策略机制.“一种基于有限状态机的隐含信息流分析方法”提出了一种基于状态转移的隐含信息流判定方法.“对一类多级安全模型安全性的形式化分析”给出了MLS策略在包含多级客体的系统中的表述形式，分析了安全不变式在系统安全定义中的作用，借助Z语言和形式验证工具Z/EVES分析了一个改进的BLP模型——DBLP模型.在可生存性与过滤方面收录论文4篇.“基于SPN模型的可生存性DBMS中恶意事务修改算法的研究”将Petri网模型应用到恶意事务恢复算法中，并根据可生存性DBMS特征提出了恶意事务静态和on-the-fly修复算法.“基于分布式数据的隐私保持协同过滤推荐研究”将安全多方计算理论应用于数据分布式存储隐私保持的协同过滤推荐，设计和分析了相应的算法.“一种基于自动机分解的网络协议处理策略”通过模拟实验分析了协议处理对于CPU资源尤其是一、二级Cache的使用情况，提出了一种基于有限自动机分解的协议并行处理策略.“入侵容忍系统的安全属性分析”提出了一个优化的系统状态转移模型，用以描述具有自我演化能力的入侵容忍系统的动态行为.在入侵检测方面收录论文7篇.“基于免疫的网络监控模型”给出了一种基于免疫的网络监控模型，提出了一种基于免疫的动态取证技术.“入侵检测在线规划生成模型”提出了一种异常入侵检测的在线规划生成算法，实现了针对当前正在发生的攻击生成相应的规则的在线规划生成.“基于多序列联配的攻击特征自动提取技术研究”借鉴生物信息学中的序列分析方法，提出了一种基于多序列联配的攻击特征自动提取方法.“选择传递攻击中的异常丢包检测”提出了一种基于检查点的多跳确认方案来检测选择传递攻击所导致的异常丢包.“基于动态行为和特征模式的异常检测模型”提出了一种将动态行为和全局特征结合起来的异常入侵检测模型.“TCP流的宏观平衡性”定义了TCP 流宏观平衡性的相关测度，建立了测量误差的模型，导出了它们的实际测量模型和判断正常与异常的临界点.“基于可执行文件静态分析的入侵检测模型”提出了一种基于可执行文件静态分析的入侵检测模型，该模型通过对应用程序可执行文件静态分析，建立应用程序所有可能执行的定长系统调用集合，通过实时监控进程执行的系统调用序列是否在该集合中实施检测.在密码学基础、密码算法和密钥管理方面收录论文6篇.“一类具有最高代数免疫阶的布尔函数”给出了代数免疫阶最高的一类密码函数的构造方法.“PKI中的可验证部分密钥托管”提出了一种适用于PKI系统的部分密钥托管方案.“周期为2n的二元序列k错2adic复杂度算法”提出了一个求周期为2n的二元序列的k错2-adic复杂度的算法.“SMS4密码算法的差分故障攻击”给出了一种对用于WAPI的SMS4算法的面向字节的差分故障攻击，理论上只需要32个错误密文就可以完全恢复出SMS4的128比特密钥.“Universal Inverting Algorithms for Bounded One-Way Functions”研究了有界单向函数的强度.“基于区域的无线传感器网络密钥管理”在随机密钥分配方案的基础上，提出了一种利用部属和位置信息的密钥预分配方案.在数字签名方面收录论文5篇.“一个基于强RSA数字签名方案的改进”改进了Zhu 数字签名方案，新方案的计算量只是原方案的1/2，并在一定的假设下证明了新方案的安全性.“基于身份的具有消息恢复功能的签名方案”给出了一种基于身份的具有消息恢复功能的签名方案，其安全性是基于计算DH问题(CDHP)假设.“Formal model of proxy multi-signature and a construction”给出了代理多重签名的形式模型并构造了一个代理多重签名方案.“标准模型下可证安全的门限签名方案”利用Waters签名方案提出了一个标准模型下可证安全的(t，n)门限签名方案.“一个高效的基于身份的签密方案”利用双线性对提出了一个基于身份的签密方案，并在随机预言模型中给出了安全性证明.在安全协议方面收录论文6篇.“一种Ad Hoc网络中安全的网格路由协议”在网格定位服务的基础上，提出了一种基于位置的安全网格路由协议.“实例化空间：一种新的安全协议验证逻辑的语义模型”给出了安全协议验证逻辑的一个很自然的语义模型：实例化空间.“安全协议的扩展Horn逻辑模型及其验证方法”分析了基于Horn逻辑的安全协议模型及其验证方法的不足，提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法.“A new chosen ciphertext secure ID-based threshold decryption scheme from paring”提出了一个基于身份的门限解密方案，该方案可抵抗适应性选择密文攻击.“基于身份的可验证加密签名协议的安全性分析”指出Gu和Zhu最近提出的基于身份的可验证的加密签名协议不能满足可验证性和可恢复性，而且易遭合谋攻击.“基于Authentication Test 方法的高效安全的IKE形式化设计研究”提出了一种具体的形式化协议设计方法，并设计了一个安全IKE协议.在信息隐藏方面收录论文3篇.“基于Hilbert-Huang变换的JPEG2000隐写分析”提出了一种基于HHT和序列分析的隐写检测算法，实现了针对由Su等人提出的JPEG2000 Lazy-mode隐写术的检测分析.“A Novel Robust Audio Watermarking Scheme Based on Nonuniform Discrete Fourier Transform”〖JP2〗提出了一个基于非均匀DFT的鲁棒音频水印方案.“网络环境下数字图像版权保护安全协议的设计与分析”给出了一个基于数字水印技术的数字图像版权保护安全协议.本专辑的出版得到了投稿者、审稿者和编辑部等各方的大力支持，在此表示由衷的感谢.由于稿件数量大，时间紧，录用稿件数量有限，选稿过程中难免有遗珠之憾，敬请各位作者谅解.我们衷心希望本专辑的出版能够为广大读者提供有益的参考，如有不妥之处，欢迎广大读者批评指正.。
