The diploma thesis is a part of the project Intelligent weighting and sorting of goods. The principle of measuring of weight from movement dynamics with derivation calculation relation is detailed described in the first part. The description of used automation means is also in the first part of the diploma thesis. The second part includes design of three adaptive control systems for controlling DC electromotor’s arm, communication principles between programmable logic controllers and designed code of program.

This thesis describes the design and implementation of device called Intelligent two-arm juggling machine. The role of the demonstration project is to control rotational movement of the arm so that the concept of the machine there to swap the ball to the opposite side shoulder. The project is divided into two theses, which this proposal addresses the above mentioned tasks, the machine and place the second level ofcooperative governance through visualization.

Projektet går ut på att ersätta den befintliga styrningen av en DC-generator för 1200 kV med en fjärrstyrning från kontrollrummet via optolänk. Den nya styrningen ska utgöras av ett PLC-system (Programmable Logic Controller) som manövreras med hjälp av ett HMI – Human Machine Interface. Bakgrunden till projektet härrör från att den befintliga styrutrustningen är opålitlig samt styrs i en farlig miljö. Rapporten går igenom hur befintlig styrutrustning fungerar samt dess ingående komponenter, hur ett PLC-system fungerar med dess bakgrund och olika programmeringsspråk. Även programmeringen och byggnationen av det nya systemet avhandlas. I slutet av rapporten ges en genomgång av de provkörningar som utförts för att säkerställa att alla funktioner fungerar som tänkt. Resultat av provkörningarna ges och diskussion förs kring projektet. Projektet är utfört åt högspänningsgruppen på RISE i Borås som använder generatorn bland annat vid kalibrering av spänningsdelare. Det nya styrsystemet innefattar alla av den tidigare styrutrustningens funktioner och några nya funktioner så som överströms- och överspänningsskydd vilka slår från spänningsmatningen om dessa begränsningar överskrids. Att styrutrustningen nu är placerad i kontrollrumsmiljö gör att operatören kan hantera utrustningen utan att vara i närheten av farlig spänning. / The report aims to replace the current control equipment for a DC-generator for 1200 kV by remote control from control room through optical fibre link. The new control will be a PLC system controlled by a HMI – Human Machine Interface. The background to the project is that the existing control equipment is unreliable and controlled in a dangerous environment. The report shows how the current control equipment works and its constituent components, how a PLC-system works with its background and different programming languages. This report will also describe how the programming and building of the hardware are done. In the end of this report are going through a test run to confirm that the system is working properly. Result of the test run are given and some discussion. The project is initiated by the high voltage group at RISE in Borås, who are using the DC-generator for instance while calibrating voltage dividers. The new control system contains all of the functions from the earlier control system but also some new functions such as overcurrent and overvoltage protection who turns off power supply if the limits are exceeded. The control system is now located in the control room so that the operator can use the system without being close to high voltage.

No description available.

The operation and control of the power system in an efficient way is important in order to keep the system secure, reliable and economical. With advancements in smart grid, several new algorithms have been developed for improved operation and control. These algorithms need to be extensively tested and validated in real time before applying to the real electric power grid. This work focuses on the development of a real time test bed for testing and validating power system control algorithms, hardware devices and cyber security vulnerability. The test bed developed utilizes several hardware components including relays, phasor measurement units, phasor data concentrator, programmable logic controllers and several software tools. Current work also integrates historian for power system monitoring and data archiving. Finally, two different power system test cases are simulated to demonstrate the applications of developed test bed. The developed test bed can also be used for power system education.

No description available.

Concurrent software has been widely utilizing in computer systems owing to the highly efficient computation. However, testing and verifying concurrent software remain challenging tasks. This matter is not only because of the non-deterministic thread interferences which are hard to reason about but also because of the large state space due to the simultaneous path and interleaving explosions. That is, the number of program paths in each thread may be exponential in the number of branch conditions, and also, the number of thread interleavings may be exponential in the number of concurrent operations. This dissertation presents a set of new methods, built upon symbolic execution, a program analysis technique that systematically explores program state space, for testing concurrent programs. By modeling both functional and non-functional properties of the programs as assertions, these new methods efficiently analyze the viable behaviors of the given concurrent programs. The first method is assertion guided symbolic execution, a state space reduction technique that identifies and eliminates redundant executions w.r.t the explored interleavings. The second method is incremental symbolic execution, which generates test inputs only for the influenced program behaviors by the small code changes between two program versions. The third method is SYMPLC, a technique with domain-specific reduction strategies for generating tests for the multitasking Programmable Logic Controller (PLC) programs written in languages specified by the IEC 61131-3 standard. The last method is adversarial symbolic execution, a technique for detecting concurrency related side-channel information leaks by analyzing the cache timing behaviors of a concurrent program in symbolic execution. This dissertation evaluates the proposed methods on a diverse set of both synthesized programs and real-world applications. The experimental results show that these techniques can significantly outperform state-of-the-art symbolic execution tools for concurrent software. / Doctor of Philosophy / Software testing is a technique that runs software as a black-box on computer hardware multiple times, with different inputs per run, to test if the software behavior conforms to the designed functionality by developers. Nowadays, programmers have been increasingly developing multithreaded and multitasking software, e.g., web browser and web server, to utilize the highly efficient multiprocessor hardware. This approach significantly improves the software performance since a large computing job can now decompose to a set of small jobs which can then distribute to concurrently running threads (tasks). However, testing multithreaded (multitask) software is extremely challenging. The most critical problem is the inherent non-determinism. Typically, executing sequential software with the same input data always results in the same output. However, running a multithreaded (multitask) software multiple times, even under the same input data, may yield different output in each run. The root reason is that concurrent threads (tasks) may interleave their running progress at any time; thus the internal software execution order may be altered unexpectedly, causing runtime errors. Meanwhile, finding such faults is difficult, since the number of all possible interleavings can be exponentially growing in the number of concurrent thread (task) operations. This dissertation proposes four methods to test multithreaded/multitask software efficiently. The first method summarizes the already-tested program behaviors to avoid future testing runs that cannot lead to new faults. The second method only tests program behaviors that are impacted by program changes. The third method tests multitask Programmable Logic Controller (PLC) programs by excluding infeasible testing runs w.r.t the PLC semantics. The last method tests non-functional program properties by systematic concurrency analysis. This dissertation evaluates these methods upon a diverse set of benchmarks. The experimental results show that the proposed methods significantly outperform state-of-the-art techniques for concurrent software analysis.

Approved for public release, distribution is unlimited / This thesis outlines the development, programming, and testing a logical interface between a radar system, the AN/SPS-65(V)1, and a general-purpose reconfigurable computing platform, the SRC Computer, Inc. model, the SRC-6E. To confirm the proper operation of the interface and associated subcomponents, software was developed to perform basic radar signal processing. The interface, as proven by the signal processing results, accurately reflects radar imagery generated by the radar system when compared to maps of the surrounding area. The research accomplished here will allow follow on research to evaluate the potential benefits reconfigurable computing platforms offer for radar signal processing. / Captain, United States Marine Corps

International Telemetering Conference Proceedings / October 18-21, 2004 / Town & Country Resort, San Diego, California / The Precision Fires Rocket and Missile Systems (PFRMS) Program Office continually undertakes Stockpile Reliability Testing (SRP) to ensure the validity of the accumulated weapons and increase the she lf life of these weapon systems. MLRS is a legacy weapon system that has been undergoing SRP testing for over 20 years. The PFRMS Program Office has a need for a miniature Tactical Telemetry System that will monitor the fuze performance of the MLRS Rocket during SRP testing. This paper will address a technical approach of how a small Tactical Telemetry System could be built to meet this requirement. The Tactical Telemetry system proposed in this paper will monitor fuze functions, operate across the wide environmental spectrum of the SRP tests, and physically fit in the nose area without altering the overall tactical rocket appearance or operation.

Nowadays, people have a boat of themselves become more and more popular. People use their boat for fishing trip and taking holiday. However, most of them do not want to take care of their boat by themselves. One of the reasons might be the place of a boat occupied. Recently, a method has been used is to store boat on the Boat Hotel. They pay for the rent of a boat garage and also hire someone to take care of their boat. Place the boat on the boat shelf with several layers is the most common method. They use forklift to take in/out the boat when boat owner need use their boat. On the conditional of this situation, if we want to take a boat which is inside of boat shelf, then we need take all outside boat out.  It’s really an inefficiency way, so we need improve it. In this study, we aim to design a Boat Storage System based on the existing shelf and meet all requirement of existing boat. This system should be reliable, efficient, economic, operable and flexible. The main function of the Boat Storage System is to take in/off the boat more quickly and automatically and efficiently. The system is similar with the stereo parking garage. Which have a paternoster controlled by PLC program. Consider of the boat is heavier than the car. Our storage structure should be more stable. Our design only need one person to operate it. The whole process will cost few seconds. This building will be established in the water. Therefore, the owner only need to push the button and then the boat will be prepared in the water automatically. The modelling and assembly was designed in Autodesk Inventor 2017. This hardware circuit of PLC was drawn in AutoCAD. The software to design the PLC is GX Works 2. And we used ANSYS Workbench 17.2 to analysis the structure. The analysis will prove the structure is safety and strong enough. And the simulation will prove the system is possible. Our conclusion is that this system has a good future and general application in the market.