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

2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012

作者： Naujokat, Stefan Lamprecht, Anna-Lena Steffen, Bernhard Jörges, Sven Margaria, Tiziana Department of Programming Systems TU Dortmund 44227 Germany Department of Service and Software Engineering University Potsdam 14482 Germany

ISBN: (纸本)9781467318204

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for "lightweight plug-in development", that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins. © 2012 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Oxidative power and intracellular distribution of mitochondria control cell oxygen regime when arterial hypoxemia occurs

引用

Biophysics (Russian Federation) 2012年第5期57卷 628-633页

作者： Lyabakh, K.G. Lissov, P.N. International Research and Training Center for Information Technologies and Systems National Academy of Sciences of Ukraine Kiev 03680 Ukraine Institute of Programming Systems National Academy of Sciences of Ukraine Kiev 03680 Ukraine

The regulatory impact of the mitochondria spatial distribution and enlargement in their oxidative power qo2 on tissue oxygenation of skeletal muscle during hypoxia were studied. Investigations were performed by mathem... 详细信息

The regulatory impact of the mitochondria spatial distribution and enlargement in their oxidative power q_o2 on tissue oxygenation of skeletal muscle during hypoxia were studied. Investigations were performed by mathematical modeling of 3D O₂ diffusion-reaction in muscle fiber. The oxygen consumption rate V_o2 and tissue p_o2 were analyzed in response to a decrease in arterial blood oxygen concentration from 19. 5 to 10 vol % at moderate load. Cells with evenly (case 1) and unevenly (case 2) distributed mitochondria were considered. According to calculations, owing to a rise in mitochondria oxidative power from 3. 5 to 6. 5 mL/min per 100 g of tissue it is possible to maintain muscle oxygen V_o2 at a constant level of 3. 5 mL/min per 100 g despite a decrease in O₂ delivery. The minimum value of tissue p_o2 was about 0 and an area of hypoxia appeared inside the cell in case 1. Whereas hypoxia disappeared and minimum value of p_o2 increased from 0 to 4 mmHg if mitochondria were distributed unevenly (case 2). The possibilities of such regulation depended on the relationship "the degree of hypoxemia - the level of oxygen delivery." It was assumed that an increase in mitochondrial enzyme activity and their migration to places of the greatest oxygen consumption rate can improve the oxygen regime in the cell as it adapts to hypoxia. © 2012 Pleiades Publishing, Ltd.

关键词： adaptation cell oxygen regime distribution of mitochondria hypoxemia mathematical model oxidative power of mitochondria rate of oxygen consumption

来源：评论

学校读者我要写书评

暂无评论

Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe 12

Industrial evaluation of pairwise SPL testing with MoSo-PoLi...

引用

6th International Workshop on Variability Modeling of Software-Intensive systems, VaMoS'12

作者： Steffens, Michaela Oster, Sebastian Lochau, Malte Fogdal, Thomas Danfoss Power Electronics A/S Denmark Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450310581

Testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of testing each individual product of the SPL under test. In this contribution we present the results of applying the MoSo-PoLiTe framework at Danfoss Power Electronics A/S to calculate a representative set of product configurations for black box testing purposes. Within this evaluation we use MoSo-PoLiTe's pairwise configuration selection component on the basis of a feature model. This component implements a heuristics finding a minimal subset of configurations covering 100% T-wise feature interaction. According to the best of our knowledge, this is the first publication providing industrial results about pairwise SPL testing. © 2012 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A58: Demographics, Clinical Features and Therapies of Patients with Juvenile Dermatomyositis Participating in a National Myositis Patient Registry

引用

Arthritis & Rheumatology 2014年第S3期66卷

作者： Lisa G Rider Abdullah Faiq Payam Noroozi Farhadi Nastaran Bayat Lukasz Itert Mikaela Chase Robert Ulrey Karen Malley Jesse Wilkerson Anne Johnson Kathryn Rose Richard Morris Christine Parks Edward H. Giannini Hermine Brunner Bob Goldberg Frederick W Miller Environmental Autoimmunity Group Program of Clinical Research National Institute of Environmental Health Sciences National Institutes of Health US Department of Health and Human Services Bethesda MD NIEHS NIH Bethesda MD Cincinnati Children's Hospital Medical Center Cincinnati OH The Myositis Association Alexandria VA Malley Research Programming Inc Bethesda MD Social and Scientific Systems Inc. Durham NC NIEHS NIH Research Triangle Park NC Environmental Autoimmunity Group NIEHS NIH Bethesda MD

Background/Purpose: The myositis syndromes are rare systemic autoimmune diseases with poorly understood etiologies. We present the demographics, illness features and treatments of patients with juvenile dermatomyositis (JDM) who enrolled in a newly created national registry. Methods: Using a patient database from The Myositis Association and supplemental advertisements, a national registry of myositis patients was established. Between December 2010 and July 2012 questionnaires were mailed to 8847 myositis patients in the US and Canada. The questionnaire queried demographics, clinical features, environmental exposures, and quality of life. Descriptive statistics and multivariable logistic regression analysis were computed using GraphPad Prysm and SAS. Results: 1956 patients (22%) returned the questionnaire and consented to participate; 1806 who met probable or definite Bohan and Peter criteria for myositis were included (708 DM, 483 PM, 466 IBM, 139 JDM, 10 JPM); juvenile patients were diagnosed before age 18 years. Of the 139 JDM patients, the median age at diagnosis was 6.9 years and median disease duration at enrollment was 10.3 years. Most JDM patients were female (78%) and Non-Hispanic Caucasian (88%), and the remainder were Hispanic (6.5%), Asian (2.9%), multiple races (2.2%), and Black (0.7%). Patients or their parents often completed a graduate degree (23%) or college degree (29%). JDM patients were primarily diagnosed by a pediatric rheumatologist (48%), with adult and pediatric dermatologists (22%), pediatric neurologists and primary care physicians (11% each) diagnosing most of the remaining patients; 67% were under the care of a pediatric rheumatologist. JDM patients frequently had skin rashes as a major manifestation (86%); arthritis (35%) and dysphagia (32%) were also common, whereas lung disease (12%) was less frequent. An additional autoimmune disease was present in 18% of JDM patients, with JIA (8%) and SLE and celiac disease (3% each) the most frequ

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reducing feature models to improve runtime adaptivity on resource limited devices 12

Reducing feature models to improve runtime adaptivity on res...

引用

16th International Software Product Line Conference, SPLC 2012

作者： Saller, Karsten Oster, Sebastian Schürr, Andy Schroeter, Julia Lochau, Malte Real Time Systems Lab TU Darmstadt Germany LOGICA Germany Institute for Software and Multimedia Technology TU Dresden Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

ISBN: (纸本)9781450310956

Mobile devices like smartphones are getting increasingly important in our daily lifes. They are used in various environments and have to dynamically adapt themselves accordingly in order to provide an optimal runtime behavior. Naturally, adapting to continuously changing environmental conditions is a challenging task because mobile devices are always limited in their resources and have to adapt in realtime. In this paper, we introduce an approach that enables resource limited devices to adapt to changing conditions using dynamic software product lines techniques. Therefore, feature models are reduced to a specific hardware context before installing the adaptive mobile application on the device. This reduces the amount of possible configurations that are compatible with the device and, thereby, minimizes the costs and the duration of an adaptation during runtime. Copyright 2012 ACM.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Inferring semantic interfaces of data structures

Inferring semantic interfaces of data structures

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden

ISBN: (纸本)9783642340253

In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising parameterized input and output, allowing to model control- and data-flow in component interfaces concisely. Algorithmic key to the automated synthesis of these semantic interfaces is the extension of an active learning algorithm for Register Automata to explicitly deal with output. We evaluated our algorithm on a complex data structure, a "stack of stacks", the largest of which we could learn in merely 20 seconds with less than 4000 membership queries, resulting in a model with rougly 800 nodes. In contrast, even when restricting the data domain to just four values, the corresponding plain Mealy machine would have more than 109 states and presumably require billions of membership queries. © 2012 Springer-Verlag.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Model-Based Dynamic Optimization with OpenModelica and CasADi

引用

IFAC Proceedings Volumes 2013年第21期46卷 446-451页

作者： Alachew Shitahun Vitalij Ruge Mahder Gebremedhin Bernhard Bachmann Lars Eriksson Joel Andersson Moritz Diehl Peter Fritzson PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83 Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden Dept. of Electrical Engineering and Optimization in Engineering Center (OPTEC) K.U. Leuven Belgium

This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical optimization. The coupling uses a standardized XML format for exchange of differential-algebraic equations (DAE) models. OpenModelica supports export of models written in Modelica and the optimization language extension using this XML format, while CasADi supports import of models represented in this format. This allows users to define optimal control problems (OCP) using Modelica and optimization language specification, and solve the underlying model formulation using a range of optimization methods, including direct collocation and direct multiple shooting. The proposed solution has been tested on several industrially relevant optimal control problems, including a diesel-electric power train.

关键词： Modelica OpenModelica model-based optimization dynamic optimization CasADi

来源：评论

学校读者我要写书评

暂无评论

Learning event detection rules with noise hidden Markov models

Learning event detection rules with noise hidden Markov mode...

引用

2012 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2012

作者： Mutschler, Christopher Philippsen, Michael Programming Systems Group CS Dept. University of Erlangen-Nuremberg Germany Sensor Fusion and Event Processing Group Locating and Comm. Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Erlangen Germany

ISBN: (纸本)9781467319157

Complex Event Processing (CEP) is a popular method to monitor processes in several contexts, especially when dealing with incidents at distinct points in time. Specific temporal combinations of various events are often of special interest for automatic detection. For the description of such patterns, one can either implement rules in some higher programming language or use some Event Description Language (EDL). Both is complicated and error-prone for non-engineers, because it varies greatly from natural language. Therefore, we present a method, by which a domain expert can simply signal the occurrence of a significant incident at a specific point in time. The system then infers rules for automatically detecting such occurrences later on. At the core of our approach is an extension of hidden Markov models (HMM) called noise hidden Markov models (nHMM) that can be trained with existing, low-level event data. The nHMM can be applied online without any intervention of programming experts. An evaluation on both synthetic and real event data shows the efficiency of our approach even under the presence of highly frequent, insignificant events and uncertainty in the data. © 2012 IEEE.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

Automated learning setups in automata learning

Automated learning setups in automata learning

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Merten, Maik Isberner, Malte Howar, Falk Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany

ISBN: (纸本)9783642340253

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Automated inference of models for black box systems based on interface descriptions

Automated inference of models for black box systems based on...

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Merten, Maik Howar, Falk Steffen, Bernhard Pellicione, Patrizio Tivoli, Massimo Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dipartimento di Informatica Università dell'Aquila Via Vetoio L'Aquila Italy

ISBN: (纸本)9783642340253

In this paper we present a method and tool to fully automatically infer data-sensitive behavioral models of black-box systems in two coordinated steps: (1) syntactical analysis of the interface descriptions, here given in terms of WSDL (Web Services Description Language), for instantiating test harnesses with adequate mappers, i.e., means to bridge between the model level and the concrete execution level, and (2) test-based exploration of the target system by means of active automata learning. The first step is realized by means of the syntactic analysis of StrawBerry, a tool designed for syntactically analyzing WSDL descriptions, and the second step by the LearnLib, a flexible active automata learning framework. The new method presented in this paper (1) overcomes the manual construction of the mapper required for the learning tool, a major practical bottleneck in practice, and (2) provides global behavioral models that comprise the data-flow of the analyzed systems. The method is illustrated in detail along a concrete shop application. © 2012 Springer-Verlag.

关键词： WSDL

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：