• 제어로봇시스템학회:학술대회논문집
• /
• 1998.10a
• /
• pp.147-150
• /
• 1998

The report presents basic functions of Time-delay System Toolbox (for MATLAB) -the general-purpose software package for Computer Aided Design of control systems with delays. The Toolbox is a collection of algorithms, expressed mostly in m-files for simulating and analysis of MIMO linear and nonlinear systems with discrete and distributed (time-varying) delays.

• Journal of Environmental Health Sciences
• /
• v.45 no.5
• /
• pp.457-464
• /
• 2019

Objectives: Quantitative structure-activity relationship (QSAR) is one of the effective alternatives to animal testing, but its credibility in terms of toxicity prediction has been questionable. Thus, this work aims to evaluate its predictive capacity and find ways of improving its credibility. Methods: Using $TOPKAT^{(R)}$, OECD toolbox, and $Derek^{(R)}$, all of which have been applied world-wide in the research, industrial, and regulatory fields, an analysis of prediction credibility markers including accuracy (A), sensitivity (S), specificity (SP), false negative (FN), and false positive (FP) was conducted. Results: The multi-application of QSARs elevated the precision credibility relative to individual applications of QSARs. Moreover, we found that the type of chemical structure affects the credibility of markers significantly. Conclusions: The credibility of individual QSAR is insufficient for both the prediction of chemical toxicity and regulation of hazardous chemicals. Thus, to increase the credibility, multi-QSAR application, and compensation of the prediction deviation by chemical structure are required.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.6 no.4
• /
• pp.67-84
• /
• 1996

VDL-SL (Vienna Development Method-Specification Language) is one of the FSL(Formal Specification Language) which is being presented for the correct description of the security relevant standards. Several tools are being developed for the correctness and the convenience in the description and executable code generation of security relevant standards using VDM-SL. The IFAD VDM-SL Toolbox is one that has many functions : syntax checking, type checking, c++ code generation, test coverage information. This paper describes a formal method for description and implementation of MD4 algorithm using VDM-SL and IFAD VDM-SL Toolbox, and examines the result applied to secure hash algorithm, and proposes the relation to strict conformance test which recently suggested as a security test method.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.17 no.1
• /
• pp.169-175
• /
• 2009

Real-time multibody vehicle dynamics software has been developed for virtual handling tests. The software can be utilized for HILS(Hardware In the Loop Simulations) and consists of three modules such as a graphical vehicle modeling preprocessor, a real time dynamics solver, and a virtual reality graphic postprocessor for virtual handling tests. In the graphical vehicle modeling preprocessor, vehicle hard point data for a suspension model are automatically converted into multibody vehicle model. In the real time dynamics solver, the efficient subsystem synthesis method is used to create multibody equations of motion for a subsystem by a subsystem. In the virtual reality graphic postprocessor, an animator has been also developed by using Matlab Virtual Reality Toolbox for virtual handling tests.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.6
• /
• pp.47-56
• /
• 2004

Automatic code generating function for security protocol of SPEAR II and IFAD VDM-SL Toolbox supporting formal specification is presented in this paper. Among the functions of these tools we compare and analyze the aspects of functions, users, operation and code generation. And we suggest direction to the developing of safe security S/W. The automatic code generating function for security protocol gives the direction for developing of the safe secure software in formal specification method.

• Economic and Environmental Geology
• /
• v.40 no.4
• /
• pp.419-443
• /
• 2007

Recently, the branch-out of foreign companies into domestic markets through M&A and the opened followed by the Free Trade Agreement(FTA) with America have made the environmental site assessments of specific site more necessary. In this study, through case study of conducting actual environmental site assessment by use of a toolbox approach at a large scale of chemical plant with various contaminants located in a coastal area, the problems of guideline of domestic environmental assessment of soil were complemented. And an efficient and economical assessment was achieved. All six steps such as basic investigation, environmental site history survey, sampling and analysis, installation of monitoring wells and hydrogeological survey, and data interpretation were conducted in this study. All results of document survey, geological lineament analysis, field geology survey of surrounding area, geophysical prospecting of the site, hydraulic conductivity, measurement of groundwater flow rate and direction, sampling and analysis at each step were associated and estimated as an integrated tool box approach. As a consequence of this study, toolbox approaches were very useful techniques for contamination level and site characterization of subsurface media. The given conditions to conduct a basic survey for domestic soil environment assessment of site by use of existing documents, as well as interviews with the owner/manager/user of all adjacent properties and thorough review of all practically reviewable records pertaining to the property and surrounding properties within "Guideline for Soil Environment Assessment" radii are very poor. As a result, the application of toolbox approach in the environment site assessment of site is not only more efficient and economical, but also could be very useful assessment to integrate the soil and groundwater contamination.

• Economic and Environmental Geology
• /
• v.48 no.6
• /
• pp.537-543
• /
• 2015

In Korea, the use of world geodetic system(WGS) has been mandated in year 2010. Accordingly, the national geographic information institute(NGIS) provides the digital maps according to the WGS. Nevertheless, most of the digital geological maps are still based on the Tokyo Datum(TD). Therefore, users should conduct 2D/3D geological spatial analysis after converting the coordinates of digital geological maps to WGS. The conversion process is often tedious and troublesome for certain users. Therefore, in this study, the method to transform coordinate from TD to WGS using ArcToolbox is introduced for users not familiar with the process. For a better appreciation, the Chungju and Hwanggang-ri digital sheets of 1:50,000 scale was chosen as an example. Here, Chungju and Hwanggang-ri sheets were defined based on the TD-central origin and TD-east origin, respectively. The two sheets were merged after the transformation of TD-east origin of Hwanggang-ri to the TD-central origin, and eventually transformed to WGS-central origin. The merged map was found to match exactly with the digital map(Daeso 367041). The problem of coordinate determination in previous digital geological maps was solved effectively. The proposed method is believed to be helpful to 2D/3D geological spatial analysis of various geological thematic maps.

• Korean Medical Education Review
• /
• v.9 no.2
• /
• pp.93-97
• /
• 2007

• Proceedings of the KAIS Fall Conference
• /
• 2000.10a
• /
• pp.124-127
• /
• 2000

반도체 제조 공정의 진단 및 고장 예측 시스템을 개발하기 위해 PCA(Principal Component Analysis) 기법을 적용하여 데이터 분석을 하고자 하며, 이에 대한 이론적인 연구와 연구 수행 절차를 구체적으로 정립하였다. 비쥬얼 C++에서 MATLAB과 PLS_Toolbox 등을 연동하여 직관적이고 시각적이며 사용자가 효율적으로 공정 현장에 적용할 수 있는 시스템을 개발하고자 한다. 지금까지 PCA와 관련한 다양한 문헌 조사를 수행하였고, 이론적인 연구를 하였다. 비쥬얼 C++ 프로그램에서 MATLAB과 PLS_Toolbox 등을 연동하기 위해 필요한 환경 선정 등을 완료하였으며, 초기 단계의 간단한 모듈들을 개발하였다. 다음 단계의 모듈들은 좀 더 빠른 시간에 개발할 수 있을 것으로 기대한다. 이를 공정 현장에서 수집한 다양한 데이터에 적용하여 그 결과를 피드백하여 시스템을 수정하고 보완하고자 하며, 마지막으로 현장에 적용하고자 한다.

• Journal of Internet Computing and Services
• /
• v.5 no.2
• /
• pp.17-31
• /
• 2004

This paper presents a new assumptions statement generation method for developing TOE security environment section of PP. We surveyed on guides on the assumption statement in CC scheme, and collected and analyzed hundred of assumption statements which are in 26 certified and published real PPs and CC Toolbox/PKB. The CC Toolbox/PKB is included a class of pre-defined assumption statements. From the result of the survey, we developed a new generic assumption statement list, and proposed a assumption derivation method by using the list.