• Journal of Biosystems Engineering
• /
• 제35권6호
• /
• pp.401-407
• /
• 2010

In this study, computer simulations were conducted to assess the use of a circulating concurrent-flow dryer for rapeseed drying and to determined the effect of this drying method on the germination ratio of rapeseed after the drying process was complete. The simultaneous heat and mass transfer between air and rapeseed in a concurrent-flow dryer was examined by simulation. The drying simulation was based on several parameters with sequent time series. Equations concerning air psychrometrics, physical properties, thermal properties, equilibrium moisture content, thin layer drying of rapeseed, etc. were all combined to solve the simulation models. Based on energy and mass transfer in the concurrent-flow drying model, a simulation program for the circulating concurrent-flow rapeseed dryer was built along with a detailed description of the mathematical solution to the model. A pilot scale circulating concurrent-flow dryer(200 kg/batch) was used to verify the fitness of the simulation program. A comparison between the experimental data and the model predicted results was presented and discussed. The drying parameters and germination ratio were analyzed and the accuracy of the simulation program was evaluated. The simulation program proved to be reliable and was shown to be a convenient tool for predicting rapeseed drying and germination ratio of rapeseed in a concurrent-flow dryer.

• 정보처리학회논문지A
• /
• 제17A권2호
• /
• pp.73-80
• /
• 2010

하드웨어의 성능이 향상됨에 따라 멀티태스킹 방식으로 병행 처리하는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이 점진 평가인데, 여러 프로세서에서 병렬로 처리하는 대신 자바언어의 멀티쓰레딩 기능을 활용하여 점진 평가의 효율성을 증대시키는 연구가 필요하다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하여 객체 지향언어인 자바 언어에서 병행 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 알고리즘을 제시하고 그 알고리즘의 정확성을 증명한다. 실험을 통해 병행 점진 평가 방법의 효율성을 분석한다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1941-1954
• /
• 1999

본 논문은 ITU-T 통신 처리 시스템용 프로그래밍 언어 CHILL에서 제공되는 병행처리 기능을 적용하기 위한 CHILL 실행시간 지원 시스템(CRS : CHILL Run-time support System)의 설계 및 구현에 관한 연구이다. CHILL은 다른 병행 프로그래밍 언어에 비해 다양한 병행처리 기능들을 제공하고 있기 때문에, CRS의 설계는 병행처리 기능의 인터페이스 규격을 설계한다. CHILL의 병행처리 프리미티브는 프로시듀어 호출 형식으로 사용하도록 라이브러리 방식을 사용하며, CHILL 프로세스의 실행을 병행적으로 제어하기 위해 CHILL 프로그램 구동 루팀 및 문맥 교환부와 CHILL 프로세스 제어부를 구현한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권3호
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• 대한가정학회지
• /
• 제35권2호
• /
• pp.187-199
• /
• 1997

The purposes of this research were to investigate the conditions of family life education and to develop an effective program for single-mother families. to study these objectives, two kinds of questionnaire were used and the data were obtained through 60 officials and 173 single mothers. the most frequently educated topic by organizations was counseling and mental hygiene. Family relationships and women's activity were following important topics, but family relationships was most needed topic by officials and single mothers. Concurrent education type for mother and children was more preferred and its appraisal was relatively high. for effectiveness in education, single mothers and officials both demanded more practical and easy understandable contents. According to above results, the concurrent-type program for strong mother-children relationships that emphasized communication skills, psychological strategies, and the importance of social support system was proposed.

• 한국융합학회논문지
• /
• 제12권11호
• /
• pp.161-168
• /
• 2021

최근 많은 디지털 콘텐츠가 제시되고 있지만, 발달장애 아동 중 지적장애 아동을 대상으로 한 디지털 콘텐츠는 거의 제작되지 않았다. 지적장애 아동의 인지 개선을 위한 훈련프로그램을 기존의 대면 도제식 수업이 아닌 비대면 원격으로 수업을 진행하기 위해서는 디지털 콘텐츠 기반의 훈련 프로그램이 필요하다. 본 연구는 게임 기반으로 제작된 뉴로월드의 항목과 K-WISC-IV의 소항목과 비교하여 항목 간 상관관계로 공인 타당도를 분석함으로써 새로운 인지훈련 프로그램을 제시하고자 하였다. 검사항목과 훈련 항목 간의 상관관계에 있어 일부 타당성이 있는 것으로 나타났고, 이는 일부분의 훈련 항목이 공인 타당성을 지니고 있다는 것을 의미한다. 신뢰도 측면에서는 Cronbach 알파값이 0.794로 지적장애 아동들의 게임 수행력과 각 게임마다의 레벨 상승 정도가 어느 정도 신뢰성이 있는 것으로 나타났다. 이는 인지훈련 도구의 임상실험을 위한 향후 연구에 있어서 유의미한 결과로 사료된다.

• Industrial Engineering and Management Systems
• /
• 제16권1호
• /
• pp.52-63
• /
• 2017

The inventory level of concurrent spare parts (CSP) has a significant impact on the availability of a weapon system. A failure rate function might be of particular importance in deciding the CSP inventory level. We developed a CSP optimization model which provides a compromise between purchase costs and shortage costs on the basis of the Weibull and the exponential failure rate functions, assuming that a failure occurs according to the (non-) homogeneous Poisson process. Computational experiments using the data obtained from the Korean Navy identified that, throughout the initial provisioning period, the optimization model using the exponential failure rate tended to overestimate the optimal CSP level, leading to higher purchase costs than the one using the Weibull failure rate. A Pareto optimality was conducted to find an optimal combination of these two failure rate functions as input parameters to the model, and this provides a practical solution for logistics managers.

• 대한안전경영과학회지
• /
• 제8권5호
• /
• pp.167-180
• /
• 2006

This study expands limitation of OASIS(Optimal Allocation of Spares for Initial Supports) program, which calculates CSP(Concurrent Spare Part), not only availability but also cost, and developed the program enabling run in WINDOW OS. By considering multi-step repair and logistics support system, repairing capability at the time of deployment, and procurement period, this model is the first local model reflecting circumstances of the armed forces of the Republic of Korea. Furthermore, the programmed model was selected as the military standard software and has being essentially used for CSP calculation.

• 대한전기학회논문지
• /
• 제38권1호
• /
• pp.68-77
• /
• 1989

In this paper, a design approch is presented for a concurrent self-diagnosable microprocessor. An efficient diagnostic procedure to dynamically test the processor functional units decomposed by each insturction, concurrently with a program under execution is suggested. The basic goals of the proposed design approach are the low hardware overhead, no increase in the pin count and the minimal change of the initial design concepts on conventional microprocessors. The results of the performance of the suggested self-diagnosing hardware for an 8080 type microprocessor show that the suggested diagnosis scheme would be efficiently applicable, since diagnosing the processor functional units can be completed in a reasonably short time with the execution of an arbitrarily chosen sample program.

• 한국임상수의학회:학술대회논문집
• /
• 한국임상수의학회 2009년도 춘계학술대회
• /
• pp.270-270
• /
• 2009