地震柱的概念及其基本特征 被引量：15

1

作者 陈立军 《华南地震》 2013年第1期1-14,共14页

根据地震地热说原理,对全球地震深度进行比较研究,定义了24个地震柱,组成了M型的全球热机带,并按照地震柱的构造形态对地震柱作系统研究,得出了地震柱的一系列物理属性和构造属性,论证了依据地震柱概念解释地震和火山的成因,以及对地震... 根据地震地热说原理,对全球地震深度进行比较研究,定义了24个地震柱,组成了M型的全球热机带,并按照地震柱的构造形态对地震柱作系统研究,得出了地震柱的一系列物理属性和构造属性,论证了依据地震柱概念解释地震和火山的成因,以及对地震和火山进行预测研究的合理性,从而丰富了地震柱概念的内涵。地震柱是地球本身重要的物理现象和构造现象,是地震地热说赖以生存的物质基础和构造基础,也是地震地热说与当今流行的地质学派诸如板块构造、地质力学和地幔柱理论的最大区别。为了构造地质学和地球动力学的发展,有必要深入解读地震柱的物理属性及其构造学意义,提高地震柱概念的应用价值。如果地震柱的奥秘破解了,那么全球90%的地震和火山灾难就有希望应对了。 展开更多

关键词 地震地热说 地震柱 本尼奥夫剖面 P波快速异常体 时序图

下载PDF 职称材料

基于实时UML的雷达软件设计 被引量：2

2

作者 李海 《现代雷达》 CSCD 北大核心 2006年第8期47-49,57,共4页

实时统一建模语言(UML)和面向对象的建模技术代表着雷达软件设计的一个发展方向。文中介绍了使用UML的用例图、状态图、顺序图等进行系统分析、设计、实现和测试,并讨论了如何选择UML工具与实时框架以及实时性分析等问题。

关键词 实时UML 用例图 状态图 顺序图

下载PDF 职称材料

UML时间顺序图的可达性分析 被引量：5

3

作者 龚嘉宇 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2005年第6期169-175,共7页

对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,... 对于实时系统来说,UML顺序图描述了对象之间的交互。对象之间的交互展现了系统行为的场景。本文中,我们针对描述多场景的UML顺序图组合中的可达性问题进行研究。尽管这个问题可以转换为相应的时间自动机,然后进行处理,但其转化为之后,状态空间巨大,解决的开销比较大,效率不高。针对部分可达性问题,本文采用更为高效的基于线性规划的解决方案,其思想如下:首先遍历所有到达给定节点的简单路径片断来验证可达性,随后遍历到达给定节点的并且包含所有循环至多一次的路径片断来验证可达性。由于我们并没有遍历所有路径片断,因此用本文的方法判定给定节点的可达性的时候,结果会有三种:可达,不可达和不确定。由于有些循环与可达性是无关的,我们进一步通过识别哪些循环与可达性无关,对算法进行改进。 展开更多

关键词 顺序图 UML 可达性分析 时间自动机 实时系统 系统行为 状态空间 解决方案 线性规划 行处理 片断 路径 节点 遍历 循环 不确定 交互 对象 场景 验证 算法

下载PDF 职称材料

基于Time Petri Nets的UML时序图分析 被引量：1

4

作者 徐景辉 刘文海 张根度 《计算机工程》 EI CAS CSCD 北大核心 2005年第19期105-107,共3页

引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束。最后,利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证。

关键词 UML时序图 time PETRI NETS 可达性分析

下载PDF 职称材料

基于FPGA的LPC总线转多路SPI总线设计 被引量：3

5

作者 蒋国庆 顾军 《电子质量》 2022年第10期39-45,共7页

该文介绍了LPC和SPI总线的应用场景,以及总线协议的工作原理。通过对工作原理的研究完成了LPC总线与多路SPI总线转换方案设计,提出了基于FPGA的具体实现方法,具有逻辑清晰、灵活高效和高扩展性特点,能够实现LPC总线对SPI总线设备的多路... 该文介绍了LPC和SPI总线的应用场景,以及总线协议的工作原理。通过对工作原理的研究完成了LPC总线与多路SPI总线转换方案设计,提出了基于FPGA的具体实现方法,具有逻辑清晰、灵活高效和高扩展性特点,能够实现LPC总线对SPI总线设备的多路识别和通信。最后通过仿真实验,得到了I/O读写模式下写和读的时序图,验证了设计的可靠和有效性。 展开更多

关键词 LPC总线 多路识别 SPI总线 时序图

下载PDF 职称材料

PLC时间顺序循环控制程序设计常见错误分析 被引量：2

6

作者 刘哲 黄建荣 程仲文 《兰州工业高等专科学校学报》 2000年第4期4-6,共3页

PLC技术应用中 ,时间顺序循环控制程序设计经常出现的错误是 :不能实现TIM控制的顺序动作和循环控制。因此 ,正确设计基本的时间顺序循环控制程序应注意I/O点、辅助点继电器线圈及TIM动作原理和动作条件 ;设置合理控制触点 。

关键词 PLC 时间顺序控制 循环控制 梯形图

下载PDF 职称材料

具有多种选择功能的时间继电器 被引量：1

7

作者 钱金川 朱守敏 《机床电器》 2009年第5期48-50,共3页

本文介绍一种具有多时基、多倍率、多模式组成的时间继电器。并着重对多模式工作时序图进行了详细的分析,最后对该时间继电器典型工作原理图一并给予了说明。

关键词 时基选择 倍率选择 工作模式 时序图 时间继电器 原理图

下载PDF 职称材料

一类二维差分方程中的混沌现象 被引量：1

8

作者 戴华炜 程晓胜 《湖北师范学院学报（自然科学版）》 2012年第4期45-49,共5页

主要研究了一个二维差分方程——宿主-寄生物模型的混沌现象,通过分岔图、Lyapunov指数图、时间序列图和相图分析了该方程由周期运动到混沌运动的变化过程,发现该二维差分方程随参数变化表现出丰富的动力学行为,其混沌现象具有遍历性、... 主要研究了一个二维差分方程——宿主-寄生物模型的混沌现象,通过分岔图、Lyapunov指数图、时间序列图和相图分析了该方程由周期运动到混沌运动的变化过程,发现该二维差分方程随参数变化表现出丰富的动力学行为,其混沌现象具有遍历性、非周期运动性、初值敏感性的特征。 展开更多

关键词 差分方程 混沌 分岔图 Lyapunov指数图 时间序列图 相图

下载PDF 职称材料

舰面网络系统RS-485总线的一种冗余方法

9

作者 朱达书 李磊 宋雪良 《应用科技》 CAS 2005年第8期26-27,61,共3页

针对RS-485总线的故障问题,提出了一种RS-485总线的冗余方法,这种方法有较高的可靠性和及时性,并且性能价格比很高.给出了该方法的原理框图,分析了其工作时序图,并将该方法实际应用于舰面网络系统中,保证了整个舰面系统的可靠运行.

关键词 RS-485总线 冗余 故障 时序图 舰面网络系统

下载PDF 职称材料

MARTE顺序图到CCSL模型的转换

10

作者 朱梅霞 《计算机工程与科学》 CSCD 北大核心 2013年第10期172-180,共9页

CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析。但与顺序图相比,CCSL模型不利于用户理解。利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系。这在一定程度上扩大了... CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析。但与顺序图相比,CCSL模型不利于用户理解。利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系。这在一定程度上扩大了MARTE在软件设计中的应用范围和效率:用顺序图对系统的动态行为进行建模,使用户和设计者对系统行为达成一致;将顺序图转换成CCSL模型进行分析,以保证模型的正确性。 展开更多

关键词 实时系统 模型转换 顺序图 CCSL

下载PDF 职称材料

MARTE顺序图到TTS4SD的转换

11

作者 朱梅霞 武继刚 《计算机科学》 CSCD 北大核心 2013年第1期175-178,共4页

MARTE对UML的顺序图进行了扩充,使其适用于实时系统的建模阶段,但它不能直接用于正确性验证阶段。对象管理组织提出用模型转换的方法将依照MARTE构造的顺序图(记为A)转换成具有完备的验证方法和工具的形式化模型(记为B)。用B表示A的语... MARTE对UML的顺序图进行了扩充,使其适用于实时系统的建模阶段,但它不能直接用于正确性验证阶段。对象管理组织提出用模型转换的方法将依照MARTE构造的顺序图(记为A)转换成具有完备的验证方法和工具的形式化模型(记为B)。用B表示A的语义可以保证B能够完整且准确地模拟A的行为。提出了形式化模型——TTS4SD,用来描述MARTE顺序图的形式语义,并在此基础上展开了验证。首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD;然后用TTS4SD描述顺序图的形式语义,并给出从顺序图到TTS4SD的转换算法;最后对TTS4SD展开分析。通过一个实例说明了从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法。 展开更多

关键词 实时系统 顺序图 CCSL 形式化方法 模型转换

下载PDF 职称材料

大型机组调试电气问题浅析

12

作者 刘国军 李启凡 《医药工程设计》 2011年第5期54-58,共5页

通过挤出机主电机调试中出现的问题,分析了挤出机机组PLC与中压MCC之间的联锁关系;研究了常规挤出机主电机控制逻辑以及原理,结合机组供应商的控制逻辑绘制相应的时序图,总结出本机组控制原理及逻辑的特殊性。表明从安全角度而言,供应... 通过挤出机主电机调试中出现的问题,分析了挤出机机组PLC与中压MCC之间的联锁关系;研究了常规挤出机主电机控制逻辑以及原理,结合机组供应商的控制逻辑绘制相应的时序图,总结出本机组控制原理及逻辑的特殊性。表明从安全角度而言,供应商设计的控制理念更合理。 展开更多

关键词 ACKNOWLEDGE NO STOP 逻辑图 时序图

原文传递

MCS-51单片机地址指针及其应用

13

作者 王幸之 王雷 钟爱琴 《电测与仪表》 北大核心 2002年第3期48-50,共3页

详细分析了MCS-51单片机外部数据存储器访问的机理,提出用DPTR、R0、R1作为读/写外部数据存储器地址指针的方法及注意事项。

关键词 单片机 地址指针 时序图 外RAM

下载PDF 职称材料

计数器自启动反馈逻辑电路的圆图化简

14

作者 那慧敏 杨松红 《佳木斯大学学报（自然科学版）》 CAS 2001年第3期253-256,共4页

在计数器中 ,当电路的状态没有被全部利用 ,就会有多余状态 ,即异常时序 .为使计数器进入正常时序 ,利用正常时序和异常时序组成的反馈函数真值表 ,根据转换的要求 ,用逻辑函数的圆图法进行化简 ,本方法与卡诺图化简相比 ,具有包围圈少... 在计数器中 ,当电路的状态没有被全部利用 ,就会有多余状态 ,即异常时序 .为使计数器进入正常时序 ,利用正常时序和异常时序组成的反馈函数真值表 ,根据转换的要求 ,用逻辑函数的圆图法进行化简 ,本方法与卡诺图化简相比 ,具有包围圈少、直观。 展开更多

关键词 计数器 圆图化简 自启动反馈逻辑电路

下载PDF 职称材料

基于实时UML顺序图的物联网交互模型 被引量：4

15

作者 丛新宇 虞慧群 《计算机科学》 CSCD 北大核心 2014年第11期79-87,共9页

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进... 物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。 展开更多

关键词 物联网 交互模型 实时UML顺序图 时间自动机 验证

下载PDF 职称材料

基于扩展顺序图的多风格软件可靠性分析方法 被引量：1

16

作者 陆阳 岳峰 +1 位作者 王强 吴雷 《电子测量与仪器学报》 CSCD 2012年第7期577-585,共9页

传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了... 传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了对应的可靠性计算方法,然后通过对顺序图模型进行形式化扩展,使之具备了可靠性分析所必需的软件结构信息,最后将扩展的顺序图模型转换为能够处理多风格软件可靠性问题的DTMC模型。实例分析表明,这种模型和方法可以使得软件开发早期的可靠性分析工作变得更加方便、高效、合理。 展开更多

关键词 软件可靠性 离散时间Markov链 顺序图 构件软件 软件结构风格

下载PDF 职称材料

时序π演算及其对MARTE顺序图的建模

17

作者 金暐 王捍贫 +1 位作者 曹永知 朱梅霞 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2011年第6期506-510,共5页

MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了... MARTE是统一建模语言UML在实时和嵌入式方面的一个扩展.本文给出π演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的π演算来说,时序π演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.同时,给出了时序π演算的语法和语义,并定义了时序π进程间的强互模拟关系.基于时序π演算,定义了MARTE顺序图的形式化模型,从而给出了MARTE顺序图的完整语义,并为进一步的模型检测提供了理论基础. 展开更多

关键词 时序π演算 MARTE 顺序图

原文传递

跳汰机上数控风阀一种新控制

18

作者 李春霞 张洪 +1 位作者 闫建文 王守全 《矿山机械》 北大核心 2000年第10期39-40,共2页

采用逻辑控制模块对洗选设备中的跳汰机数控风阀重新设计，降低了成本，提高了可靠性和集成度。此装置可以根据逻辑时序图直接对逻辑控制模块进行编程和参数设置。

关键词 跳汰机 数控风阀 控制 逻辑控制模块

原文传递

UML时间顺序图的自动验证技术

19

作者 陈江 陈建国 +1 位作者 陆慧娟 唐文彬 《中国计量学院学报》 2010年第2期124-129,共6页

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间... UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具. 展开更多

关键词 UML时间顺序图 自动验证 系统建模

下载PDF 职称材料

智能型就地清洗设备

20

作者 陈文浩 《包装与食品机械》 CAS 1996年第3期14-17,共4页

本文介绍了就地清洗（ＣＩＰ）设备的第三代产品──智能型ＣＩＰ设备的构成、特点、规格与技术参数。ＣＩＰ工艺流程及其智能型的控制点流程、时序要求以及应用可编程序控制器（ＰＣ）来实现ＣＩＰ的逻辑控制。

关键词 智能型CIP 控制点流程 食品机械 清洗设备

下载PDF 职称材料