Given a synchronous system, we study the question whether - or, under which conditions - the behaviour of that system can be realized by a (non-trivially) distributed and hence asynchronous implementation. In this pap...
详细信息
The mathematical models of the oscillations for the important classes of the nonlinear physical systems with dissipation are considered in the paper. It is impossible to apply the asymptotic analytical methods to cons...
详细信息
The mathematical models of the oscillations for the important classes of the nonlinear physical systems with dissipation are considered in the paper. It is impossible to apply the asymptotic analytical methods to construct the solutions in the mathematical models of the dynamical processes in these systems. Consequently the qualitative approach is used, the solution existence and uniqueness is substantiated and estimated. The qualitative methods enable to use the corresponding specified numerical methods for the investigation of the mathematical model and solution construction. Basing on the numerical analysis and the fourth-order Runge-Kutta method there are analyzed some singularities of the dynamical processes in the considered systems classes. The effective combination of the theoretic and numerical approach allows to build the innovative procedure to analyze the mathematical models for the wide class of the nonlinear physical systems applied in the engineering.
When it is necessary to express changes between two source code files as a list of edit actions (an edit script), modern tree differencing algorithms are superior to most text-based approaches because they take code m...
详细信息
ISBN:
(纸本)9781509055715
When it is necessary to express changes between two source code files as a list of edit actions (an edit script), modern tree differencing algorithms are superior to most text-based approaches because they take code movements into account and express source code changes more accurately. We present 5 general optimizations that can be added to state-of-the-art tree differencing algorithms to shorten the resulting edit scripts. Applied to Gumtree, RTED, JSync, and ChangeDistiller, they lead to shorter scripts for 1898% of the changes in the histories of 9 open-source software repositories. These optimizations also are parts of our novel Move-optimized Tree DIFFerencing algorithm (MTD-IFF) that has a higher accuracy in detecting moved code parts. MTDIFF (which is based on the ideas of ChangeDistiller) further shortens the edit script for another 20% of the changes in the repositories. MTDIFF and all the benchmarks are available under an open-source license.
Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need inte...
详细信息
Our prototype implements a natural language dialog system for Excel spreadsheets. The work is motivated by a pilot study which shows that novice users have difficulties with the formula language of Excel and need interactive assistance. JustLingo 1 allows spreadsheet calculations in ordinary, written English. Furthermore, users can extend the system functionality by explaining of the calculations to the prototype. The keyword-based system analyzes the input using natural language processing techniques and translates it into Excel formulas. It asks for missing information such as operands and target cells and provides alternatives if there are ambiguities. It also handles references to previous inputs, allowing step-by-step construction of calculations. An evaluation shows that it properly resolves 82% of references and correctly interprets 79,5% of overall user input. Although far from perfect, the prototype demonstrates that computers may soon begin to take on simple, limited-domain programming tasks based on natural-language input.
Today's big data challenge presses for a breakthrough in programming models. A simple programming model capable of both high productivity and high performance is desired. This paper proposes a simple solution to r...
详细信息
ISBN:
(纸本)9781450333580
Today's big data challenge presses for a breakthrough in programming models. A simple programming model capable of both high productivity and high performance is desired. This paper proposes a simple solution to realize a set of restricted yet fundamental productivity features in C-family languages, without sacrificing their efficiency. This is achieved by leveraging a productivity language runtime and compiler analyses. Programmers write a program in the familiar C/C++/ObjectiveC style, without even knowing it is a mix of productivity and efficiency code. The program evolves as both a rapid prototype and efficiency code.
In this talk we present how Higher-Order Process Engineering (HOPE) and Active Continuous Quality Control (ACQC) can be combined to drastically reduce the manual effort of risk-based regression testing. That is, integ...
详细信息
Many satellite systems require knowledge about inter-satellite distances. Inter-satellite links provide direct connectivity between satellites and may be used for ranging, while they remove the need of dedicated hardw...
详细信息
ISBN:
(纸本)9781509025275
Many satellite systems require knowledge about inter-satellite distances. Inter-satellite links provide direct connectivity between satellites and may be used for ranging, while they remove the need of dedicated hardware. This paper addresses inter-satellite ranging at the Low Earth Orbit (LEO) using S-Band signals. We take the requirements from recent missions and future applications into account and analyze the factors that limit ranging. We show how these factors affect the quality of distance estimation in terms of the Cramér-Rao Lower Bound for ranging. Two-way-ranging (TWR) provides the best accuracy and sustains the low-cost objective of small satellites. We further propose an enhanced TWR message exchange that enables on-the-fly delay calibration and sub-sample corrections. We implemented the transceiver modules on a Software-Defined Radio (SDR) platform and evaluated them with real-world data. The results show that the proposed ranging algorithm achieves an accuracy of few centimeters.
暂无评论