• 제목/요약/키워드: Design Verification Process

검색결과 656건 처리시간 0.026초

고성능 동적 서명인증시스템 구현 (Implementation of Advanced Dynamic Signature Verification System)

  • 김진환;조혁규;차의영
    • 한국정보통신학회논문지
    • /
    • 제9권4호
    • /
    • pp.890-895
    • /
    • 2005
  • 동적(온라인) 서명인증시스템은 내부 처리 과정에서는 불필요한 점들을 제거하는 전처리과정, 서명의 변화폭을 줄여주고 서명자의 고유한 특징 정보를 추출하는 특징추출과정, 두 서명의 특징벡터를 비교하여 유사도를 계산하는 비교과정, 보안수준에 따른 인증 여부를 결정하는 판단과정으로 구성되며, 사용자 관점에서의 화면 구성은 서명을 입력받아 기준서명과 보안수준 값을 만들어 주는 등록화면과 권한 부여를 위하여 진서명인지 모조서명인지를 판단하는 인증화면으로 나누어진다. 본 논문에서는 동적 서명인증시스템의 처리 속도, 서명의 특징벡터의 추출방법과 비교 알고리즘, 사용자 인터페이스 등과 실제 환경에서의 설계 및 구현에 대한 연구이다.

Cutting Simulation을 이용한 End-milling Cutter의 제작 및 가공 검증 기술 개발 (End-mill Manufacturing and Developing of Processing Verification via Cutting Simulation)

  • 김종한;김재현;고태조;박정환;김희술
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2006년도 춘계학술대회 논문집
    • /
    • pp.453-454
    • /
    • 2006
  • This paper describes a processing verification technique for developing about end-milling cutters. Developed software is processing verification module for manufacturing. By using cutting simulation method, we can obtain center points of finding wheel via Boolean operation between a grinding wheel and a cylindrical workpiece. The obtained CL data can be used for calculating NC data. After then, we can simulate by using designed grinding machine and NC data. This research has been implemented on a commercial CAD system by using the API function programming. The operator can evaluate the cutting simulation process and reduce the time of design and manufacturing.

  • PDF

국제표준기국의 SW 개발 공정 인증을 위한 서비스 설계 및 인증 관리 도구: ADONIS (ADONIS: A Service Design and Certification Management Tool for Certification of Software Development Process in International Standard Organization)

  • 이성현;최영복;이문근
    • 서비스연구
    • /
    • 제8권1호
    • /
    • pp.59-72
    • /
    • 2018
  • 서비스 관점에서 국제표준기구가 요구하는 수준의 인증 서비스를 SW 개발과정에 도입하는 것은 매우 중요하다. 그 이유는 우리 산업에서 ICT가 차지하는 비중이 매우 높을 뿐만 아니라, ICT 관련 SW에 대한 국제적인 수준의 인증은 필수적이기 때문이다. 그리고 이를 위해서 ADONIS와 같은 과학적이며 체계적인 도구를 기반으로 한 인증 서비스가 절대적으로 요구된다. 본 논문에서는 이러한 시대적, 사회적 요구에 부응할 수 있는 하나의 새로운 방법 체계를 제시하였다. 이 체계는 우리 산업에 국제적인 수준에서 요구되는 SW의 안전성에 대한 인증 서비스를 제공하였고, 이러한 서비스는 다른 영역에도 적용될 수 있다. 이러한 체계를 설명하기 위해 EU우주항공국의 표준안 중 ECSS-E-40의 인증을 위한 서비스의 설계와 이에 대한 보증이 어떻게 이루어지는지 서비스 공학 측면에서 살펴보고, ADONIS를 통해서 보여주고자 한다. 본 논문은 E-40 표준안의 항목 중 SW의 명세와 검증에 관해 집중하며, 검증의 대상은 안전성(Safety)을 우선으로 한다.

활용성을 고려한 BIM 설계 오류 검증시스템 개발 (Development of an Verification System for Enhancing BIM Design Base on Usability)

  • 양동석
    • 토지주택연구
    • /
    • 제8권1호
    • /
    • pp.23-29
    • /
    • 2017
  • The BIM design is expected to expand to the domestic and overseas construction industries, depending on the effect of construction productivity and quality improvement. However, with the obligation of Public Procurement Service to design the BIM design, it includes a design error and the problem of utilization of 3D design by choosing a simple 2D to 3D remodelling method that can not be modelled in 3D modeling or use of the construction and maintenance phases. The results reviewed by BIM design results were largely underutilized and were not even performed with the verification of the error. In order to resolve this, one must develop the check system that secures the quality of BIM design and ensure that the reliability of BIM results are available. In this study, it is designed to develop a program that can automatically verify the design of the BIM design results such as violation of the rules of the BIM design, design flaws, and improve the usability of the BIM design. In particular, this programs were developed not only to identify programmes that were not commercially available, but also to validate drawings in low-light computer environments. The developed program(LH-BIM) store the information of attribute extracted from the Revit file(ArchiCAD, IFC file included) in the integrated DB. This provides the ability to freely lookup the features and properties of drawings delivered exclusively by the LH-BIM Program without using the Revit tools. By doing so, it was possible to resolve the difficulties of using traditional commercial programs and to ensure that they operate only with traditional PC performance. Further, the results of the various BIM software can be readily validated, which can be solved the conversion process error of IFC in the case of SMC. Additionally, the developed program has the ability to automatically check the error and design criteria of the drawings, as well as the ability to calculate the area estimation. These functions allow businesses to apply simple and easy tasks to operate tasks of BIM modelling. The developed system(LH-BIM) carried out a verification test by reviewing the review of the BIM Design model of the Korea Land & Housing Corporation. It is hoped that the verification system will not only be able to achieve the Quality of BIM design, but also contribute to the expansion of BIM and future construction BIM.

날개의 전개성능 확인을 위한 공압식 시험장치 성능 해석 (Performance Analysis of Pneumatic Device for Verification of Canard Deployment Performance)

  • 이동훈
    • 한국군사과학기술학회지
    • /
    • 제19권2호
    • /
    • pp.145-154
    • /
    • 2016
  • In this paper, a pneumatic device for the deployment performance verification of canards deployed by inertia has been designed and the performance of the pneumatic device has been proven through analysis and tests. The pneumatic conveying process, orifice opening process and piston movement process of the pneumatic device were investigated by using numerical methods. The orifice diameter, pressure in a pressure tank and type of gas were regarded as the main design parameters of the pneumatic device. The error rate between analysis and test results under the same conditions was within 4 %. The accuracy of numerical methods used in this study were validated.

3차원 시뮬레이션을 활용한 PSC 박스거더교 세그먼트 제작 공정의 검증 (Verification of Manufacturing Process of PSC Box Girder Bridge Segment by 3D Simulation)

  • 김민석;손흥락;이광명;박영하;박민석
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2008년도 정기 학술대회
    • /
    • pp.235-240
    • /
    • 2008
  • PSC box girder bridges are built through the repetitive manufacturing process of concrete segment. However, during the initial segment manufacturing stage, design change may occur frequently due to design errors and interferences between components, resulting in the extension of segment manufacturing period. This paper aims to verify the manufacturing process of PSC box girder segment by 3D simulation technique. All the components of a segment were modelled and assembled by simulation technique and then, some design errors were found and revised appropriately to optimize the manufacturing process of segment. Consequently, 3D simulation technique would be promising to improve the quality of the segment and to reduce its manufacturing time and cost.

  • PDF

볼스터스 공정설계 전문가시스템 개발에 관한 연구 (Development of Expert System for Process Design of Ball Stud)

  • 송종호;김홍석;임용택;강종훈;서성렬;정순철;김주현
    • 한국소성가공학회:학술대회논문집
    • /
    • 한국소성가공학회 1997년도 추계학술대회논문집
    • /
    • pp.168-171
    • /
    • 1997
  • With the development of computers, CAD(Computer-Aided-Design)/CAM (Computer-Aided-Manufacturing) has been increasingly applied to manufacturing processes to increase productivity, and recently studies of expert systems, a field of Al(Artificial Intelligence), are being carried out to assist process designs. In this study, an expert system for the process design of ball stud was developed. The adequacy of the developed system was examined through comparisons with actual blueprints and verification by experts. The designed process data was saved in dxf file format for transfer to AutoCAD, from which prototype process blueprints were obtained.

  • PDF

자동차 프레스 금형 설계를 위한 3차원 CAD 시스템의 개발 (Development of Three-dimensional CAD System for Die Design for Automotive Body Panels)

  • 이상화;유승우;이상헌
    • 한국CDE학회논문집
    • /
    • 제12권1호
    • /
    • pp.39-49
    • /
    • 2007
  • Recently three-dimensional (3-D) die design and production process has been widely introduced into the tooling shops of automotive manufacturers to reduce time-to-production of brand-new automobiles. 3-D solid models created in CAD systems are used not only for various simulations for design verification, but also for NC tool path generation to machine dies and their Styrofoam patterns. However, a lot of time and cost will be required to build solid models for dies if designers use only the generalized modeling capabilities of commercial 3-D CAD systems. To solve this problem, it is necessary to customize 3-D CAD system for the specific die design and manufacturing process. This paper describes a dedicated 3-D CAD system based on Unigraphics for die design for automotive body panels. The system provides not only 3-D design capabilities, but also standard part libraries, to enhance design productivity. The design process modeling technology has been introduced to facilitate redesign of the die for the modified panel. By introducing this system, dies can be designed more rapidly in the 3-D space, and their solid data can be directly transferred to CAM tools for NC tool path generation and simulation tools for virtual manufacturing.

액체로켓 산화제 지상공급시스템의 운용 프로세스 설계 및 검증 (Operating Process Design and Verification on the Oxidizer Filling Ground Facility for Liquid Rocket)

  • 김지훈;박순영;박편구;유병일
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2011년도 제37회 추계학술대회논문집
    • /
    • pp.781-783
    • /
    • 2011
  • 액체로켓 발사를 위한 설비인 산화제 지상공급시스템은 발사체에서 요구하는 까다로운 요구조건을 충실히 수용할 수 있어야 한다. 발사체는 무게 감량 등을 위해 불필요한 단열재 등을 최대한 갖추지 않고 임무 요구조건 만족을 위해 탑재하는 액체산소량도 까다롭게 관리한다. 이러한 조건들은 최대한 지상 설비가 수용해주어야 하며 그 조건들을 만족시키기 위한 운용 프로세스를 설계해야 한다. 본 논문에서는 액체로켓 산화제 지상공급시스템의 운용 프로세스의 설계 및 검증시험 결과를 정리하였다.

  • PDF

휴대전화 초기설계에서의 형태인자 선정 방법론 (Methodology of Selecting FormFactor in the Early Design of Mobile Phone)

  • 이경수;김민수;차성운
    • 한국정밀공학회지
    • /
    • 제27권11호
    • /
    • pp.63-71
    • /
    • 2010
  • FormFactors is one of the most critical design factors in early development of mobile phone, and proper selection of FormFactors is necessary for smoothness of product development and customer satisfaction. Especially, emergence of mobile convergence added so various functions besides its original call function that importance of selecting FormFactors has increased because multiform FormFactors are needed. However there is problem such as frequent change of decision making in existing process because established process picks out FormFactors sensibly and arbitrarily through idea pull and so forth. We proposed FormFactors selection process by Axiomatic Design, set approach method and block approach method for reasonable and systematical FormFactors selection. First of all, we set the purpose of mobile phone development, and it is examined by Axiomatic Design. FormFactors design matrix is deduced through this process, the numbers of axes and rails are proposed using set approach method, and then patterns of FormFactors are embodied by block approach method. Particularly process application was tried through case study of mobile phone development, and we ensured that new FormFactors can be presented to a designer by systematical verification if change of customer requirements occurs through our process.