• Nuclear Engineering and Technology
• /
• 제36권4호
• /
• pp.295-303
• /
• 2004

Software inspection is widely believed to be an effective method for software verification and validation (V&V). However, software inspection is labor-intensive and, since it uses little technology, software inspection is viewed upon as unsuitable for a more technology-oriented development environment. Nevertheless, software inspection is gaining in popularity. KAIST Nuclear I&C and Information Engineering Laboratory (NICIEL) has developed software management and inspection support tools, collectively named "SIS-RT. "SIS-RT is designed to partially automate the software inspection processes. SIS-RT supports the analyses of traceability between a given set of specification documents. To make SIS-RT compatible for documents written in Korean, certain techniques in natural language processing have been studied [9]. Among the techniques considered, case grammar is most suitable for analyses of the Korean language [3]. In this paper, we propose a methodology that uses a case grammar approach to analyze the traceability between documents written in Korean. A discussion regarding some examples of such an analysis will follow.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.273-276
• /
• 1987

This paper presents a case-building algorithm which can control the design variables of which some variables are designated as the input (known) variables and the remainders are defined as the output (unknown) variables. The case-building algorithm can enhance the design ability by categorizing design case automatically. Common CAD programs for analysis and design of machine elements use a case-selection technique where a programmer set initially a few of design cases and users can only choose one of given cases. This paper also demonstrates the case-building algorithm by applying into CAD programs for power-screw design.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권5호
• /
• pp.506-517
• /
• 2000

분산 실시간 시스템에서 선행 태스크의 완료에 의해 활성화되는 태스크는 활성화 지터를 갖는 주기적 태스크로 모델링될 수 있다. 태스크의 활성화 지터는 선행 태스크의 최악과 최선 응답사간의 차로 정의된다. 기존의 방법은 최선 응답사간을 실제보다 훨씬 작은 값으로 가정하기 때문에, 활성화 지터와 낮은 우선순위를 갖는 태스크들의 최악 응답시간이 과대평가된다. 본 논문은 최선 응답사간을 보다 정확하게 산정하고 활성화 지터의 한계를 줄이기 위해 새로운 최선 응답시간 분석기법을 제안한다. 제안된 기법은 태스크들간의 상대적 위상을 고려하여 최선 응답시간을 구한다. 활성화 지터의 정확한 분석은 다른 태스크들의 최악 응답시간을 감소시키고 스케쥴가능성을 증가시킨다. 모의실험의 결과는 제안된 분석 기법이 최선 응답시간과 최악 응답시간의 정확도를 각각 최대 40%와 6%로 개선함을 보여 준다.

• 가정과삶의질연구
• /
• 제31권2호
• /
• pp.41-57
• /
• 2013

This paper analyzed the implementation process of experts managing the case of grandparent and grandchildren families in the case management process, as the useful approach to strengthen the function of grandparent and grandchildren family. The methodology were the analysis on 6 management cases by step and the analysis on the interview with 3 experts implementing the case management on grandparent and grandchildren families. As a result, major complaints from grandparent and grandchildren families were basic livelihood and economy area, physical and mental health area, child care and education area and culture area. The service goals were set by such classification and support service was provided using the internal and external resources. The case management process was effective for improving the satisfaction on life by positively changing the grandchildren and promoting the psychological and emotional stability. 6 cases were under the post management after the analysis was completed and linked to the program 'Reinforcement of Family Ability of Grandparent and Grandchildren Family.' In accordance with the interview with the experts in case management, the grandparent and grandchildren family case management was characterized by high dependency and difficulty in expressing the desires. They required the long-term approach as well as the approach to restore the relationship with the original family.

• 가족자원경영과 정책
• /
• 제17권1호
• /
• pp.39-61
• /
• 2013

This paper analyzed the experience of case management experts and single mothers in managing the cases, as the useful approach for family enrichment of a low-income single parent family. The analysis included five case managements and interview with three case management experts for single-parent families. Four of the five cases have been in progress at present. According to the analysis, the main appeals for single-parent families were economy and basic life, physical and mental health, family and social relationships, and child care and education. Furthermore, the interview with the case management experts identified the difficulty in managing single-parent family cases, especially those cases with complicated demands and problems, barriers to expert management, and required support for family enrichment. Finally, this paper analyzed the implementation process of case management for single-parent families in a specific area, meaning that the results of this paper do not represent all single-parent families. Moreover, the analyzed reports were specific to the case management implementation process. Thus, the contents, which were not recorded in the reports, were not fully reflected, and the in-depth analysis of multilateral aspects was restricted.

• 소음진동
• /
• 제10권5호
• /
• pp.775-782
• /
• 2000

Being carried out a number of studies for the resilient mounting system of automobile engine than that of the studies for marine engines, many research results for the case of the resilient mounting system of the automobile engine have applied in the analysis for the case of marine engine. However, the size and the power of automobile engines are not only relatively small but also their operating conditions are quite different form those of marine engines. For the analysis of the automobile engine Wavelet shrinkage, misfire condition and unload condition have not been considered. Accordingly , it is not desirable to apply the results obtained form the case of automobile engines to the case of marine engines. In this study , exciting and damping forces working on the marine engine are formulated mathematically in order to apply to the design of a resilient mounting system of engine effectively. futhermore, some mathematical formulation for the analysis of the transmissibility of multi-body system are proposed. A new computer program which is able to calculate the free vibration, the transmissibility and the forced vibration of a resilient mounting system has been developed, As an application of this developed computer program, the dynamic behavior of resilient system with an actual rubber spring for the case of 6-degree-of-freedom system and 36-degree-of-freedom system are evaluated quantitatively.

• 디지털산업정보학회논문지
• /
• 제19권4호
• /
• pp.1-11
• /
• 2023

Clustering analysis is used in various fields including customer segmentation and clustering methods such as k-means are actively applied in the credit card customer segmentation. In this paper, we summarized the input features selection method of k-means clustering for the case of the credit card customer segmentation problem, and evaluated its feasibility through the analysis results. By using the label values of k-means clustering results as target features of a decision tree classification, we composed a method for prioritizing input features using the information gain of the branch. It is not easy to determine effectiveness with the clustering effectiveness index, but in the case of the CH index, cluster effectiveness is improved evidently in the method presented in this paper compared to the case of randomly determining priorities. The suggested method can be used for effectiveness of actively used clustering analysis including k-means method.

• 환경영향평가
• /
• 제9권3호
• /
• pp.203-214
• /
• 2000

Health risk assessment is applied to streamlining LCA(Life Cycle Assessment) using Monte carlo simulation for probabilistic/stochastic exposure and risk distribution analysis caused by data variability and uncertainty. A case study was carried out to find benefits of this application. BTC(Benzene, Trichloroethylene, Carbon tetrachloride mixture alias) personal exposure cases were assumed as production worker(in workplace), manager(in office) and business man(outdoor). These cases were different from occupational retention time and exposure concentration for BTC consumption pattern. The result of cancer risk in these 3 scenario cases were estimated as $1.72E-4{\pm}1.2E+0$(production worker; case A), $9.62E-5{\pm}1.44E-5$(manger; case B), $6.90E-5{\pm}1.16E+0$(business man; case C), respectively. Portions of over acceptable risk 1.00E-4(assumed standard) were 99.85%, 38.89% and 0.61%, respectively. Estimated BTC risk was log-normal pattern, but some of distributions did not have any formal patterns. Except first impact factor(BTC emission quantity), sensitivity analysis showed that main effective factor was retention time in their occupational exposure sites. This case study is a good example to cover that LCA with probabilistic risk analysis tool can supply various significant information such as statistical distribution including personal/environmental exposure level, daily time activity pattern and individual susceptibility. Further research is needed for investigating real data of these input variables and personal exposure concentration and application of this study methodology.

• 한국언어정보학회지:언어와정보
• /
• 제12권2호
• /
• pp.1-20
• /
• 2008

This paper examines the effects of focus types on case ellipsis in Korean. A number of previous studies have suggested that accusative case markers in Korean and Japanese cannot be dropped when the object they mark is contrastively focused (Masunaga, 1988; Yatabe, 1999; Ko, 2000; Lee, 2002). Using experimental evidence, we argue against the view that case ellipsis in Korean is sensitive to the distinction between contrastive vs. non-contrastive focus. An alternative analysis is proposed which accounts for the phenomenon of variable case marking in terms of the interaction between the contrastive strength and the discourse accessibility of focused object NPs. By viewing patterns of case ellipsis as the result of balancing between these two forces, such an analysis can correctly predict the gradient pattern of case ellipsis shown by the three types of focused objects tested in the experiment (contrastive replacing focus, contrastive selecting focus and non-contrastive, informational focus), while at the same time offering an explanation for why subtypes of focus exert distinct influences on case ellipsis.

• 보존과학연구
• /
• 통권29호
• /
• pp.111-124
• /
• 2008

Gold case which is called sarari container was excavated from Wangheungsaji of Buyeo in October 2007. This case did not contain sarira, but was filled with clear liquid. This study focused on component analysis of the liquid which had filled sarira container, because we didn't know if this case had not originally contained sarira or not. It is said that original sarira can be melted by a some liquid in this case. So, many kinds of samples which are liquid, soil and ground water, was collected from a inner and outer of sarira container, and analyzed using a IC, ICP-MS, GC-MS and SEM-EDS. As a result of analysis, all of the elements composition was identified by general components of soil and ground water. Especially, phosphate which is chemical element to consist of human bone, did not found in this liquid.