• Anxiety and mood
• /
• v.16 no.1
• /
• pp.32-40
• /
• 2020

Objective : The purpose of this study was to investigate the cognitive performance of major depressive disorder (MDD) in military service/conscription personnel who visited the psychiatric clinic for a medical certificate to consider the situation from the perspective of Korea's unique compulsory military system. We used the Korean Wechsler Adult Intelligence Scale-IV (K-WAIS-IV) as the test for verifying the suitable level of cognitive functioning for military service and as the embedded measure with reflecting suboptimal effort. Methods : The study was conducted on 56 (28 males, age 19-34) in/out-patients admitted to the psychiatry department and diagnosed with MDD (DSM-IV). All participants completed a structured clinical interview (MINI-Plus), as well as self-report questionnaires related to demographics and severity of clinical symptoms. K-WAIS-IV was administered to each subject to assess cognitive characteristics. Results : Military group showed significantly lower processing speed index (PSI) score including subtests of symbol search (SS) and coding (CD) score, compared to the control group. There was no other significant differences in the Full Scale IQ (FSIQ), Verbal Comprehension Index (VCI), Perceptual Reasoning Index (PRI), Working Memory Index (WMI) scores including sub-tests comprised of the above indices, and Reliable Digit Span (RDS), Enhanced-RDS-Revised (E-RDS-R) between the study and control groups. Conclusion : This study was the first effort to verify the characteristics of Korea's military group with MDD and suggest the applicability of PSI and processing speed of K-WAIS-IV as an embedded performance index to test sub-optimal effort or low motivation beyond the purpose of testing cognitive deficits.

• Journal of Biosystems Engineering
• /
• v.42 no.3
• /
• pp.190-198
• /
• 2017

Purpose: A thin-layer drying equation was developed to analyze the drying processes of soybeans (white and black beans) and investigate drying conditions by verifying the suitability of existing grain drying equations. Methods: The drying rates of domestic soybeans were measured in a drying experiment using air at a constant temperature and humidity. The drying rate of soybeans was measured at two temperatures, 50 and $60^{\circ}C$, and three relative humidities, 30, 40 and 50%. Experimental constants were determined for the selected thin layer drying models (Lewis, Page, Thompson, and moisture diffusion models), which are widely used for predicting the moisture contents of grains, and the suitability of these models was compared. The suitability of each of the four drying equations was verified using their predicted values for white beans as well as the determination coefficient ($R^2$) and the root mean square error (RMSE) of the experiment results. Results: It was found that the Thompson model was the most suitable for white beans with a $R^2$ of 0.97 or greater and RMSE of 0.0508 or less. The Thompson model was also found to be the most suitable for black beans, with a $R^2$ of 0.97 or greater and an RMSE of 0.0308 or less. Conclusions: The Thompson model was the most appropriate prediction drying model for white and black beans. Empirical constants for the Thompson model were developed in accordance with the conditions of drying temperature and relative humidity.

• Journal of Korean Physical Therapy Science
• /
• v.21 no.1
• /
• pp.45-52
• /
• 2014

Purpose : This study is to research about the need of a home visiting physical therapy for children with disabilities. Methods : We surveyed the guardians related to it and one hundred and three questionnaires of one hundred and twenty were returned and analyzed. The results are listed below. Results : First, there are many opinions that a need of physical therapy is necessary, but many people suffer from financial problem to use this service. Second, most of opinions using a home visiting physical therapy of children with disabilities are positive. People who need this service prefer it to manage by national public organization. They also want physical therapists who have worked more than five years to treat them and one hour for treatment time required with about twenty thousand won and At last, in the survey, people ranked solving the inconvenience of coming and going hospitals as a highest expectation and avoiding discharge by force due to long-term hospitalization as a lowest one. Conclusion : To sum it up, high demand and expectation of effectiveness of a home visiting physical therapy for children with disabilities mean that study and analysis are essential to establish this system through implementation on a trial basis within a certain period of time for verifying the effectiveness of this service.

• School Mathematics
• /
• v.9 no.1
• /
• pp.1-12
• /
• 2007

The purpose of this study is searching for the problems and alternatives on teaching for repeating decimal. To accomplish the purpose, we have analyzed the fifth, sixth, and seventh Korean national curriculums, textbooks and examinations for the eighth grade about repeating decimal. W also have analyzed textbooks from USA to find for alternatives. As the results, we found followings. First, the national curriculums blocked us verifying the relation between rational number and repeating decimal. Second, definitions of terminating decimal, infinite decimal, and repeating decimal are slightly different in every textbooks. This leads seriously confusion for students examinations. The alternative on these problems is defining the terminating decimal as following; decimal which continually obtains only zeros in the quotient. That is, we have to avoid the representation of repeating decimal repeated nines under a declared system which apply an infinite decimal continually obtaining only zeros in the quotient. Then, we do not have any problems to verify the following statement. A number is a rational number if and only if it can be represented by a repeating decimal.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.34 no.1
• /
• pp.11-19
• /
• 2016

Recently, global companies are developing the automobile technologies, converged with state-of-the-art IT technologies for the commercialization of autonomous vehicles. These autonomous vehicles are required the accurate lane information to enhance its reliability by controlling the vehicles safely. Hence, the study planned to examine possibilities of applying UAV photogrammetry of high-resolution images, obtained from the low altitudes. The high-resolution DSM and the ortho-images were generated from the GSD 7cm-level digital images that were obtained and based on the generated data, when the positions information of the roads including the lanes were extracted. In fact, the RMSE of verifying the extracted data was shown to be about 15cm. Through the results from the study, it could be concluded that the low alititude UAV photogrammetry can be applied for generating and updating a high-accuracy map of road areas.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.12B
• /
• pp.1758-1765
• /
• 2010

This paper proposes an architecture exploration methodology for the design of embedded cores exploiting design hierarchy. The proposed method performs systematic architecture exploration by taking different approaches for verifying designs and estimating performances depending on the hierarchy level in design process. Performance estimation tools generate profile having performance data related with design modules of an embedded core. Profile analyzer performs data-mining to acquire association rules between the design modules and performance parameters. Inference engine in the profile analyzer updates the association rules which will be used to improve the design performance at next exploration steps. To show the efficiency of the proposed architecture explorations methodology, experiments had been performed for JPEG encoder, Chen-DCT, and FFT application functions. The embedded cores designed by taking the proposed method show performance improvement by 60.8% in terms of clock cycles on the average when compared with the initial embedded core in MIPS R3000.

• Journal of International Academy of Physical Therapy Research
• /
• v.3 no.2
• /
• pp.475-478
• /
• 2012

The purpose of this study is to identify the level of masseter muscle tension according to the levels of restricted movement and pain in the temporomandibular joint(TMJ), thereby verifying the fact that excessive masseter muscle tension can be a cause for restricted movement and pain in the TMJ. The subjects of this study were 81 men and women in their 20s and 30s, who feel uncomfortable with their masticatory function on the preferred chewing side. The subjects were measured in terms of the range of motion (ROM) and deviation of the TMJ and the degree of pain in the affected region. The ROM and deviation of the TMJ were measured using the Global Posture System(GPS) after instructing each subject to open his/her mouth to the fullest and taking photos of the subject with a digital camera. The tension of the masseter muscle was measured with a Pressure Threshold Meter(PTM). After the measurements, in order to compare the ROM of the TMJ, the subjects were divided into two groups based on the ROM of above 35mm and below 35mm. For the deviation and pain, based on the average of total subjects, the subjects were divided into two groups of above and below average. Thereafter, the levels of masseter muscle tension were compared between each pair of groups. According to the results, when each variable was compared between the respective two groups, in terms of the deviation, the pressure pain threshold(PPT) of the masseter muscle revealed a statistically significant difference(p<.05). However, the ROM and pain showed no statistically significant difference. Consequently, masseter muscle tension may cause restricted movement in the TMJ. In particular, the deviation and tension in the masseter muscle is considered to be a factor that causes deviation in the TMJ.

• Journal of the Korea Convergence Society
• /
• v.8 no.7
• /
• pp.23-28
• /
• 2017

For manufacturing industry to achieve efficient manufacturing process, improving a company's productivity and reducing cost is a required task of the current manufacturing companies. For design of efficient manufacturing process and improvement of productivity, efficient manufacturing process method is studied through removal of unnecessary elements analyzing motions and using test-bed linkage system based on virtual reality. When building process line after verifying optimization through virtual process arrangement simulation in advance, it is available to save additional cost for process modification or supplement to result in practical effects of improving a company's manufacturing competition. Reducing design period, improving equipment, making automation, realizing ergonomics, and improving process through this study, it will be available to achieve improvement of productivity, enhancement of quality, cost reduction as well as employees' satisfaction for safety and health.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.178-180
• /
• 2016

TMDE(Test Measurement and Diagnostic Equipment) which is using in the military weapon system should perform the periodic calibration to maintain a measurement reliability during the life cycle, organizations are faced with increasing pressures to minimize costs while improving the reliability of test equipment. Previous studies suggest that reliability models are determined by considering simple size and characteristics of equipment, however an applying single Model may not be fit well maintenance data of many kinds of TMDEs. This paper presents that recommending an optimal calibration interval through the goodness of fit test with verifying statistical significance level among the several intervals which are computed with using major reliability models. According to the result of applying the actual proposed of calibration interval analysis method for various types of equipment, reliabilities are maintained for the end of calibration intervals.