Amsterdam

57996

Автор(ы): 

Автор(ов): 

14

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Technical note: Evaluation of a triaxial accelerometer for monitoring selected behaviors in dairy calves

Электронная публикация: 

Да

ISBN/ISSN: 

0022-0302

DOI: 

10.3168/jds.2018-14720

Наименование источника: 

  • Journal of Dairy Science

Обозначение и номер тома: 

101 (11)

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2018

Страницы: 

10421-10427
Аннотация
The objectives of this study were (1) to develop an algorithm for the acceleration sensor of the Smartbow Eartag (Smartbow GmbH, Weibern, Austria) to distinguish between postures (lying and standing or locomotion) and to detect 6 kinds of activities (milk intake, water intake, solid feed intake, ruminating, licking or sucking without milk intake, and other activities) in dairy calves and (2) to evaluate this sensor for identifying these behaviors in dairy calves compared with observations from video. Accelerometers were applied to the left ears of 15 preweaned Holstein dairy calves. Calves were kept in a group pen and received milk replacer from an automatic calf feeder. Based on 38 h of acceleration data and video observation, an algorithm was established to detect the predefined behaviors. Using cross-validation, video recordings were used to analyze whether a behavior was detected correctly by the developed algorithm. For posture, sensitivity (94.4%), specificity (94.3%), precision (95.8%), and accuracy (94.3%) were high. Cohen’s kappa was calculated as 0.88. For the 6 defined activities, overall (i.e., aggregated for all activities) accuracy was 70.8% and kappa was calculated as 0.58. Some activities (e.g., ruminating, feed intake, other activities) were identified better than others. In conclusion, the developed algorithm based on the acceleration data of the Smartbow Eartag was successful in detecting lying behavior, rumination, feed intake, and other activities in calves, but further development of the underlying algorithm will be necessary to produce reliable results for milk and water intake.

Библиографическая ссылка: 

Roland L.., Schweinzer V.., Kanz P.., Sattlecker G.., Kickinger F.., Lidauer L.., Berger A.., Auer W.., Mayer J.., Sturm V.., Ефросинин Д.В., Breitenberger S.., Drillich M.., Iwersen M.. Technical note: Evaluation of a triaxial accelerometer for monitoring selected behaviors in dairy calves // Journal of Dairy Science. 2018. 101 (11). С. 10421-10427.

57983

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

An algorithmic approach to analysing the reliability of a controllable unreliable queue with two heterogeneous servers

Электронная публикация: 

Да

ISBN/ISSN: 

0377-2217

DOI: 

10.1016/j.ejor.2018.06.007

Наименование источника: 

  • European Journal of Operational Research

Обозначение и номер тома: 

Volume 271, Issue 3

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2018

Страницы: 

934-952
Аннотация
We consider a Markovian queueing system with two unreliable heterogeneous servers and one common queue. The servers serve customers without preemption and fail only if they are busy. Customers are allocated to one or the other server via a threshold control policy which prescribes using the faster server whenever it is free and the slower server only when the number of waiting customers exceeds a specified threshold level that depends on the state of the faster server. This paper focuses on the reliability analysis of a system with unreliable heterogeneous servers. First, we obtain the stationary state distribution using a matrix-geometric solution method. Second, we analyse the lifetimes of the servers and of the system. We provide algorithms for calculating the stationary reliability characteristics, reliability functions in terms of the Laplace transform and the mean times to the first failure. A new reliability measure is introduced in the form of the discrete distribution function of the number of failures during a specified life time that is derived from a probability generating function. The effects of various parameters on these reliability characteristics are analysed numerically.

Библиографическая ссылка: 

Ефросинин Д.В., Sztrik J.S. An algorithmic approach to analysing the reliability of a controllable unreliable queue with two heterogeneous servers // European Journal of Operational Research. 2018. Volume 271, Issue 3. С. 934-952.

57766

Автор(ы): 

Автор(ов): 

4

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Plasma magnetic time-varying nonlinear robust control system for the Globus-M/M2 tokamak

Электронная публикация: 

Да

ISBN/ISSN: 

1873-6939

DOI: 

10.1016/j.conengprac.2020.104446

Наименование источника: 

  • Control Engineering Practice

Обозначение и номер тома: 

Vol. 100

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2020

Страницы: 

104446
Аннотация
This paper is devoted to the development of the magnetic plasma control system for the Globus-M/M2 spherical tokamak (ST) when minor disruptions occur. The novelty of the research is the design of robust cascade multivariable control systems for time-varying plasma models in the presence of nonlinear thyristor current inverters as actuators for plasma position control. A new architecture of coordinated control of plasma position and shape is proposed. Quantitative Feedback Theory is used for the synthesis of robust Single-Input Single-Output (SISO) controllers for plasma position and PF-currents. Multiple-Input Multiple-Output (MIMO) H∞ control is applied to control the plasma shape. The simulation results of the gaps-based MIMO plasma shape control system with the plasma equilibrium reconstruction code in the feedback are shown. The robust stability of the control system is estimated.

Библиографическая ссылка: 

Митришкин Ю.В., Прохоров А.А., Коренев П.С., Патров М.И. Plasma magnetic time-varying nonlinear robust control system for the Globus-M/M2 tokamak // Control Engineering Practice. 2020. Vol. 100. С. 104446.

57069

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Complex of n-categories and derivations in group algebras

Электронная публикация: 

Да

ISBN/ISSN: 

0166-8641

DOI: 

10.1016/j.topol.2019.107002

Наименование источника: 

  • Topology and its Applications

Обозначение и номер тома: 

Volume 275

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2020

Страницы: 

https://www.sciencedirect.com/science/article/abs/pii/S0166864119304080
Аннотация
В работе представлено описание алгебры внешних и внутренних дифференцирований групповой алгебры конечно представленной дискретной группы в терминах пространств характеров 2-группоида присоединенного действия группы. Рассматривается определенное обобщение этой конструкции, а также предлагается естественная модификация структуры внутренних и внешних дифференцирований, которая позволяет с учетом введенных нами геометрических конструкций описать алгебру дифференцирований в некоторых ключевых примерах дискретных групп.

Библиографическая ссылка: 

Алексеев А.В., Арутюнов А.А. Complex of n-categories and derivations in group algebras // Topology and its Applications. 2020. Volume 275. С. https://www.sciencedirect.com/science/article/abs/pii/S0166864119304080.

56950

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

On the inverse variational problem for one class of quasilinear equations

ISBN/ISSN: 

0393-0440

DOI: 

https://doi.org/10.4213/sm9171

Наименование источника: 

  • Journal of Geometry and Physics

Обозначение и номер тома: 

Т. 148

Город: 

  • Amsterdam

Издательство: 

  • Elsevier Science Publishing Company, Inc.

Год издания: 

2020

Страницы: 

103568 (1-8)
Аннотация
The paper concerns the inverse problem of calculus of variations for one class of elliptic and hyperbolic quasilinear second order equations with two independent variables. The equations of this class have a rather wide range of applications, among which are modeling of a two-conductor transmission line, motion of a hyperelastic homogeneous rod whose cross-sectional area varies along the rod, vibration of a string, wave propagation in a bar of elastic–plastic material, and isentropic flows of a compressible gas with plane symmetry.A constructive solution of the problem in hand is given and themcorresponding Lagrangians are explicitly constructed.

Библиографическая ссылка: 

Туницкий Д.В. On the inverse variational problem for one class of quasilinear equations // Journal of Geometry and Physics. 2020. Т. 148. С. 103568 (1-8).

55892

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

High excursions of Bessel and related random processes

ISBN/ISSN: 

0304-4149

DOI: 

10.1016/j.spa.2020.02.002

Наименование источника: 

  • Stochastic Processes and their Applications

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2020

Страницы: 

1-14 https://www.sciencedirect.com/science/article/pii/S0304414919304181?via%3Dihub
Аннотация
Asymptotic behavior of large excursions probabilities are evaluated for Euclidean norm of a wide class of Gaussian non-stationary vector processes with independent identically distributed components. It is assumed that the components have means zero and variances reaching its absolute maximum at only one point of the considered time interval. The Bessel process is an important example of such processes.

Библиографическая ссылка: 

Питербарг В.И., Родионов И.В. High excursions of Bessel and related random processes // Stochastic Processes and their Applications. 2020. С. 1-14 https://www.sciencedirect.com/science/article/pii/S0304414919304181?via%3Dihub.

55504

Автор(ы): 

Автор(ов): 

4

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

On the bounds of weak manipulability of majoritarian aggregation procedures

ISBN/ISSN: 

1877-0509

DOI: 

10.1016/j.procs.2019.12.064

Наименование источника: 

  • Procedia Computer Science

Обозначение и номер тома: 

Vol. 162

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2019

Страницы: 

887-894 https://www.sciencedirect.com/science/article/pii/S1877050919320757?via%3Dihub
Аннотация
A model of upper and lower bounds of weak manipulability of 13 known aggregation procedures, based on majority relation, is proposed. The modified Nitzan-Kelly index is used to evaluate the spread of the degree of manipulability for Kelly's, Gardenfors, and Expected utility weak extensions of agent's preferences over the sets of alternatives. The results are obtained via computer simulations.

Библиографическая ссылка: 

Алескеров Ф.Т., Карабекян Д.С., Иванов А.А., Якуба В.И. On the bounds of weak manipulability of majoritarian aggregation procedures // Procedia Computer Science. 2019. Vol. 162. С. 887-894 https://www.sciencedirect.com/science/article/pii/S1877050919320757?via%3Dihub.

55198

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Safety management system and Significant Plants of Critical Information Infrastructure

Электронная публикация: 

Да

ISBN/ISSN: 

2405-8963

DOI: 

10.1016/j.ifacol.2019.11.393

Наименование источника: 

  • IFAC-PapersOnLine

Обозначение и номер тома: 

Vol. 52, no. 13

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2019

Страницы: 

1391-1396
Аннотация
Increasing the safety always was one of the main priorities for significant plants of critical information infrastructure. Under the conditions of intensive development and putting in operation of information technologies, particular attention is paying to issues of providing the safety. One of the solutions is creating the information and analytical system “Safety management system”, which implements monitoring information on the safety on the basis by system regularities. In the paper, important functions of the “Safety management system” are considered in the part of timely identification of threats and vulnerabilities. Putting in operation such systems in the significant plants of critical information infrastructure will increase the engineering plants performance safety.

Библиографическая ссылка: 

Калашников А.О., Абдулова Е.А. Safety management system and Significant Plants of Critical Information Infrastructure / IFAC-PapersOnLine. Amsterdam: Elsevier, 2019. Vol. 52, no. 13. С. 1391-1396.

55197

Автор(ы): 

Автор(ов): 

4

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Method of Verification of Robotic Group Agents in the Conditions of Communication Facility Suppression

Электронная публикация: 

Да

ISBN/ISSN: 

2405-8963

DOI: 

10.1016/j.ifacol.2019.11.394

Наименование источника: 

  • IFAC-PapersOnLine

Обозначение и номер тома: 

Vol. 52, no. 13

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2019

Страницы: 

1397-1402
Аннотация
The given article is devoted to the study of security provision for robotic systems. The authors describe the problem area and analyze the actual scientific literature, and also offer an original method of verification of robotic group participants for the solution of the problem of robot authorization and signal transmission of "machine-to-machine" type in the conditions of suppression of wireless communication means. The application of network-centric systems involves a possibility of communication between not only agents with operators but also between robots, which allows one to better evaluate available resources and to make the decision in the conditions of uncertainty. Besides, communication between self-contained units complies with the modern trend of cyberphysical system development. The urgency and necessity of the development of new verification methods for agents in mobile robotic groups is defined by the prompt growth of propagation of group robotics in the solution of a wide spectrum of problems and at the same time by the lack of methodological support for the formation of a safe medium for data exchange between the agents in such groups.

Библиографическая ссылка: 

Исхакова А.О., Исхаков А.Ю., Мещеряков Р.В., Жарко Е.Ф. Method of Verification of Robotic Group Agents in the Conditions of Communication Facility Suppression / IFAC-PapersOnLine. Amsterdam: Elsevier, 2019. Vol. 52, no. 13. С. 1397-1402.

55196

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Safety Functions and Software Verification of NPP Safety Important Systems

Электронная публикация: 

Да

ISBN/ISSN: 

2405-8963

DOI: 

10.1016/j.ifacol.2019.11.392

Наименование источника: 

  • IFAC-PapersOnLine

Обозначение и номер тома: 

Vol. 52, no. 13

Город: 

  • Amsterdam

Издательство: 

  • Elsevier

Год издания: 

2019

Страницы: 

1385-1390
Аннотация
One of the most critical tasks in the software complexes quality assurance is the procedure of forming requirements to a developed or modified system and subsequent their verification. The essential errors are making in the first life cycle stages - these are errors in determining requirements, selecting the architecture, high-level design. Faults of safety critically important software may considerably damage the equipment or properties, as well to lead to an essential detriment of the environment and human victims. Increasing requirements to the software quality of NPP (nuclear power plant) safety important systems at all stages of the life cycle is concerned with increasing the software complexity and functionality and has led the necessity of developing approaches to justify both the system itself safety and software involved in the systems make-up. In the paper, an approach is considered, based on the “safety functions”, meeting which in the sequel is verifying. This approach is used under the software verification of upper level systems of automated process control systems and may be applied for the fault tolerance analysis, information- and cyber- security of soft- and hardware complexes.

Библиографическая ссылка: 

Жарко Е.Ф. Safety Functions and Software Verification of NPP Safety Important Systems / IFAC-PapersOnLine. Amsterdam: Elsevier, 2019. Vol. 52, no. 13. С. 1385-1390.

Pages