• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 춘계학술대회 논문집
• /
• pp.208.1-212
• /
• 1997

In this paper, a computer simulation tool for evaluting integrated engine/transmission control system using MATLAB/SIMULINK is investigated. Since a modular programming technique based upon the object-oriented programming is used in the paper, the simulation tool developed reduces the burden of model complexity by dividing engine/transmission systems into hierarchical subsystem. Furthermore, it also provides user -friendly, reusable, and upgradable characteristics of the system. The simulation tool could be useful to the automotive engineers who frequently change models and develop new systems in the automotive powertrain and control area.

• 전기의세계
• /
• 제26권2호
• /
• pp.78-83
• /
• 1977

The Newton-Raphson method has now gained widespread popularity in Load-flow calculationes. In this paper programming is developed with aims to improve the convergence characteristics, speed and memory requirements in the above method. The method of Load-flow calculations is performed by employing the MW-O/MVAR-V decoupling principle. To reduce the memory requirements and improve the speed of calculation the programming of the Optimally Ordered Triangular Factorization method is developed. Besides this, other measures are taken to reduce memory requirements and computing time and to improve reliability. KECO'S 48 Bus system was tested and the method suggested in this paper was proved to be faster than any other methods.

• 교육시설
• /
• 제15권5호
• /
• pp.5-12
• /
• 2008

The purpose of this study is to suggest a design guideline for the domestic campus master plan. The main contents of this study are as follows ; 1) Study for the characteristics and components of the comprehensive campus master plan. 2) Case study on the domestic campus plan 3) Establishment of methods for campus master plan focused on the space programming, land use planning, circulation planning, and building layout planning.

• 한국전기전자재료학회논문지
• /
• 제16권1호
• /
• pp.5-10
• /
• 2003

In this study, a new programming method to minimize the generation of Si-SiO$_2$interface traps of SONOS nonvolatile memory device as a function of number of porgram/erase cycles was proposed. In the proposed programming method, power supply voltage is applied to the gate. forward biased program voltage is applied to the source and the drain, while the substrate is left open, so that the program is achieved by Modified Fowler-Nordheim(MFN) tunneling of electron through the tunnel oxide over source and drain region. For the channel erase, erase voltage is applied to the gate, power supply voltage is applied to the substrate, and the source and dram are left open. Also, the asymmetric mode in which the program voltage is higher than the erase voltage, is more efficient than symmetric mode in order to minimize the degradation characteristics or SONOS devices because electrical stress applied to the Si-SiO$_2$interface is reduced due to short program time.

• 한국안전학회지
• /
• 제14권2호
• /
• pp.70-76
• /
• 1999

In this paper, a mixed-integer programming approach is presented for adjusting the voltage profiles in a power system. The advent of large-scaled system makes the reactive power and voltage problem-an attempt to achieve an overall improvement of system security, service quality and economy-more complex and seriously, Although the problem is originally a nonlinear optimization problem, it can be formulated as a mixed integer linear programming(MILP) problem without deteriorating of solution accuracy to a certain extent. The MILP code is developed by the branch and bound process search for the optimal solution. The variable for modeling transformer tap positions is handled as discrete one, and other variables continuous ones. Numerical data resulting from case study using a modified IEEE 30 bus system with outaged line show that the MILP can produce more reductions of magnitude in the operating cost. The convergence characteristics of the results are also presented and discussed.

• 품질경영학회지
• /
• 제24권1호
• /
• pp.20-31
• /
• 1996

A pure zero-one integer program is formulated for determining where to assign the inspection stations in a multi-stage production system. The objective fuction is formulated to minimize the overall inspection costs. One of the major characteristics of this system is that an assigned inspection station is to inspect only the items produced in previous manufacturing stages. Each inspection station can be assigned to any possible inspection stage between two manufacturing stages. Error-free and screening inspection policy is assumed in this system and the defective items found in any inspection station will be reworked at once. The integer programming model presented in this paper has the advantages in the ease of modeling and modifiing as compared with the existing dymanamic programming methods. The solutions of the model can be easily obtained by the commercially available softwares like LINDO and GAMS.

• 한국경영과학회지
• /
• 제11권1호
• /
• pp.51-58
• /
• 1986

The propose of this study is to presnet a generalized linear/goal programming software, which has been developed to run on mickrocomputers with at least 512 K bytes of memory. The main characteristics of our algorithm for solving LP/GP problems are outlined as follows ; First, it uses the revised simplex algorithm, which is the most efficient computational procedure for computers. Second, it employs the sparse matrix technique to overcome the limited memory of microcomputers. Last, it uses the modified product form of invers (MPFI) to reduce round-off errors. The test runs with our code written in FORTRAN show that it can be used as an effective tool for solving linear/goal programming problems of considerable size.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1140-1143
• /
• 1987

The purpose of this study is to develop a systematic tool which can reduce the abstractness of the structured programming disciplines by a system. The system is an interactive software which forces the user to think and write software in a hierarchical stepwise refinement fashion for an implementation of the software design. The program produced by the system has a program control structure and a logic flow which are very easy to recognize. The modification of a program is, therefore, easier to attain by altering the specifications of the modules involved. It is possible to reduce the programming errors because of those characteristics.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제10권1호
• /
• pp.97-126
• /
• 2001

Object-orientation has been proposed as a promising software process innovation to improve software productivity and quality. It has not been understood clearly, however, what factors influences the diffusion of object-oriented technology in organizations. A research model was formulated and hypotheses were generated based on the literature of information technology implementation and software process innovation. To test the research hypotheses, a questionnaire survey was conducted. The results based on 121 responses from Korean companies revealed that project characteristics, use of external experts, and number of development projects are significantly related to the diffusion of object-oriented analysis and design and object-oriented programming. Innovation champion is positively related to the diffusion of object-oriented analysis and design, whereas it is not related to the diffusion of object-oriented programming language. Only project complexity was significantly related to the diffusion of visual programming language. On the other hand, organizational size was not significantly related to any object-oriented technology in this study.