一种基于时间容错的同步机制分析

表决逻辑结构在多通道余度系统的研究和应用中起着核心作用,针对该问题,设计了一个具有动态同步表决控制的逻辑结构,该逻辑结构用来控制表决时间并监测表决数据。理论分析和实验表明,该表决算法在最大限度保证表决正确性的前提下,其表决控制逻辑结构还可以大幅度地提高多通道系统的可靠性。     

基于故障树的无线传感器网络可靠度符号计算

以无线传感器网络（WSN ）中应用通信可靠性（ACR）为背景,利用故障树模型中的事件元素与逻辑门元素,建立基于故障树的WSN可靠性结构。为降低WSN可靠度计算的复杂性,给出从WSN可靠性结构转换到二元决策图BDD结构的算法,利用BDD算法优化计算过程。以分层簇型网络中可用路径以及节点冗余下的应用通信可靠性问题为例,给出其可靠性结构,利用CUDD软件包给出用递归方法实现构建基于故障树的WSN可靠性结构的BDD算法,计算以上两种情况下的WSN可靠度。实验结果表明,该方法具有可行性。     

基于模糊RED算法的IP拥塞控制机制

TCP／IP拥塞控制不能有效地支持Internet多媒体业务，模糊逻辑提供了解决复杂性、动态性和健壮性问题的一种非解析方法，文章基于模糊RED算法和区分服务提出了新的IP拥塞控制机制。与丢尾算法和普通RED算法相比，在保证QoS的同时，该算法不仅改善了TCP的吞吐量，而且使流量抖动较平缓，并克服了区分服务对连接公平性差的缺点。     

软件测试技术分析与探究

随着社会进步和科学技术的不断发展,软件作为一个逻辑产品被越来越广泛地使用在国民经济和社会生活的各个层面,但由于其复杂性和不确定性,使得软件在运行时总会出现一些不可避免的错误,对人们的生产和生活带来一定的影响。软件测试是保证软件质量、降低软件成本的一个非常有效的手段,通过测试来发现和解决软件中存在的缺陷和错误,提高软件的稳定性和可靠性。     

基于FPGA的多功能数据采集卡控制器的实现

针对数据采集卡控制器的控制要求的复杂性问题,给出了基于EPGA器件实现采集卡控制器的方法。介绍了多功能采集卡的功能和结构,分析了采集卡对控制时序的要求, 指明了潜在的总线冲突。给出控制器逻辑框图及各个功能模块的实现方法,说明了用时分复用的方法解决总线冲突的办法。通过逻辑仿真软件和硬件测试,验证了逻辑实现的可行性。采用FPGA实现采集卡的控制器.提高了集成度,增加了工作的可靠性,很好地配合了其他器件的时序要求,实现了采集卡的各项功能。     

分布式工业测控网DMCN中多主站组成的逻辑环维护算法

分布式工业控制网中采用多主站组成的令牌总线逻辑环，当逻辑环被破坏时，就执行逻辑维护算法。算法效率直接影响整个网络的效率，也是影响网络实量性的主要因素。本文针对这种类型的网络，提出了一种新的算法，采用“下站地址捎带”，从而降低整个网络逻辑环维护复杂性，使维护逻辑环时间得以减少，使网络的实时性得以保证。     

移动界程模型检测

首次将嵌套谓词等式系应用到带递归的谓词界程逻辑模型检测中,提出了第1个时间复杂性与逻辑公式的交错嵌套深度呈指数关系的局部模型检测算法,这也是目前已知的第2个带递归的谓词界程逻辑模型检测算法.所做的工作有:①讨论了谓词界程逻辑公式与嵌套谓词等式系间语义的等价性,给出了谓词界程逻辑公式转换成嵌套谓词等式系的方法;②讨论了谓词界程逻辑模型检测问题,给出了具体算法,并分析了算法的复杂性.     

基于扩展模糊描述逻辑的软件数值模型

表示复杂的数值关系是软件建模的难点:直接表示复杂的数值关系会导致极高的软件模型推理复杂性。提 出采用模糊函数近似表示复杂数值关系,然后将扩展模糊描述逻辑作为软件模型形式化基础的软件模型建模框架,该 框架包含3个核心问题:软件数值域模糊化、软件数值知识库构造和软件数值模型推理。在软件数值域模糊化方面提 出模糊化方法和保证充分性的近似原则;在软件数值知识库构造方面讨论在模糊概念的基础上生成截集概念、构造声 明和术语公理的步骤和过程;在软件数值模型推理方面研究算法设计优化和分割等算法实现机制。     

面向对象分布式软件可靠性评估模型研究

针对面向对象的分布式大型软件的可靠性评估提供了一种较为可行的模型和方法,分析了面向对象分布式软件的复杂性度量因素对可靠性的影响、软件过程能力对于可靠性的影响.提出了使用支持向量回归分析方法解决现代软件可靠性评估问题,并利用Matlab和SVM工具箱对算法进行了具体实现,说明了该方法的可行性.     

实时并发系统的PTSL模型检测

随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且还需要大量的数值计算。本文把实时并发模型看成对并发博弈模型（CGS）的扩展,在此基础上添加了概率与时间性质,提出了概率时间并发博弈结构（PTCGS）。同时本文还提出了新的逻辑语言-概率时间策略逻辑（PTSL）,它显式地把策略作为一阶逻辑中的对象,从而使我们能够以简单而自然的方式指定PTCGS系统中的非零和属性。PTSL模型检测方法能够让设计者准确知道模型是否满足用户的需求,从而提高系统的可靠性。最后,本文以ZeroConf协议为例来说明PTSL模型检测方法的正确性。     

FT1500A主板上电时序控制的设计与实现

研究了一种基于国产处理器FT1500A的主板的上电时序控制方法。硬件部分采用Altera可编程逻辑控制器EPM240作为控制单元,采用电源模块LTM4627实现电源的使能控制与稳定检测;软件部分在Quartus平台上使用VHDL语言,利用统计可编程逻辑控制器的时钟脉冲的方式实现了延时控制,利用控制器内部的逻辑单元实现了电源模块的使能控制。最后利用示波器的单次触发功能验证了设计的正确性和可靠性。     

含传递角色和存在限制描述逻辑系统的匹配推理

分析了描述逻辑非标准推理的重要性和匹配推理的研究现状以及存在的问题。针对匹配推理在处理带传递属性角色符号的不足,研究含传递角色符号和存在量词描述逻辑系统EL+中的匹配推理。通过引入前向边给出EL+中概念的描述图和描述树,基于描述图和描述树给出EL+中两类匹配问题的匹配算法。说明算法的可靠性,并分析算法的复杂性。     

工序流引擎的设计及其在航空制造企业MES中的应用

航空制造企业车间生产管理本身的复杂性和多变性,决定了开发与实施MES时,须解决数据量大、业务流程多样化、用户差异性显著以及二次开发量大等问题.目前MES大都强调了生产现场的即时数据采集、监督及控制,但在进行系统开发时,程序控制逻辑和业务流程绑定过于紧密,这导致了系统不够灵活,难以及时响应需求变更,这一问题在大量涉及工序流转逻辑控制的计划执行主线部分尤为明显.     

基于因果图的软件测试工具的研究与设计

随着软件社会影响的不断发展,提高其可靠性就愈加显得重要,程序测试是保证软件可靠性方法之一.在程序测试中,因果图法是其中一种重要方法,但是由因果图到判定表的转换是最困难的.本文针对这一问题提出了一种转换方法,并用C语言编程实现. 该算法首先从软件功能说明书出发,用人工编制出因果图,再依据因果图将原因和结果、原因和原因之间的关系用逻辑表达式描述,根据此描述由计算机自动生成无遗漏及重复的测试数据条件.     

无线传感器网络的可靠性计算*

主要研究无线传感器网络的传输可靠性计算问题。针对传感器网络的特性,对无线传感器的节点和链路都有失败概率的情况,提出一种计算网络传输可靠性的分解算法,分析了算法的计算复杂性,并通过算例演示了算法的可行性。     

软件可靠性估计与计算复杂性的关系浅析

软件可靠性估计是软件可靠性研究的重要问题之一.提出一种根据软件随机测试的结果进行软件可靠性估计的方法.它使被测软件的复杂性成为估计公式中的一个因素,从而克服了现有同类方法把软件看作是黑箱的缺点.它以软件的邻域集合的伪维数作为软件复杂性度量,从而使根据软件的可能错误空间进行可靠性估计成为可能.还证明了算法的计算复杂性与软件所可能计算的函数集合的伪维数之间存在着一定的联系.     

基于人工电场优化的软件定义物联网路由算法

软件定义异构物联网难以保证数据传输的可靠性,提出一种基于人工电场优化算法的软件定义物联网路由算法.将软件定义网络技术与物联网结合,建立软件定义物联网的数据传输模型,利用滞环曲线分析路由中继节点的可靠性,选择高可靠性节点作为路由中继节点.设计离散人工电场优化算法选择最佳的路由,实现高效、高可靠性的数据聚合处理.仿真结果表明,该算法在保证可靠性的情况下,有效提高了网络的吞吐量.     

SDN控制器部署中的可靠性优化研究

软件定义网络(SDN)将传统网络结构中的控制层和转发层解耦,其将所有转发设备与一个逻辑集中的控制器相连接。为避免网络规模不断扩大引起的单点失效,向分布式控制结构发展成为Open Flow广域网部署的趋势,其中控制层多控制器的部署问题是SDN设计中的一个关键环节。提出基于控制路径连通度的控制器部署方案来最大化SDN控制器部署的可靠性,并使用3种不同的算法对比控制器部署性能。仿真结果表明,该方案可以在可接受时延范围内提升部署SDN控制器的可靠性。     

基于McCabe的软件复杂性度量与控制策略

软件复杂性度量与控制是软件开发面临的主要问题。本文通过对软件复杂性的定量分析,提出了软件复杂性的控制策略,该策略对开发高质量、高可靠性与高可维护性软件有一定的指导作用。     

消防机器人行走控制系统的设计与实现

近年来火灾事故频发,消防人员的安全问题无法保证,“机器换人”这一理念是处置火灾救援的一个重要手段和发展趋势,消防机器人的研发在有效救援的基础上能保护消防人员的安全;针对火灾现场的环境复杂性,设计了消防机器人的行走控制方案,通过设计电机驱动系统的硬件电路与针对行走控制系统进行MATLAB模拟仿真,实现并优化了消防机器人的越障及转弯功能;主要对电机驱动部分及整个系统软件流程进行设计;通过测试,验证了行走控制方案的可靠性。