一种基于确定型有穷自动机的动物识别系统的设计方法

提出了一种新的动物识别系统的设计方法.通过对有穷自动机理论与动物识别系统进行分析,建立了一个基于动物特征的确定型有穷自动机的模型.该模型描述了当输入一个动物特征值后,自动机的状态将发生转移,当输入的动物特征值充足时,即可识别出动物的种类.最后,根据这种模型设计出了动物识别系统,并上机进行了实现.     

以DNA为载体的线性时序逻辑模型检测

线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测.     

基于有限自动机的CMMB解复用差错处理方法

通过对中国移动多媒体广播(CMMB)系统终端解复用的分析,提出终端解复用过程中遇到差错码流的一种处理方法.该方法中,运用有限自动机原理,对终端可能接收到的错误码流进行分类,归纳出各种错误码流的状态.提出各种状态之间的转换条件,设计了有限自动机.用C代码实现后,该有限自动机能很好地处理终端可能接收的错误码流,而且能降低系统对差错处理实现的复杂度,系统升级非常方便.     

采用形式语言及自动机技术描述ISDN用户／网络信令

本文采用形式语言与自动机相结合的形式描述方法对ISDN用户/网络接口信令(Q.931)进行形式描述与分析,并找出了一种化简方法得到了协议的形式模型。结果表明:该方法较之SDL图更为简练、直观可直接指导实践。     

动态异构冗余结构的拟态防御自动机模型

动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状态自动机为单个执行体建模;其次,使用有穷状态自动机的并行组合为执行体组合建模;再次,修改状态迁移规则,得到可描述攻防行为的拟态防御自动机模型;最后,根据该自动机模型的状态条件,分析动态异构冗余结构上拟态攻防行为的安全性.此外,也可使用交替自动机为拟态攻防建模,并把安全性自动分析规约为交替自动机模型检测问题.     

使用状态自动机的通信协议软件设计和实现方法

根据状态自动机模型得到的通信协议状态/事件表构成了协议的描述框架,并依据实现环境对其进行精细化后成为协议的实现框架,以便运用软件技术提供的方法和手段加以具体实现。该方法直观、完备,给协议软件调试和测试带来方便。     

数字系统的有限自动机ASM图设计

设计数字系统的过程一般可分为:系统功能定义、算法描述、硬件综合、性能估价和测试。算法描述是设计系统时较为困难的任务,硬件综合则与实现系统结构的器件有关。采用有限自动机ASM图(algorithmic state machine chart)的设计方法,是以一种类似于程序流程图的形式来描述系统的功能,借用顺序、判断、循环等结构,自上而下地进行设计,能明确地表达算法,使之易读和便于验证。用ASM图描述的算法,能在不同的级别上转换为相应的硬件结构,或微处理器系统中的软件程序。我们用此法设计     

一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

时间自动机两种模型的构造互模拟研究

基于时间自动机不同模型的验证被工业界广泛应用，本文形式描述了两种这样的模型，给出了从事件时钟自动机到双向时间自动机的构造方法，证明了二者识别语言之间的包含关系。     

状态差计数法及其置信度的估计

本文提出了一种新的压缩电路输出信息的方法－状态差计数法，估计了该法的测试置信度，分析了置信度标准的一些性质，用有限状态自动机建立了测试过程的模型，用马尔科夫链描述了自动机状态间的相互转换，求出了测试置信度与测试序列长度间的相互关系，实验表明，分析数据与模拟结果是吻合的。     

扁平电缆装配工艺设计技术与应用

针对电子学系统小型化、高可靠性要求,采用扁平电缆传输高压脉冲大电流.介绍了扁平电缆和DG型插头的装配工艺、控制点.为了提高效率,保证扁平电缆剪形的一致性,设计了扁平电缆剪形模具,提出了设计要点.采用镀金扁平电缆,进行了工艺试验,结果满足要求,并通过生产的实际验证.工艺稳定性较好,产品合格率较高.     

功率VDMOS器件的SEB致SEGR效应研究

功率VDMOS器件是航天器电源系统配套的核心元器件之一,在重粒子辐射下会发生单粒子烧毁(SEB)和单粒子栅穿(SEGR)效应,严重影响航天器的在轨安全运行。本文在深入分析其单粒子损伤机制及微观过程的基础上,发现了功率VDMOS器件在重粒子辐射下存在SEBIGR效应,并在TCAD软件和¹⁸¹Ta粒子辐射试验中进行了验证。引起该效应的物理机制是,重粒子触发寄生三极管,产生瞬时大电流,使得硅晶格温度升高,高温引起栅介质层本征击穿电压降低,继而触发SEGR效应。SEBIGR效应的发现为深入分析功率MOSFET器件的单粒子辐射效应奠定了理论基础。     

一种分布式异步事件处理框架的研究与实现

文章研究和实现了一种分布式的异步事件处理框架(Distributed Asynchronous Event Handling Framework,DAEHF).应用开发人员可以基于DAEHF开发异步事件驱动运行的应用程序,DAEHF高效、灵活地为应用开发人员解决了应用程序网络通信的问题,同时还具备通用、易用、任务自动部署等特点,非常适合应用开发人员开发大型分布武应用系统.本文在设计和实现DAEHF的过程中研究使用了设计复用、线程池、异步事件处理、任务自动部署等关键技术.DAEHF已经在中国科学院科学数据库系统平台软件的数据访问中间件中得到初步的应用.     

上下文无关文法与无限状态自动机

目前，在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机，在研究正则语言时常用的形式系统是正则文法和有限状态自动机。正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显，因此，两种系统之间的转换比较容易，并且在这两种系统中观察语言时，可以得到一致的解释。     

基于递阶过程模式复用的软件项目过程控制

通过对过程模式的复用能够保证软件开发过程的规范性.由于各个项目都是独特的,因此不存在一个统一的过程模式适合于所有的项目.本文提出了递阶过程模式动态复用的思想.为了便于重用,过程模式的描述信息建立在本体基础上,并采用了基于事件的软件过程建模方法.文中讨论了过程复合方法和基于软件结构实现递阶过程模式动态复用的技术,并介绍了实现该技术的系统结构.     

Making software engineering happen in a telecommunications R&Dorganization

The implementation of a product development process in a new R&D telecommunications organization that supports software quality and productivity is described. The significance of an unconventional perspective and actions based on this perspective are discussed. The focus is on concerns, issues, and strategies for establishing a sound framework for integrated hardware/software systems of high quality     

A GSMP formalism for discrete event systems

A precise mathematical framework for the study of discrete event systems is described. The idea is to define a particular type of stochastic process, called a generalized semi-Markov process (GSMP), which captures the essential dynamical structure of a discrete event system. An attempt is also made to give the flavor of the qualitative theory and numerical algorithms that can be obtained as a result of viewing discrete event systems as GSMPs. Likelihood ratio concepts for importance sampling are briefly described     

群聊业务中的跨消息关键词匹配技术研究

近年来,以群聊为媒介的不良信息和诈骗信息传播变得愈发猖獗.相比于点对点通信,群聊具有多人高交互性的特点,一些不良信息需要通过结合多条消息才能识别,需要研究跨多条消息的关键词匹配技术.本文重点对跨消息关键词匹配流程中的消息缓存和关键词匹配两个步骤进行了深入研究,并给出了高效的实现方案.该方案对群聊业务监控策略的设计和实现...     

PPCBoot在MPC8250上的移植方法

The Bootloader(引导加载程序)是嵌入式系统CPU加电后即开始运行的第一段代码,它把Linux内核与硬件平台衔接在一起,对于嵌入式系统的后续软件开发十分重要.PPCBoot是功能十分强大的Bootloader.深入研究了PPCBoot的工作机理,详细分析了PPCBoot在基于MPC8250型处理器的嵌入式系统板上的移植方法、过程与移植要点.     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.