Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The results of creation of electronic educational and methodological complexes of disciplines for training specialists in the field of technical systems automation control are considered. Electronic educational and methodical complexes were created in the e-learning system developed under the guidance of the authors of this report. An analysis is given of the experience of using the created electronic...
In the context of Industry 4.0, constantly evolving shop floors generate the need for a highly adaptive and autonomous automation system with lean maintenance, minimum downtime, maximum reliability, and resilience. Future Manufacturing Execution Systems (MESs) will be more complex and dynamic as well as distributed physically and logically. This makes it very difficult, if not impossible, for the...
Shorter innovation cycles along with the demand for individualized, high-quality products pose high challenges on today's automated material flow systems. These systems, suitable for producing bulk goods, but inflexible in case of product changes, need to react flexibly to unplanned configurations. Especially in the software domain retroactive adaptations are tedious work and prone to errors. By deploying...
At given article implemented analysis of basic approaches to realization of automation of control by enterprise finances. According to results of analysis and consideration of new approaches to successful processing of management by funds flow, proposed development of new intellectual information system of finance management. The purpose of which is to present to user only necessary information —...
Intrusion detection systems are used in computer networking and other applications to detect and respond to attempts to compromise computers, servers, firewalls and other network resources. As intrusion detection systems move beyond providing simple pattern recognition capabilities for known attack types, the ability to test these systems with conventional techniques (or use formal or other similar...
The features of weight-based sum codes for error detection in channel are discussed in this article. These features are acceptable for modification remote railway controlling systems such as locomotive signalization. In this article proposed the investigation for different coding modification algorithms, made an analysis of noise-immune properties when the modified Bauer code was replaced to modulo...
Processes of technical documentation processing, opportunities and advantages of their implementation with the help of automated technologies of electronic document management depend to a large extent on the quality of the technical documentation involved in them and the time for performing elementary operations of document management. In the paper, it is proposed to use dynamic probabilistic loaded...
The number of software-driven features within a modern automotive powertrain rises significantly. With increasing number of features, also the risk of undesired interactions between those features rises drastically. This leads to new challenges with regard to efficiency in testing such automotive features. Automated Feature-Interaction-Testing significantly increases the efficiency of such feature...
The acceptance of mobile applications is highly dependent on the realized set of features and on the quality of the application. Information about their acceptance can be gained quickly by collecting and analyzing user feedback such as explicit textual reviews provided by an application's users or implicitly provided usage data. With an approach based on developing a minimal set of functions in order...
Agile software development approaches have emerged to overcome the inherent challenges of the traditional software development methodologies. With that in mind, they offer a set of simple yet effective practices based on the values and supporting principles of the Agile Manifesto. Today, more and more organizations are practicing Agile but transitioning to Agile is not as straightforward as it might...
With the rapid development of society and remarkable improvement of the power distribution automation of our country, users put forward higher requirements to power quality and reliability of power supply. According to the distribution network structure and operation mode, combining large-scale blackouts of Hangzhou distribution grid, this paper did a depth study on rapid restoration technology, under...
Closed-loop model checking, a formal verification technique for industrial automation systems, increases the richness of specifications to be checked and reduces the state space to be verified compared to the open-loop case. To be applied, it needs the controller and the plant formal models to be coupled. There are approaches for controller synthesis, but little has been done regarding plant model...
This article describes a remote lab for fruit and vegetable drying, and discusses feedback from students who used the lab in their training. A major conclusion of the survey was that there is interest in the remote laboratory because it provides practical experience in the training of an automation and control engineer. It can be concluded that the remote laboratory has a positive effect on the students'...
Requirements reusability within agile development improves software quality and team productivity. One method to implement requirements reusability is traceability, in which relations and dependencies between requirements and artifacts are identified and linked. In this paper, we propose a semiautomated methodology to implement traceability in the agile development process in order to achieve requirements...
In this paper, we propose using an approach based on the system-level programming language SystemJ extended with service oriented features, called SOSJ, to design dynamic interoperable software systems. The approach abstracts and integrates the worlds of automation and robotics systems by using a simple service interface based on abstract objects within SOSJ. We demonstrate our approach in a real-life...
The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses...
The Internet of Things means a connected world. When reaching the industrial level, the automation equipment present a large life cycle and the systems are many times conceived using proprietary protocols. Bringing interoperability to local automation is often a difficult task and changes in the functional structures, particularly in the case of critical infrastructures like the water industry, have...
Within the context of automated assembly systems, one of the challenges is ensuring that machine program logic is consistent with process planning requirements. A critical inconsistency can arise due to a lack of i) formal engineering tools and methods that link the Process and Resource domains, ii) a standard way to describe the assembly process that maintains a consistent level of granularity, and...
With recent trends in manufacturing automation, such as Industry 4.0, control software in automated production systems becomes more and more complex and volatile, complicating and increasing importance of quality assurance. Test tables are a widely used and generally accepted means to intuitively specify test cases for automation software. However, each table only specifies a single software trace,...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.