Model Of Operation Process Research Articles

Ultrasensitive strategy for OTA analysis by both recognition-activated multiple isothermal cyclic strand displacement amplification and DNAzyme-mediated cyclic signal reporting mechanism

We propose a recognition-driven ultrasensitive fluorescence sensing strategy for accurate analysis of ochratoxin A (OTA) by taking Mg2+-dependent DNAzyme based catalysis as the final signal output module. Recognition of target OTA destroys the simple double-strand recognition structure and contributes to the liberation of primer probe, which can trigger and activate the primer-mediated multiple isothermal cyclic strand displacement amplification (M-CSDA) process. The designed dual templates (T-P, T-A) can contribute to the generation of enormous nicked products (DNAzyme and primer), which will take effect in the triggering of M-CSDA. Meanwhile, one of the nicked products (DNAzyme) will also take part in the cyclically cleavage of designed hairpin probes (HP) with the presence of the cofactor Mg2+, inducing the recovery of fluorescent signal of quenched hairpin probes. Only the trace amount of target OTA could generate drastic fluorescent signal and ultrasensitive detection of OTA could be well achieved. Under optimized conditions, the detection limit of this method for OTA is 0.59 fg/mL. The characteristics of this method including the simplicity in dual signal amplification design, isothermal operation process and easy fluorescence measurement model exhibit the superior sensitivity and specificity for OTA detection. And this strategy can be further expanded for the design of ultrasensitive aptamer-sensing methods for series analytes.

Identifying Characteristic Fire Properties with Stationary and Non-Stationary Fire Alarm Systems.

The article reviews issues associated with the operation of stationary and non-stationary electronic fire alarm systems (FASs). These systems are employed for the fire protection of selected buildings (stationary) or to monitor vast areas, e.g., forests, airports, logistics hubs, etc. (non-stationary). An FAS is operated under various environmental conditions, indoor and outdoor, favourable or unfavourable to the operation process. Therefore, an FAS has to exhibit a reliable structure in terms of power supply and operation. To this end, the paper discusses a representative FAS monitoring a facility and presents basic tactical and technical assumptions for a non-stationary system. The authors reviewed fire detection methods in terms of fire characteristic values (FCVs) impacting detector sensors. Another part of the article focuses on false alarm causes. Assumptions behind the use of unmanned aerial vehicles (UAVs) with visible-range cameras (e.g., Aviotec) and thermal imaging were presented for non-stationary FASs. The FAS operation process model was defined and a computer simulation related to its operation was conducted. Analysing the FAS operation process in the form of models and graphs, and the conducted computer simulation enabled conclusions to be drawn. They may be applied for the design, ongoing maintenance and operation of an FAS. As part of the paper, the authors conducted a reliability analysis of a selected FAS based on the original performance tests of an actual system in operation. They formulated basic technical and tactical requirements applicable to stationary and mobile FASs detecting the so-called vast fires.

Operational reliability analysis of remote operated vehicle based on dynamic Bayesian network synthesis method

In this study, we propose a reliability framework that combines the GO method with fault tree analysis and integrates human factor reliability analysis. Taking the application of remotely operated vehicle (ROV) in underwater oil and gas production as an example, a reliability model of ROV operation process is established. The human reliability in the ROV operation process is analyzed on the basis of Cognitive Reliability and Error Analysis Method (CREAM) extension approach. The influence of human factor reliability and equipment reliability on the system is compared and analyzed. The importance of each operation step is also compared and analyzed. A sensitivity analysis of the ROV during operation is performed. This study provides a theoretical basis for the improvement and maintenance of the operational reliability of ROV. The proposed reliability modeling approach solves the reliability analysis problem of large and complex operating systems.

A synergistic nurturing mechanism of party building and civic management education in colleges and universities combining synergistic modeling

Abstract The Construction and practice of collaborative nurturing between party building and ideological and political management education in colleges and universities has been increasingly emphasized under the current field of higher education. Through an organic combination of party building activities and ideological and political education, this mechanism is committed to fostering high-quality talents with socialist core values. In the context of diversification and complexity of higher education, exploring an effective collaborative parenting mechanism is of great significance for improving college students’ ideological and political quality, moral cultivation and social responsibility. This study thoroughly analyzes the collaborative nurturing mechanism of party building and ideological and political education. It clarifies its components, operation mechanism and evaluation model, and provides theoretical support and practical guidance for ideological and political work. Using methods such as literature analysis, questionnaire survey and expert interviews, the study comprehensively analyzes the constituent elements, operation process and evaluation model of the collaborative nurturing mechanism of party building and ideological and political management education. The synergistic educating mechanism in the article improves the political awareness and moral cultivation of college students, in which the satisfaction of the management system is the highest (score 0.876), and the satisfaction of students is relatively low (score 0.518). The study also found that the implementation effect of collaborative parenting between party building and civic management education is closely related to its systematic, integrative, and dynamic adjustment ability. The strategic suggestions put forward in this paper to strengthen the mechanism construction, optimize the resource allocation and enhance the synergy efficiency have advanced to improve the quality and effect of collaborative parenting between Party building and Civic and Political management education in colleges and universities.

Dynamic modeling and analysis of traction operation process for the shipboard helicopter

The traction operation of a shipboard helicopter on the deck is a complex force-coupling process involving multiple moving entities. To more efficiently simulate the traction process, this study introduces a dynamic model based on the independent modeling of moving subjects (IMMS) method. Initially, the forces on the tire and the articulation part are analyzed, followed by the separate establishment of dynamic models for the helicopter and tractor using the Lagrange equation. Considering the articulated states among the ship, helicopter, and tractor, and according to the active–passive relationships of each entity, a unified solution method is introduced to solve the motion equations sequentially. The model's reliability and real-time performance are subsequently assessed and validated, effectively simulating the helicopter's traction operation procedure. The results reveal that the IMMS dynamic model exhibits high reliability and requires, on average, only 0.5% of the CPU time compared to the conventional dynamic model. The IMMS approach will be useful in advancing research into the modeling of shipboard helicopter traction processes.

Terminology, structure and model of the electrical systems operation process

The content of operation as one of the most important stages of the life cycle of a technical system is revealed. The structure of the process of technical operation of electrical engineering systems is considered. The essence of the individual stages of operation is revealed, their functional purpose is given. It is shown that some fundamental concepts related to operation do not have an unambiguous interpretation. The well-known definitions of these concepts are considered and a one-digit formulation of each of them, which corresponds to the current standards, is given. Special attention is paid to the disclosure of the content of the concept of state and consideration of various types of technical states of the system. The definition of the “condition” category, the formulation of which differs from the known definitions and allows more fully and accurately solving the problems of diagnosing the studied electrical systems, is given. An important feature of this definition is that it fixes the continuous variability of the state of any system in a function of time. At the same time, stable technical conditions that differ significantly from each other and correspond to the current version of the standard are distinguished. Such states are serviceable, faulty, operable, inoperable, partially inoperable, marginal. Functional conditions that are determined by the operating modes of the system are considered. The current definitions of the most important properties and events, among which a special place is occupied by reliability, survivability, safety, failure, damage, defect, are given. For the selected technical states, a model in the form of an oriented graph is synthesized. It is shown that the actual process of an electrical system operation has two features. The first one is that the probability of transition from one state to another does not depend on the type of state the system is in at the moment. The second feature is that the time spent in each technical condition can be either deterministic or random. The conclusion about the possibility of modeling the process of changing the technical states of the system by semi- Markov models with a discrete set of states is made. A mathematical model in the form of Kolmogorov differential equations, which makes it possible to estimate the probabilities of the system being in a particular state, has been compiled.

Theoretical Research on the Influencing Factors of Collaborative Innovation in the Coal Industry: Based on the Collaborative Innovation in China’s Coal Industry

Purpose - Based on the importance of collaborative innovation in solving existing problems in the Chinese coal industry, this study mainly studies the categories of influencing factors of collaborative innovation in the Chinese coal industry.
 Design/Methodology/Approach - Due to the deep vertical intersection and extensive horizontal correlation of existing problems in the Chinese coal industry, collaborative innovation in the Chinese coal industry requires the use of a ““full factor”” collaborative innovation method. This study mainly comprehensively sorts out and analyzes the categories of influencing factors that affect collaborative innovation in the Chinese coal industry from a theoretical perspective. Based on this, a “pyramid spiral” operational process model for all-factor collaborative innovation in ’China’s coal industry has been constructed.
 Findings - Through theoretical analysis and model construction, this paper finds that the influencing factors of collaborative innovation in ’China’s coal industry are mainly divided into objective resource factors, subjective willingness factors, mode selection factors, and operational mechanism factors. Objective resource factors include research personnel, research funds, research facilities, research policies, and achievement transformation channels; Subjective willingness factors include research environment, resource complementarity, interest-driven, value orientation, etc; The factors for mode selection include the characteristics of scientific research projects, the level of research participants, etc; And the operational mechanism factors include team formation mechanism, mode selection mechanism, knowledge sharing mechanism, and achievement evaluation mechanism.
 Research Implications - This study lays a the oretical foundation for empirical research on the mechanism of the influencing factors of collaborative innovation in the Chinese coal industry. Also, it provides reference for constructing the operational mechanism of collaborative innovation in the Chinese coal industry.

Safety Analysis of Offshore Wells Plugging and Abandonment Process with Riserless Well Intervention System Using a DBN based Comprehensive Method

The Riserless Well Intervention (RLWI) system that performs complex offshore oil well Plugging and Abandonment (P&A) operations is a typical Multi-Mission Phased-Mission System (MM-PMS), which requires multiple missions to be completed within a phase. P&A processes involve complex operations and equipment that can contaminate local marine ecosystems if they fail. Therefore, it is necessary to evaluate the reliability of the RLWI system. This paper proposes a dynamic reliability evaluation model for analyzing the RLWI MM-PMS. The GO model of the phase operation process and the Fault Tree (FT) model used to analyze the failure of each mission were established, and a Dynamic Bayesian Network (DBN) model based on the GO model and the FT model was developed for reliability evaluation. The established model can analyze the changes in the reliability of the RLWI MM-PMS more comprehensively, and can also clarify the importance of different missions and different system components. In addition, considering the impact of the marine environment on operators, the Standardized Plant Analysis Risk-Human (SPAR-H) reliability analysis is used for quantification. These findings can guide the improvement of the reliability of the RLWI system and the success rate of P&A operations.

Reliability Testing of Wind Farm Devices Based on the Mean Time to Failures

Nowadays, one of the main sources of renewable energy is wind energy; therefore, a wind farm’s electricity system must be effective. As a result, wind farm (WF) equipment must continuously operate without failure or damage. To achieve this, it is necessary to regularly monitor and assess the reliability of WF systems at every point of their “life”, including design, implementation, and continued use. Three key goals are presented in the article. First, a theory of fundamental theoretical quantities that can be used in reliability and maintenance analysis is presented. The second is to put forth a theoretical reliability link between mean time to failure and WF system fitness probability (Mean Time to Failures (MTTF—Mean time between failures. MTTF = t1 + t2 + … + tn/m, where: m—the number of all failures at time T, ti—i—ty time to failure)). The third goal is to analyze the time to failure as a function of service life and to assess the dependability of the WF under consideration as a function of service life. The three-state model of the WF operation process presented in the research serves as the foundation for the analytical analysis of WF reliability. The probability of fitness (Po(t)) of the WF system and the mean time to failure were calculated based on the analytical quantities denoting this model (MTTF). The WF owner can make the best choice regarding the proper WF renewal actions with the help of knowledge of these current dependability values for an in-service WF system.

A Calculus for Amortized Expected Runtimes

We develop a weakest-precondition-style calculus à la Dijkstra for reasoning about amortized expected runtimes of randomized algorithms with access to dynamic memory — the aert calculus. Our calculus is truly quantitative, i.e. instead of Boolean valued predicates, it manipulates real-valued functions. En route to the aert calculus, we study the ert calculus for reasoning about expected runtimes of Kaminski et al. [2018] extended by capabilities for handling dynamic memory, thus enabling compositional and local reasoning about randomized data structures . This extension employs runtime separation logic , which has been foreshadowed by Matheja [2020] and then implemented in Isabelle/HOL by Haslbeck [2021]. In addition to Haslbeck’s results, we further prove soundness of the so-extended ert calculus with respect to an operational Markov decision process model featuring countably-branching nondeterminism, provide extensive intuitive explanations, and provide proof rules enabling separation logic-style verification for upper bounds on expected runtimes. Finally, we build the so-called potential method for amortized analysis into the ert calculus, thus obtaining the aert calculus. Soundness of the aert calculus is obtained from the soundness of the ert calculus and some probabilistic form of telescoping. Since one needs to be able to handle changes in potential which can in principle be both positive or negative, the aert calculus needs to be — essentially — capable of handling certain signed random variables. A particularly pleasing feature of our solution is that, unlike e.g. Kozen [1985], we obtain a loop rule for our signed random variables, and furthermore, unlike e.g. Kaminski and Katoen [2017], the aert calculus makes do without the need for involved technical machinery keeping track of the integrability of the random variables. Finally, we present case studies, including a formal analysis of a randomized delete-insert-find-any set data structure [Brodal et al. 1996], which yields a constant expected runtime per operation, whereas no deterministic algorithm can achieve this.

Optimization of multifunctional powing unit parameters

Technology of soil moldboard plowing with a reversible plow with the simultaneous the main mineral fertilizer application, as well as additional crumbling of plowed layer and leveling the field surface, is substantiated. Using the modeling of operation process of complex plowing unit, its optimal parameters and operating modes are substantiated. Feature of the structural and technological scheme of the proposed unit is the use of reversible high-speed plow PSK with a reinforced frame structure, with a low energy intensity of the plowing process due to the elimination of plow land-sides, with devices for crumbling furrow slice and leveling field surface with simultaneous mineral fertilizer application. Incorporation and application of fertilizers into the soil without a break in time improves operation quality and reduces costs. Block diagram of algorithm for optimizing parameters and modes of proposed multifunctional plowing unit operation is presented and dependence of tractor engine power on its mass is approximated. Mathematical model and algorithm for optimizing the parameters and modes of complex unit operation have been developed, using as an optimization criterion, the minimum value of total energy consumption for the performance of operation process with a working speed limit of up to 15 km/h, plow working width of up to 6 m, plow specific resistance coefficient of up to 80 kN/m2, plowing depth of up to 0.3 m, fertilizer hopper capacity up to 4 m3, furrow length of up to 2 km. The K-701 tractor has been adopted as a power unit. At the minimum value of the optimization criterion, the following parameters have been substantiated: plow width, working speed, fuel consumption, performance, power unit tractive effort, traction power, fertilizer hopper capacity. Dependences of optimization criterion on the unit parameters and modes of its operation have been obtained.

GOMS 모델을 이용한 온라인 쇼핑 융합 프로세스 분석 및 최적화 연구 - 한중 주요 쇼핑 사이트를 중심으로 -

With the continuous development of e-commerce, various online shopping platforms have emerged as the times require. How to allow users to accurately complete operational tasks with the least amount of time and steps is a long-term consideration for interaction designers. This research begins with the theoretical analysis of the optimization of shopping websites by GOMS model.BR The purpose of this study is to find a design scheme to optimize the shopping website through the application analysis of the GOMS model on the shopping website, so as to improve the shopping efficiency and enhance the shopping experience. Therefore, this study takes the GOMS model as the theoretical basis, takes the main shopping websites in China and South Korea as the research object, models the online shopping operation process of different platforms, and predicts and quantifies the operation time of the obtained model. Design the operation process model of the shopping website, so as to carry out performance experiments and questionnaire interviews.BR The research results and content are as follows. First, the theoretical operation time obtained by the GOMS model is basically consistent with the actual operation time, which proves that the GOMS model can accurately predict the operation time of the shopping operation process. Second, through the analysis of the GOMS model, the optimal combination scheme of the shopping process was found, and it was verified through the questionnaire survey. Third, the time predicted by the GOMS model for all shopping operation process combinations is greater than the actual operation time. Fourth, by analyzing the GOMS model of 10 tasks, it is found that in the tasks with less actual operation time, the number of steps to point to the operation P is less, and the number of steps to press the key K is more. Therefore, in the development and design of the shopping webpage, More keystroke steps can be set to reduce unnecessary selection links.BR Based on the GOMS model, this study quantifies the running time of different online shopping platforms, which can optimize the availability of the shopping platform system and improve user satisfaction. At the same time, although this research cannot completely solve the complex problems of shopping websites, it provides ideas for the optimization of shopping websites. It is expected that the research on GOMS model-related topics can be extended to more fields such as mobile Internet shopping.

Urban Logistics Services Supply Chain Process Modelling Based on the Underground Logistics System via the Hierarchical Colored Petri Net

The implementation of the urban underground logistics system (ULS) can effectively mitigate the contradiction between the surging logistics demand and the increased negativity of urban logistics. The widespread implementation of ULS still suffers from a lack of research into its operation in the marketplace, although the research on ULS system technology and network design appears to be sufficient. A new supply chain for logistics service based on ULS (ULS-SSC) was proposed, as ULS embedded in the urban logistics system could lead to the evolution of the role of supply chain participants. This article analyzed the organizational structure and operation characteristics of ULS-SSC and designed a top-down ULS-SSC operation process model based on the designed functional structure and subsystems relationship using the hierarchical colored Petri net (HCPN). The simulation results show that the integrated information management platform based on ULS can integrate urban logistics service supply chain resources and operate effectively under the two main service modes designed. The high-time delay intermediate links can be upgraded by system optimization, and the links with initial pickup and terminal distribution can be improved through outsourcing and supply chain collaboration. The findings provide new insights into the feasibility of the operation of ULS in the market and help stimulate the implementation of ULS.

Selected Issues Associated with the Operational and Power Supply Reliability of Fire Alarm Systems

The article reviews issues associated with the use of electronic fire alarm systems (FAS). They are operated in various environments and buildings with varying volumes. FAS have to function properly under different operating conditions associated with their operation, as well as power supply and information inflow. Due to their functions, i.e., ensuring the safety of people, vehicles, logistics bases, airports, etc., FAS have to exhibit an appropriately organized reliability structure associated with their implementation and power supply. Operational studies involving FAS operated in various facilities were conducted to this end. The authors determined damage and recovery time intensities. FAS reliability indicators were also determined. The article presents graphs associated with developing the energy balance for selected FAS. The graphs are consistent with the latest and applicable legal regulations. The next stage of the work related to this article was developing an FAS operation process model and conducting computer simulations in order to determine reliability indicators. Such an approach to the FAS operation process enables a rational selection of technical and organizational solutions aimed at guaranteeing reliability in the course of executing operational tasks associated with ensuring fire safety. FAS operational analysis, developing balance graphs and models, as well as the computer simulation, enabled inferring conclusions that might be useful to the process of engineering and operating such systems.

Organization and Reliability Testing of a Wind Farm Device in Its Operational Process

This article deals with the importance of simulation studies for the reliability of wind farm (WF) equipment during the operation process. Improvements, upgrades, and the introduction of new solutions that change the reliability, quality, and conditions of use and operation of wind farm equipment present a research problem during study. Based on this research, it is possible to continuously evaluate the reliability of WF equipment. The topic of reliability testing of complex technical facilities is constantly being developed in the literature. The article assumes that the operation of wind farm equipment is described and modeled based on Markov processes. This assumption justified the use of Kolmogorov–Chapman equations to describe the developed research model. Based on these equations, an analytical model of the wind farm operation process was created and described. As a result of the simulation analysis, the reliability of the wind farm was determined in the form of a probability function (R0(t)) for the WPPs system.

Assessment of the Impact of Emitted Radiated Interference Generated by a Selected Rail Traction Unit on the Operating Process of Trackside Video Monitoring Systems

The article presents a method for assessing the impact of radiated electromagnetic interference generated by a selected rail traction unit on the operational process of trackside video monitoring systems (VMS). VMSs operated throughout an extensive railway area are responsible for the safety of people and property transport processes. Emissions of radiated electromagnetic interference generated in an unintended manner by traction vehicles within a railway line lead to interference in the VMS operating process. Based on the knowledge of actual VMS operating process data, spectral characteristics and values of individual components of disturbing signals occurring in the emissions of radiated electromagnetic interference, it is possible to determine the parameters of damage intensities for the devices and elements of this system. Using that data enables determining the VMS reliability parameters within its operating system, for an extensive railway area. The article’s authors first discussed the basic issues associated with VMS, followed by analysing the topic’s current status. They also presented issues related to measuring interference radiated within a rail area, developed a selected operational process model, and determined selected operational indicators for the structures in question. The paper ends with conclusions.

Assessment of the Reliability of Wind Farm Devices in the Operation Process

The article deals with simulation tests on the reliability of the equipment of the wind farm WF in the operation process. The improvement, modernization, and introduction of new solutions that change the reliability, as well as the quality and conditions of use and operation of wind farm equipment, require testing. Based on these tests, it is possible to continuously evaluate the reliability of the equipment of WF. The issue of reliability assessment of wind farm equipment, for which intelligent systems, diagnostic systems DIAG, and Wind Power Plant Expert System (WPPES) are used to modernize the operation process, can only be tested in a simulative way. The topic of testing the reliability of complex technical objects is constantly developing in the literature. In this paper, it is assumed that the operation of wind farm equipment is described and modeled based on Markov processes. The adoption of this assumption justified the use of the Kolmogorov–Chapman equations to describe the developed model. Based on this equation, an analytically developed model of the wind farm operation process was described. The simulation analysis determines the reliability of the wind farm in terms of the availability factor Kg(t). The simulation tests are performed in two phases using the computer program LabView. In the first stage, the reliability value in the form of the readiness factor Kg(t) as a function of changes in the mean repair time value ranging {from 0.3 to 1.0} was investigated. In the second stage, the reliability value of WF devices was examined as a function of changes in the value of the average time between successive failures, ranging from 1000 to 3000 (h)}.

Assessing the Operation System of Fire Alarm Systems for Detection Line and Circuit Devices with Various Damage Intensities

The paper presents a method for assessing operation processes for Fire Alarm Systems (FAS) applied in civil structures, based on use analysis. Individual FAS devices include components with varying ‘lifetimes’ and damage intensities λ. This is because these elements are operated in different internal and external environments. Probability distributions with various damage λ and recovery µ intensity values must, hence, be taken into account for the FAS operation process and to determine the R(t) reliability. The life cycle of elements comprising a FAS can be divided into three distinguishing time periods. The first is the so-called ‘childhood’. The second, the longest, is characterized by damage intensity λ = const, and the third period is where FAS is unfit more frequently. Based on knowledge of actual FAS operation process data, it is possible to determine damage λ and recovery µ intensity parameters. Such data can be employed to determine FAS reliability parameters within the presented service life intervals. The authors of the article first discuss the basic issues associated with FAS, followed by analyzing the current status of the topic. They also present power supply matters and system solution examples, develop an operation process model and determine selected operational indicators for the structures in question. The paper ends with conclusions.

Research on Optimization of Freight Train ATO Based on Elite Competition Multi-Objective Particle Swarm Optimization

In view of the complex problems that freight train ATO (automatic train operation) needs to comprehensively consider punctuality, energy saving and safety, a dynamics model of the freight train operation process is established based on the safety and the freight train dynamics model in the process of its operation. The algorithm of combining elite competition strategy with multi-objective particle swarm optimization technology is introduced, and the winning particles are obtained through the competition between two elite particles to guide the update of other particles, so as to balance the convergence and distribution of multi-objective particle swarm optimization. The performance comparison experimental results verify the superiority of the proposed algorithm. The simulation experiments of the actual line verify the feasibility of the model and the effectiveness of the proposed algorithm.

АЛГОРИТМЫ ПАРАМЕТРИЧЕСКОГО СИНТЕЗА, ПРИМЕНЯЕМЫЕ ПРИ ПРОЕКТИРОВАНИИ ГИБКИХ ПРОИЗВОДСТВЕННЫХ СИСТЕМ НА ОСНОВЕ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ

The article discusses an approach to the automation of parametric synthesis of production equipment of highly automated production systems. Three optimization methods are considered: the coordinate descent method based on the golden ratio, the Hook-Jeeves method, and the genetic algorithm. With the help of the considered methods, a computational experiment was carried out aimed at finding the design parameters of a flexible manufacturing system that are optimal according to the criterion of equipment loading. The design parameters were assessed on the basis of a computer model of the production equipment operation process. The analysis of the experimental results showed that the highest efficiency of determining the global optimum was obtained using the genetic algorithm, but its operation takes the longest time. It has been suggested that it is possible to reduce the search time by studying the effect of the mutation value, which does not allow the genetic algorithm to get stuck in the local optimum, but worsens the convergence of the solution.