作者:寇鹏飞; 张弩天; 张义福; 常亮 期刊:《科学与信息化》 2019年第13期
本文对某型前轮转弯控制盒在使用过程中出现的时序逻辑错误进行了分析,并给出了解决措施。
作者:闫靖晨; 程京德 期刊:《信息安全研究》 2017年第07期
随着信息系统在社会生活中越来越重要,越来越必不可缺,人们对信息系统的安全性需求也不断地增加.不允许出现安全性漏洞的非常重要的信息系统,其安全性规格必须要使用形式化方法来描述且验证才是可靠的.介绍了在世界上首先提出的基于国际通用标准CC(ISO/IEC15408)的安全性规格描述及验证方法.把国际通用标准CC中定义的功能元素作为信息安全性评价标准,用形式化规格描述语言Z和时序逻辑来进行形式化描述.另一方面,用UML把保护轮廓P...
作者:朱学清; 韩素云; 周建红; 陶冶; 刘付河; 李荣桂 期刊:《石油管材与仪器》 2004年第06期
文章就变密度仪在野外使用中,井场电源频率对测井信号的影响,通过三种典型情况,从理论上进行了分析,阐明了时序逻辑信号发生异常的原因,并对时序逻辑控制电路进行改进,改进后的电路在室内模拟检测和野外测井都证明采取的措施是有效的.
作者:李书浩; 王戟; 齐治昌; 董威 期刊:《电子学报》 2005年第05期
尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表...
作者:张智辉; 田地; 杨义先 期刊:《电子设计应用》 2004年第01期
本文介绍了线阵CCD的时序逻辑,分析了时序发生器的组成原理及工作过程;并详细论述了基于ispLSI1016、利用Synario对CCD时序发生器进行的设计、编译,且进行了功能仿真.
作者:邵刚; 杜立; 陈哲 期刊:《电子设计工程》 2019年第17期
模型检测技术因其自动化程度高和简洁明了的特点在软件测试的发展中占据重要地位。本文以某型对抗靶标为例,通过一种模型检测技术的检测逻辑、逻辑语义和检测算法,对该系统的相关特性进行研究。通过这种方法,我们可以对系统的可靠性和正确性进行有效评估,提升了测试效率,为测试工作的进一步优化奠定了良好的基础。
作者:谢洁锐; 刘才兴; 肖德琴; 黄忠民 期刊:《计算机应用研究》 2004年第11期
形式化方法由于其简练、无二义性,在协议工程中有着重要的地位.首先对下一代超文本传输协议(HTTP- NG)作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTP- NG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便.
作者:吴建文; 程念平 期刊:《单片机与嵌入式系统应用》 2005年第04期
产生整个系统的时序逻辑,包括CCD时序信号发生、模拟开关切换信号、A/D转换控制信号、数据存储读介绍CCD驱动信号的VHDL语言设计方法.应用CPLD构建CCD采集系统的核心,由1片EPM7128S写控制信号.
作者:李堃; 张雪松 期刊:《计算机工程》 2018年第12期
无线调车机车信号和监控系统(STP)是基于无线数传电台,实现车载和地面设备之间双向信息传输的实时信号监控和安全防护系统。为保证系统中车-地之间交互信息的实时性、可靠性与完整性,依据欧标EN50159,在现有ETCS安全通信协议EuroRadio的基础上,通过增加安全连接超时重发、双序号时间戳和故障导向安全机制,设计一套适用于STP系统的安全通信协议,并利用分层着色Petri网和ASK-CTL时序逻辑验证语言对其进行建模和形式化验证。分析结果...
作者:张广泉; 黄正宝; 戎玫 期刊:《计算机工程与应用》 2005年第23期
网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后。指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
作者:白山; 程成 期刊:《计算机研究与发展》 2004年第01期
人机交互是虚拟装配的本质特性和技术瓶颈,能反映交互过程的装配体模型构造,是虚拟装配领域的一个关键问题.给出一种时序的装配体模型,对时序的聚合关系、时序的约束关系以及时序的行为结构给出定义和分析.为实现该模型,还给出了零件的中间模型和对象复杂行为构造,同时对虚拟装配直接操作的交互过程、交互模式及装配工艺知识给出了时序的形式描述,这是连接人机交互与装配体模型以及模型与工艺生成的桥梁.一致的表示模型减少了交互...
作者:刘才兴; 肖德琴; 张焕国; 邹华胜 期刊:《小型微型计算机系统》 2004年第05期
在多种形式化描述语言和时序逻辑原理的研究之上;针对通讯协议的特点提出一个协议模型思想,并设计了实现此模型协议描述语言.本方法的特点是:基于时序逻辑;引入了面向对象的概念,对事件有强的描述能力,让描述更接近于现实;扩展了对事件的描述,能描述事件的随机发生,我们已将之成功地应用于对超文本协议的描述.
作者:胡胜海; 徐鹏; 许伟科; 何蕾 期刊:《南京理工大学学报》 2011年第02期
为了提高某大口径舰炮供弹平台的供弹率,减少更换弹种时间,采用并行时序设计方法和MATLAB/Stateflow建模软件对大口径舰炮供弹平台的控制时序进行理论分析与建模仿真,并进行了模型样机的试验研究。仿真和试验结果表明:利用该方法设计大口径舰炮供弹平台的控制系统软件是可行的,该软件能较大地提高系统的供弹率,实现快速更换弹种,满足系统要求的各项指标。同时该方法可广泛应用于复杂机械系统的控制时序软件设计。
作者:赵逸群; 戴冠帮; 陈玉钰 期刊:《飞机设计》 2017年第02期
在对动态系统进行安全性分析时,为避免所生成的Markov链出现组合爆炸问题,考虑系统各组件失效事件发生的时序状态,引入三种Pandora时序逻辑门来描述时序信息,其重要目的就是剔除冗余的Markov链,在保证正确进行可靠性分析的基础上,形成紧缩的Markov模型。
作者:高迎平; 李洋; 田楷 期刊:《计算机与数字工程》 2016年第12期
关于基于有序二元决策图的定性分析方法,首先引入时序逻辑,将动态门转换成时序逻辑表达式,然后将动态故障树转换成相应的有序二元决策图结构。动态故障树转换方法面临底部事件排序、冗余结构等问题,影响了定性分析的效果,为此,提出了基于成分组合法的逆向转换法,该方法具有直接、高效等特点。实例验证表明该方法能够减少转化后有序二元决策图的节点数量和冗余结构,提高动态故障树定性分析的效率和效果。
作者:任神河; 郑寇全; 雷英杰; 王睿 期刊:《火力与指挥控制》 2016年第11期
针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。
作者:韩伟; 刘涌; 黄文浩; 张海瑞 期刊:《中国科技信息》 2016年第22期
本文给出了一款应用数字电路系统知识设计制作的抢答器电路。设计目的是通过数字电路实现竞赛抢答信号的采集传输与实现,该系统的电路原理易于理解,包含了数字电路的主要原理和知识的应用,非常适合数字系统的学习与实践。该方案选用数字电路典型的组台或时序逻辑电路芯片,抗扰能力强,信号传输准确,显示清晰,功能齐全。方案给出的电路结构形式简单,功能完善,造价成本低,很好地实现了竞赛抢答器电路的设计要求。
作者:夏勇; 薛云志; 赵琛 期刊:《计算机应用研究》 2007年第07期
提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率。
作者:朱雪阳; 唐稚松 期刊:《软件学报》 2006年第04期
由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满足某些性质的问题,却难以在其自身的框架下进行讨论.在这方面,形式化语言XYZ/E可与其互补.XYZ/E是一种可执行线性时序逻辑语言,既可表示系统的性质,又可表示系统的行为.递归地在基本迁移系统上解释Stat...
作者:陈冰; 周祖德; 陈幼平; 谢经明; 艾武 期刊:《计算机工程与科学》 2006年第09期
CAN网络已在汽车、航空、过程控制等实时网络化控制系统中获得了广泛应用。它能够传输周期性和非周期性两种实时报文,所有报文必须是可调度的,即在截止期前完成传输。本文提出了一种基于时间自动机的CAN网络非周期性实时报文的严格可调度性方法。