检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

着色Petri网的结构展开方法

系统工程理论与实践 2011年第2期31卷 315-322页

作者：宋阿妮王明哲郭法滨倪枫华中科技大学控制科学与工程系武汉430074

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和... 详细信息

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.

关键词：着色Petri网普通Petri网关联矩阵展开

在线全文

学校读者我要写书评

暂无评论

交通协调控制建模仿真分析

交通协调控制建模仿真分析

作者：郭法滨华中科技大学

学位级别：硕士

随着经济的发展,交通问题日益严重。而城市交通控制系统对解决这一问题发挥着不可替代的作用。本文基于这一情况,开展交通协调控制系统的研究和探讨,提出了一种基于规则的协调控制方法,以一个路口为中心与相邻路口进行协调,根据逻辑规... 详细信息

随着经济的发展,交通问题日益严重。而城市交通控制系统对解决这一问题发挥着不可替代的作用。本文基于这一情况,开展交通协调控制系统的研究和探讨,提出了一种基于规则的协调控制方法,以一个路口为中心与相邻路口进行协调,根据逻辑规则和实时车流对控制策略及配时参数进行调整,突破了传统的城市交通协调控制系统运算量大、计算时间长、不能满足交通控制系统实时性要求的特点。本文分析了城市交通控制系统的原理与组成,提出了一种基于规则的城市交通信号协调控制策略。首先,根据分布式控制原理,将每个路口的控制分为两层:单点控制层和协调控制层。单点控制层负责单路口的配时参数计算,协调控制层负责多路口之间的协调控制。然后,提出基于相序选择的单路口实时自适应控制算法和基于最大绿波带宽的协调控制规则。根据该控制规则,各路口控制器结合实时检测到的车流,进行相应控制策略的调整和控制方案的选择,从而实现道路利用率最大、滞留车辆数最小的优化目标。交通控制系统具有并发、冲突等离散事件系统的典型特点,而Petri网是目前用于离散事件动态系统建模和分析的最广泛有效的方法。利用着色Petri网对单路口系统和多路口协调系统的车流和控制部分分别进行建模,然后对所建模型进行仿真,并对仿真结果进行比较分析。

关键词：城市交通控制协调控制相位差着色Petri网

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于面向对象思想的SoS体系结构设计方法

系统工程与电子技术 2010年第11期32卷 2367-2373页

作者：倪枫王明哲郭法滨宋阿妮华中科技大学控制科学与工程系湖北武汉430074

针对一类由众多组件系统集结而成的系统之系统(system of systems,SoS),以美国国防部体系结构框架(DoDAF)为标准,提出了一种基于面向对象思想的SoS体系结构DoDAF作战视图产品五阶段迭代设计方法。利用UML静态和动态建模机制的特点,采用... 详细信息

针对一类由众多组件系统集结而成的系统之系统(system of systems,SoS),以美国国防部体系结构框架(DoDAF)为标准,提出了一种基于面向对象思想的SoS体系结构DoDAF作战视图产品五阶段迭代设计方法。利用UML静态和动态建模机制的特点,采用自顶向下、自底向上相结合的方式实现SoS体系结构作战视图产品的面向对象描述。以一个战术导弹防御(tactical missile defense,TMD)系统为例,详细说明SoS体系结构DoDAF作战视图产品的面向对象设计过程,并总结了该方法的两大优越特性:横向通用性与纵向可复用性,以及由此给SoS体系结构带来的"柔性"优势。这是传统设计方法所不能实现的。

关键词：面向对象设计方法 DoDAF作战视图 SoS体系结构

大型Petri网模型最小trap(siphon)集合的快速求解算法

在线全文

学校读者我要写书评

暂无评论

系统工程与电子技术 2010年第8期32卷 1766-1770页

作者：廖晶静王明哲倪枫郭法滨华中科技大学控制科学与工程系湖北武汉430074

为了快速确定大型Petri网模型中的trap(siphon)逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,... 详细信息

为了快速确定大型Petri网模型中的trap(siphon)逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap(siphon)集合上的计算速度优势。

关键词： Petri网最小trap和siphon 关联矩阵 trap组合

在线全文

学校读者我要写书评

暂无评论

浮空雷达高精度探测分析

合肥工业大学学报（自然科学版） 2017年第7期40卷 930-932,977页

作者：朱勇郭法滨中国电子科技集团公司第三十八研究所孔径阵列与空间探测安徽省重点实验室安徽合肥230088

浮空雷达探测精度主要受平台姿态变化引起的定位误差和传感器自身的探测误差影响。文章针对2类误差的影响因素进行了分析,提出了采用宽信号发射波形和高精度定位的方法来降低雷达探测误差,结合高精度船舶自动识别系统(automatic identif... 详细信息

浮空雷达探测精度主要受平台姿态变化引起的定位误差和传感器自身的探测误差影响。文章针对2类误差的影响因素进行了分析,提出了采用宽信号发射波形和高精度定位的方法来降低雷达探测误差,结合高精度船舶自动识别系统(automatic identification system,AIS)信息自动校准进行误差补偿,实现浮空雷达高精度探测。工程实测数据分析表明,该方法取得了较好的效果。

关键词：浮空雷达高精度探测误差校准船舶自动识别系统(AIS)

在线全文

学校读者我要写书评

暂无评论

一种基于半监督学习的弹道目标识别方法

雷达科学与技术 2017年第6期15卷 651-655页

作者：田西兰郭法滨赵洪立中国电子科技集团公司第三十八研究所安徽合肥230088 孔径阵列与空间探测安徽省重点实验室安徽合肥230088

常规反导目标识别系统多依赖于先验知识与一定规模的样本,然而,由于弹道导弹发射事件具有偶发性强、非合作性强等特点,弹道目标样本积累困难,已积累的观测数据也难以进行准确的类别标定。因此,弹道目标识别系统通常研发周期较长、开发... 详细信息

常规反导目标识别系统多依赖于先验知识与一定规模的样本,然而,由于弹道导弹发射事件具有偶发性强、非合作性强等特点,弹道目标样本积累困难,已积累的观测数据也难以进行准确的类别标定。因此,弹道目标识别系统通常研发周期较长、开发代价巨大。针对该问题,将半监督学习算法引入弹道目标识别分类器设计,以降低常规分类识别方法对样本规模的要求。进一步地,针对弹道目标特征分布未知的情况,设计一种TSVM-MKL分类器实现对半监督学习中假设模型的自适应调整。数据验证结果表明,该算法能在"极小"标定样本识别情景下仍能取得良好的分类识别效果,具有良好的工程应用价值。

关键词：半监督学习弹道目标识别多核学习多核直推式支持向量机(TSVM-MKL)

在线全文

学校读者我要写书评

暂无评论

实时自适应交通信号控制CPN建模分析

公路交通科技 2008年第6期25卷 115-119页

作者：王莉王明哲周丰郭法滨华中科技大学控制科学与工程系湖北武汉430074

以单路口交通控制为研究时象,指出了传统单路口控制策略中存在的一些缺陷,提出一种优化的交通信号控制策略:实时自适应控制。按照该策略,采用非固定相序控制方案,并提出了相应相位持续时间的具体算法。然后,建立了实时自适应策略的着色P... 详细信息

以单路口交通控制为研究时象,指出了传统单路口控制策略中存在的一些缺陷,提出一种优化的交通信号控制策略:实时自适应控制。按照该策略,采用非固定相序控制方案,并提出了相应相位持续时间的具体算法。然后,建立了实时自适应策略的着色Petri网(CPN)模型,对CPN模型进行静态结构分析和动态仿真分析,检验并确认所提出的策略和算法的可行性;最后,通过建立交通信号控制的评价指标来对该策略进行评价。仿真结果表明,与固定相序、固定相位持续时间的策略相比,该实时自适应控制策略对单一十字路口实现了更为有效和优化的控制。

关键词：交通工程实时自适应建模信号控制 CPN

基于ASK-CTL的集成体系结构一致性综合检验方法

在线全文

学校读者我要写书评

暂无评论

数字技术与应用 2015年第12期33卷 83-84页

作者：郭法滨田西兰中国电子科技集团公司第38研究所安徽合肥230088

针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体系结构可执行模型状态空间进行集成系统重点关注静态性质、动态行为的综合检验,完成集成体系结构一致性确... 详细信息

针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体系结构可执行模型状态空间进行集成系统重点关注静态性质、动态行为的综合检验,完成集成体系结构一致性确认,并且能通过检验诊断找出失败原因以完成体系结构模型修订。论文最后以预警系统为例,对该方法进行了验证。

关键词：一致性检验 ASK-CTL CPN ML语言

在线全文

学校读者我要写书评

暂无评论

基于半监督学习的弹道目标头体分辨方法

电子技术与软件工程 2016年第14期 93-94页

作者：郭法滨田西兰中国电子科技集团公司第三十八研究所孔径阵列与空间探测安徽省重点实验室智能情报处理重点实验室安徽省合肥市230088

针对反导目标识别系统的非合作性强、标定数据困难的问题,提出一种综合不同假设前提的半监督算法,该算法基于多核学习完成对弹道目标特征空间分布的自学习。基于实测数据的分析结果表明了本文所提算法在极小标定样本下仍能获得较为可靠... 详细信息

针对反导目标识别系统的非合作性强、标定数据困难的问题,提出一种综合不同假设前提的半监督算法,该算法基于多核学习完成对弹道目标特征空间分布的自学习。基于实测数据的分析结果表明了本文所提算法在极小标定样本下仍能获得较为可靠的分类准确率。

关键词：半监督学习目标识别弹道目标