基于时序逻辑的测试系统的设计与实现

为对某系统工作状态中的重要性能参数进行全程监测和定量分析,并满足在高冲击等特殊环境下使用的要求,提出了一种基于FPGA以及Flash介质的测试存储系统设计方案。详细阐述了硬件系统各组成模块的电路及其工作原理,给出了系统内部数字电路的时序逻辑,介绍了采集中的编码方法和提高存储速度的方法。在实际工作过程中,测试系统达到了准确、可靠的记录技术要求,记录下的数据为器件的工作状态分析提供了详实的依据。     

同步接口电路时序检测实用方法

根据我国航天测控通信网中设备现状,针对同步数据传输中存在的因接口设计不规范、不匹配而引发的异常现象,从实际需要出发,通过国内外多个相关标准的综合分析研究,确定了与标准相适应的时序关系判断依据,结合以往工程经验,提出了简便实用的检测方法和时序关系异常判定原则,制定了切实可行的解决措施。应用方法解决了多个数据传输异常问题,并在后续设备联试和接口排查中得到推广应用和检验,取得良好效果。     

基于行为时序逻辑的安全协议研究

随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势.在网络的应用和服务中,信息安全是至关重要的环节.而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中.这样,高效准确的安全协议的研究是必不可少的.本文主要采用基于行为时序逻辑TLA的HLPSL语言形式化分析与检测Geopriv协议.     

基于FPGA硬件设备数据传输接口的故障检测技术

针对用户对设备全周期综合保障需求,介绍一种基于FPGA硬件设备数据传输接口故障检测技术的设计流程和实现方式,该技术设计合理,使用方便且可靠性高,便于在硬件平台中推广应用,对于提升设备稳定性、可靠性具有重要意义。     

市话电缆电性能测试接口设备的设计

介绍了通过接口设备对市话电缆进行电测试的方法，提供了接口设备的原理图，指出了设计和制作过程中应当注意的要点，叙述了５项电性能测试的操作方法和计算公式。     

乌托邦接口的时序分析与设计实现

介绍乌托邦接口(UTOPIA)在无源光接入网ATM—PON系统中的作用和乌托邦接口分类的同时．重点分析了第一级乌托邦接口(UTOPIA LEVEL1)的功能和时序关系，阐述了该接口的具体实现方法，并给出了乌托邦接口实现的测试结果．     

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

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

乌托邦接口的时序分析与设计实现

介绍乌托邦接口(UTOPIA)在无源光接入网ATM—PON系统中的作用和乌托邦接口分类的同时。重点分析了第一级乌托邦接口(UTOPIA LEVEL1)的功能和时序关系,阐述了该接口的具体实现方法,并给出了乌托邦接口实现的测试结果.     

逻辑控制盒式磁带录音机机芯的时序设计

本文论述是一种高档录音机芯的逻辑控制方法－时序控制，以获得正确的正向、反向放音，快进、快倒、停止功能。文中附有详细工作原理图。     

通信电源设备抗震性能实验与检测

本介绍了通信电源设备抗震性能实验和抗震检测简况。     

具有模糊时态的广义可能性线性时序逻辑的模型检测

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL（Generalized Possibilistic Fuzzy Linear Tempora Logic）的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPoLTL（Generalized Possibilistic Linear Tempora Logic）进行了扩张,并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.     

一种基于区间时序逻辑模型检测的入侵检测算法

Model checking based on linear temporal logic reduces the false negative rate of misuse detection. However, linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks. So there is still a high rate of false negatives in detecting these complex attack patterns. To solve this problem, we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks. On this basis, we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic. Compared with the method based on model checking linear temporal logic, the new algorithm can find unknown succinct attacks. The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.     

概率时态认知逻辑模型检测中三值抽象技术的研究

 为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认知逻辑的满足性保持关系;提出概率时态认知逻辑模型检测算法;依据初始模型检测的结果,给出利用最小证据和最小反例引导的抽象系统的求精过程.最后通过Dining Cryptographer协议说明了抽象技术的应用,及其在约简系统状态空间方面的效果.     

接入网远端设备的供电

接入网远端设备供电是我们面临的一个迫切需要解决的问题。本分析了几共电方案及其适用条件，并提出了在我国的实施策略。     

基于RFID的供电企业安全工器具管理系统的设计

随着电力企业管辖安全工器具日益增多,安全工器具的有效管理是保障各类作业人员及施工安全的重要手段。RFID(Radio Frequency Identification)射频识别是一种非接触式的自动识别技术,识别工作无须人工干预,可识别高速运动物体并可同时识别多个标签,操作快捷方便。针对当前安全工器具管理存在的问题,设计了基于RFID的安全工器具管理系统。系统采用先进的RFID技术,采用B/S方式,实现对电力安全工器具库的智能管理,达到了节约人力成本,提高工作效率和工作精确度的目的。     

概率实时时态认知逻辑模型检测中抽象技术的研究

概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于PTACTLK中的实时部分PTACTL,采用抽象离散时钟赋值,把概率实时解释系统的无限状态空间转化成有限形式;对于PTACTLK中的认知算子K,给出了抽象状态关于智体认知等价的定义.定义了概率实时解释系统的抽象模型,给出了抽象模型上概率实时时态认知逻辑的语义,并证明了由抽象技术演绎得到的抽象模型是原始模型的上近似.最后通过一个通信协议来说明抽象技术的有效性.     

智能开关电源通信协议的测试方法

智能开关电源通过通信接口可方便的纳入电源监控系统，而目前却没有开关电源通信协议具体的测试方法。文中结合YD／Tll04-2001所规定的通信协议，提出开关电源的测试内容及方法，进行探讨。     

基于LM5175的Buck-Boost车用开关电源设计

针对一款应用于新能源汽车的电机驱动控制器,设计了一种基于TI公司的电源芯片LM5175的4开关Buck-Boost开关电源。根据车载情况对电源的要求确定输入输出电压范围、电流范围、开关频率,进而选择合理的输入输出电容、电感、MOSFET等元器件,完成了电源芯片外围电路的搭建。绘制开关电源系统的伯德图对开关电源的工作稳定性进行分析,优化开关频率等参数。通过相同负载不同输入电压和相同输入电压不同负载的两组实验验证,开关电源可稳定输出目标电压以及开关电源效率。     

关于通信开关电源设备的应急处理预备方案

为了应对突发事件,针对各种原因导致的电源设备故障,文章结合实际维护和案例处理的经验,总结出应急处理的一些措施。按此处理,可以确保设备的正常运行。