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

arXiv 2019年

作者： Bilic, Patrick Christ, Patrick Li, Hongwei Bran Vorontsov, Eugene Ben-Cohen, Avi Kaissis, Georgios Szeskin, Adi Jacobs, Colin Mamani, Gabriel Efrain Humpire Chartrand, Gabriel Lohöfer, Fabian Holch, Julian Walter Sommer, Wieland Hofmann, Felix Hostettler, Alexandre Lev-Cohain, Naama Drozdzal, Michal Amitai, Michal Marianne Vivanti, Refael Sosna, Jacob Ezhov, Ivan Sekuboyina, Anjany Navarro, Fernando Kofler, Florian Paetzold, Johannes C. Shit, Suprosanna Hu, Xiaobin Lipková, Jana Rempfler, Markus Piraud, Marie Kirschke, Jan Wiestler, Benedikt Zhang, Zhiheng Hülsemeyer, Christian Beetz, Marcel Ettlinger, Florian Antonelli, Michela Bae, Woong Bellver, Míriam Bi, Lei Chen, Hao Chlebus, Grzegorz Dam, Erik B. Dou, Qi Fu, Chi-Wing Georgescu, Bogdan Giró-I-Nieto, Xavier Gruen, Felix Han, Xu Heng, Pheng-Ann Hesser, Jürgen Moltz, Jan Hendrik Igel, Christian Isensee, Fabian Jäger, Paul Jia, Fucang Kaluva, Krishna Chaitanya Khened, Mahendra Kim, Ildoo Kim, Jae-Hun Kim, Sungwoong Kohl, Simon Konopczynski, Tomasz Kori, Avinash Krishnamurthi, Ganapathy Li, Fan Li, Hongchao Li, Junbo Li, Xiaomeng Lowengrub, John Ma, Jun Maier-Hein, Klaus Maninis, Kevis-Kokitsi Meine, Hans Merhof, Dorit Pai, Akshay Perslev, Mathias Petersen, Jens Pont-Tuset, Jordi Qi, Jin Qi, Xiaojuan Rippel, Oliver Roth, Karsten Sarasua, Ignacio Schenk, Andrea Shen, Zengming Torres, Jordi Wachinger, Christian Wang, Chunliang Weninger, Leon Wu, Jianrong Xu, Daguang Yang, Xiaoping Yu, Simon Chun-Ho Yuan, Yading Yue, Miao Zhang, Liping Cardoso, Jorge Bakas, Spyridon Braren, Rickmer Heinemann, Volker Pal, Christopher Tang, An Kadoury, Samuel Soler, Luc van Ginneken, Bram Greenspan, Hayit Joskowicz, Leo Menze, Bjoern Department of Informatics Technical University of Munich Germany Department of Quantitative Biomedicine University of Zurich Switzerland Ecole Polytechnique de Montréal Canada Department of Medical Imaging Radboud University Medical Center Nijmegen Netherlands Department of Biomedical Engineering Tel-Aviv University Israel Germany Pattern Analysis and Learning Group Department of Radiation Oncology Heidelberg University Hospital Heidelberg Germany Philips Research China Philips China Innovation Campus Shanghai China School of Biomedical Engineering & Imaging Sciences King0s College London London United Kingdom Institute for AI in Medicine Technical University of Munich Germany Department of Computer Science Guangdong University of Foreign Studies China Institute for diagnostic and interventional radiology Klinikum rechts der Isar Technical University of Munich Germany Institute for Diagnostic and Interventional Neuroradiology Klinikum Rechts der Isar Technical University of Munich Germany Department of Hepatobiliary Surgery The Affiliated Drum Tower Hospital Nanjing University Medical School China Department of Computing Imperial College London London United Kingdom Institute for Tissue Engineering and Regenerative Medicine Helmholtz Zentrum München Neuherberg Germany Brigham and Women's Hospital Harvard Medical School United States School of Computer Science and Engineering The Hebrew University of Jerusalem Israel University of Pennsylvania PA United States Pte. Ltd. Singapore Medical Imaging and Reconstruction Lab Department of Engineering Design Indian Institute of Technology Madras India Sensetime Shanghai China Department of Radiology Perelman School of Medicine University of Pennsylvania United States Department of Pathology and Laboratory Medicine Perelman School of Medicine University of Pennsylvania PA United States Co. Ltd China MontréalQC Canada Department of Radiology Radiation Oncology and Nuclear Medicine University of Montréal

In this work, we report the set-up and results of the Liver Tumor Segmentation Benchmark (LiTS), which was organized in conjunction with the IEEE International Symposium on Biomedical Imaging (ISBI) 2017 and the International Conferences on Medical Image Computing and Computer-Assisted Intervention (MICCAI) 2017 and 2018. The image dataset is diverse and contains primary and secondary tumors with varied sizes and appearances with various lesion-to-background levels (hyper-/hypo-dense), created in collaboration with seven hospitals and research institutions. Seventy-five submitted liver and liver tumor segmentation algorithms were trained on a set of 131 computed tomography (CT) volumes and were tested on 70 unseen test images acquired from different patients. We found that not a single algorithm performed best for both liver and liver tumors in the three events. The best liver segmentation algorithm achieved a Dice score of 0.963, whereas, for tumor segmentation, the best algorithms achieved Dices scores of 0.674 (ISBI 2017), 0.702 (MICCAI 2017), and 0.739 (MICCAI 2018). Retrospectively, we performed additional analysis on liver tumor detection and revealed that not all top-performing segmentation algorithms worked well for tumor detection. The best liver tumor detection method achieved a lesion-wise recall of 0.458 (ISBI 2017), 0.515 (MICCAI 2017), and 0.554 (MICCAI 2018), indicating the need for further research. LiTS remains an active benchmark and resource for research, e.g., contributing the liver-related segmentation tasks in http://***/. In addition, both data and online evaluation are accessible via ***. © 2019, CC BY-NC-ND.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Constraint Robust Model Predictive control for Jump Markov Linear Systems with Additive Disturbances

Constraint Robust Model Predictive Control for Jump Markov L...

引用

European control Conference

作者： Jens Tonne Olaf Stursberg Volkswagen AG Baunatal (Germany) Institute of Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel (Germany)

ISBN: (纸本)9781509025923

This paper proposes an approach to robust model predictive control (MPC) for discrete-time jump Markov linear systems (JMLS) considering polytopic constraints on the inputs and states. In a first design step, state feedback controllers, that stabilize the JMLS robustly, are calculated offline by means of a semi-definite program (SDP). These controllers are designed to satisfy the constraints and keep the states within disturbance invariant sets (DIS). To reduce the conservatism of the design approach, an SDP formulation in which the controller parameterization is independent of the Lyapunov matrices is employed. The resulting Lyapunov matrices and the DIS are used to formulate quadratic constraints for the first prediction step, that ensure robustness against additive disturbances, stability, constraint satisfaction and recursive feasibility. The stabilizing properties and low computation times of the resulting quadratically constraint quadratic program (QCQP) are illustrated by simulation.

关键词： JMLS SDP MPC

来源：评论

学校读者我要写书评

暂无评论

A New Motion Estimation Method for Long-term Ultrasound Free Respiration Sequences Based on Multi-scale Blobness Enhancement Filter and Level Set Method

A New Motion Estimation Method for Long-term Ultrasound Free...

引用

2016 IEEE 13th International Conference on Signal Processing（ICSP2016）

作者： Zhao,Yue Shen,Yi Li,Jiaxin Jin,Jing Wang,Qiucheng IEEE Control Theory and Engineering School of AstronauticsHarbin Institute of Technology Department of Ultrasound Harbin Medical University Cancer Hospital

Because of its high temporal resolution and safety, medical ultrasound(US) imaging technology is widely used as a guided modality in modern therapies and examinations, especially in human liver treatment. Thus, the precise motion estimation method of the moving target becomes a hot researching domain. In this paper, a new motion estimation method is proposed for liver vessel tracking using long-term ultrasound free respiration sequences. Firstly, a multi-scale blob-like enhancement filter was implemented to extract the coarse contour of the vessel target region. Then, the level set algorithm based on Chan-Vese(CV) model was used to obtain a fine boundary of the tracking target using the coarse one. The center of the tracking target is considered as the geometrical center of the fine boundary. The proposed method is tested using the clinical US sequences and compared with the traditional cross correlation method. The results show that the proposed method is more accurate and stable than the cross correlation method.

关键词： motion estimation long-term ultrasound sequence multi-scale blobness enhancement filter level set

来源：评论

学校读者我要写书评

暂无评论

On Some Aspects of Perturbation Analysis for Matrix Cone Optimization Induced by Spectral Norm

引用

Journal of the Operations Research Society of China 2015年第3期3卷 275-296页

作者： Shao-Yan Guo Li-Wei Zhang Shou-Lin Hao School of Mathematical Sciences Institute of Operations Research and Control TheoryDalian University of TechnologyDalian 116024China School of Control Science and Engineering Institute of Advanced Control TechnologyDalian University of TechnologyDalian 116024China

In this paper,we consider a cone problem of matrix optimization induced by spectral norm(MOSN).By Schur complement,MOSN can be reformulated as a nonlinear semidefinite programming(NLSDP)*** we discuss the constraint nondegeneracy conditions and strong second-order sufficient conditions of MOSN and its SDP reformulation,and obtain that the constraint nondegeneracy condition of MOSN is not always equivalent to that of ***,the strong second-order sufficient conditions of these two problems are equivalent without any ***,a sufficient condition is given to ensure the nonsingularity of the Clarke’s generalized Jacobian of the KKT system for MOSN.

关键词： Spectral norm Negative semidefinite cone Strong second-order sufficient condition Constraint nondegeneracy condition

来源：评论

学校读者我要写书评

暂无评论

Final-state constrained optimal control via a projection operator approach

Final-state constrained optimal control via a projection ope...

引用

European control Conference (ECC)

作者： Ivano Notarnicola Florian A. Bayer Giuseppe Notarstefano Frank Allgower Department of Engineering Università del Salento Lecce Italy Institute for Systems Theory and Automatic Control University of Stuttgart Stuttgart Germany

In this paper we develop a numerical method to solve nonlinear optimal control problems with final-state constraints. Specifically, we extend the PRojection Operator based Netwon's method for Trajectory Optimization (PRONTO), which was proposed by Hauser for unconstrained optimal control problems. While in the standard method final-state constraints can be only approximately handled by means of a terminal penalty, in this work we propose a methodology to meet the constraints exactly. Moreover, our method guarantees recursive feasibility of the final-state constraint. This is an appealing property especially in realtime applications in which one would like to be able to stop the computation even if the desired tolerance has not been reached, but still satisfy the constraints. Following the same conceptual idea of PRONTO, the proposed strategy is based on two main steps which (differently from the standard scheme) preserve the feasibility of the final-state constraints: (i) solve a quadratic approximation of the nonlinear problem to find a descent direction, and (ii) get a (feasible) trajectory by means of a feedback law (which turns out to be a nonlinear projection operator). To find the (feasible) descent direction we take advantage of final-state constrained Linear Quadratic optimal control methods, while the second step is performed by suitably designing a constrained version of the trajectory tracking projection operator. The effectiveness of the proposed strategy is tested on the optimal state transfer of an inverted pendulum.

关键词： Trajectory Optimal control Aerospace electronics Heuristic algorithms Manifolds Europe

来源：评论

学校读者我要写书评

暂无评论

On Topological Conditions to Maintain Leader-Follower Connectivity in Double-Integrator Multi-Agent Systems

On Topological Conditions to Maintain Leader-Follower Connec...

引用

Mediterranean Conference on control and Automation

作者： Philipp N. Kohler Dimos V. Dimarogonas Institute for Systems Theory and Automatic Control (IST) University of Stuttgart ACCESS Linnaeus Center School of Electrical Engineering KTH Royal Institute of Technology

ISBN: (纸本)9781467383479

In this work, a set of sufficient conditions that guarantee consensus towards a pre-specified target state in double-integrator leader-follower proximity-based networks are derived. Since only the leader agents are aware of the global objective and proximity-based communication between agents is considered, the follower agents must not lose contact to the leaders. We establish a connectivity analysis framework which is used to show that the initial network topology is maintained if the ratio of leaders-to-followers and the magnitude of the goal attraction force experienced by the leaders are below certain bounds. Various network topologies are examined, starting from a complete graph and extending to incomplete graphs. The theoretical results are illustrated by simulations.

关键词： Network topology Agents Multi-agent systems Leaders Awareness Connectivity analysis Leadership simulating EARTHQUAKE MAGNITUDE

来源：评论

学校读者我要写书评

暂无评论

Persistence border collisions in a vibrating system excited by an unbalanced motor with a relay control

引用

AIP Conference Proceedings 2018年第1期1959卷

作者： Zhanybai T. Zhusubaliyev Viktor Avrutin Vasily G. Rubanov Dmitry A. Bushuev Dmitry V. Titov Olga O. Yanochkina 1Department of Computer Science Southwest State University 50 Years of October Str. 94 305040 Kursk Russia 2Institute for Systems Theory and Automatic Control University of Stuttgart Pfaffenwaldring 9 70550 Stuttgart Germany 3Department of Engineering Cybernetics Belgorod State Technological University Kostyukov Str. 46 308012 Belgorod Russia

The paper describes a new scenario for the transition to complex dynamics in a vibrating system with an unbalanced rotor and a relay feedback control. We show that the transition from a regular dynamics without switching events in the relay element to an irregular dynamics which takes place completely in the hysteresis region occurs via a cascade of persistence border collisions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lyapunov-based self-tuning of sliding surfaces — methodology and application to hydraulic valves

Lyapunov-based self-tuning of sliding surfaces — methodolog...

引用

IEEE/ASME (AIM) International Conference on Advanced Intelligent Mechatronics

作者： Christoph Krimpmann Georg Schoppel Ingo Glowatzky Torsten Bertram Institute of Control Theory and Systems Engineering TU Dortmund University Dortmund Germany Bosch Rexroth AG Lohr am Main Germany

ISBN: (纸本)9781509020669

This publication discusses the topic of sliding mode control and its practical application to position control of a hydraulic directional valve. The main issue relies on the design of an adaptive sliding function, to achieve optimal closed loop performance. For this, a Lyapunov-based stability proof for a second order sliding mode controller is presented. To obtain adaption functionality, it is extended by considering the sliding function parameters. This achieves a stable adaption of the closed loop dynamics. Further, the advantages of nonlinear sliding functions in comparison to linear ones are discussed and an approach based on the idea of dynamical pole placement is extended by the newly introduced self-tuning process. To discuss the features of the proposed adaption law, the application of sliding mode control of a hydraulic valve is considered, where no prior parameter optimization is carried out before. The proposed adaption law achieves a high closed loop performance within a short period of time without any need of parameter optimization. Additionally it is shown, that the use of a nonlinear sliding function increases the closed loop performance, compared to a linear formulation.

关键词： Lyapunov methods Valves Optimization Stability analysis Process control Modeling Dynamics

来源：评论

学校读者我要写书评

暂无评论

Distributed parameter model of the buck converter with constant inductive load

引用

IFAC-PapersOnLine 2015年第1期28卷 691-692页

作者： Huang, Chenzi Woittennek, Frank Röbenack, Klaus Institute of Control Theory Faculty of Electrical and Computer Engineering Technische Universität Dresden Dresden01062 Germany

In this contribution we present a new variant for the well-known buck converter. We substitute the lumped parameter components of the circuit by the distributed parameter model of a transmission line. For discussion, methods for modeling and simulation will be explained followed by some simulation results. © 2015, IFAC (International Federation of Automatic control) Hosting by Elsevier Ltd. All rights reserved.

关键词： DC-DC converters Electric lines Buck converters Distributed parameter model Inductive loads Lumped parameter Model and simulation

来源：评论

学校读者我要写书评

暂无评论

Existence and stability of periodic solutions for parabolic competition systems

Existence and stability of periodic solutions for parabolic ...

引用

Chinese control Conference (CCC)

作者： Xianlin Huang Hongyang Zhang Hang Yin Xiao-Zhi Gao Center for Control Theory and Guidance Technology Harbin Institute of Technology Harbin Heilongjiang CN Aalto University School of Electrical Engineering Aalto FI

ISBN: (纸本)9781509009107

We consider a nonlinear reaction-diffusion competition model with Neumann boundary condition. The main goal of this article is to research the existence and uniqueness of positive periodic solution when most of parameters are functions of time t and space x. We apply the lower and upper solutions method to present existence conditions of positive periodic solution. We obtain uniqueness conditions of positive periodic solution from priori estimates of the system. Moreover, Numerical simulation is carried out to illustrate feasibility of our main results.

关键词： Stability analysis Sociology Statistics Biological system modeling Electronic mail Electrical engineering Boundary conditions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：