• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.15-27
• /
• 2012

This paper aims to examine Alan Turing's life at the centenary of his birth and to discuss a philosophical implication of his work by concentrating on halting theorem particularly. Turing negatively solved Hilbert's decision problem by proving impossibility of solving halting problem. In this paper I claim that the impossibility implies limits of reason, and accordingly that the marginality in cognition and/or in action should be recognized.

• Korean Journal of Culture and Social Issue
• /
• v.12 no.2
• /
• pp.101-114
• /
• 2006

This study was examined the effective nonverbal behavior cues of detecting suspects' lies in the investigation scene. In order to search the suspects who drank the alcohol liquor without a permission, 18 soldiers were interviewed. 8 solders had drunken alcohol and had lied when was asked(lie group). The other 10 soldiers hadn't drunken alcohol and had told the truth(truth group). The mean frequencies of nonverbal behaviors were compared lie group with truth group. The following behaviors were measured by frequency: vocal characteristics (high pitch of voice, speech hesitations, speech error, frequency of pauses, period of pauses, latency period), facial characteristics (gaze, smile, touching face, blinking, facial micro-expression), body movement (illustrators, hand and finger movement, leg and foot movement, head movement, trunk movement, shifting position). As results, this study found that deception cues were periods and frequencies of pause, micro-expression, head movements. The lie group had less periods and frequencies of pause, and more micro-expression, head movements than truth group. But, this study didn't found Othello's error cues.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.5
• /
• pp.443-450
• /
• 2020

This paper reports a design improvement study to solve the stoppage phenomenon caused by the launch-support device applied to K105A1. The K105A1 is a weapon system equipped with an old 105 mm towed howitzer in a wheeled vehicle, which provides superior maneuverability compared to track equipment. The launch support device serves to withstand fire impact and load. In this way, this device is fixed firmly to the ground in preparation for the shooting mission and is responsible for the critical performance, such as fixing the position of the vehicle. On the other hand, during the field test, a temporary stoppage of the launch support occurred, which caused a problem of not being fixed to the ground. To solve this problem, the cause of failure was analyzed by a replay test and parts inspection. In addition, the operating concept, method, and design were analyzed to derive the cause and solve the problem by changing the parts design. Finally, the performance and firing missions were performed normally by applying the changed design to K105A1. The performance stability and reliability of the launch support device were confirmed, which are expected to be of great assistance in the development of military equipment in the future.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.7
• /
• pp.1330-1338
• /
• 2015

In wireless communication network, the amount of packet data for the video streaming in the playout buffer of the receiver is changed with time according to network condition. If the amount of packet data is less than a specific buffer amount, the buffer underflow problem is generated. On the contrary, if the amount of packet data is more than a given buffer amount, the buffer overflow problem is occurred. When the playout of the video streaming is processed, these buffer underflow and overflow problems cause stop and skip phenomenons and then provide the discontinuity of playout. Therefore, to solve the buffer underflow and overflow problems of the video streaming in wireless communication network, This paper analyzes the combined effect of Token Bucket scheme, which controls the bursty traffic, and AMP(Adaptive Media Playout) scheme, which adaptively changes the playout speed of receiver. Through simulation, we found that the combination of Token Bucket and AMP schemes provides the superiority in terms of the occurrence number of buffer underflow and overflow, the stop duration time and the number of removed frames generated by underflow and overflow, and PSNR.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38A no.8
• /
• pp.704-711
• /
• 2013

Applying channel state information feedback scheme based on codebook for FDD downlink MIMO system to massive MIMO system directly causes following two problems. First, codebook generation becomes hard because resources needed for codebook generation increases exponentially in the number of antennas. In addition, long time is needed for channel state information feedback because users's codebook search time increases linearly in the number of antennas. This paper proposes a codebook generation scheme and a codebook search scheme which can reduce resource for codebook generation and codebook search time drastically though they have similar performance as conventional approaches.

• Geotechnical Engineering
• /
• v.11 no.3
• /
• pp.123-138
• /
• 1995

To study the grout flow in jointed rock, various nurser characteristics of grout in a single joint plane and two-dperorbed. The joint plane is described as a channel nets properties of grout are considered. To deal with various prob generator and i oint network generator are used. A loss of head due to friction in laminal flow is adopted to between the grout and joint wall. The grout flow is stopped, setting time. To consider this phenomenon, the idea of maxim From the results of numerical simulation on the single jai etration of grout is confirmed. The basic principles for the ation and the selection of the grout are presented. Correlation ant and grouting pressure is defined by analyzing the effects grout flow. Finally, the grout flow around a tunnel is simulate ins grouting operation for jointed rock mass.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.10
• /
• pp.1976-1985
• /
• 2015

The amount of packets in palyout buffer of video streaming receiver can be changed by network condition, and saturated and exhausted by the delay and jitter. Especially, if the amount of incoming video traffic exceeds the maximum allowed playout buffer, buffer overflow problem can be generated. It makes the deterioration of video image and the discontinuity of playout by skip phenomenon. Also, if the incoming packets are delayed by network confusion, the stop phenomenon of video image is made by buffering due to buffer underflow problem. To solve these problems, this paper proposes the video streaming receiver with token bucket scheme which automatically establishes the important parameters like token generation rate r and bucket maximum capacity c adapting to the pattern of video packets. The simulation results using network simulator-2 (NS-2) and joint scalable video model (JSVM) show that the proposed token bucket scheme with automatic establishment parameter provides better performance than the existing token bucket scheme with manual establishment parameter in terms of the generation number of overflow and underflow, packer loss rate, and peak signal to noise ratio (PSNR) in three test video sequences.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.21 no.3
• /
• pp.151-163
• /
• 2010

It is necessary, due to changes in the information environment, to investigate problems in existing information retrieval systems. Ontologies and social tagging, which are a relatively new means of information organization, enable exploratory discovery of information. These two connect a thought of a user with the thoughts of numerous other people on the Internet. With these connection chains through the interactions, users are foraging information actively and exploratively. Thus, the purpose of this study is, through qualitative research methods, to identify numerous discovery facilitators provided by ontologies and social tagging, and to create an exploratory discovery model based on them. The results show that there are three uppermost categories in which 5, 4 and 4 subcategories are enumerated respectively. The first category, 'Browsing and Monitoring,' has 5 sub categories: Noticing the Needs, Being Aware, Perceiving, Stopping, and Examining a Resource. The second category, Actively Participating, has 4 categories: Constructing Meaning, Social Bookmarking and Tagging, Sharing on Social Networking, Specifying the Original Needs. The third category, Actively Extends Thinking, also has 4 categories: Social Learning, Emerging Fortuitous Discovery, Creative Thinking, Enhancing Problem Solving Abilities. This model could contribute to the design of information systems, which enhance the ability of exploratory discovery.

• Journal of Bio-Environment Control
• /
• v.20 no.2
• /
• pp.93-100
• /
• 2011

Maintenance of adequate soil water potential during the period of crop growth is necessary to support optimum plant growth and yields. A better understanding of soil water movement within and below the rooting zone can facilitate optimal irrigation scheduling aimed at minimizing the adverse effects of water stress on crop growth and development and the leaching of water below the root zone which can have adverse environmental effects. The objective of this study was to evaluate the feasibility of using a portable irrigation controller with an Watermark sensor for the cultivation of drip-irrigated vegetable crops in a greenhouse. The control capability of the irrigation controller for a soil water potential of -20 kPa was evaluated under summer conditions by cultivating 45-day-old tomato plants grown in three differently textured soils (sandy loam, loam, and loamy sands). Water contents through each soil profile were continuously monitored using three Sentek probes, each consisting of three capacitance sensors at 10, 20, and 30 cm depths. Even though a repeatable cycling of soil water potential occurred for the potential treatment, the lower limit of the Watermark (about 0 kPa) obtained in this study presented a limitation of using the Watermark sensor for optimal irrigation of tomato plants where -20 kPa was used as a point for triggering irrigations. This problem might be related to the slow response time and inadequate soil-sensor interface of the Watermark sensor as compared to a porous and ceramic cup-based tensiometer with a sensitive pressure transducer. In addition, the irrigation time of 50 to 60 min at each of the irrigation operation gave a rapid drop of the potential to zero, resulting in over irrigation of tomatoes. There were differences in water content among the three different soil types under the variable rate irrigation, showing a range of water contents of 16 to 24%, 17 to 28%, and 24 to 32% for loamy sand, sandy loam, and loam soils, respectively. The greatest rate increase in water content was observed in the top of 10 cm depth of sandy loam soil within almost 60 min from the start of irrigation.

• Journal of Intelligence and Information Systems
• /
• v.21 no.4
• /
• pp.53-77
• /
• 2015

Mobile commerce provides a convenient shopping experience in which users can buy products without the constraints of time and space. Mobile commerce has already set off a mega trend in Korea. The market size is estimated at approximately 15 trillion won (KRW) for 2015, thus far. In the Korean market, social commerce and open market are key components. Social commerce has an overwhelming open market in terms of the number of users in the Korean mobile commerce market. From the point of view of the industry, quick market entry, and content curation are considered to be the major success factors, reflecting the rapid growth of social commerce in the market. However, academics' empirical research and analysis to prove the success rate of social commerce is still insufficient. Henceforward, it is to be expected that social commerce and the open market in the Korean mobile commerce will compete intensively. So it is important to conduct an empirical analysis to prove the differences in user experience between social commerce and open market. This paper is an exploratory study that shows a comparative analysis of social commerce and the open market regarding user experience, which is based on the mobile users' reviews. Firstly, this study includes a collection of approximately 10,000 user reviews of social commerce and open market listed Google play. A collection of mobile user reviews were classified into topics, such as perceived usefulness and perceived ease of use through LDA topic modeling. Then, a sentimental analysis and co-occurrence analysis on the topics of perceived usefulness and perceived ease of use was conducted. The study's results demonstrated that social commerce users have a more positive experience in terms of service usefulness and convenience versus open market in the mobile commerce market. Social commerce has provided positive user experiences to mobile users in terms of service areas, like 'delivery,' 'coupon,' and 'discount,' while open market has been faced with user complaints in terms of technical problems and inconveniences like 'login error,' 'view details,' and 'stoppage.' This result has shown that social commerce has a good performance in terms of user service experience, since the aggressive marketing campaign conducted and there have been investments in building logistics infrastructure. However, the open market still has mobile optimization problems, since the open market in mobile commerce still has not resolved user complaints and inconveniences from technical problems. This study presents an exploratory research method used to analyze user experience by utilizing an empirical approach to user reviews. In contrast to previous studies, which conducted surveys to analyze user experience, this study was conducted by using empirical analysis that incorporates user reviews for reflecting users' vivid and actual experiences. Specifically, by using an LDA topic model and TAM this study presents its methodology, which shows an analysis of user reviews that are effective due to the method of dividing user reviews into service areas and technical areas from a new perspective. The methodology of this study has not only proven the differences in user experience between social commerce and open market, but also has provided a deep understanding of user experience in Korean mobile commerce. In addition, the results of this study have important implications on social commerce and open market by proving that user insights can be utilized in establishing competitive and groundbreaking strategies in the market. The limitations and research direction for follow-up studies are as follows. In a follow-up study, it will be required to design a more elaborate technique of the text analysis. This study could not clearly refine the user reviews, even though the ones online have inherent typos and mistakes. This study has proven that the user reviews are an invaluable source to analyze user experience. The methodology of this study can be expected to further expand comparative research of services using user reviews. Even at this moment, users around the world are posting their reviews about service experiences after using the mobile game, commerce, and messenger applications.