• The Journal of the Korea Contents Association
• /
• v.13 no.1
• /
• pp.221-233
• /
• 2013

This study aims to explore how to cognize and perform case management process to community psychiatric rehabilitation center in Busan area. The case of case manager for 12 people obtained by conducting focus group interviews were in-depth analysis. Many commissioned by a variety of human service organizations in the contract and the client-centric intake has been received. Assessment, rather than a function of mental disabilities center service needs, planning difficulties in securing resource discovery and felt. Intervention phase focuses on direct service and when several agencies responsible for the case management approach. The possession of responsibility was unclear. Mainly monthly facilities within the checking step checks are being made, there was a desire for the realistic-supervision. Completion stage expectations showed a performance evaluation oriented, and individualized case management that can be represented well on the rating scale.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.869-882
• /
• 2004

This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the Proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction.

• Corrosion Science and Technology
• /
• v.6 no.3
• /
• pp.128-132
• /
• 2007

For a quantitative inspection on the performance of weathering steel bridges, we have investigated the relationship between the corrosion rate and the composition of the rust layers formed on weathering steel bridges located in various environments in Japan and applied a protective ability index (PAI) to the bridges. The corrosion rates were clearly classified by the PAI, ${\alpha}/{\gamma}*$ and sub index of $({\beta}+s)/{\gamma}*$, where $\alpha$, \gamma*, $\beta$ and s are the mass ratio of crystalline $\alpha-FeOOH$, the total of $\gamma$-FeOOH+ $\beta$-FeOOH + the spinel-type iron oxide (mainly $Fe_3O_4$), $\beta-FeOOH$ and spinel-type iron oxide, analyzed by powder X-ray diffraction, respectively. In the case of ${\alpha}/{\gamma}$*>1, the rust layer works protective enough to reduce the corrosion rate less than 0.01 mm/y. The sub index $({\beta}+s)/{\gamma}*$<0.5 or >0.5 classifies the corrosion rate of the non-protective rust layers, therefore the former state of the rust layer terms inactive and the latter terms active. The quantitative inspection of a weathering steel bridge requires a performance-inspection (PI) and periodical deteriorationinspections (DI). The PI can be completed by checking of the PAI, ${\alpha}/{\gamma}*$. The DI on the weathering steel bridges where deicing salt is sprinkled can be performed by checking the PAI, $({\beta}+s)/{\gamma}*$.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1042-1054
• /
• 1999

공유메모리 병렬프로그램의 오류수정에서 경합의 탐지는 중요하다. 왜냐하면 경합은 잘못된 수행 결과를 초래할 뿐만 아니라, 의도하지 않은 프로그램의 비결정적인 수행을 유발하여 오류수정을 어렵게 하기 때문이다. 특히 최초경합의 탐지는 더욱 중요하다. 그 이유는 최초경합을 제거함으로써 나머지 경합들을 방지할 수도 있기 때문이다. 기존의 수행중 경합 탐지기법들은 접근별 보고방식을 기반으로 하는데, 이 기법들은 임의 공유변수에 대한 병행 쓰레드들의 모든 접근사건들을 검사하기 위해서 접근역사라는 유일한 공유정보를 이용하므로 탐지과정에 심각한 병목현상을 유발시킨다. 그러나, 최초경합 탐지를 위한 경우 이러한 병목현상은 크게 개선될 수 있다. 본 논문에서는, 각 접근사건 검사를 위해 각 쓰레드에 공유되지 않는 독립적인 접근역사를 별개로 두고, 경합을 보고하는 시점인 쓰레드 합류시점에서만 공유되는 접근역사를 이용하도록 함으로써 병목현상을 개선하여 최초경합을 탐지할 수 있는 새로운 수행중 탐지기법을 제안한다. 그러므로 본 기법은 최초경합을 보다 효율적으로 탐지할 수 있기 때문에 수행중 경합 탐지를 더욱 효율적이고 실용적으로 할 수 있다. Abstract Detecting races is important for debugging shared-memory parallel programs, because the races lead to unintended nondeterministic executions of the programs as well as erroneous result and then make debugging programs difficult. Especially, detecting the first races is more important. The reason is that the removal of the first races can make other races disappear. Most existing on-the-fly techniques to detect the races are based on per- access reporting method incurring the serious central bottleneck, because the techniques use unique shared information called access history for checking all accesses of concurrent threads to a shared variable. Such bottleneck, however, can be improved considerably in case of detecting first races. This paper presents a new on-the-fly technique which detects the first races with reduced bottleneck through checking each accesses with private access histories and finally reporting races with shared access histories. Therefore, this technique makes on-the-fly race detection more efficient and practical.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• International Journal of Computer Science & Network Security
• /
• v.22 no.8
• /
• pp.299-303
• /
• 2022

The article examines the stage of verification of a crime report from the standpoint of the need for its legislative regulation. Moreover, it investigates the international experience in this field. The existing procedural models are described in detail on the example of the neighboring and faraway countries. An analysis of the provisions of the current criminal procedure law of Russia and foreign experience allowed the authors to identify existing problems in the implementation of departmental control and prosecutorial supervision at the stage of verifying a crime report. The aim of the study is to develop theoretical provisions and recommendations regarding the implementation of departmental procedural control and prosecutorial supervision over the activities of the investigator during the verification of reports of crimes, based on the study of experience, both in Russia and in a number of countries of the near and far abroad, which could find their reflection in law enforcement practice, as well as aimed at improving the current criminal procedure legislation. The authors substantiated the theory that a detailed examination of the foreign procedural foundations of checking a crime report will allow us to form the most suitable model for checking a crime report for our state, taking into account all possible features and successfully implement it into the current criminal procedural law of the Russian Federation.

• Geomechanics and Engineering
• /
• v.30 no.6
• /
• pp.565-577
• /
• 2022

In this study, a series of three-dimensional numerical parametric study was conducted to investigate deformation mechanisms of an existing box culvert due to an adjacent multi-propped basement excavation in clays. Field measurements from an excavation case history are first used to calibrate a baseline Hardening Soil Small Strain (HS-small) model, which is subsequently adopted for parametric study. Results indicate that the basement-box culvert interaction along the basement centerline can be considered as a plane strain condition when the length of excavation (L) reaches 14 H_e (i.e., final excavation depth). If a plane strain condition (i.e., L/H_e=12.0) is assumed for analyzing the basement-box culvert interaction of a short excavation (i.e., L/H_e=2.0), the maximum settlement and horizontal movement of the box culvert are overestimated significantly by up to 15.7 and 5.1 times, respectively. It is also found that the deformation of box culvert can be greatly affected by the basement excavation if the distance between the box culvert and retaining wall is less than 1.5 H_e. The induced deformation in the box culvert can be dramatically reduced by improving the ground inside the excavation or implementing other precautionary measures. For example, by adding jet grouting columns within the basement and installing an isolation wall behind the retaining structures, the maximum settlements of box culvert are shown to reduce by 37.2% and 13.4%, respectively.

• Journal of the Korean Institute of Gas
• /
• v.27 no.2
• /
• pp.57-64
• /
• 2023

As the meter reading method of gas meters develops, smart gas meters capable of remote meter reading (leak checking meters and multi-function safety meters) are being used. These meters have a function to judge leakage by utilizing the flow rate and pressure data collected as an additional function. Leakage judgment function using flow rate data has valid cases in the actual field, but the pressure data-based leakage judgment standard is based on not only the pressure value change due to leakage but also various factors (pressure regulator pressure, connection with adjacent meters, usage of adjacent houses, location of meters, etc.). There is a problem with pressure magnitude changes (levels). In this paper, as a technique that can judge leaks by using pressure data collected from smart gas meters, it was developed through preprocessing of pressure data, criteria for pressure value ranges related to leaks, leak judgment techniques, and application case verification.

• Korean Journal of Agricultural Science
• /
• v.2 no.1
• /
• pp.151-177
• /
• 1975

To obtain the informations on the checking factors of the effecient utilization of paddies in chungnam province and study on the effecient working system and high productive cropping system in paddies, the utilization state of paddies including environmental conditions were investigated at sample 1,500 farms. The results obtained are summarized as follows; 1. The difficulty of drainage in paddies was the most important factor checking the utility of paddies. Delayed transplanting of rice and lack of labour were also important checking factors on the efficient utilization of paddies. 2. The utilization of paddies was rather effecient at small size farms of which farmers were almost poor, and most of them cultivated barley for their own food. 3. Considering climatic conditions, pre-crops of rice must be harvested before June 10 tho and the marginal transplanting date of rice plant is June 25 th. 4. In case of planting barley as a post-crop after rice, the spread seeding by rotary before plowing was most efficient with lowest cost. 5. Considering rice cultivation, yield of barley and net income, the most efficient cropping system was "Josaengtongil + Olbori".

• Journal of the Korean School Mathematics Society
• /
• v.11 no.1
• /
• pp.55-68
• /
• 2008

In this paper, we investigated difficulties that middle school students face in the teaming process of proof, and then inquired how does learning of proof using GSP ease students' difficulties. Throughout the inspection, we identified that students have difficulties in understanding process of premise and conclusion, use of notation, process of reasoning. And we identified, throughout learning process of proof using GSP, students can be feedbacked for their guess or reasoning, generalize the special case to general properties and have attitude checking ideas needed in proof by themselves.