Model-based veriﬁcation method for solving the parameter
uncertainty in the train control system
$
/Ruijun Cheng
a
, Jin Zhou

Model-based veriﬁcation method for solving the parameter uncertainty in the train control system $ /Ruijun Cheng a , Jin Zhou

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Cheng,Ruijun
Định dạng:	text
Ngôn ngữ:	vie
Truy cập trực tuyến:	https://thuvien.huce.edu.vn/Opac/DmdInfo.aspx?dmd_id=18795
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Direct optimization of uncertain structures based on degree of interval constraint violation /Jin Cheng, Zhenyu Liu
Thông tin tác giả:: Cheng,Jin

Tracking Control of Rostock Delta Parallel Robot with Uncertainty Dynamic Parameters by Using Sliding Mode Control Method
Thông tin tác giả:: Vu, Le Huy, và những người khác
Thông tin xuất bản: (2022)

An adaptive method to parameter identiﬁcation and synchronization of fractional-order chaotic systems with parameter uncertainty
Thông tin tác giả:: Behinfaraz ,Reza

Solving differential-algebraic equations through variational iteration method with an auxiliary parameter
Thông tin tác giả:: Ghaneai,H.

分布式形态学框架下的汉语动宾复合词研究 =Verb-object compounding in Chinese:A distributed morphology approach /CHENG Gong, ZHOU Guanglei.
Thông tin tác giả:: Cheng, Gong.

Numerical Methods For Solving Nonlinear Problems In Control Theory
Thông tin tác giả:: Nguyen, Thanh Bang
Thông tin xuất bản: (2014)

A GA-based system sizing method for net-zero energy buildings considering multi-criteria performance requirements under parameter uncertainties
Thông tin tác giả:: Yu,Zhun (Jerry)

A review of vehicle fuel consumption models to evaluate eco-driving and eco-routing Min Zhou, Hui Jin ⇑ , Wenshuo Wang
Thông tin tác giả:: Zhou,,Min

Local Convergence for an Efﬁcient Eighth Order Iterative Method with a Parameter for Solving Equations Under Weak Conditions
Thông tin tác giả:: Argyros,Ioannis K.

Static behavior of deployable cable-strut structures /Jianguo Cai a, ⁎ , Ruijun Ma a , Xiaowei Deng b , Jian Feng a
Thông tin tác giả:: Cai,Jianguo

Eco-system optimal time-dependent ﬂow assignment in a congested network /Chung-Cheng Lu a , Jiangtao Liu b , Yunchao Qu b , c , Srinivas Peeta d , Nagui M. Rouphail e , Xuesong Zhou b , ∗
Thông tin tác giả:: Lu,Chung-Cheng

Simultaneous passenger train routing and timetabling using an eﬃcient train-based Lagrangian relaxation decomposition /Wenliang Zhou a , ∗ , Hualiang Teng
Thông tin tác giả:: Zhou ,Wenliang

HSK语法讲练. 初. 中等 / 付玉萍, 成文, 金纪文 [Fu Yuping, Cheng Wen, Jin Jiwen]
Thông tin tác giả:: 付, 玉萍

HSK语法讲练 : 初·中等 / 付玉萍, 成文, 金纪文 [Fu Yuping, Cheng Wen, Jin Jiwen]
Thông tin tác giả:: 付,玉萍

Language classroom assessment /Liying Cheng
Thông tin tác giả:: Cheng, Liying

汉语教材中成语的系统考察——基于31册综合(读写)教材与《大纲》的分析 =The Idiom Words in Teaching Chinese as a Foreign Language Textbooks——The Analysis and Discussion Based on the Idiom in 31 Textbooks and the “Syllabus”. /Zhou Xiao-Bing ; Cheng Yan.
Thông tin tác giả:: Zhou, Xiao-Bing., và những người khác

Voyage au Tibet /Chʻeng-hang Liu; Hsiang-pien-chia-tsʻo.; Yün-tʻien Yü; Beijing she ying shi ye fa zhan ji jin hui.; et al
Thông tin tác giả:: Chʻeng-hang Liu., và những người khác

Correct Hardware Design and Verification Methods
Thông tin tác giả:: Borrione, Dominique, và những người khác
Thông tin xuất bản: (2020)

The finite element method in electromagnetics / Jin Jianming
Thông tin tác giả:: Jianming, Jin

Life and death in Shanghai /Nien Cheng.
Thông tin tác giả:: Nien, Cheng,1915-2009.

Numerical study on seismic behaviours of ConXL biaxial moment connection /Chao Yang a, ⁎ , Jun-Fen Yang a , Ming-Zhou Su a , Cheng-Zong Liu
Thông tin tác giả:: Yang,Chao

分布式形态学框架下的汉语动宾复合词研究 =Verb-object compounding in Chinese:A distributed morphology approach /CHENG Gong; ZHOU Guanglei; School of International Studies,Zhejiang University;English Dept.,PLA University of Foreign Languages
Thông tin tác giả:: CHENG, Gong, và những người khác

An annotated bibliography for Chinese film studies / Jim Cheng
Thông tin tác giả:: Cheng, Jim

Statics and strength of materials / Fa - Hwa Cheng
Thông tin tác giả:: Cheng, Fa-Hwa

A simpliﬁed error estimator for the CB method and its application to error control /Seung-Hwan Boo a , Jin-Gyun Kim
Thông tin tác giả:: Boo,Seung-Hwan

Stormwater Detention System Parameter Sensitivity and Uncertainty Analysis Using SWMM /James Knighton
Thông tin tác giả:: Knighton,James

Parameter Uncertainty and Nonstationarity in Regional Rainfall Frequency in Qu River Basin, East China
Thông tin tác giả:: Zhu,Qian

Leveraging Applications of Formal Methods, Verification and Validation
Thông tin tác giả:: Tiziana Margaria, Bernhard Steffen
Thông tin xuất bản: (2017)

Leveraging Applications of Formal Methods, Verification and Validation
Thông tin xuất bản: (2020)

Verification Coefficient and Optimization Method for Bridge Evaluation
Thông tin tác giả:: bo,WANG Ling-

Critical Systems: Formal Methods and Automated Verification
Thông tin tác giả:: Petrucci, Laure, và những người khác
Thông tin xuất bản: (2020)

China's changing political landscape: prospects for democracy / Cheng Li
Thông tin tác giả:: Cheng Li

Recent trends in cold-formed steel contruction / Cheng Yu
Thông tin tác giả:: Yu, Cheng

No uncertainty no knowledge :overview of methods for remotely - sensed IOP uncertainties
Thông tin tác giả:: Salma, M.S.
Thông tin xuất bản: (2020)

Physiology Question Based Learning : Neurophysiology, Gastrointestinal and Endocrine Systems / edited by Hwee Ming Cheng.
Thông tin tác giả:: Cheng, Hwee Ming

第二语言(汉语)教学近义词区别项目习得难易度调查 =A Study on the Difficulty Levels of Distinctive Item Acquisition of Near-Synonyms in CSL /薛扬；刘锦城；XUE Yang;LIU Jin-cheng;Dalian University;Princeton University;
Thông tin tác giả:: Xue, Yang., và những người khác

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Thông tin tác giả:: Ramesh, S., và những người khác
Thông tin xuất bản: (2020)

Using Pro/ Desktop 8 / Ron K. C. Cheng
Thông tin tác giả:: Cheng, Ron K. C.

Technical Note Automated Selection of Pure Base Flows from Regular Daily Streamflow Data: Objective Algorithm /Lei Cheng
Thông tin tác giả:: Cheng,Lei

Production Control with Price, Cost, and Demand Uncertainty
Thông tin tác giả:: Tan, Barı¸s
Thông tin xuất bản: (2020)