• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.6
• /
• pp.558-571
• /
• 1992

In this paper, we propose an improved method of state exploration called the extended circular exploration (ECE) for the efficiency of state exploration and the reduction of explosively growing state. The ECE does not need to explore all the reachable global states, and It can be applied to JV($\boxDr$$\geq$ 2) -party protocol with alternative routes, i.e., it is applicable to the protocol In which adaptiverouting mechanism can be performed. The ECE eliminates a restriction of topology of the conventional circular exploration(CE) by exploring only those global states which are reachable, provided that the participant processes of any group of transitions proceed at the same speed, and that they can be formed as a cycle. Thus the state space explored if not exhaustive. The algorithm presented can detect deadlock error and unspecified reception error It requires storage space and /or execution time much less than those of the conventional perturbation(CP) . It might be used for a solution of the N-process collision and the interference mechanism.

• Journal of the Korean Society of Radiology
• /
• v.8 no.1
• /
• pp.27-33
• /
• 2014

Medical imaging has increased rapidly in the increase of interest in health, with the development of computer technology, digitization of medical imaging is rapidly advancing, PACS has been introduced to the medical field. Increase in the production of medical images by these phenomena made increased the workload of radiologist who must read a medical image. in response to the need for secondary diagnosis using a computer, The term of CAD in medical radiology field was introduced. In this study, we have proposed a CAD algorithm for the interpretation of the image obtained by the digital X-ray mammography equipment. The experiments were performed by programmed in Visual C++ for the proposed algorithm. A result of the execution of the CAD algorithm seven sample images, the results of five samples was confirmed in breast cancer and benign tumors, both the images sample was error processing. If you use a program that implements this with the algorithm proposed in this study it is helpful to reading breast images, and it is considered to contribute significantly to the early detection of breast cancer.

• Korean Journal of Construction Engineering and Management
• /
• v.21 no.3
• /
• pp.48-56
• /
• 2020

Prediction of construction cost in the planning stage that provides basic information for feasibility study, budgeting, and planning is an important factor for successful project execution. In this study, a prediction model was developed for the purpose of improving the accuracy of estimating the construction cost of Hanok in the planning stage. The cost of this model is estimated by two methods. First, the cost of wood work, which accounts for the largest portion of the total construction cost, is estimated by calculating the approximate quantity under various conditions (structure type, roof type, plane type, etc.). Second, the cost of the rest work sections except the wood work is estimated by using the unit cost model. The predictive model was verified by two case projects, and the error rate of total construction cost was -4%(case 1) and -6%(case 2). These results showed an error rate in the range that can be applied to practice in the planning stage.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.11
• /
• pp.1954-1960
• /
• 2008

Modem Robot is used in all industries. Previous Robot was used by simplicity work, at recent times, robot is developed in form that can do action such as a person. Robot's action runs according to command repeat or in the every moment according to sensor's output value, achieve other action. In this raper, we studied about self-regulation transfer robot that follow Object autonomously. This robot can be used by purpose that carry heavy burden instead of human. Robot's composition is drive part which run object's position awareness Sensor, Processor that control action and Motor part. After robot is connects with Network, we did robot remote control and monitor the action situation of robot. For the methode to reduce drive error, we developed algorithm for outside environment. For an experiment we made the self-regulation robot. We showed the directivity of sensor, error of directivity and soft moving of robot. We showed the monitoring system and the execution screen for communication between robot and PC.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.10
• /
• pp.747-752
• /
• 2019

By using the failure information and the cumulative test execution time obtained by performing the reliability growth test, it is possible to estimate the parameter of the reliability growth model, and the Mean Time Between Failure (MTBF) of the product can be predicted through the parameter estimation. However the failure information could be acquired periodically or the number of sample data of the obtained failure information could be small. Because there are various constraints such as the cost and time of test or the characteristics of the product. This may cause the error of the parameter estimation of the reliability growth model to increase. In this study, the Bayesian method is applied to estimating the parameters of the reliability growth model when the number of sample data for the fault information is small. Simulation results show that the estimation accuracy of Bayesian method is more accurate than that of Maximum Likelihood Estimation (MLE) respectively in estimation the parameters of the reliability growth model.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.36 no.6
• /
• pp.415-421
• /
• 2023

In this study, the piezoresistive properties of cementitious composites enhanced with carbon nanotubes for improved electrical conductivity were analyzed using a deep learning-based transformer algorithm. Experimental execution was performed in parallel for acquisition of training data. Previous studies on mixture design, specimen fabrication, chemical composition analysis, and piezoresistive performance testing are also reviewed in this paper. Notably, specimens in which fly ash substituted 50% of the binder material were fabricated and evaluated in this study, in addition to carbon nanotube-infused specimens, thereby exploring the potential enhancement of piezoresistive characteristics in conductive cementitious materials. The experimental results showed more stable piezoresistive responses in specimens with fly-ash substituted binder. The transformer model was trained using 80% of the gathered data, with the remaining 20% employed for validation. The analytical outcomes were generally consistent with empirical measurements, yielding an average absolute error and root mean square error between 0.069 to 0.074 and 0.124 to 0.132, respectively.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.3
• /
• pp.63-71
• /
• 2014

We analyze the execution time of Reed-Solomon coding, which is the MAC-layer forward error correction scheme used in CDMA2000 1xEV-DO broadcast services, under different air channel conditions. The results show that the time constraints of MPEG-4 cannot be guaranteed by Reed-Solomon decoding when the packet loss rate (PLR) is high, due to its long computation time on current hardware. To alleviate this problem, we propose three error control schemes. Our static scheme bypasses Reed-Solomon decoding at the mobile node to satisfy the MPEG-4 time constraint when the PLR exceeds a given boundary. Second, dynamic scheme corrects errors in a best-effort manner within the time constraint, instead of giving up altogether when the PLR is high; this achieves a further quality improvement. The third, video-aware dynamic scheme fixes errors in a similar way to the dynamic scheme, but in a priority-driven manner which makes the video appear smoother. Extensive simulation results show the effectiveness of our schemes compared to the original FEC scheme.

• The Journal of the Korea Contents Association
• /
• v.12 no.8
• /
• pp.13-19
• /
• 2012

This paper introduces a test-bed toolkit for evaluating and enhancing text analysis engines which extract technological knowledge from articles, patents, reports and so forth. The toolkit consists of two test-beds for technical entity recognition and relation extraction engines, which are capable of identifying technical entities and predicting semantic relation types between the entities. With using the introduced toolkits, users and developers can efficiently perform the execution monitoring and error analysis of the technical text analysis engines.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2323-2333
• /
• 1998

Software engineers generally analyze the program behavior under the test case that revealed the error, not under any teneric est case. In this paper we discuss the dynamic slice consisting of all statements that actually affect the value of a variable occurrence for a given program input. We propose an efficient algorithm to make dynamic program slices. The eficiency of this algorithm is evaluated on some developed program. results are shown by a marking table of execution history. Dynamic Dependence Graph, and Reduced Dynamic Dependence Graph, Consequently, the efficiency of the proosed algorithm is also presented by the compariso with algorithm that was announced previously.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.