检索结果-南通市图书馆

系统工程与电子技术:英文版 2023年第5期34卷 1252-1266页

作者： PAN Li WU Zhonghong yu minggang LIU Jintao MEI Dan Weaponry Engineering College Naval University of EngineeringWuhan 430000China Electronics Engineering College Naval University of EngineeringWuhan 430000China Coastal Defense College Naval Aeronautical UniversityYantai 264001China Qingdao Campus Naval Aeronautical UniversityQingdao 266000China

The key advantage of unmanned swarm operation is its autonomous cooperation. How to improve the proportion of cooperators is one of the key issues of autonomous collaboration in unmanned swarm operations. This work proposes a strategy dominance mechanism of autonomous collaboration in unmanned swarm within the framework of public goods game. It starts with the requirement analysis of autonomous collaboration in unmanned swarm;and an aspiration-driven multiplayer evolutionary game model is established based on the requirement. Then the average abundance function and strategy dominance condition of the model are constructed by theoretical derivation. Furthermore, the evolutionary mechanism of parameter adjustment in swarm cooperation is revealed via simulation,and the influences of the multiplication factor r, aspiration levelα, threshold m and other parameters on the strategy dominance conditions were simulated for both linear and threshold public goods games(PGGs) to determine the strategy dominance characteristics;Finally, deliberate proposals are suggested to provide a meaningful exploration in the actual control of unmanned swarm cooperation.

关键词： unmanned combat swarm autonomous collabora-tion strategy dominance multi-player public goods game(PGG)

Adaptive dynamic reconfiguration mechanism of unmanned swarm topology based on an evolutionary game

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2023年第3期34卷 598-614页

作者： yu minggang NIU Yanjie LIU Xueda ZHANG Dongge ZHENG Peng HE Ming LUO Ling Institute of Command and Control Engineering Army Engineering University of the PLANanjing 210007China Institute of Communication Engineering Army Engineering University of the PLANanjing 210007China

Autonomous cooperation of unmanned swarms is the research focus on“new combat forces”and“disruptive technologies”in military *** mechanism design is the fundamental way to realize autonomous *** the realistic requirements of a swarm network dynamic adjustment under the background of high dynamics and strong confrontation and aiming at the optimization of the coordination level,an adaptive dynamic reconfiguration mechanism of unmanned swarm topology based on an evolutionary game is *** paper analyzes military requirements and proposes the basic framework of autonomous cooperation of unmanned swarms,including the emergence of swarm intelligence,information network construction and collaborative mechanism ***,based on the framework,the adaptive dynamic reconfiguration mechanism is discussed in detail from two aspects:topology dynamics and strategy ***,the unmanned swarms’community network is designed,and the network characteristics are ***,the mechanism characteristics are analyzed by numerical simulation,focusing on the impact of key parameters,such as cost,benefit coefficient and adjustment rate on the level of swarm ***,the conclusion is made,which is expected to provide a theoretical reference and decision support for cooperative mode design and combat effectiveness generation of unmanned swarm operations.

关键词： unmanned swarm operation autonomous collaboration topology reconstruction evolutionary game

Autonomous process collaboration framework for C4ISR system interoperation

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2017年第6期28卷 1098-1113页

作者： Lin Yang minggang yu Qingchao Dong Control Engineering Department Naval Aeronautical and Astronautical University Institute of Command Information System PLA University of Science and Technology

Interoperability plays an important role in the joint command, control, communication, computer, intelligence, surveillance, reconnaissance(C4 ISR) operations. Coordinating and integrating operational processes to fulfill a common mission are challenged by the ever-changing battlefield and hence requires a cross-organizational process management that produces an autonomous, flexible and adaptable architecture for collaborative process evolution. The traditional business process collaboration pattern is based on the predefined "public-view" perspective and cannot meet the requirement of the joint task operations. This paper proposes a flexible visibility control mechanism and a dynamic collaboration framework for modeling and generating collaborative processes. The mechanism allows collaborators to define a set of visibility rules to generate different views of the private processes for different collaborations, which gives a great flexibility for the collaboration initiator to decide on an appropriate collaboration pattern. The framework supports collaborators to dynamically and recursively add a new process or even a new organization to an existing collaboration. Moreover, a formal representation of the processes and a set of generation algorithms are provided to consolidate the proposed theory.

关键词： cross-organizational collaboration interoperability collaborative process joint operations

Capability-based context ontology modeling and reasoning for C^4ISR communication

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2016年第4期27卷 845-857页

作者： Weixing Zhu Zhixue Wang Guolin Hou minggang yu Institute of Command Information System PLA University of Science and TechnologyNanjing 210007China The First Engineers Scientfic Research Institute of General Armaments Department Wuxi 214035China

Modeling and reasoning on domain contexts play a key role for adding intelligence to communication services, and the approach of capability-based requirement engineering ensures the scientificity and accuracy of requirement elicitation. This paper presents a capability-based context ontology modeling approach for command and control, communication, computer, intelligence, surveillance and reconnaissance（C^4ISR） communication. Primarily, a capability-based C^4ISR communication meta-concept model and a C^4ISR communication context meta-ontology are constructed. The context ontology is established under the constraints of the C^4ISR communication context meta-ontology, and furthermore, algorithms are proposed to support context reasoning based on description logic. A case study is presented to demonstrate applicability of the proposed method.

关键词： service intelligentizing C4ISR communication context ontology context reasoning

An executable framework for modeling and validating cooperative capability requirements in emergency response system

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2021年第4期32卷 889-906页

作者： CHAI Lei WANG Zhixue HE Ming HE Hongyue yu minggang Institute of Command Control Engineering Army Engineering University of PLANanjing 210007China

As the scale of current systems become larger and larger and their complexity is increasing gradually,research on executable models in the design phase becomes significantly important as it is helpful to simulate the execution process and capture defects of a system in ***,the capability of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a *** deal with the lack of official specifications and the fundamental theory basis for capability requirement,we propose a cooperative capability requirements(CCR)meta-model as a theory basis for researchers to refer to in this research domain,in which we provide detailed definition of the CCR concepts,associations and ***,we also propose an executable framework,which may enable modelers to simulate the execution process of a system in advance and do well in filling the inconsistency and semantic gaps between stakeholders’requirements and their *** primary working mechanism of the framework is to transform the Alf activity meta-model into the communicating sequential process(CSP)process meta-model based on some mapping rules,after which the internal communication mechanism between process nodes is designed to smooth the execution of behaviors in a CSP ***,a validation method is utilized to check the correctness and consistency of the models,and a self-fixing mechanism is used to fix the errors and warnings captured during the validation process ***,a validation report is generated and fed back to the modelers for system optimization.

关键词： executable model capability requirement consistency validation Alf epsilon

A Formal Method for Service Choreography Verification Based on Description Logic

在线全文

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2020年第2期62卷 893-904页

作者： Tingting Zhang yushi Lan minggang yu Changyou Zheng Kun Liu PLA Army Engineering University NanjingChina The 28th Research Institute of China Electronics Technology Group Corporation NanjingChina Southeast University NanjingChina

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography *** paper presents a new approach of choreography model verification based on Description Logic.A meta model of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service *** on the framework,a set of rules and constraints are defined in Description Logic for choreography model *** automate model verification,the UML-based service choreography model will be transformed,by the given algorithms,into the DL-based ontology,and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoned.A case study is given to demonstrate applicability of the ***,the work will be compared with other related research.

关键词： Service choreography WS-CDL meta-concept model description logic formal verification

Mesozoic–Cenozoic Volcanic Cycle and Volcanic Reservoirs in East China

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Earth Science 2021年第4期32卷 742-765页

作者： Guangfu Xing Jianqing Li Zheng Duan Mingxuan Cao minggang yu Pingli Chu Rong Chen Wuhan Center of China Geological Survey Wuhan 430205China Nanjing Center of China Geological Survey Nanjing 210016China

There are widespread Mesozoic–Cenozoic terrestrial volcanic activities in East China,and they produced favorable geologic factors for the volcanic *** reveal the spatio-temporal evolution of regional volcanisms and their tectonic setting,we subdivide Mesozoic–Cenozoic volcanic activities into 6 volcanic cycles(Ⅰ–Ⅵ),and summarize the temporal-spatial distribution,rock association and tectonic setting of each *** Cycle I forms a post-orogenic intraplate bimodal volcanic *** cyclesⅡandⅢinclude arc volcanic associations formed in compressional and extensional subduction environments,*** CycleⅣcontains a post-orogenic arc bimodal *** CycleⅤis a basaltic association of tholeiite series under initial rift setting,and the CycleⅥis basaltic association of alkaline series under typical rift *** volcanic strata between each cycle are bounded by regional *** above 6 volcanic cycles correspond to 6 sequential stages of tectonic evolutions from the Early Jurassic post-orogeny,the Mid-Jurassic–Cretaceous subduction of the paleo-Pacific Plate to the Cenozoic marginal *** to the geological characteristics of volcanic reservoirs in different volcanic cycles,it is put forward that the CycleⅤis the major formation period of volcanic reservoirs in East China and should be the focus of exploration,and that the volcanic reservoirs of the CycleⅣare also worthy of attention.

关键词： volcanic reservoir tectonic evolution volcanic cycle Mesozoic-Cenozoic East China

在线全文

学校读者我要写书评

暂无评论

无人机集群牵制控制系统特征值分析

系统工程与电子技术 2022年第2期44卷 612-618页

作者：刘锦涛何明罗玲柳强禹明刚陆军工程大学指挥控制工程学院江苏南京210007

本文研究施加牵制控制对无人机(unmanned aerial vehicle,UAV)集群蜂拥控制一致性的影响。首先基于复杂网络和图论建立了UAV集群的二阶动力学模型;其次设计了分布式控制协议并构建了集群系统的增广Laplacian矩阵,其最小特征值反映了集... 详细信息

本文研究施加牵制控制对无人机(unmanned aerial vehicle,UAV)集群蜂拥控制一致性的影响。首先基于复杂网络和图论建立了UAV集群的二阶动力学模型;其次设计了分布式控制协议并构建了集群系统的增广Laplacian矩阵,其最小特征值反映了集群的一致性收敛速度,以及连通性与鲁棒性;最后分析了增加牵制点对系统动态性能的影响,并基于M矩阵等相关性质得到最小特征值的范围。本文为牵制控制设计及性能分析提供了理论依据。

关键词：牵制控制 Laplace矩阵矩阵特征值

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

基于演化博弈的社团网络无人集群协同机制

中国科学：技术科学 2023年第2期53卷 221-242页

作者：禹明刚陈瑾何明刘学达张东戈中国人民解放军陆军工程大学指挥控制工程学院南京210007 中国人民解放军陆军工程大学通信工程学院南京210007

智能化协同的无人集群作战日益成为一种重要的作战方式,机制设计则是集群自主协同得以实现的重要途径.结合无人集群作战的组织规律与业务逻辑,探索自主协同的特点与规律,已成为当前军事学领域研究焦点之一.本文首先剖析军事需求,提出无... 详细信息

智能化协同的无人集群作战日益成为一种重要的作战方式,机制设计则是集群自主协同得以实现的重要途径.结合无人集群作战的组织规律与业务逻辑,探索自主协同的特点与规律,已成为当前军事学领域研究焦点之一.本文首先剖析军事需求,提出无人集群自主协同行为分析框架,包括群智涌现、信息网络构建、协同机制设计;其次,结合分析框架,针对群体系统动力学、基于博弈的群体协同、复杂网络上的合作演化对集群协同领域国内外前沿研究展开综述;进而,设计无人集群社团信息网络,构建基于多元公共品演化博弈的集群合作演化模型,并给出社团结构上集群的演化动力学过程;最后,仿真分析集群规模、网络特性、成本及收益等相关参数对集群协同行为的影响,并给出集群作战中协同管控的方法.所得结论,可以为无人集群作战协同模式设计和战斗力生成提供理论借鉴和决策支持.

关键词：无人作战集群演化博弈社团网络合作演化机制

西南日本夜久野(Yakuno)蛇绿混杂岩锆石U-Pb定年及其对晚古生代-早中生代华南大地构造演化的指示

在线全文

学校读者我要写书评

暂无评论

大地构造与成矿学 2022年第4期46卷 728-743页

作者：洪文涛余明刚赵希林褚平利内生金属矿床成矿机制研究国家重点实验室南京大学地球科学与工程学院江苏南京210093 中国地质调查局南京地质调查中心江苏南京210016

晚古生代-早中生代的构造运动在华南大地构造演化过程中意义重大,但对其动力学机制却存在两种截然不同的认识,即与特提斯洋闭合有关的碰撞造山以及与华南东缘大洋俯冲相关的增生造山。后一种认识备受争议的主要原因是华南地区缺少晚古... 详细信息

晚古生代-早中生代的构造运动在华南大地构造演化过程中意义重大,但对其动力学机制却存在两种截然不同的认识,即与特提斯洋闭合有关的碰撞造山以及与华南东缘大洋俯冲相关的增生造山。后一种认识备受争议的主要原因是华南地区缺少晚古生代与俯冲直接相关的增生杂岩、高压变质岩等记录,而这些记录在西南日本保存完整。本文通过对西南日本内带朝来地区晚古生代夜久野(Yakuno)蛇绿混杂岩的锆石U-Pb定年,结合区域构造-地层分析,探讨西南日本晚古生代-早中生代构造演化过程。LA-ICP-MS锆石U-Pb定年结果表明,朝来地区夜久野蛇绿混杂岩中-上部辉长岩形成于早二叠世(281.8±1.8 Ma);而斜长角闪岩的变质年龄为231.0±5.8 Ma,与西南日本广泛分布的周防带(Suo belt)高压变质时间一致,表明西南日本主要的造山事件发生在印支期。综合夜久野蛇绿混杂岩内不同类型火成岩的年代学及岩石地球化学组成,以及区域构造-地层特征,将该蛇绿岩的构造演化归结为三个阶段:(1)晚石炭世大洋(泛大洋或古太平洋)扩张阶段;(2)早二叠世洋内弧-弧后盆地阶段,夜久野蛇绿混杂岩主体即形成于弧后盆地;(3)早二叠世末期(约280~272Ma),弧后盆地闭合,岛弧-洋岛海山地体与华南大陆东缘碰撞形成新的陆缘弧,这一弧-陆拼贴过程控制着东南沿海地区中二叠世的古地理格局转变。考虑到西南日本晚古生代俯冲增生作用一直持续至中三叠世末期,中三叠世西南日本以及华南东缘的印支造山可能主要受控于泛大洋(或古太平洋)板块的俯冲作用。

关键词：西南日本夜久野蛇绿混杂岩晚古生代华南印支造山