• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.345-354
• /
• 2002

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements.

• Structural Engineering and Mechanics
• /
• v.86 no.1
• /
• pp.49-68
• /
• 2023

This study investigates the static and dynamic structural analysis of symmetrical and asymmetrical coupled shear walls using the continuous and modified transfer matrix methods by idealizing the coupled shear wall as a three-field CTB-type replacement beam. The coupled shear wall is modeled as a continuous structure consisting of the parallel coupling of a Timoshenko beam in tension (with axial extensibility in the shear walls) and a shear beam (replacing the beam coupling effect between the shear walls). The variational method using the Hamilton principle is used to obtain the coupled differential equations and the boundary conditions associated with the model. Using the continuous method, closed-form analytical solutions to the differential equation for the coupled shear wall with uniform properties along the height are derived and a numerical solution using the modified transfer matrix is proposed to overcome the difficulty of coupled shear walls with non-uniform properties along height. The computational advantage of the modified transfer matrix method compared to the classical method is shown. The results of the numerical examples and the parametric analysis show that the proposed analytical and numerical model and method is accurate, reliable and involves reduced processing time for generalized static and dynamic structural analysis of coupled shear walls at a preliminary stage and can used as a verification method in the final stage of the project.

• International Journal of Highway Engineering
• /
• v.10 no.3
• /
• pp.11-18
• /
• 2008

In recent, lots of researches for mechanical-empirical design concept for asphalt pavement are on going. AASHTO 2002 Design Guide in USA and KPRP(Korean Pavement Research Program) in Korea are under developing. In these programs, the mechanical properties of hot mix asphalt are a key role for design and analysis. Unfortunately, there is no proper database on the mechanical properties of hot mix asphalt, such as dynamic modulus. The use of dynamic modulus has couple of good advantages which is based on temperature, traffic loading and frequency on pavement. In this research, the verification of the relationship between maximum nominal aggregate size and dynamic modulus has been carried out. Also, test specimen size effect on dynamic modulus has been conducted. Considering the limitation of laboratory testing machine in Korea, test specimen with 100mm diameter and 150mm height is recommended for dynamic modulus test. Also, as the maximum nominal aggregate size increases, the dynamic modulus of hot mix asphalt increases.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2003.09a
• /
• pp.64-64
• /
• 2003

Objectives: Patient dose verification is clinically the most important parts in the treatment delivery of radiation therapy. The three dimensional(3D) reconstruction of dose distribution delivered to target volume helps to verify patient dose and determine the physical characteristics of beams used in intensity modulated radiation therapy(IMRT). We present Beam Intensity Scanner(BInS) system for the pre treatment dosimetric verification of two dimensional photon intensity. The BInS is a radiation detector with a custom made software for relative dose conversion of fluorescence signals from scintillator. Methods: This scintillator is fabricated by phosphor Gadolinium Oxysulphide and is used to produce fluorescence from the irradiation of 6MV photons on a Varian Clinac 21EX. The digitized fluoroscopic signals obtained by digital video camera will be processed by our custom made software to reproduce 3D relative dose distribution. For the intensity modulated beam(IMB), the BInS calculates absorbed dose in absolute beam fluence, which are used for the patient dose distribution. Results: Using BInS, we performed various measurements related to IMRT and found the followings: (1) The 3D dose profiles of the IMBs measured by the BInS demonstrate good agreement with radiographic film, pin type ionization chamber and Monte Carlo simulation. (2) The delivered beam intensity is altered by the mechanical and dosimetric properties of the collimating of dynamic and/or static MLC system. This is mostly due to leaf transmission, leaf penumbra, scattered photons from the round edges of leaves, and geometry of leaf. (3) The delivered dose depends on the operational detail of how to make multileaf opening. Conclusions: These phenomena result in a fluence distribution that can be substantially different from the initial and calculative intensity modulation and therefore, should be taken into account by the treatment planing for accurate dose calculations delivered to the target volume in IMRT.

• Progress in Medical Physics
• /
• v.11 no.2
• /
• pp.147-155
• /
• 2000

Patient dose verification is one of the most important parts in quality assurance of the treatment delivery for radiation therapy. The dose distributions may be meaningfully improved by modulating two dimensional intensity profile of the individual high energy radiation beams In this study, a new method is presented for the pre-treatment dosimetric verification of these two dimensional distributions of beam intensity by means of a charge coupled device video camera-based fluoroscopic device (henceforth called as CCD-VCFD) as a radiation detecter with a custom-made software for dose calculation from fluorescence signals. This system of dosimeter (CCD-VCFD) could reproduce three dimensional (3D) relative dose distribution from the digitized fluoroscopic signals for small (1.0$\times$1.0 cm$^2$ square, ø 1.0 cm circular ) and large (30$\times$30cm$^2$) field sizes used in intensity modulated radiation therapy (IMRT). For the small beam sizes of photon and electron, the calculations are performed In absolute beam fluence profiles which are usually used for calculation of the patient dose distribution. The good linearity with respect to the absorbed dose, independence of dose rate, and three dimensional profiles of small beams using the CCD-VCFD were demonstrated by relative measurements in high energy Photon (15 MV) and electron (9 MeV) beams. These measurements of beam profiles with CCD-VCFD show good agreement with those with other dosimeters such as utramicro-cylindrical (UC) ionization chamber and radiographic film. The study of the radiation dosimetric technique using CCD-VCFD may provide a fast and accurate pre-treatment verification tool for the small beam used in stereotactic radiosurgery (SRS) and can be used for verification of dose distribution from dynamic multi-leaf collimation system (DMLC).

• Journal of KIISE:Computer Systems and Theory
• /
• v.36 no.6
• /
• pp.488-501
• /
• 2009

In ubiquitous environments, invisible devices and software are connected to one another to provide convenient services to users. In order to provide such services, we must have mobile devices that connect users and services. But such services are usually limited to those served on a single mobile device. To resolve the resource limitation problem of mobile devices, a nearby resource sharing research has been studied. Also, not only the nearby resource share but also a resource recommendation through context-based resource reasoning has been studied such as an UMO Project. The UMO Project share and manage the various context information for the personalization resource recommendation and reason based on current context information. Also, should verify resource inference rules for reliable the resource recommendation. But, to create various context information requires huge cost and time in actuality. Thus, we propose a inference verification tool called USim to resolve problem. The proposed inference verification tool provides convenient graphic user interfaces and it easily creates context information. The USim exactly verifies new inference rules through dynamic changes of context information.

• Korean Chemical Engineering Research
• /
• v.60 no.1
• /
• pp.145-150
• /
• 2022

Dynamic contact angles have investigated by numerous researchers for understanding interfacial behavior at moving contact lines However, due to limitation of visualization techniques, previous experiments for dynamic contact angles have conducted limitedly in hydrophilic capillary tubes based on visible ray. Recently, there is continuous need for research on dynamic contact angles in hydrophobic capillary tubes on various research and industrial fields. Therefore, in this study, we measure the dynamic contact angles of water-glycerol mixture slug in hydrophobic microtubes using synchrotron X-ray imaging. Based on the visualized data, we verified the previous experimental correlations for dynamic contact angles.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.449-450
• /
• 2012

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• pp.379-382
• /
• 1991

The dynamic characteristics and mathematical models of the KEPCO's generator control systems have been derived by on-line tests. Measuring the responses for small disturbances in the inputs, the parameters of governing systems, excitation systems, and power system stabilizers have been determined. An overview of the field tests, parameter identification, and model verification is presented.