this paper addresses a novel idea of real-time traffic safety improvement on freeways. First by predicting traffic crashes on the freeway mainline using on-line loop detector data, then by proposing ITS remediation st...
详细信息
Service composition is one of the major ways to get new applications out of existing software components (services). the focus so far was mainly on composition formalisms, while most of the real hard issues are relate...
详细信息
Service composition is one of the major ways to get new applications out of existing software components (services). the focus so far was mainly on composition formalisms, while most of the real hard issues are related to the many concerns that must be combined, and the limited help provided by the current tools. In this paper we present an approach and a platform in which a service based application is defined through different models along different concerns. the FOCAS platform includes some basic concerns (control, service, and data) and provides support for composition with any other concerns. the platform provides support for the definition of non-functional concerns in the form of annotations over the orchestration model. the paper shows the concepts and the technology allowing to define an application as a composition of concerns, functional or not, and shows the experience withthe concerns currently supported by the FOCAS platform.
the distribution of statistics Anderson-Rubin9;s and overriding criteria were studied, the procedure for constructing the interval forecasts endogenous variables was analyzed in violation the assumption of normalit...
详细信息
the distribution of statistics Anderson-Rubin's and overriding criteria were studied, the procedure for constructing the interval forecasts endogenous variables was analyzed in violation the assumption of normality of noise and in the samples of finite size. Comparing the accuracy of forecasts was produced using different methods of estimating the reduced form.
Model trans format ion is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EM...
详细信息
ISBN:
(纸本)9783540878742
Model trans format ion is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing Oil different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a formal foundation is needed. In this paper, we define EMF model transformations as a special kind of typed graph transformations using, node type inheritance. Containment constraints of EMF model transformations are translated to a special kind of EMF model transformation rules Such that their application leads to consistent transformation results only. thus, we identify a kind of EMF model transformations which behave like algebraic graph transformations. As a consequence. the rich theory of algebraic graph transformation can be applied to these EMF model transformations to show functional behavior and correctness. We illustrate our approach by selected refactorings of simplified statechart models.
Concurrency problems, such as deadlocks, Should lie identified early in the design process. this is made increasingly difficult as larger and more Complex concurrent systems are being developed. We propose here in app...
详细信息
ISBN:
(纸本)9783540878742
Concurrency problems, such as deadlocks, Should lie identified early in the design process. this is made increasingly difficult as larger and more Complex concurrent systems are being developed. We propose here in approach, based on the analysis of specific models expressed in the Unified Modeling Language (UML) that uses a specifically designed genetic algorithm to detect deadlocks. Our main motivations are (1) to devise practical solutions that are applicable in the context of UML design without requiring additional modeling and (2) to achieve scalable automation. All relevant concurrency information is extracted front systems' UML modelsthat comply withthe UML Schedulability, Performance and Time profile, a standardized specialization of UML for real-time, Concurrent systems. Our genetic algorithm is then used to search for execution sequences exhibiting deadlocks. Results On three case studies show that our approach can achieve efficient results.
Summary form only given. Advantages and disadvantages are studied, and powers are estimated for several goodness-of-fit tests for the normal distribution (tests by Frozini, Hegazy and Green, Spiegelhalter, Geary, and ...
详细信息
Summary form only given. Advantages and disadvantages are studied, and powers are estimated for several goodness-of-fit tests for the normal distribution (tests by Frozini, Hegazy and Green, Spiegelhalter, Geary, and David, Hartley, and Pearson). Comparison is made with Shapiro-Wilk and Epps-Pulley tests.
[Summary form only given] In the paper the methods of natural language processing are described. the model for representation of cause-and-effect relations in Russian text is offered. Such relations can be used as exp...
详细信息
[Summary form only given] In the paper the methods of natural language processing are described. the model for representation of cause-and-effect relations in Russian text is offered. Such relations can be used as expert statements in the algorithm of extremal situations forecasting.
During this work experimental test samples have been investigated. Holographic topograms written down by a method of the displaced source are deciphered by means of the special software package developed on at the fac...
详细信息
During this work experimental test samples have been investigated. Holographic topograms written down by a method of the displaced source are deciphered by means of the special software package developed on at the faculty. the received three-dimensional models of objects allow define to the value of the height of the allocated point.
the advantage of supporting a uniform modeling approach across multiple, logical (or ontological) instantiation levels has been well documented in the literature. However, the published approaches for achieving this h...
详细信息
ISBN:
(纸本)9783540878742
the advantage of supporting a uniform modeling approach across multiple, logical (or ontological) instantiation levels has been well documented in the literature. However, the published approaches for achieving this have focused on making it possible for classes and objects to be treated uniformly across multiple instantiation levels, but have neglected the problems involved in doing the same thing for "connector" (i.e. concepts rendered as edges in graph based depiction of models rather than nodes). On closer examination, this turns out to be a significant problem, because without an effective strategy for modeling connectors in a uniform way, multi-level modeling as a whole is not possible. In this paper we describe the problems arising from the way in which connectors (e.g. associations, links, generalizations etc.) are currently supported in mainstream modeling languages such as the UML and why they are incompatible with multi-level modeling. We then define three fundamental connector rendering and representation principles that rectify the identified problems.
Laplace, Huber, Gauss and epsilon-insensitive loss functions in support vector regression are analyzed. Dual problem formulations and investigation results using these functions are presented. It is shown that the use...
详细信息
Laplace, Huber, Gauss and epsilon-insensitive loss functions in support vector regression are analyzed. Dual problem formulations and investigation results using these functions are presented. It is shown that the use of epsilon-insensitive loss function could result in biased solution.
暂无评论