Reachability - Dissertation

About 143 item dissertation in line with Reachability query results,the following is 1 to 50(Search took 0.074 seconds)

The Research for Planning Solution Algorithm via the Reachability Relation of the Uncertainty System,HuangLiFang/Xiangtan University,0/14
Research on Network Reachability Query Engine Based on Firewall Decision Diagram Algorithm,LiWenJie/Hunan University,0/2
The Modeling and Analysis of Agile Supply Chain Based on Hierarchical Petri Nets,LiRui/Tianjin University of Science and Technology,0/12
Research on Reachability Tree for Unbounded Petri Nets,LiYue/Zhejiang Technology and Business University,0/1
GIS-based Ecological Evaluation of Urban Greenbelt Landscape,ZhangTao/Zhejiang Forestry University,0/96
Reachability Analysis of Nonlinear Hybrid Systems,ZouJin/Wenzhou University,0/26
Study for Structure Properties of Positive Descriptor Systems,ZhangYouMei/Northeastern University,0/19
The Query Research Based on Reachability of Uncertain Graph,DiQiuZuo/Harbin Institute of Technology,0/41
Research on Label-Constraint Reachability Queries in Uncertain Graphs,ChenMingHan/Northeastern University,0/0
Research on Synthetic Methods of Control System with Limited Communication,JiaTingGang/East China University of Science and Technology,1/60
The Research for State Reachability Relation of Uncertain Planning via Model Checking,HuYuLong/Xiangtan University,0/3
The Characterization for the Controllability and Reachability of Switched Linear System,XuLin/Nanjing Normal University,0/1
Dynamics Analysis on Linear Switched System,LiuChao/Chongqing University,0/154
Research on Sensitive Attribute Protection in Automated Trust Negotiation,WangKai/PLA Information Engineering University,0/16
Research on Validity of Artifact in Business Process,GaoShang/Yanshan University,0/17
The Modeling and Implementation of the Downhole Integrated System Based on Workflow Technology,ZhangAiRu/Northeast University of Petroleum,0/13
Research on Property Checking for Unbounded Petri Nets Based on Reachability Trees,TangLiJie/Chengdu University of Technology,0/19
A Solftware Design and Implementation of Petrinet Performance Analysis,LiuJun/University of Electronic Science and Technology,0/19
Research on Accessibility and Spatial Optimized Distribution of Primary and Secondary School in Rural,PengZhan/Central China Normal University,0/275
Network Partition and Island Identification Method Studies of Smart Distribution Grid,KongZuo/Shandong University,0/55
The Research of Distribution Networks Reliability Evaluation Algorithm,LiuDaiWei/West China University,0/3
The Substation Online Five Anti-system Software Design and Research,HuangDong/Zhejiang University,0/16
The Design Strategy of Small and Medium-sized Sports Center under the Guidance of Later Period Operation Concept,ChengCheZhi/Hefei University of Technology,0/0
Combined bus rapid transit network planning and evaluation method,CaoWei/Kunming University of Science and Technology,0/0
The Management Study of Metro Y Signal System Debugging Model,YeFuZhi/South China University of Technology,0/35
The Reachable Paths Finding Problem with Constrain of Last Trains in Urban Mass Transit Network,DuZuoZuo/Beijing Jiaotong University,1/79
Research of Parts Reachability Analysis and Dismantling Path-planning for DMU Based on CATIA,ZhouWei/Yanshan University,0/0
Study of ArcGIS Engine city park green land evaluation system based on,ZhangXiaoYu/Jiangxi University of Technology,0/59
Formal Verification of Hybrid Systems,ZhangHaiBin/Xi'an University of Electronic Science and Technology,1/250
The Research on Modeling and Scheduling of FMS Based on Petri Net,HuangBo/Nanjing University of Technology and Engineering,10/1096
Controllability, Observability and Feedback Control of 2-D Singular Systems,KangJingLi/Tianjin University,0/155
The Study of Peer-to-Peer Network and Its Protocol Verification Based on Gnutella Protocol,ZhuangLei/PLA Information Engineering University,4/398
Supervisory Control for Discrete Event Systems Based on Cascade Petri Net,DongLiDa/Zhejiang University,13/776
Study of Real-time Value-passing and Real-time Mobile Systems,ChenJing/Institute of Software,4/176
Research on the Methods and Key Techniques of C~4ISR System Architure Verification Based on the CADM,JiangZhiPing/National University of Defense Science and Technology,16/330
Research on Testing Theories and Technologies of Concurrent Programs,LuChao/Huazhong University of Science and Technology,3/707
Elementary Operators angle of the Son , and the space effect algebra,WangYueQing/Shaanxi Normal University,0/145
Multicast Algorithms on Hypercube Interconnection,LuSong/National University of Defense Science and Technology,2/145
Studies on Transportation Planning Theory Based on Accessibility,WangJiFeng/Tsinghua University,9/1528
Quantitative research based reachability , Jiangsu Province, urban spatial pattern of evolution,ZhongYeXi/Nanjing Normal University,1/674
Research on Key Technologies for Concurrent Programs Testing,ZuoFang/Huazhong University of Science and Technology,1/314
Study on Urban Forest Landscape Pattern Based on Multiple Data Sources in Guangzhou,ZhuYaoJun/Chinese Academy of Forestry,2/319
Analysis of Urban Location in Expressway Network,XuYouMei/Changsha University of Science and Technology,2/190
The Yangtze River Delta city of accessibility and FDI location choice,YangWenZhi/Nanjing Normal University,1/334
Formal Modeling and Verification of Real-time Systems Based on Time Automation,XuDan/Suzhou University,1/270
Model transformation and reachability analysis of hybrid systems,BaiXue/Beijing University of Chemical Technology,3/173
Study of TCP Protocol Based on Petri Net,ZhangYanLong/Lanzhou University of Technology,1/178
Study on the Accessibility Model of Regional Railway Network and Application,YangMian/Beijing Jiaotong University,7/374
The Terse Algorihtm for Computing Reachable Matrix Based on Directed Graph of ISM,YangWeiLi/Xiamen University,9/357
Evolution of Anhui Highway Accessibility and the Coupling Relationship with Region Development,GuanYing/Anhui Normal University,9/497