检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于labVIEW的解耦控制系统实现

计算机工程 2005年第2期31卷 228-230页

作者：杨青党选举桂林电子工业学院计算机系

介绍了自行设计的一套解耦控制实验系统的硬件构成和软件设计,模块式硬件结构简单灵活、安全可靠,基于labVIEW开发平台的人机界面友好、操作方便,大大简化了系统开发过程,并使该系统具有了工程应用意义。最后给出了基于该系统的一例控... 详细信息

介绍了自行设计的一套解耦控制实验系统的硬件构成和软件设计,模块式硬件结构简单灵活、安全可靠,基于labVIEW开发平台的人机界面友好、操作方便,大大简化了系统开发过程,并使该系统具有了工程应用意义。最后给出了基于该系统的一例控制结果。

关键词： VIEW 解耦控制系统开发平台软件设计人机界面实验系统系统开发安全可靠硬件构成简化

在线全文

学校读者我要写书评

暂无评论

基于小世界层次分布式路由模型研究

计算机工程 2006年第15期32卷 120-122,139页

作者：朱晓姝周娅黄桂敏桂林电子工业学院计算机系

对等网的研究越来越受到产业界和学术界的重视,其结构化覆盖网模型采用DHT算法,具有固定的逻辑拓扑结构,存在着无法真实反映实际物理网络拓扑、可扩展性和查找性能不高的问题。该文以P2P的“小世界”现象为基础,在分析Chord的基础上,以... 详细信息

对等网的研究越来越受到产业界和学术界的重视,其结构化覆盖网模型采用DHT算法,具有固定的逻辑拓扑结构,存在着无法真实反映实际物理网络拓扑、可扩展性和查找性能不高的问题。该文以P2P的“小世界”现象为基础,在分析Chord的基础上,以簇为基本逻辑管理单位,构建基于小世界层次分布式路由模型SWLDRM,并对SWLDRM与Chord进行对比仿真实验,仿真实验结果表明SWLDRM比Chord具有更好的查找性能和可扩展性。

关键词：对等网络小世界路由模型 Chord 簇

在线全文

学校读者我要写书评

暂无评论

基于EHA模型检验Statecharts

计算机工程 2006年第3期32卷 19-21页

作者：钱俊彦古天龙赵岭忠桂林电子工业学院计算机系桂林541004

模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EHA模型检验Statecharts的方法,首先把Statecharts转换为EHA,... 详细信息

模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EHA模型检验Statecharts的方法,首先把Statecharts转换为EHA,通过其操作语义得到Büchi自动机,然后与LTL公式所得的Büchi自动机相乘,最后检查该乘积自动机所能接受的语言是否为空,来判断是否满足所期望的性质。

关键词：模型检验 Statecharts EHA 操作语义

在线全文

学校读者我要写书评

暂无评论

Statecharts的形式化验证研究

计算机工程 2005年第18期31卷 19-21,24页

作者：钱俊彦古天龙赵岭忠桂林电子工业学院计算机系桂林541004

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来... 详细信息

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证。

关键词： Statecharts 抽象语法操作语义一步

一种基于自动机理论的LTL检验符号优化方法

在线全文

学校读者我要写书评

暂无评论

计算机工程 2005年第23期31卷 20-21,27页

作者：钱俊彦赵岭忠古天龙桂林电子工业学院计算机系桂林541004

模型检验是一种重要的形式化自动验证技术。检验一个模型是否满足LTL公式,可以把LTL公式转换为一个表示相同无穷状态序列的ω自动机,通过转换后的ω自动机与系统自动机的乘积判空来进行模型检验。由于自动机的体积是模型检验的一个关键... 详细信息

模型检验是一种重要的形式化自动验证技术。检验一个模型是否满足LTL公式,可以把LTL公式转换为一个表示相同无穷状态序列的ω自动机,通过转换后的ω自动机与系统自动机的乘积判空来进行模型检验。由于自动机的体积是模型检验的一个关键性问题,为了得到尽可能小的自动机,在LTL公式转换为ω自动机之前,对LTL公式进行预处理来减少冗余,然后基于ROBDD,通过布尔技术优化自动机。

关键词：线性时态逻辑 ω自动机 Büfichi自动机 ROBDD

在线全文

学校读者我要写书评

暂无评论

一种基于时间自动机的时钟等价性优化方法

计算机工程 2005年第18期31卷 71-73页

作者：钱俊彦赵岭忠古天龙桂林电子工业学院计算机系桂林541004

提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。优化时钟等价规则,在一定程度上有效地解决了状态空间爆... 详细信息

提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。优化时钟等价规则,在一定程度上有效地解决了状态空间爆炸问题。

关键词：模型检验时间自动机域自动机时态逻辑

嵌入式系统协同设计中的扩展双变迁Petri网技术

在线全文

学校读者我要写书评

暂无评论

计算机工程 2005年第2期31卷 198-201页

作者：孟瑜古天龙桂林电子工业学院计算机系桂林541004

在分析现有用于软硬件协同设计的Petri网技术的基础上,针对双变迁Petri网在描述数据操作方面存在的不足,给出了一种扩展双变迁Petri网,并结合实例进行了阐述。

关键词： Petri网嵌入式系统数据操作软硬件协同设计扩展描述实例技术变迁基础

基于LTS的Statecharts操作语义研究

在线全文

学校读者我要写书评

暂无评论

计算机工程 2006年第22期32卷 43-45页

作者：钱俊彦赵岭忠桂林电子工业学院计算机系桂林541004

Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作... 详细信息

Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作语义SOS规则描述Statecharts的组合语义,从而得到相应的LTS。

关键词： Statecharts 操作语义标签变迁系统

类Lyapunov非线性系统降维观测器设计

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2004年第4期21卷 607-610页

作者：朱芳来桂林电子工业学院计算机系广西桂林541004

对一般形式的非线性系统,引入了Lyapunov稳定意义下观测器存在性的概念,讨论了降维观测器的存在性.指出若相对于一特别形式的Lyapunov函数在Lyapunov稳定意义下存在全维观测器,则还存在降维观测器,并给出了降维观测器之设计方法.为说明... 详细信息

对一般形式的非线性系统,引入了Lyapunov稳定意义下观测器存在性的概念,讨论了降维观测器的存在性.指出若相对于一特别形式的Lyapunov函数在Lyapunov稳定意义下存在全维观测器,则还存在降维观测器,并给出了降维观测器之设计方法.为说明该方法的指导意义,用该方法相对于Lipschitz非线性系统给出了降维观测器设计,并对该设计相对于一具体模型进行了仿真分析,仿真结果表明了该设计方法的正确性及实用性.

关键词：非线性系统降维观测器全维观测器 Lyapunov函数