• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.4
• /
• pp.460-472
• /
• 2017

The design of harbours, as with any other system design, must be an optimization process. In this study, a global examination of the different constraints in coastal engineering was performed and an optimization problem was defined. The problem has multiple objectives, and the criteria to be minimized are the structure cost and wave height disturbance inside a harbour. As concluded in this survey, the constraints are predefined parameters, mandatory constraints or optional constraints. All of these constraints are categorized into four categories: environmental, fluid mechanical, structural and manoeuvring.

• Proceedings of the KIEE Conference
• /
• 1990.11a
• /
• pp.252-255
• /
• 1990

Analyzing and simulating of today's complex electrical networks require the use of computer-aided engineering tools. In recent years, the rapid advances in micro-computer hardware technology have increased the availability of power application software on the personal computer, once the domain of mainframes and minicomputers, enabling efficient and cost-effective power system analysis. An interactive simulation and analysis software for a power system is developed and presented in this paper. The software is written in PASCAL and is designed for PC use. This paper presents an integrated software package to run PC-DOS for the analysis of electric power networks. The software is menu driven and controlled by prompts. These programs are intended to help users understand the process of power system analysis and design.

• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1097-1115
• /
• 2011

We consider the global stability of a general tuberculosis model with two differential infectivity, n classes of latent individuals and mass action incidence. This system exhibits the traditional threshold behavior. There is always a globally asymptotically stable equilibrium state. Depending on the value of the basic reproduction ratio $\mathcal{R}_0$, this state can be either endemic ($\mathcal{R}_0$ > 1), or infection-free ($\mathcal{R}_0{\leq}1$). The global stability of this model is derived through the use of Lyapunov stability theory and LaSalle's invariant set theorem. Both the analytical results and numerical simulations suggest that patients should be strongly encouraged to complete their treatment and sputum examination.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.2
• /
• pp.45-55
• /
• 1989

This paper deals with development of a computer-aided process selection and sequencing technique and its software for metal cutting processes of rotational parts. The process selection procedure consists of selection for proper machining operations and machine tools suitable for the selected operations. Machining operations are selected based on machining surface features and machine tools are selected by employing a conversion table which converts machining operations into machine tools. The process sequence is determined by the proper manipulation of the precedence relation matrix. A computer program for the proposed technique is developed by using Turbo-Pascal on IBM PC/AT compatible system. The proposed technique works well to real problems.

• Journal of the Korean Society for information Management
• /
• v.8 no.2
• /
• pp.3-31
• /
• 1991

A prototype model of intelligent information retrieval system is presented with the definition of intelligent information retrieval. An intelligent information retrieval system for Korean documents was designed, and the system was implemented with Turbo Prolog 2.0 and Turbo Pascal 5.5. The characteristics of the system include natural language interface, user modeling, automatic indexing by case relationship, and multiple retrieval techniques.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.286-289
• /
• 2011

제약을 갖는 부분 관찰 의사결정 과정(Constrained Partially Observable Markov Decision Process; CPOMDP)는 정책이 제약(constraint)를 만족하면서 가치 함수를 최적화하도록 일반적인 부분 관찰 의사결정과정(POMDP)을 확장한 모델이다. CPOMDP는 제한된 자원을 가지거나 여러 개의 목적 함수를 가지는 문제를 자연스럽게 모델링할 수 있기 때문에 일반적인 POMDP에 비해 더 실용적인 장점을 가진다. 본 논문에서는 CPOMDP의 확률적 최적 정책 및 근사 최적 정책을 계산할 수 있는 최적 및 근사 동적 프로그래밍 알고리즘을 제안한다. 최적 알고리즘은 동적 프로그래밍의 각 단계마다 미니맥스 이차 제약 계획 문제를 계산해야 하는 반면에 근사 알고리즘은 선형 계획 문제만을 필요로 하는 점-기반(point-based) 가치 업데이트를 이용한다. 실험 결과, 확률적 정책이 결정적(deterministic) 정책보다 더 나은 성능을 보이며, 근사 알고리즘을 통해 계산 시간을 줄일 수 있음을 보였다.

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.33-48
• /
• 2011

The notion of the generalized Fibonacci matrix $\mathcal{F}_n^{(a,b,s)}$ of type s, whose nonzero elements are generalized Fibonacci numbers, is introduced in the paper [23]. Regular case s = 0 is investigated in [23]. In the present article we consider singular case s = -1. Pseudoinverse of the generalized Fibonacci matrix $\mathcal{F}_n^{(a,b,-1)}$ is derived. Correlations between the matrix $\mathcal{F}_n^{(a,b,-1)}$ and the Pascal matrices are considered. Some combinatorial identities involving generalized Fibonacci numbers are derived. A class of test matrices for computing the Moore-Penrose inverse is presented in the last section.

• Journal of Multimedia Information System
• /
• v.1 no.1
• /
• pp.23-43
• /
• 2014

With the rapidity of the development on electronic technology, various mobile devices are produced to make human life more convenient. The user is always in constant search of middle with ease of deployment. Therefore, the development of infrastructure and application with ubiquitous nature gets a growing keen interest. Recently, the number of pervasive network services is expanding into ubiquitous computing environment. To get desired services, user presents personal details about this identity, location and private information. The information transmitted and the services provided in pervasive computing environments (PCEs) are exposed to eavesdropping and various attacks. Therefore, the need to protect this environment from illegal accesses has become extremely urgent. In this paper, we propose an anonymous authentication and access control scheme to secure the interaction between mobile users and services in PCEs. The proposed scheme integrates a biometric authentication in PKI model. The proposed authentication aims to secure access remote in PCE for guaranteeing reliability and availability. Our authentication concept can offer pervasive network service users convenience and security.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1352-1355
• /
• 1987

This Paper proposed the modified binary n-gram algorithm for the contextual post processing system in English sentence. Backward gram was used to correct the first position error in a word. It is not requires additional storage but more times of comparison it allows interactive correction routine. Experiments were implemented using PASCAL language on a micro computer, IBM PC/XT. This algorithm improves the correction rate around $4{\sim}5%$ on a limited experimental environments.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1507-1511
• /
• 1987

This paper proposes a NAND-NAND logic sequential Programmable Logic Array (PLA) using CMOS technology, and test generation methods about stuck-open faults. By using LSSD (Level Sensitive Scan Design) method instead of Flip-Flops in Sequential PLA, the complex test problems of sequential logic are simplified. After generating the test sets using connection graph, regular test sequences and all transistor faults detection method in PLA are proposed. Finally, by programming these algorithms in PASCAL at VAX 8700 and adopting these to pratical CMOS Sequential PLA circuits, we proved the effectiveness of this design.