His Created Community (Part 4 of 4, Original Title Unavailable)

1990/10/04. Total commitment to God and his vision for a spirit-filled church that works for global change. President, Christian College Coalition

OPC UA servers and its applications for data transfer of control systems

V této práci jsou popisovány základní principy technologie OPC UA, výhody této technologie oproti klasickému OPC a její využití v průmyslové automatizaci. Práce obsahuje srovnání nástrojů vhodných k vytváření OPC UA aplikací v jazyce C++. V poslední části práce je zdokumentován OPC UA server, který kopíruje strukturu bloků spuštěné exekutivy řídícího systému REX do svého adresního prostoru a umožňuje OPC UA klientům monitorování, čtení a zápis parametrů bloků exekutivy.Katedra kybernetikyObhájenoThis thesis describes basic principles of the OPC UA technology, advantages of the OPC UA against the OPC Classic and its utilization in industrial automation. The thesis contains a comparison of tools for building OPC UA aplications in C++. The OPC UA server, which copies the structure of block from a REX executive into its address space and allows OPC UA clients to monitor, read and write values of the executive blocks parameters, is documented in the last part of the thesis

Correcting the Problem (Part 3 of 4, Original Title Unavailable)

1990/10/03. The transforming love of God that works in common with justice to correct the problem of sin and rebellion. President, Christian College Coalition

The Integrity of Confession (Part 2 of 4, Original Title Unavailable)

1990/10/02. Call listeners to face their own problems, embrace the freedom of confession, and ask the Holy Spirit to overcome those issues. President, Christian College Coalition

Kingdom Spirituality (Part 1 of 4)

1990/10/01. Challenges Christian to deepen their commitment level, including their intellectual interaction with God and seeking to impact the spirituality of others. President, Christian College Coalition

General methodology for building of OPC UA gateways

This article describes an original generalized methodology for building OPC UA bridges for different industrial communications and internal command protocols. This methodology is aimed for fast development of OPC UA gateways for less popular data transferring communications which are not available on the market. A final gateway can be added to existing solutions without modification of data source control devices. This gateway needs only a minimal configuration and obtains information about data source automatically. This design has been already implemented in three different solutions with various communication (REXYGEN, PerNet, a Keysight middleware protocol). The solutions has been deployed in various projects and proved to be efficient and reliable

Model checking technique for development of safety critical applications

V této práci je nastíněna problematika bezpečnostně kritických systémů. Dále jsou zde popsány principy metody Model checking a možnosti jejího využití při návrhu modelu bezpečnostně kritických systémů. V poslední části této práce je tato metoda použita na dvou zadaných modelech a je vyhodnocen přínos jejího využití.ObhájenoThis thesis outlines the issue of safety-critical systems. Here are also described the principles of the Model Checking method and the possibilities of its use in the design of a model of safety critical systems. In the last part of this work, this method is used on two models and the contribution of its use is evaluated

Kingdom Priorities

1982/04/28. Studies Acts 1:1-8, the challenges facing America, and what it means to live as a Christian in the world today. Inner-city pastor from Washington D.C. and former college president. Thomas F. Staley Lecture

Iowa Edible Bean Production with Direct Marketing to Japan by the Greene Bean Project

In January 2001, a group of west-central Iowa farmers and supporters came together to research raising edible beans and other alternative crops. The experiment has grown into the Greene Bean Project, Alternative Crop Enterprises of Iowa, LLC whose members have 1000 acres of alternative crops in 18 Iowa counties. In 2004, the Greene Bean Project farmers produced over 700 acres of azuki (small red edible bean) for export to Japan. This paper will share the cooperatives introduction, progression and issues of azuki production in Iowa and direct marketing to Japan.</p

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing

This article describes a process for modern verification of safety-related I&C (Instrumentation and Control) systems based on algorithm model checking, model-based test case generation and automatic testing. The verification process is compatible with IEC 60880 standard, and utilises methods presented in previously published articles including automatic formalisation and model checking of FBD algorithms and model-based test case generation. This verification process was applied on a real safety-related I&C system for a nuclear power plant. Due to confidentiality of the real application, the process is presented mostly on an simplified example. Nevertheless, the presented results contain information about both the example model and the real safety-related I&C system. These results are utilised for discussion about suitability and efficiency of the presented verification process