Code search is an important and well-studied task, but it usually means searching for code by a text query. We argue that using a code snippet (and possibly an error traceback) as a query while looking for bugfixing i...
详细信息
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For...
详细信息
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.
The paper describes the principles for formation of a simulated pulse DRFM jamming in response to a sounding linear frequency modulated (LFM) pulse, the technique and results of mathematical (simulation) modeling of s...
详细信息
ISBN:
(纸本)9798350331530
The paper describes the principles for formation of a simulated pulse DRFM jamming in response to a sounding linear frequency modulated (LFM) pulse, the technique and results of mathematical (simulation) modeling of such a jamming.
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C...
详细信息
ISBN:
(纸本)9781728112763;9781728112756
This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.
This paper is devoted to solving a problem of improving the content of education and instructional materials used. The digital technologies are developing so fast that the engineering aspects of application and scient...
详细信息
ISBN:
(纸本)9781538667583
This paper is devoted to solving a problem of improving the content of education and instructional materials used. The digital technologies are developing so fast that the engineering aspects of application and scientific investigations start blurring the aspects associated with the methodology and content of smart learning. The need for development of digital economy places severe requirements not only upon know-how, but also upon the content of smart learning, i.e., the content of educational courses shall be a reflection of professional activity. The techniques and methods of knowledge management can provide for a desired rate and quality of development of educational materials. This paper describes a knowledge management system which employs intelligent database, network and co-authorship instruments to insure the compliance of the content being developed with the requirements of digital economy and fills out the smart learning with a qualitative content.
Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular,...
ISBN:
(数字)9781728199573
ISBN:
(纸本)9781728199580
Currently, there is a need in Ukraine for the design and development of multidisciplinary decision support systems (DSSs) for the medical and other related spheres - for example, the medical law sector, in particular, the DSS for the surrogacy's legal regulation field. This DSS will be able to protect doctors from potentially wrong decisions by taking into account all available information when making the decisions. For design such DSS, it's necessary to conduct the modelling of the decision-making process on surrogacy's legal conducting, that is the goal of this research. In this paper, there are the theoretical foundations of using the ontologies for the decision-making process on surrogacy's legal conducting, a model of base ontology with the necessary requirements and recommendations for conducting the surrogate motherhood, and ontology-based model of the decision-making process on surrogacy's legal conducting. The conducted modelling is a theoretical basis for the development of methods and design of DSS in the field of legal regulation of surrogate motherhood.
Machine learning technique is full-fledged as a boosting sector to develop modeling and forecasting of complex time series observations in the present environment. This study made an attempt to inspect the future perf...
Machine learning technique is full-fledged as a boosting sector to develop modeling and forecasting of complex time series observations in the present environment. This study made an attempt to inspect the future performance of rainfall data and vapor in Chelyabinsk by using a machine learning technique. The data series is divided into a training set (60%) and a test set (40%) for model developing a validation purpose. We further developed deep learning models such as, LSTM, BILSTM, GRU and compared on the basis of ME, RMSE, MAE, MPE, MAPE, ACF1 on the training data set. For testing data set, we compared these deep learning models based on RMSE. LSTM model acts as a superior machine learning model over BILSTM and GRU in this data series. Forecasting performance of these three models significantly at par. This finding may be significant to build a strong literature of the Chelyabinsk weather's forecast, which can be helpful for policy makers and researchers. Also, we strongly believe that, this work could be used as a literature adaptation of machine learning technique for complex time series over statistical models.
Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune...
详细信息
Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as slidin...
详细信息
Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as sliding and spinning, during the operational time. Those states play a central role in the performance of the vehicles described as an interaction among different mechanical parts regarding their life-time, their wear and tear, as well as the maintenance costs. In addition, these states ultimately affect the safety of target system and its environment. Therefore, the necessity of avoiding, controlling, or manipulating these states to lower their effects into a tolerable level has become the major driver for conducting the current research work. In this paper, a prototype for safety-related platform for detecting and controlling railway vehicles states by means of vibration capture is presented. Additionally, test procedures in order to collect the vibration data related to each state are presented; these tests were performed under the supervision of an industrial partner. Moreover, the recognized initial patterns of the vibration signals related to the studied states are also introduced.
暂无评论