• The Journal of the Acoustical Society of Korea
• /
• v.30 no.1
• /
• pp.22-32
• /
• 2011

The present study examined the effects of the complexity of the 3D models on the results of acoustic simulation which is the predominant tool of the acoustical design of buildings. Also, the effects of the 3D model on the auralized sounds were investigated. In order to carry out the study, four 3D models with different levels of complexity were introduced for a real auditorium which have different numbers of surfaces in the persuit of the guidance of odeon room acoustic software. The set-up of models was also based on the level of transition order of the program. And the acoustic experiments were performed measuring room acoustic parameters including SPL, RT, C80, D50. Acoustic computer simulations were performed using four different models. Then, the results of the computer modeling were compared with the measured acoustical parameters. In addition, sound sources were recorded in the field and auralized sounds were made in convolution with the impulse source made from acoustic modeling. Then, subjective tests were undertaken using auralized sounds. As the results, it was found that the result of the acoustic simulation were closer to the real room acoustic properties when 3D model was more particularly made. For the subjective test, the listening materials were acknowledged as similar with the real sound source when more complex 3D model was used. Then, it could be concluded that the complexity of the 3D model affects the results of the acoustic modeling as well as subjective tests.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.961-970
• /
• 2009

Over the last decade, interactive devices such as mobile phones have become complicated drastically mainly because of feature creep, the tendency for the number of features in a product to rise with each release of the product. One of the ways to reduce the complexity of a multi-functional device is to design it consistently. Although the definition of consistency is elusive and it is sometimes beneficial to be inconsistent, in general, consistently designed systems are easier to learn, easier to remember, and causing less errors. In practice, however, it is often not easy to design the user interaction or interface of a multi-functional device consistently. Since the interaction design of a multi-functional device should deal with a large number of design variables and relations among them, solving this problem might be very time-consuming and error-prone. Therefore, there is a strong need for a well-developed methodology that supports the complex design process. This study has developed an effective and efficient methodology, called CUID (Consistent Design of User Interaction), which focuses on logical consistency rather than physical or visual consistency. CUID deals with three main problems in interaction design: procedure design for each task, decisions of available operations(or functions) for each system state, and the mapping of available operations(functions) and interface controls. It includes a process for interaction design and a software tool for supporting the process. This paper also demonstrates how CUID supports the consistent design of user interaction by presenting a case study. It shows that the logical inconsistencies of a multi-functional device can be resolved by using the CUID methodology.

• Journal of Intelligence and Information Systems
• /
• v.13 no.3
• /
• pp.17-29
• /
• 2007

Inference engine that performs the brain of software agent in next generation's web with various standards based on standard language of the web, XML has to understand SWRL (Semantic Web Rule Language) that is a language to express the rule in the Semantic Web. In this research, we want to develop a forward inference engine, SMART-F (SeMantic web Agent Reasoning Tools-Forward chaining inference engine) that uses SWRL as a rule express method, and OWL as a fact express method. In the traditional inference field, the Rete algorithm that improves effectiveness of forward rule inference by converting if-then rules to network structure is often used for forward inference. To apply this to the Semantic Web, we analyze the required functions for the SWRL-based forward inference, and design the forward inference algorithm that reflects required functions of next generation's Semantic Web deducted by Rete algorithm. And then, to secure each platform's independence and portability in the ubiquitous environment and overcome the gap of performance, we developed management tool of fact and rule base and forward inference engine. This is compatible with fact and rule base of SMART-B that was developed. So, this maximizes a practical use of knowledge in the next generation's Web environment.

• Journal of Navigation and Port Research
• /
• v.31 no.8
• /
• pp.629-635
• /
• 2007

Reduced crew performance is frequently cited as a major causal factor in maritime accident causation. Although considerable research has been conducted on the hours of work undertaken by seafarers through interviews and the analysis of records, experimental studies to observe the effects of factors such as high workload, shift patterns, stress, sleep deprivation and disturbance on the cognitive performance of mariners have been limited. Other safety-critical transport industries, such as aviation and rail, have developed fatigue management tools to help manage the work patterns of their operators. Such a tool for mariners would assist shipboard crew, marine pilots and shore management in planning and improving work schedules. The overall aim of this paper is to determine a fatigue factor, which can be applied to human performance data, as part of a software program that calculates total cognitive performance. This program enables us to establish the levels of cognitive performance of a group of marine pilots to test a decision-making task based on radar information. This paper addresses one of the factors that may contribute to the determination of various fatigue factors: the effect of different work patterns on the cognitive performance of a marine pilot.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.757-764
• /
• 2013

The estimation of maintenance cost of information system so far has been conducted centered on the ordering body, so the problem of provider's having to cover the cost due to small cost compared to the amount of work is not solved. This study is a base study for estimating the maintenance cost of information system centered on provider, and it deduces cost items of maintenance and suggests adjustment factors for adjusting the gap between the ordering body and provider regarding the maintenance cost. In order to deduce the cost items of maintenance, this study adds the activities of the provider for maintenance to the base study of cost factors regarding the existing maintenance activity, divides, and classifies them into the fixed cost and variable cost. In order to adjust the gap between the ordering body and provider regarding the maintenance cost, this study found the adjustment factors such as the code, utility, and components created by the automatic tool that was not included when estimating the maintenance cost centered on the ordering body. After examining and analyzing K Company's data of maintenance performance for three years, it confirmed that the gap regarding the adjustment factors was about 13% in case of K Company.

• Journal of KIISE:Software and Applications
• /
• v.31 no.9
• /
• pp.1233-1245
• /
• 2004

Though biometrics to authenticate a person is a good tool in terms of security and convenience, typical authentication algorithms using biometrics may not be executed on resource-constrained devices such as smart cards. Thus, to execute biometric processing on resource-constrained devices, it is desirable to develop lightweight authentication algorithm that requires only small amount of memory and computation. Also, among biological features, face is one of the most acceptable biometrics, because humans use it in their visual interactions and acquiring face images is non-intrusive. We present a new face authentication algorithm in this paper. Our achievement is two-fold. One is to present a face authentication algorithm with low memory requirement, which uses support vector machines (SVM) with the feature set extracted by genetic algorithms (GA). The other contribution is to suggest a method to reduce further, if needed, the amount of memory required in the authentication at the expense of verification rate by changing a controllable system parameter for a feature set size. Given a pre-defined amount of memory, this capability is quite effective to mount our algorithm on memory-constrained devices. The experimental results on various databases show that our face authentication algorithm with SVM whose input vectors consist of discriminating features extracted by GA has much better performance than the algorithm without feature selection process by GA has, in terms of accuracy and memory requirement. Experiment also shows that the number of the feature ttl be selected is controllable by a system parameter.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1445-1454
• /
• 1999

광역 조건식의 계산은 분산 프로그램의 수행을 테스트 또는 디버깅하기 위한 방법으로 활 발히 연구되고 있다. 이제까지 주로 연구된 광역조건식은 AND 또는 OR 광역 조건식 등이 있는데, 특히 AND 광역 조건식은 분산 프로그램의 동시적 조건을 표현하는데 유용하여 효율적인 검색 알고리즘이 활발히 연구되었다. 분산프로그램의 수행오류로서 공유자원의 배타적 접근조건은 가장 중요하고 일반적인 경우라 할 수 있다. 본 논문에서는 XOR 연산을 이용하여 공유자원 프로그램의 오류 검색을 위한 광역조건식을 기술하는 방식에 대해 제안하였다. XOR 연산을 이용한 광역 조건식은 연산자 중 많아야 하나의 지역조건식만이 참일 때 전체 조건식이 참이 되는데 이러한 성질은 여러 프로세스 중 한번에 하나만이 공유자원에 배타적으로 접근할 수 있는 조건을 표현하는데 매우 유용하다. n 개의 프로세스로 이루어진 분산프로그램에서 한개의 공유자원에 대한 배타적 접근 조건을 기술하기 위해서 AND로 연결된 광역조건식을 이용하면 O(n2)개의 광역 조건식이 필요한데 반해 XOR 연산으로는 하나의 조건식으로 나타낼 수 있다. 더구나 XOR 연산을 이용한 광역조건식은 최근 소개된 겹치는 구간의 개념을 활용하면 매우 간단하게 검색할 수 있다. 본 논문에서는 겹치는 구간을 찾는 검색 알고리즘을 소개하고 증명하였다.Abstract Detecting global predicates is an useful tool for debugging and testing a distributed program. Past research has considered several restricted forms of predicates, including conjunctive or disjunctive form of predicates. Especially, conjunctive predicates have attracted main attention not only because they are useful to describe simultaneous conditions in a distributed program, but also because it is possible to find algorithms to evaluate them within reasonable time bound. Detecting errors in accessing shared resources are the most popular and important constraints of distributed programs. In this paper, we introduced an exclusive OR predicates as a model of global predicates to describe shared resource conditions in distributed programs. An exclusive OR predicate holds only when at most one operand is true, which is useful to describe mutual exclusion conditions of distributed programs where only one process should be allowed to access the shared resource at a time. One exclusive OR predicate is enough to describe mutual exclusion condition of n processes with one shared resource, while it takes O(n2) conjunctive predicates. Moreover, exclusive OR condition is easily detectable using the concept of overlapping intervals introduced by Venkatesan and Dathan. An off-line algorithm for evaluating exclusive OR global predicates is presented with a correctness proof.

• The Korean Journal of Nuclear Medicine
• /
• v.27 no.2
• /
• pp.239-247
• /
• 1993

Differentiating the various causes of hydronephrosis from that of obstruction can be very difficult. The decision-making process for those instances of urinary tract dilatation that require surgical correction and those that do not is based in part on the findings of diuresis renography. The methodology for performing this test has differed among nuclear medicine practitioners and the surgical findings are occasionally discrepant from the diuretic renogram interpretation. Consequently we made an automatic computer software program that calculates the slope of the response curve. The quantitative indices, such as the injection and response t1/2 by linear-fitting and monoexponential-fitting, were compared with the visual assessment of the diuretic cinerenography and clinical outcome in 50 children (62 kidneys) with ureteropelvic junction obstruction. Pooled diuresis renogram data indicated that: (1) Visual evaluation of the diuretic cinerenography is a sensitive (87%, 54/62) tool to differentiate obstruction in suspected ureteropelvic junction obstruction. (2) The cut-off value (maximum washout t1/2 with non-obstruction) of injection and response t1/2 by linear-fitting were 40 min. (3) The sensitivity and specificity using injection and response t1/2 by linear-fitting for obstruction were 89%(23/26) and 100%(30/30), respectively. (4) Response t1/2 as well as injection t1/2 by monoexponential-fitting do not stratify children with possible ureteropelivic junction obstruction. In conclusion, quantitative assessment of diuretic renography as well as visual assessment of diuretic cinerenography correlate well with surgical and clinical outcome of suspected ureteropelvic junction obstruction.

• Journal of Preventive Medicine and Public Health
• /
• v.36 no.1
• /
• pp.11-23
• /
• 2003

Objectives : The 1990s has seen advances in the conceptualization of self-perceived health status which has important roles for individual health and the quality of life. Many types of standardized questionnaires have been developed with the current wide use of SF-36, NHP, andEuroQol. However, the outcomes of these tools may be different with regard to regional, cultural and emotional backgrounds. The purpose of this study was to trial the development of a Korean Health Profile (KHP 1.0) to measure the self-perceived health stati of Koreans. Methods : The KHP 1.0 was designed on the basis of the Medical Outcome Study Form 36 (SF-36), the Nottingham Health Profile (NHP), and the EuroQOL. It was composed of 9 scales; physical functioning, role limitation-physical, pain, general health, energy, social isolation, sleep, role limitation-emotional, and e-motional health. Self-reported chronic disease conditions, and the Zung's Self-Rating Depression Scale (SDS), were also checked for the evaluation of clinical validity. This study was conducted, from December 2000 to January 2001, on 800 middle-aged parents, with four high school students, with 100 retest sets being conducted two weeks later. From the 800 subjects there were 588 complete responses (effective response 73.5%). The reliability of the test-retest results, and the factor analysis on the validity of the KHP 1.0 components, were evaluated using the SPSS (ver 10.0) software. Results : The reliability of the KHP 1.0 was good with Cronbach's alpha (>0.6), test-retest correlation coefficients (>0.5), but with no significant differences from the paired t-test. From the psychometric validity tests, the 9 scales of the KHP 1.0 were divided into two components; physical and mental, and trimmed to the established model with 55% of the total variance, with the exception of role limitation-emotional. The clinical validity on the basis of the comparison for the four characteristic groups; healthy, physical conditions only, mental conditions only, and physical and mental conditions were also good. Conclusions : The KHP 1.0 appears to be a valid measurement tool of self-perceived health stati of Koreans, although there are limitations, i.e. sample size was too small, a limited number of middle-aged subjects, and it was based on unconfirmed diagnoses, etc. Therefore, further study is required to standardize the assessment.

• Asian Journal of Atmospheric Environment
• /
• v.12 no.3
• /
• pp.232-243
• /
• 2018

The construction, development and maintenance of an economically, environmentally and socially sustainable campus involves the integration of measuring tools and technical information that invites and encourages the community to know the actual state to generate positive actions for reducing the negative impacts over the local environment. At the Universidad Nacional de Colombia - Campus $Bogot{\acute{a}}$, a public area with daily traffic of more than 25000 people, the Environmental Management Bureau has committed with the monitoring of the noise pollution and air quality, as support to the campaigns aiming to reduce the pollutant emissions associated to the student's activities and campus operation. The target of this study is based in the implementation of mobile air quality and sonometry monitoring equipment, the mapping of the actual air quality and noise pollution inside the university campus as a novel methodology for a sub-area inside a megacity. This results and mapping are proposed as planning tool for the institution administrative sections. A mobile Kunak$^{(R)}$ Air & OPC air monitoring station with the capability to measure particulate matter $PM_{10}$, $PM_{2.5}$, Ozone ($O_3$), Sulfur Oxide ($SO_2$), Carbon Monoxide (CO) and Nitrogen Oxide ($NO_2$) as well as Temperature, Relative Humidity and Latitude and Longitude coordinates for the data georeferenciation; and a sonometer Cirrus$^{(R)}$ 162B Class 2 were used to perform the measurements. The measurements took place in conditions of academic activity and without it, with the aim of identify the impacts generated by the campus operation. Using the free code geographical information software QGIS$^{(R)}$ 2.18, the maps of each variable measured were developed, and the impacts generated by the operation of the campus were identified qualitative and quantitively. For the measured variables, an increase of around 21% for the $L_{Aeq}$ noise level and around 80% to 90% for air pollution were detected during the operation period.