نتایج جستجو برای: railroad
تعداد نتایج: 2280 فیلتر نتایج به سال:
Background In recent years, catheter-based renal denervation (RDN) has been investigated as a promising strategy in the treatment of resistant hypertension. Due to a reduction of whole body sympathetic activity, additional benefits on cardiac adaptation have been proposed. The purpose of this study was to investigate the effect of RDN on blood pressure (BP) as well as cardiac mass and function ...
For real world railroad networks, we consider minimizing operational cost of train schedules which depend on choosing different train types of diverse speed and cost. We develop a mixed integer linear programming model for this train scheduling problem. For practical problem sizes, it seems to be impossible to directly solve the model within a reasonable amount of time. However, suitable decomp...
In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause fo...
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to au-tomatize model checking in high level, easily understandable languages. We give here a general notion of timed transition system and its formula representation that are suucient to deal with some known examples of timed algorithms. We prove that the general semantic...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید