云南高校图书馆联盟文献共享服务平台- REACHABILITY

REACHABILITY: 作品数：47被引量：85H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：罗云峰肖人彬费奇王雪李建中更多>>; 相关机构：华中理工大学哈尔滨工业大学东南大学复旦大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金中国博士后科学基金国家教育部博士点基金广西壮族自治区自然科学基金更多>>

Semi-tensor product approach to controllability, reachability, and stabilizability of extended finite state machines: 《Frontiers of Information Technology & Electronic Engineering》2024年第10期1370-1377,共8页Chao DONG Yongyi YAN Huiqin LI Jumei YUE; Project supported by the National Natural Science Foundation of China(Nos.U1804150 and 62073124)。; This paper uses the semi-tensor product(STP)of matrices and adopts algebraic methods to study the controllability,reachability,and stabilizability of extended finite state machines(EFSMs).First,we construct the biline...; 关键词：Semi-tensor product(STP) Matrix approach Algebraic method Finite-valued systems

Answering reachability queries with ordered label constraints over labeled graphs被引量：1: 《Frontiers of Computer Science》2024年第1期105-117,共13页Daoliang HE Pingpeng YUAN Hai JIN; supported by the National Natural Science Foundation of China(Grant Nos.61932004 and 62072205).; Reachability query plays a vital role in many graph analysis tasks.Previous researches proposed many methods to efficiently answer reachability queries between vertex pairs.Since many real graphs are labeled graph,it ...; 关键词：graph ordered-label-constrained reachability partial index bloom filter query processing

Reachability-Based Confidence-Aware Probabilistic Collision Detection in Highway Driving: 《Engineering》2024年第2期90-107,共18页Xinwei Wang Zirui Li Javier Alonso-Mora Meng Wang; supported by the proactive SAFEty systems and tools for a constantly UPgrading road environment(SAFE-UP)project;funding from the European Union’s Horizon 2020 Research and Innovation Program(861570)。; Risk assessment is a crucial component of collision warning and avoidance systems for intelligent vehicles.Reachability-based formal approaches have been developed to ensure driving safety to accurately detect potenti...; 关键词：Probabilistic collision detection Confidence awareness Probabilistic acceleration prediction Reachability analysis Risk assessment

Residential Differentiation Based on Reachability and Spatial Clustering : A Case Study of the Main Urban Area of Wuhan City: 《Meteorological and Environmental Research》2023年第6期47-52,共6页Siwei SUN Hailu ZHANG Wanqing XU; The differentiation of urban residential space is a key and hot topic in urban research, which has very important theoretical significance for urban development and residential choice. In this paper, web crawler techn...; 关键词：Big data Residential space Spatial differentiation Spatial clustering Functional zoning

Base placement optimization of a mobile hybrid machining robot by stiffness analysis considering reachability and nonsingularity constraints: 《Chinese Journal of Aeronautics》2023年第11期398-416,共19页Zhongyang ZHANG Juliang XIAO Haitao LIU Tian HUANG; supported by National Natural Science Foundation of China(Nos.91948301,52175025 and 51721003).; The mobile hybrid machining robot has a very bright application prospect in the field of high-efficiency and high-precision machining of large aerospace structures.However,an inappropriate base placement may make the ...; 关键词：Aerospace industry Base placement optimization Hybrid machining robot Mobile robot Robot application Singularity avoidance Stiffness optimization

Finite-Time Observability of Probabilistic Logical Control Systems: 《Journal of Systems Science & Complexity》2023年第5期1905-1926,共22页ZHOU Rongpei GUO Yuqian LIU Xinzhi GUI Weihua; jointly supported by the National Natural Science Foundation of China under Grant Nos.62103178,61873284 and 61321003;NSERC Canada。; This study investigates finite-time observability of probabilistic logical control systems(PLCSs)under three definitions(i.e.,finite-time observability with probability one,finite-time singleinput sequence observabili...; 关键词：Finite-time observability finite-time set reachability probabilistic logical control systems semi-tensor products

Aggregation method to reachability and optimal control of large-size Boolean control networks被引量：2: 《Science China(Information Sciences)》2023年第7期303-304,共2页Shuling WANG Haitao LI; supported by National Natural Science Foundation of China(Grant No.62073202);Young Experts of Taishan Scholar Project(Grant No.tsqn201909076)。; Dear editor,As an effective model of genetic regulatory networks,the Boolean network was introduced by Kauffman,and has since been extensively studied in systems biology.Boolean control networks(BCNs)are Boolean netwo...; 关键词：BOOLEAN OPTIMAL NETWORKS

Last train timetable optimization for metro network to maximize the passenger accessibility over the end-of-service period被引量：1: 《Railway Sciences》2023年第2期273-288,共16页Fang Wen Yun Bai Xin Zhang Yao Chen Ninghai Li; supported by Talents Funds for Basic Scientific Research Business Expenses of Central Colleges and Universities (Grant No.2021RC228);Special Funds for Basic Scientific Research Business Expenses of Central Colleges and Universities (Grant No.2021YJS103).; Purpose-This study aims to improve the passenger accessibility of passenger demands in the end-ofoperation period.Design/methodology/approach-A mixed integer nonlinear programming model for last train timetable optimi...; 关键词：Urban rail transit Last train of metro Timetable optimization End-of-operation period Passenger demand OD reachability

Reachability-Based Packet Scheduler of Multipath QUIC for Heterogeneous Mobile Networks被引量：2: 《Communications and Network》2022年第4期200-209,共10页Riki Okunishi Rui Teng Kenya Sato; In recent years, we need more bandwidth to enjoy entertainment contents such as video streaming, music and online gaming. To gain enough bandwidth, technologies that combine bandwidth by using multiple interfaces at s...; 关键词：MOBILITY Multipath Transport Protocol Multipath QUIC

A Mutual Authentication and Cross Verification Protocol for Securing Internet-of-Drones (IoD): 《Computers, Materials & Continua》2022年第9期5845-5869,共25页Saeed Ullah Jan Irshad Ahmed Abbasi Fahad Algarni; With the rapid miniaturization in sensor technology,Internet-ofDrones(IoD)has delighted researchers towards information transmission security among drones with the control station server(CSS).In IoD,the drone is diffe...; 关键词：Cryptography authentication CONFIDENTIALITY REACHABILITY ZSP

REACHABILITY