• The Transactions of the Korea Information Processing Society
• /
• v.1 no.1
• /
• pp.114-128
• /
• 1994

It is very difficult for a nonprofessional programmer in Koera to write a program with very High Level Language such as, V,REFINE, GIST, and SETL, because the semantic primitives of these languages are based on predicate calculus, set, mapping, or testricted natural language. And it takes time to be familiar with these language. In this paper, we suggest a method to reduce such difficulties by programming with the declarative, procedural constructs, and aggregate constructs. And we design and implement an experimental knowledge-based automatic programming system. called HAPS(Hangul Automatic Program System). HAPS, whose input is specification such as Hangul abstract algorithm and datatype or Hangul procedural constructs, and whose output is C program. The method of operation is based on rule-based and program transformation technique, and the problem transformation technique. The problem area is general problem. The control structure of HAPS accepts the program specification, transforms this specification according to the proper rule in the rule-base, and stores the transformed program specification on the global data base. HAPS repeats these procedures until the target C program is fully constructed.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.33 no.2
• /
• pp.585-594
• /
• 2013

In this study, laboratory experiments and numerical simulations were conducted to test the performance of resonance power buoy system proposed by Kweon et al.(2010). The system is composed of a linear generator and a mooring buoy. The mover of the linear generator mainly has heave motion driven by vertical oscillation of the buoy. In this system, the velocity discrepancy between the mover and the buoy makes electricity. However, ocean wave energy as a natural resource around Korean peninsula is comparatively small and the driving force for producing electricity is not enough for commercialization. Therefore, it is necessary that the buoy motion be amplified by using resonance characteristics. In order to verify the resonance effects on the test power buoy, the experimental investigations were conducted in the large wave flume (length of 110 m, width of 8 m, maximum depth of 6 m) equipped with regular and random plunger wave generator. The resonance draft of test power buoy is designed for the corresponding period of incident wave, 1.96 sec. Regular wave test results show that the heave response amplitude operator(RAO) by a test buoy has the amplification of 5.66 times higher compared to the wave amplitude at the resonance period. Test results of random waves show that the buoy has the largest spectrum area of 20.73 times higher at the point of not the resonance period but the shorter one of 1.85 sec. Therefore this study suggests the resonance power buoy for wave power generation for commercial application in the case of the coastal and oceanic area with smaller wave energy.

• The Korean Journal of Air & Space Law and Policy
• /
• v.32 no.1
• /
• pp.327-353
• /
• 2017

The issue submitted to the Court of Justice on the merits of case C---573/13 originated from a claim brought in the context of a dispute between Air Berlin and the German Federal Union of Consumer Organisations and Associations. The challenge concerned the way in which air fares were displayed in Air Berlin's computerised booking system. The system was organised in such a way that, after selecting a date and a departure airport, one would find all possible flight connections in a summary table. However, the final price of the ticket was displayed only for the clicked connection, and not for all connections, thus preventing customers from being able to compare such price with the prices of other connections. The German Federal Union took the view that this practice did not meet the requirements laid down by Article 23 of Regulation (EC) No. 1008/2008, which requires transparency in the prices set for air services. This led the German State to bring an injunctive action to cause Air Berlin to discontinue said practice. The claim was upheld at both the application and appeal stage of the relevant proceedings. Subsequently, Air Berlin submitted the matter to the German Federal High Court, which decided to stay the proceedings and ask for a preliminary ruling from the Court of Justice as to 1. whether Article 23 of Regulation (EC) No. 1008/2008 must be interpreted as meaning that, during the computerised booking process, the final price to be paid must be indicated at all times when prices of air services are shown, including when they are shown for the first time; and 2. whether, during the computerised booking process, the final price must be indicated only for the air service specifically selected by the customer or for each air service shown. In a nutshell, the Court, by the here---discussed judgment determined that Article 23 of Regulation (EC) No. 1008/2008 must be interpreted as meaning that, in the context of a computerised air ticket booking system, the final price to be paid must be indicated not only for the air service specifically selected by the customer, but also for each air service in respect of which the fare is shown. Clearly the above judgment will place air companies under an obligation to update and adjust (when needed) their computerised ticket booking and payment systems, in consideration of the primary need for consumers to be aware at all times of the actual price payable for a ticket and be able to compare the price of the service selected with the prices for other air services in respect of which the fare is shown.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.8
• /
• pp.35-45
• /
• 1999

In this paper, the addition and the multiplicative algorithm of two polynomials over finite field $GF(p^m)$ are presented. The 4-valued arithmetic processor of the serial input-parallel output modular structure on $GF(4^3)$ to be performed the presented algorithm is implemented by current mode CMOS. This 4-valued arithmetic processor using current mode CMOS is implemented one addition/multiplication selection circuit and three operation circuits; mod(4) multiplicative operation circuit, MOD operation circuit made by two mod(4) addition operation circuits, and primitive irreducible polynomial operation circuit to be performing same operation as mod(4) multiplicative operation circuit. These operation circuits are simulated under $2{\mu}m$ CMOS standard technology, $15{\mu}A$ unit current, and 3.3V VDD voltage using PSpice. The simulation results have shown the satisfying current characteristics. The presented 4-valued arithmetic processor using current mode CMOS is simple and regular for wire routing and possesses the property of modularity. Also, it is expansible for the addition and the multiplication of two polynomials on finite field increasing the degree m and suitable for VLSI implementation.

• Korean Journal of English Language and Linguistics
• /
• v.3 no.1
• /
• pp.37-54
• /
• 2003

The purpose of this paper is to investigate the phenomena of preposing and inversion in English from the discourse-pragmatic perspectives. We claim that different types of preposing can be unified to a single process of topicalization. We also show that diverse discourse functions of inversion can be subsumed under the ‘linking’ function with the prior discourse. It is followed a comparative discussion between preposing and inversion to find what similarities the two constructions share and what differences there exist between the two. It is concluded that the choice of a syntactic forms ultimately depends on the speaker's evaluation of the information status of the knowledge store of the hearer.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.6
• /
• pp.1502-1508
• /
• 2013

In aspect of HCI(Human Computer Interaction) gameplay is the procedure to solve the problem that gamers encounter in order to generate or discover a new rule to achieve gamers' goal. The goal of this research is to investigate the structure and understand the gameplay in aspect of affordance from ecological psychology rather than the traditional problem solving theory. This research selects App. game based on smart phone. Expert gamers participated in this experiment. We record all gameplay using audio and video device. We conducted protocol analysis as qualitative method based on the verbal report and action protocol during game playing. As result, gameplay based on affordance includes selection and relation. We found that subjects selected one thing at once with attention. Moreover, we found that there were two behaviors : exploratory action and performatory action. We believe that exploration, action, and transformation for affordance appear. The result of this research imply to suggest design guideline for game design methodology when designers develop game.

• The KIPS Transactions:PartC
• /
• v.14C no.7
• /
• pp.611-620
• /
• 2007

Distributing the routing path over the entire network is an important factor to maintain the lifetime of wireless sensor network as long as possible. This paper proposes a fuzzy routing protocol that decides a routing path based on the fuzzy control rules. The fuzzy controller receives the energy values, distances, and hop counts of possible route paths as input, and the inference engine produces the contribution factors for each of route paths. The route path with the largest contribution factor is elected as the final routing path. The nodes contained in the routing path reduce their energy after transmitting a data packet so as to prevent the same route path from being selected repeatedly. It makes the network traffic spreaded over the network resulting longer network lifetime. The computer simulations on TinyOS have shown that the fuzzy routing protocol is more energy efficient and has longer network lifetime compared to the existing routing protocols.

• Proceedings of the Korean Society of Community Living Science Conference
• /
• 2009.09a
• /
• pp.104-104
• /
• 2009

IMF로 인한 경제위기 시기에 도시에서 농촌으로 귀농 가구가 증가하는 현상이 나타났으나 이후 경제가 활성화 되면서 감소하였다. 연도별 귀농가구의 동향은 1998년 6,409가구를 정점으로 1999년에 4,118가구로 감소하였다가 2001년경에는 매년 1000가구 미만의 수준으로 하락하였으나 2008년 말 기준으로 2,218가구에 이르는 비교적 증가하는 추세를 보이고 있다. 한편 지방자치단체 특히 인구 과소화 시군에서는 도시민 유치를 위하여 경쟁적으로 귀농자 지원조례를 제정하여 정착하는 귀농인들을 지원하고 있다. 급기야 2009년 4월에는 중앙정부 차원에서 '귀농귀촌 종합대책'이 발표되었다. 도시에서 농촌으로 이주하는 원인으로는 농업을 직업으로 선택한 결과에 따른 것도 있지만 건강한 생활 및 웰빙 전원생활 영위를 위한 이주 등 그 원인이 다양화 되어 가고 있다. 이주하는 개인의 다양한 동기와 함께 지방자치단체의 지원책 또한 하나의 유인요인이 된다고 할 수 있을 것이다. 귀농귀촌 인구가 증가세를 보이기 시작한 2000년대 중반은 정부와 지방자치단체의 귀농귀촌인 지원대책이 시작된 시기임을 볼 때 그 연계성을 짐작할 수는 있으나 검증된 바는 없다. 그렇지만 귀농인의 입장에서는 선배 귀농인이 많이 거주하거나 지원정책이 잘 되어 있는 곳을 선택하게 될 가능성은 높은 것도 사실이다. 본 연구에서는 귀농인 지원을 위하여 각 지방자치단체가 제정한 지방조례의 내용과 차이점을 분석하고자 한다. 2009년 6월 기준으로 전국 34개 시군에서 지방조례를 제정하였고 이중 13개 시군에서는 시행규칙도 완비하였다. 조례의 주된 내용은 귀농귀촌인에 대한 빈집수리비용, 의료 학자금, 영농정착금, 농지구입자금 등을 지원하는 것으로 되어 있다. 물론 그 지원 규모에 있어서는 다소의 차이가 있지만 귀농귀촌인에 대한 자금의 직접적 지원에 초점이 맞춰져 있다. 귀농자들이 지역사회에 안정적으로 정착하고 정주할 수 있으려면 직접적 자금지원을 벗어나 지역네트워크를 형성하고 지원해 주는 것이 필요할 것으로 사료된다.

• Journal of Sensor Science and Technology
• /
• v.12 no.6
• /
• pp.289-297
• /
• 2003

In this paper, we propose accurate classification method of an EEG signals during a mental tasks. In the experimental task, subjects achieved through the process of responding to visual stimulus, understanding the given problem, controlling hand motions, and select a key. To recognize the subjects' selection time, we analyzed with 4 types feature from the filtered brain waves at frequency bands of $\alpha$, $\beta$, $\theta$, $\gamma$ waves. From the analysed features, we construct specific rules for each subject meta rules including common factors in all subjects. In this system, the architecture of the neural network is a three layered feedforward networks with one hidden layer which implements the error back propagation learning algorithm. Applying the algorithms to 4 subjects show 87% classification success rates. In this paper, the proposed detection method can be a basic technology for brain-computer-interface by combining with discrimination methods.

• The Korean Journal of Applied Statistics
• /
• v.24 no.4
• /
• pp.695-708
• /
• 2011

Image fusion is the process of combining multiple images of the same scene into a single fused image with application to many fields, such as remote sensing, computer vision, robotics, medical imaging and military affairs. The widely used image fusion rules that use wavelet transform have been based on a simple comparison with the activity measures of local windows such as mean and standard deviation. In this case, information features from the original images are excluded in the fusion image and distorted fusion images are obtained for noisy images. In this paper, we propose the use of a nonparametric squared ranks test on the quality of variance for two samples in order to overcome the influence of the noise and guarantee the homogeneity of the fused image. We evaluate the method both quantitatively and qualitatively for image fusion as well as compare it to some existing fusion methods. Experimental results indicate that the proposed method is effective and provides satisfactory fusion results.