• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.135-138
• /
• 2003

This paper considers a verification problem on EJB(Enterprise JavaBeans). We select SPIN as a automatic verification tool and consider an instance management specification of CMP(Container Managed-Persistence) entity bean. By showing the verification procedure, we can conclude that SPH can be used to verify EJB systems.

• 한국의류학회지
• /
• 제21권1호
• /
• pp.19-34
• /
• 1997

The goals of this study are to suggest the guidance for automated clothing manufacture by analysis the technology of the automated manufacturing facilities and to propose how improve the efficiency of the production planning and management for automated clothing manufacture In this study, the research about the automated clothing manufacturing machines and the analysis about the modules and functions of apparel information systems were performed. In order to understand the factory automation of the larger clothing firms, the case study method was used. The case study samples were 3 clothing firms. The results and suggestions are as follows: 1. An information technology for automated clothing manufacture has enabled the computer integrated manufacturing system to connect production planning and management part with each work station on the factory floor. 2. The apparel information system to integrate and manage manufacturing informations from each workstation and the apparel CAD system are used in the department of production planning. At the cutting room, there are automated manufacturing machines like an automatic spreading system and an automatic cutting system. Sewing room has the computer controlled unit production system and semi-automated sewing machines. In addition, in the finishing room, an automatic packing machine and a press system are used and besides a warehousing system has been developed. Considering these available technology, for better product efficiency, it is necessary to consider and utilize the specific character of these automatic manufacturing machines and computer system whether they proper to each product style. 3. Most of the clothing manufacturers are in the stage of semi-automated manufacture. In order to improve the manufacturing environment, it is needed to gradual procedure of manufacturing automation with considering the firm's financial condition, existing facilities and staffs operating machines. The case study sample firms are in the high degree of manufacturing automation. They can accomplish the flexible manufacturing system to link the information system with each work station menufacturing system by computerized control. For the case of the firm having already used the computer integrated manufacturing and managing system, it is necessary that the function to deal with drawing information is added to the retaining module of the apparel system.

• 한국콘텐츠학회논문지
• /
• 제20권5호
• /
• pp.609-622
• /
• 2020

사회가 발달하면서 법령의 규모는 점차 증가하고 있을 뿐만 아니라 내용도 복잡해지고 있다. 법령 내에 존재하고 있는 안전기준의 규모 또한 증대되고 있고 전문화되고 있어 안전기준 상호간의 상충이나 중복 등을 최소화하기 위한 통합관리에 어려움이 있다. 안전기준의 통합관리를 위해서는 기본적으로 법령 내의 안전기준을 검색하여 추출하는 기술이 우선 확보되어야 한다. 본 연구에서는 한정된 시간 및 인력 등의 한계를 고려하여 몇 가지 특정사례를 기반으로 안전기준 자동검색 지원도구를 개발하고자 하였다. 이를 위해 우선 기존 연구에서 분류된 안전기준과 행정안전부에서 고시한 안전기준을 대상으로 안전기준이 가진 특성을 분석하고 2018년에 국립재난안전연구원에서 추출한 안전기준을 포함하는 법령정보를 수집하였다. 수집된 법령을 정제하고 형태소 분석을 실시하여 안전기준 시소러스를 구축한 후 색인 작업을 거쳐 안전기준 검색도구를 개발하였다. 향후 안전기준을 찾는데 자동검색도구가 일상적으로 적용된다면 방대하고 복잡한 안전기준의 중복 또는 상충 문제해결에 도움이 될 것으로 기대된다.

• 한국도로학회논문집
• /
• 제14권3호
• /
• pp.77-85
• /
• 2012

자동사고검지 알고리즘의 대부분은 사고가 발생했을 때 사고로 검지하지 못하고, 혼잡으로 검지하는 경우가 많다는 문제점을 가지고 있다. 또한 교통정보센터 운영자들은 교통사고검지시스템을 운영하면서 대부분 CCTV 육안감시 또는 운전자들의 신고에 의존하여 사고처리를 하고 있는 실정이다. 그 이유는 현재 운영되고 있는 교통사고검지시스템에서는 실제 사고가 아닌데도 불구하고, 사고라는 오검지 경고가 많이 발생되어 시스템 전체의 신뢰도가 떨어진다는 문제점이 있기 때문이다. 다시 말해 교통사고검지시스템의 알고리즘은 검지율(Detection probability)이 높아야 함과 동시에, 오검지율(False alarm probability)은 낮아야 하고, 정확한 사고지점과 시간을 검지해 낼 수 있어야 한다. 이에 본 연구는 검지율을 높이고 동시에, 오검지율을 낮추는 방법으로 기 개발된 가우시안 혼합모델(Gaussian Mixture Model)과 개별차량 Tracking을 이용하여 개발한 사고검지 알고리즘을 교통정보센터 관리시스템(Center Management System)에 적용하고, 실제 교통상황에서 사고검지율과 오검지의 빈도를 측정하여 그 효과를 검증 및 평가하고자 한다.

• 디지털융복합연구
• /
• 제11권3호
• /
• pp.181-187
• /
• 2013

공급자와 소비자간의 정보공유는 기능 중심에서 프로세스 중심이 되면서, 유연성과 고객 서비스를 극대화하기 위한 새로운 물류 개념을 요구하게 되었다. 다시 말하면 원부자재의 조달에서부터 생산을 거쳐 고객에게 판매되기까지의 전 과정에 걸친 개체간의 수요와 공급의 사슬관계를 의미하는 공급망 내에서 정보, 자금 그리고 물의 흐름을 관리 통제하는 공급사슬경영(SCM)이 사업의 핵심역량으로 인식되고 있다. 또한 국내 기업들의 수 배송 업무의 합리화는 국내 기업 물류관리의 가장 중요한 과제중의 하나로 부각되고 있다. 물류센터로부터 각 거래처로 물품을 배달하는 배송업무의 경우에는 기업의 물류정보시스템이 상류 중심의 데이터 체계로 구축되어왔기 때문에 물류관리 업무의 합리화에 활용할 수 있는 기초 데이터 부재와 현실적인 제약조건들을 고려한 효율적인 자동배차 알고리듬을 적용하지 못했기 때문에 배차담당자들의 수작업 조정시간이 장시간 소요되었다. 따라서 본 논문에서는 현실적인 다양한 제약조건을 만족하고, 수작업 조정시간이 대폭 줄이면서, 우편중심 좌표를 이용한 차량별 근거리 그룹핑으로 자동배차 지원시스템의 휴리스틱 알고리듬을 설계하도록 한다.

• 정보관리연구
• /
• 제23권3호
• /
• pp.19-44
• /
• 1992

최근 국내(國內) 대부분의 신문사(新聞社)에서 CTS시스템을 도입함에 따라 기사전문(記事全文)이 컴퓨터에 입력되는 장점을 고려한 자동색인(自動索引) 시스템의 필요성이 대두되고 있다. 본 연구에서는 선행연구(先行硏究)와 국내외(國內外) 사례(事例)들을 통해 신문기사 자동색인 시스템의 문제점(間題點)과 앞으로의 전망(展望)을 고찰하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2007년도 정기 학술대회 논문집
• /
• pp.84-89
• /
• 2007

In this paper, we introduce a new technique for automatic construction of steel frames in high-rise buildings. Basically, we combine advanced robotic technologies to building construction techniques. Four main topics will be developed such as: 1) Planning and synthesis of automatic construction system, 2) Development of construction factory system with climbing oil-pressured robot, 3) Core techniques for automatic assembly for steel frames, and 4) Intelligent resource management system. We expect that this new technique will increase the construction efficiency and will alleviate the manpower shortage problem in the aging society.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.1137-1139
• /
• 1998

Effective database is the key to manage automatic distribution system. Currently, automatic distribution system database has been studied with a relational concept. But, it is hard to describe the characteristic of automatic distribution system data which require real time management and composite type. This paper present the way how to design conceptual schema for EMS database using object-oriented concept which is free to decribe composite data type and support inheritance concept.

• ETRI Journal
• /
• 제43권4호
• /
• pp.694-701
• /
• 2021

Catastrophic events cause casualties, damage property, and lead to huge social impacts. To build common standards and facilitate international communications regarding disasters, the relevant authorities in social management rank them in subjectively imposed terms such as direct economic losses and loss of life. Terrorist attacks involving uncertain human factors, which are roughly graded based on the rule of property damage, are even more difficult to interpret and assess. In this paper, we collected 114 183 open-source records of terrorist attacks and used a machine learning method to grade them synthetically in an automatic and objective way. No subjective claims or personal preferences were involved in the grading, and each derived common factor contains the comprehensive and rich information of many variables. Our work presents a new automatic ranking approach and is suitable for a broad range of gradation problems. Furthermore, we can use this model to grade all such attacks globally and visualize them to provide new insights.

• 대한안전경영과학회지
• /
• 제6권2호
• /
• pp.231-239
• /
• 2004

To keep an enterprise's competitiveness on the condition of the automatic manufacturing system such as FA, FMS and CIM, all the maintenance problems should be considered seriously in not only in production and maintenance but also in related industrial productivity. This paper presents the study of equipment reliability improvement for rotary-machine vibration analysis. Based on these analyses, the maintenance management information system, and the machinery condition diagnosis technique are studied by using of the real-time diagnostic. Therefore, it is expected to improve the efficiency of business processes in the production and safety when we use this system.