• 제목/요약/키워드: supporting program

검색결과 773건 처리시간 0.033초

Design of a Supporting Tool for Simplifying Static Program Analysis Process (정적 프로그램 분석 과정을 단순화하기 위한 지원 툴 설계)

  • 윤준호;이병정;우치수
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
    • /
    • pp.19-21
    • /
    • 2003
  • 정적 프로그램 분석기는 프로그램의 결점을 찾아내는 초기 목적에서 진화하여, 역공학. 재공학. 메트릭 검증 등 도구의 front-End 모듈로 많이 쓰이고 있다. 이에 대한 다양한 연구가 진행되고 있고. 또 많은 관련 도구들이 소개되었지만, 사용자가 생각을 직접 코드형태로 구현하고, 결과를 모델형태로 표현하여, 시험하고 검증할 수 있도록 도와주는 프레임웍 수준 도구들은 거의 나와있지 않다. 본 논문에서는 정적 프로그램 분석을 쉽게 할 수 있도록 지원하는 기반도구의 설계를 제안한다. 본 연구에서는 언어의 파싱과 시각화 과정의 반복되는 작업들을 추상화하고, 분석 코드를 파싱 코드와 분리함으로써 사용자로 하여금 분석 과정에 집중할 수 있도록 도와준다.

  • PDF

Functions of Nature Trails in Mt. Seorak National Park Focused on Environmental Educational Aspects (환경교육적 측면에서 본 설악산 국립공원의 자연관찰로 기능에 관하여)

  • Jo, Tae Dong
    • Journal of Environmental Science International
    • /
    • 제13권7호
    • /
    • pp.605-610
    • /
    • 2004
  • Having the Seorak mountain National Park as an object of study, this research grasps the problems of the present environmental observatories through the awareness investigations of visitors towards the function of environmental observatories made by the evironmental education. In order to achieve this, a questionaire has been conducted for 26 days, starting from the 25th October 2002, directed towards 100 visitors to the Seorak mountain National Park about the maps and degree of satisfaction of the usage ofthe environment observatory and explanation program. The results of the analysis show that general satisfaction on the environmental observatories are valued very negatively. This informs us that the present environmental observatories under the environment education are not fullfilling entirely their functions. Supporting itself upon the basis of the visitors' questionaire, this research has attempted the resolution of the present problems having as an object of study the scenery and cultural resources present in the Seorak mountain National Park, and proposing an entertaining environmental education of the environment observatory's constitution.

Supporting System far Safe Appraisal and Management of Agricultural Structures using Relational Database and Geographic Information (관계형 데이터베이스와 지형정보를 이용한 농업구조물의 안전점검 및 이력관리 지원시스템)

  • 김종옥;김한중;이정재;고만기
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • 제44권3호
    • /
    • pp.101-110
    • /
    • 2002
  • Most of the agricultural structures are in shortage of feasible facility management because these structures are small in size and spacially distributed in rural area. Inspection tools based on visual inspections are generally used for agricultural structures in most of the countries, including Korea. It is necessary to survey data of the irrigation structures to maintain records, and to develop the interface program by constructing database of inspection data. This study was conducted to develop a system for safe appraisal and repair works on agricultural irrigation structures. Repair and rehabilitation method can be chosen from an optimum viewpoint if the information between the method and life-cycle management cost of agricultural structures is constructed in the database. In this study, the system assisting onsite field investigation and determining the typical rehabilitation method of typical agricultural structural problems such as fractures and cracks of members was developed.

Development of the Event Type Analysis System (ETAS) for the Accident Evaluation in Nuclear Power Plants (원전사고 평가를 위한 원전 사건유형분석 시스템(ETAS) 개발)

  • Choi, Young Hwan;Kim, Young Mi
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • 제5권2호
    • /
    • pp.35-39
    • /
    • 2009
  • In this study, Event Type Analysis System (ETAS) is developed for the accident evaluation in nuclear power plant. The ETAS system can be used in supporting regulator and/or operator under event situation in nuclear power plants. The ETAS system can categorize the all transient events to 3 categories such as Down-2000, Down-2173, and Slow Fluctuation. We develop the program structure for ETAS system and web-based ETAS system. The ETAS system will be used as sub module of Knowledge-Based Event Evaluation Network (K-EvENT) which is developing for the against the accident in nuclear power plants.

  • PDF

Development of SNMP Management System for Remote Control of Power Plants Using Micro-Controller (마이크로컨트롤러를 이용한 전력설비의 원격제어를 위한 SNMP 관리시스템 개발)

  • Shim, Woo-Hyuk;Yoon, Jae-Shik;Kim, Beung-Jin;Lim, Byung-Kuk;Jeon, Hee-Jong
    • Proceedings of the KIEE Conference
    • /
    • 대한전기학회 1999년도 추계학술대회 논문집 학회본부 B
    • /
    • pp.649-651
    • /
    • 1999
  • This paper presents SNMP remote management system for power plants using micro-controller. Control board supporting LAN-based remote monitor and control is produced and MMI program on PC is also constructed. To expand into Internet, SNMP(Simple Network Management Protocol), the standard network management protocol of TCP/IP protocol suite, is ported to this control board consisted of micro-controller, 80c196KC, and LAN controller, Am7990DC. To overcome the constraints of CPU performance and memory capacity, TCP/P protocol suite is simplified and informations needed to management were implemented in accordance with MIB(Management Information Base) specified in RFC. Also monitoring software is constructed by Visual Basic.

  • PDF

A Study on the Equipment Maintenance Management Support System for Production Efficiency (생산효율화를 위한 설비보전관리 지원시스템에 관한 연구 -설비보전정보시스템을 중심으로-)

  • 송원섭
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • 제21권48호
    • /
    • pp.279-289
    • /
    • 1998
  • This study deals with the schemes of design, plan and operate maintenance management support systems and with the engineering approach for the solutions to build the maintenance management for the production efficiency. Maintenance Management Information System(MMIS) is the task that must focus on machinery historical data and planned maintenance action. Also the efficient supporting system in a maintenance management is achieved by database which is based on process of machinery's failure history. Designing method of maintenance management information system, maintenance modules are consisted of six factors ; machinery's historical data, lubrication control, check sheet, repair work, availability report, and performance report(control board and detailed reports), and then operators can rapidly utilize data in work place. In the implementation of designed model, program coding has been developed by Visual Basic 3.0. Data insertion, deletion and updating which perform menu screen is implemented by reading data from database. Implementation model based on LAN environment and related data is stored in Microsoft DBMS.

  • PDF

The Role of Government A Study on Utilization Method of Hardware Sizing Guidelines in Public Sector - In aspect of institutional viewpoint - (공공부문 하드웨어 규모산정 지침 활용 활성화 방안에 대한 연구 - 제도적 측면을 중심으로 -)

  • Choe, Gwang-Don;Jeong, Hae-Yong;Na, Jong-Hoe
    • 한국디지털정책학회:학술대회논문집
    • /
    • 한국디지털정책학회 2006년도 춘계학술대회
    • /
    • pp.311-318
    • /
    • 2006
  • In this study, It is suggested how to utilize hardware capacity sizing system for WEB, WAS, OLTP server's CPU, memory, and disk capacity by its user reasonably. To achieve goal of this study, we presented specific approaches in aspect of institutional viewpoint. The result of this study can be reflected gradually in the guideline of informatization related budgeting by MPB(Ministry of Planning and Budget) and e-government supporting program.

  • PDF

A Study on the Entry of Korean Shipping & Logistics Company into the Offshore Plant Logistics Service Market

  • Shin, Seok-Hyun;Kwon, Moon-Kyu;Park, Jin-Hee;Park, Young-Kyu
    • Journal of Navigation and Port Research
    • /
    • 제39권2호
    • /
    • pp.125-130
    • /
    • 2015
  • Korea is worldwide top manufacturer of offshore plant industry, while shown weakness in high-valued offshore plant service industry (OPSI). The governmental support policies and studies for fostering programs are centered on shipbuilding and engineering sector. On the other hand, offshore logistics service sector among the programs is neither included as governmental fostering support sectors nor ever-studied. Domestic shipping and logistics companies have many experience of handling various project, heavy-lift cargo and even super blocks on shipbuilding industry. However they are faced with lack of appropriate heavy carrier and others. So for their successful entering into offshore plant logistics market, systematic preparation, studies and supporting policies are highly recommended.

Alignment Calculation of Marine Engine Shafting System by Quadruple Integration Method (四重積分에 의한 船舶推進軸系의 配置에 關한 硏究)

  • Park, Tae-In;Lee, Hyun-Yup
    • Journal of Advanced Marine Engineering and Technology
    • /
    • 제3권1호
    • /
    • pp.32-39
    • /
    • 1979
  • Alignment of marine engine shafting generally implies a judicious slope alignment of supporting bearings in order to achieve acceptable values of bearing reactions and shaft stresses for all deformation conditions of hull. Authors developed a computer program, which computes the bearing reaction forces, the bearing reaction influence numbers and etc, using quadruple integration method. And the results of calculation for a 26,000 DWT steam container carrier were in good agreements with those of foreign shipyard. Also they introduced the optimization technique of slope alignment combined technical economic basis, and as a result of comparing characteristics of shafting in case of straight alignment whit those in case of slope alignment, the latter was found to be much better than the former.

  • PDF

Web-based 3D Animation System for Visualization of Motions of Mechanisms (웹기반 3차원 기구 동적 거동 가시화 시스템 개발)

  • 남소정;한형석;이재경;김동성
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 한국정밀공학회 2003년도 춘계학술대회 논문집
    • /
    • pp.1735-1738
    • /
    • 2003
  • The dynamic design and evaluation of mechanisms need to be performed in a collaboration or concurrent system in order to shorten the development period of the product. A web-based system is the most suitable concurrent system to promote effective collaboration. In order to develop such a web-based system, Java Applet, which is not restrained by a computer's H/W and S/W, is widely used. This paper introduces a web-based 3D animation system for visualizing the motions of mechanisms. This web-based 3D animation system uses a JAVA Applet program method, which can be operated in a web-browser, and the Open Inventor for Java, which supports 3D graphics. It does not only allows the user to verify dynamic simulation results and design variables through the web, but it also has the advantage of supporting collaboration among a number of users through simultaneous connections.

  • PDF