Book
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2019)
EWDTS-2019 explores the novel trends in testing, diagnosis, repair of microelectronic systems, and also cyber security, automotive, IoT, artificial intelligence.
Abstract——State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs.
Forecasting to improve resource efficiency is an important element for decision making. Based on predictive estimate we can form a performance management system and optimize the financial costs of team payroll. The article presents the objective setting and solution of finding the optimal allocation of project team resources according to various criteria using genetic algorithm. Also we will set proposals for adapting created model to solving other human resource management tasks in the enterprise.
The aim of research is determine the feasibility of using the methodology for calculating availability and mean delay time to demand fulfilling for spare part by local package of electronic means (EM) with a compound structure of spare parts, tools and accessories(SPTA) kit. Methodology is based on the usage of the analytical model “EM – SPTA kit” with an assessment of the failure level. The main advantages of this technique are possibility to split the main structure of the spare parts system to set of simple, possibility of calculating spare parts sets for several types of replenishment strategies, the simplicity of verification the model for assessing the availability rate and the average delay in satisfying a request for a spare part. Possibility of calculating spare parts sets for several types of replenishment strategies. Simultaneously the technique has a significant drawback, such as methodical technique gives an approximate value of the sufficiency indicators with an calculation error. At the conclusion were proved the ability to use electronic methods for calculating the availability`s rate and the average latency in satisfying the request for the spare part of the spare parts kit system for some replenishment strategies, which also allows to calculate the availability rate for the “EM- SPTA system” model, which is proved to be possible for modern structures of the spare parts system.
Content and methodic of the preparation testing in “Programming” subject in LMS e-Front is given. Necessity and preconditions to the preparation testing are described. The results of application of the methodic are provided.
In the world's leading countries the problem of appearing of schools with bad learning outcomes where mostly children from families with a low socio-economic status go is regarded nowadays as one of the key problems in educational policy. In order to solve it, laws are passed and national strategies are adopted. This survey is intended to describe main approaches and problem solution tools that are used as part of national strategies. Its relevancy is determined by the fact that support of schools working in the challenging social context and performing poorly appeared on the agenda of the Russian educational policy. World experience of researches and practical interventions in the area under question may be useful for the national education.
The concept of entrepreneurial university and role of culture in its formation is analyzed. The understanding of academic entrepreneurial culture, as culture integrating the academic and entrepreneurial values is offered. The article reveals that methods for diagnosis organizational culture in enterprises are not suitable for an assessment of university culture. The suggestions are made for development an adequate technique for the diagnosis organizational culture of entrepreneurial university.
This book constitutes the refereed proceedings of the 12th Industrial Conference on Data Mining, ICDM 2012, held in Berlin, Germany in July 2012. The 22 revised full papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on data mining in medicine and biology; data mining for energy industry; data mining in traffic and logistic; data mining in telecommunication; data mining in engineering; theory in data mining; theory in data mining: clustering; theory in data mining: association rule mining and decision rule mining.
Let G be a semisimple algebraic group whose decomposition into the product of simple components does not contain simple groups of type A, and P⊆G be a parabolic subgroup. Extending the results of Popov [7], we enumerate all triples (G, P, n) such that (a) there exists an open G-orbit on the multiple flag variety G/P × G/P × . . . × G/P (n factors), (b) the number of G-orbits on the multiple flag variety is finite.
I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables