检索结果-内蒙古大学图书馆

2nd International Conference on Computational Modeling, Simulation and Data Analysis, CMSDA 2022

作者： Wang, Yongxing Cao, Zining Li, Zhen Yi, Wenhao College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Science and Technology on Electrooptic Control Laboratory Luoyang China

ISBN: (纸本)9798350345759

At present, cyber-physical systems are widely used in avionics, telemedicine, automotive electronics and other fields, and the software and hardware subsystems in cyber-physical systems are closely coupled with each other, but the existing modeling language cannot describe both discrete and continuous parts of the system separately, so we use SysML and Modelica to model the software, hardware parts of the cyber-physical system. In order to combine SysML and Modelica more conveniently, we establish communication rules at the metamodel level, and add probabilistic attributes in the behavior attachment of SysML to describe the probabilistic behavior of the system. For the convenience of verification, we transform this semi-formal model into a probabilistic mixture interface automaton(PHIA) through transformation rules, so as to carry out formal verification. Finally, the feasibility of the combined modeling method and conversion algorithm proposed in this paper is verified by an unmanned driving system. © 2022 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

A CPS-Oriented Combinatorial Modeling and Model Conversion Method

A CPS-Oriented Combinatorial Modeling and Model Conversion M...

引用

Computational Modeling, Simulation and Data Analysis (CMSDA), International Conference on

作者： Yongxing Wang Zining Cao Zhen Li Wenhao Yi College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Science and Technology on Electrooptic Control Laboratory Luoyang China

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm 16

A Language for Performance Evaluation Based on the Combinati...

引用

16th IEEE International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021

作者： Wang, Fujun Cao, Zining Wang, Shuya Zong, Hui Lu, Weiwei Nanjing University of Aeronautics and Astronautics College of Computer Science and Technology Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Science and Technology on Electrooptic Control Laboratory Luoyang China Tongda College Nanjing University of Posts and Telecommunications Yangzhou China

ISBN: (纸本)9781665405539

Safety-critical systems are becoming more common around us, how to conduct performance evaluation becomes an important practical concern. Performance evaluation means to describe, analyze, and optimize the dynamic, time-dependent behavior of systems. Traditional temporal logics, even probabilistic temporal logics are expressive enough, but they are limited to producing only true or false responses, as they are still logics. Meanwhile, the probabilistic operator can produce only true or false responses, without any other information, like the medium truth degree of the property. To overcome this problem, a novel language for performance evaluation was proposed, which absorbs the advantages of the existing formal languages and uses the distance ratio function of 'Measure of Medium Truth Degree (MMTD)' to quantify the additional information, which we called fuzzy information. In addition, the existing approximate probabilistic bisimulation relations, which do not take the case of convex combination transitions into account, are deficient. To tackle this issue, a new approximate probabilistic bisimulation relation was put forward, which forms the basis for the novel language, especially for the probabilistic operator. The performance evaluation algorithm and properties related to the new language are given. The expressive ability of the novel language for performance evaluation was demonstrated by a case study. © 2021 IEEE.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm

A Language for Performance Evaluation Based on the Combinati...

引用

International Conference on Intelligent System and Knowledge Engineering, ISKE

作者： Fujun Wang Zining Cao Shuya Wang Hui Zong Weiwei Lu College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Science and Technology on Electrooptic Control Laboratory Luoyang China Tongda College Nanjing University of Posts and Telecommunications Yangzhou China

ISBN: (纸本)9781665405546

Safety-critical systems are becoming more common around us, how to conduct performance evaluation becomes an important practical concern. Performance evaluation means to describe, analyze, and optimize the dynamic, time-dependent behavior of systems. Traditional temporal logics, even probabilistic temporal logics are expressive enough, but they are limited to producing only true or false responses, as they are still logics. Meanwhile, the probabilistic operator can produce only true or false responses, without any other information, like the medium truth degree of the property. To overcome this problem, a novel language for performance evaluation was proposed, which absorbs the advantages of the existing formal languages and uses the distance ratio function of “Measure of Medium Truth Degree (MMTD)” to quantify the additional information, which we called fuzzy information. In addition, the existing approximate probabilistic bisimulation relations, which do not take the case of convex combination transitions into account, are deficient. To tackle this issue, a new approximate probabilistic bisimulation relation was put forward, which forms the basis for the novel language, especially for the probabilistic operator. The performance evaluation algorithm and properties related to the new language are given. The expressive ability of the novel language for performance evaluation was demonstrated by a case study.

关键词： Performance evaluation Knowledge engineering Atmospheric measurements System performance Formal languages Model checking Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

The Performance Evaluation of SSVEP-BCI Actuated Wheelchair with Parameter Setting of Time-Window Length and Stimulation Layout

The Performance Evaluation of SSVEP-BCI Actuated Wheelchair ...

引用

Workshop on Metrology for Industry 4.0 and IoT

作者： Jun Xie Xiaojun Wu Peng Fang Guanglin Li Guozhi Cao Tao Xue Science and Technology on Electrooptic Control Laboratory Luoyang China CAS Key Laboratory of Human-Machine Intelligence-Synergy Systems Shenzhen Institutes of Advanced Technology & Shenzhen Engineering Laboratory of Neural Rehabilitation Shenzhen China School of Mechanical Engineering Xi'an Jiaotong University Xi'an China

ISBN: (数字)9781728148922

ISBN: (纸本)9781728148939

Due to the advantages of prominent brain responses, less training duration, and robustness to artifacts, steady-state visual evoked potential (SSVEP) based brain-computer interface (BCI) has been recently applied to intelligent wheelchair navigation. Recent researches mainly focused on the implementation of a specific recognition method to analyze the wheelchair navigation performance under fixed stimulation target number. The navigation performance evaluation under different recognition methods and different BCI target numbers is rarely compared. In this paper, the navigation performance comparison between different numbers of stimulation targets and different recognition methods was carried out. The multichannel integrated GT 2 circ and canonical correlation analysis (CCA) recognition methods were used to compare the wheelchair navigation performance under different time-window (TW) lengths. And the 3-target and 4-target arrangement layouts were adopted to compare the navigation performance between the “No feedback” and the “Feedback” conditions. Experimental results showed that the GT 2 circ recognition method with TW length of 2 s would promote the navigation efficiency and different stimulation target number could be tailored for different wheelchair application purposes, which would bring tutorial instructions to the applicable navigation of the BCI-actuated wheelchair.

关键词： brain-computer interface (BCI) steady-state visual evoked potential (SSVEP) wheelchair navigation time-window (TW) length stimulation layout Performance Evaluation Wheelchair parameter setting navigation Navigation efficiency Brain-Computer Interfaces Recognition (Psychology) Stimuli layouts

来源：评论

学校读者我要写书评

暂无评论

Cubature Kalman fusion for Bearings-only tracking networks

Cubature Kalman fusion for Bearings-only tracking networks

引用

3rd IFAC Conference on Intelligent control and Automation science, ICONS 2013

作者： Ge, Quanbo Wen, Chenglin Chen, Shaodong Institute of Systems Science and Control Engineering School of Automation Hangzhou Dianzi University Hangzhou Zhejiang 310018 China Science and Technology on Electrooptic Control Laboratory Luoyang Institute of Electro Optical Equipment of AVIC Luoyang Henan 471000 China

ISBN: (纸本)9783902823458

In this paper, we study the nonlinear data fusion problem for a kind of Bearingsonly tracking network system with correlations among measurement noises. As a result, a decentralized cubature Kalman fusion algorithm is proposed by using an information filtering form (CIF) of cubature Kalman filter (CKF) and a noise de-correlation way. Based on the CIF and an augmented measurement, a centralized cubature Kalman fusion algorithm is firstly established and a problem on computational performance is pointed out. In order to improve computational performance of the centralized fusion method, the noise de-correlation technology is used to obtain a functionally equivalent Bearings-only tracking fusion system without the noise correlations, namely the variance of an augmented measurement noise is diagonalized. Accordingly, the proposed decentralized fusion method based on the CIF can be used to achieve a more effective tracking fusion estimate. Copyright © 2013 IFAC.

关键词： Information filtering

来源：评论

学校读者我要写书评

暂无评论

Cubature Kalman Fusion For Bearings-Only Tracking Networks

引用

IFAC Proceedings Volumes 2013年第20期46卷 303-308页

作者： Quanbo Ge Chenglin Wen Shaodong Chen Institute of Systems Science and Control Engineering School of Automation Hangzhou Dianzi University Hangzhou Zhejiang 310018 P.R. China Science and Technology on Electrooptic Control Laboratory Luoyang Institute of Electro Optical Equipment of AVIC Luoyang Henan 471000 P.R. China

In this paper, we study the nonlinear data fusion problem for a kind of Bearings-only tracking network system with correlations among measurement noises. As a result, a decentralized cubature Kalman fusion algorithm is proposed by using an information filtering form (CIF) of cubature Kalman filter (CKF) and a noise de-correlation way. Based on the CIF and an augmented measurement, a centralized cubature Kalman fusion algorithm is firstly established and a problem on computational performance is pointed out. In order to improve computational performance of the centralized fusion method, the noise de-correlation technology is used to obtain a functionally equivalent Bearings-only tracking fusion system without the noise correlations, namely the variance of an augmented measurement noise is diagonalized. Accordingly, the proposed decentralized fusion method based on the CIF can be used to achieve a more effective tracking fusion estimate.

关键词： Bearings-only tracking noise correlations nonlinear data fusion cubature Kalman filter information filtering noise de-correlation decentralized fusion

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：