• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1363-1372
• /
• 1999

에이전트 기반 이동 컴퓨팅 환경에서 전자 상거래를 구현하기 위해 가장 필요로 하는 것은 안전한 지불 구조를 제공하는 것이다. 본 연구에서는 불확정 전송 기법 1,2 을 사용한 비대화형 엔티티 인증 기법과 Horster 기법 4,5 을 기반으로 메시지 복원 기능을 제공하는 공정 은닉 서명 기법을 제시한다. 또한 이를 직접 Brands가 제시한 오프-라인 전자 지불 시스템 3,6 에 접목한다. 인증 단계가 비대화형으로 수행되므로 이동 엔티티 인증에 효율적이고, 메시지 복원 기능을 갖고 공개 검증 기능을 제공하는 은닉 서명을 적용하기 때문에 카운터 방식을 사용한 스마트 카드 기반 전자 지불 시스템 6 에 효과적으로 적용할 수 있었다. 전자 화폐에 대해서 신뢰 센터에 의한 공정성 검토 기능을 추가로 제공하므로 전자 지불 시스템의 신뢰성을 향상시킬 수 있다.Abstract The primary requirements for realizing the electronic commerce in agent based mobile computing environments are to implement the compatible secure payment framework. In this paper, we propose both the non-interactive entity authentication scheme that is combined with oblivious transfer protocol 1,2 and the message recovery fair blind signature based on Horster scheme 4,5 . And these techniques are directly applied to the Brand's off-line electronic payment system 3,6 . As the authentication processes are done by non-interactive manner, we can also get efficiency for mobile entity authentication. Additionally, as the used signature scheme provides a message recovery function with publicly verifiable properties, it is efficiently applicable to a counter based off-line electronic payment scheme 6 based on the additional device like smart card. Therefore, we can enhance the reliability of proposed electronic payment system based on the publicly verifiable fairness in its electronic cash by a trusted judge.

• 한국소음진동공학회논문집
• /
• 제22권12호
• /
• pp.1237-1242
• /
• 2012

No matter how low it might be, noise from home appliances in indoor environment cause displeasure for residents as it is produced nearby. Electronic goods including vacuum cleaner and washing machine generate high frequency noise, which interrupts TV-watching or conversations and cause noises between floors in apartment houses. In particular, refrigerators make constant noise late at night, hampering the study for exams and causing sleeplessness. Korea, despite the government's efforts to promote low-noise goods based on the noise test by corporation, there is a lack of standardization in the test method, test condition and measuring equipments. This is a major reason that lowers the reliability of low-noise products. At present, low-noise home appliances are certified with eco labeling in the nation but, only 7 brands of refrigerators, 4 brands of washing machines and 97 brands of air-conditioners obtained certification as of august, 2011. In addition, none of Kimchi-refrigerator and vacuum cleaner brands were approved as low-noise home appliances. This shows Korea's relatively underdeveloped market for low-noise products, which, in part, is because of the difficulties companies face in being certified with eco labeling as they should satisfy various requirements such as power-saving and eco-friendly design besides low-noise features. As a result, low-noise labeling for home appliances should be established for the revised noise and vibration management law and the study was carried out to establish low-noise labeling system for major noise sources including vacuum cleaner, washing machine, air-conditioner and refrigerator.

• 한국자동차공학회논문집
• /
• 제21권3호
• /
• pp.148-156
• /
• 2013

Since the demand for new military vehicle to fulfill the necessary conditions such as multi-purpose, high-mobility, and survivability has raised continuously from the army, the prototype of a Korean light tactical vehicle was developed to meet these requirements using our own technology. In particular, the new tactical vehicle was equipped with a double wishbone independent suspension to improve ride and handling and maximize off-road driving performance. In this paper, a comprehensive virtual durability process to evaluate the service life of the prototype is presented. A reliability of the trimmed body model based on CATIA data was verified by comparison result between mode analysis and modal test. The dynamic model was constructed using ADAMS/Car, and then the weight distribution and lateral slope driving performance of it were compared with the results of static weight and lateral slope tests. The validity of the VTL(Virtual Test Lab) was checked with test results from the 3-inch spaced impact road. The durability performances of trimmed body and suspension components were evaluated through MSM(Modal Superposition Method) fatigue analysis. It is shown that the virtual durability process could be a helpful tool to find out the weak areas and improve their structures in developing new military vehicle.

• 한국항공우주학회지
• /
• 제31권8호
• /
• pp.91-98
• /
• 2003

발사체의 구조해석적인 측면에서 외부하중에 따른 발사체의 반응을 파악하는 것은 중요한 일이다. 기본적으로 발사체는 응력집중이나 내부 모듈간의 변위 간섭 등이 일어나지 않게 설계되어야한다. 이를 위해서는 외부하중에 관한 연구가 선행되어야 한다. 발사체에 작용하는 외부하중 중 연소 및 배기에 의해 발생하는 음향하중은 통계적 방법으로 다루어야 하는 랜덤 하중이다. 본 연구에서는 발사시 작용하는 음향하중에 대하여 하중 함수를 구성하고, 이를 이용하여 발사체의 하중해석을 수행하였다. 음원 할당 방법으로 음향하중을 추정하여 하중함수를 구성하였고, 이를 발사체의 유한요소 모델에 적용하였다. 응력해석을 이용하여 발사체의 구조 강성을 확인할 수 있었으며, 발사체 각 섹션의 경계면에서의 가속도 파워 스펙트럴 밀도함수를 구할 수 있었다. 이러한 결과를 이용하여 각 섹션의 진동 시험에 필요한 스펙을 도출할 수 있다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권9호
• /
• pp.535-541
• /
• 2017

소프트웨어 시장 규모가 확대되면서 다양한 요구사항을 만족시키는 대규모 소프트웨어가 개발되고 있다. 이로 인해 소프트웨어 복잡도가 증가하게 되고 품질 관리는 어려워졌다. 특히, 레거시 시스템의 개선 및 새로운 시스템 개발 환경에서 재사용은 중요하다. 이 논문에서는 품질을 인증 받은 모듈을 재사용하는 방법을 제안한다. 재사용 적용 레벨은 코드 영역(메소드, 클래스, 컴포넌트), 프로젝트 도메인, 비즈니스로 나누어진다. 이 논문에서는 소프트웨어 복잡성을 측정하는 결합도와 응집도 기반의 재사용 메트릭과 메소드와 클래스 레벨에 따라 "재사용에 적합한 모듈 덩어리"를 시각화하는 재사용 적합 모듈 추출 메카니즘을 제안한다. 레거시 프로젝트에 역공학 기법을 적용하여 어떤 모듈/객체/덩어리가 재사용할 수 있는 지를 식별하고 확장 시스템을 개발하거나 유사한 새로운 시스템을 개발하기 위해 재사용한다면 소프트웨어의 신뢰성을 보장하고 소프트웨어 개발 단계에서 필요한 시간과 비용을 절감시킬 수 있다.

• 한국분말재료학회지
• /
• 제26권6호
• /
• pp.508-514
• /
• 2019

In the development of advanced ceramic tools, material improvements and design freedom are critical in improving tool performance. However, in the die press molding method, many factors limit tool design and make it difficult to develop innovative advanced tools. Ceramic 3D printing facilitates the production of prototype samples for advanced tool development and the creation of complex tooling products. Furthermore, it is possible to respond to mass production requirements by reflecting the needs of the tool industry, which can be characterized by small quantities of various products. However, many problems remain in ensuring the reliability of ceramic tools for industrial use. In this study, alumina inserts, a representative ceramic tool, was manufactured using the digital light process (DLP), a 3D printing method. Alumina inserts prepared by 3D printing are pressurelessly sintered under the same conditions as coupon-type specimens prepared by press molding. After sintering, a hot isostatic pressing (HIP) treatment is performed to investigate the effects of relative density and microstructure changes on hardness and fracture toughness. Alumina inserts prepared by 3D printing show lower relative densities than coupon specimens prepared by powder molding but indicate similar hardness and higher fracture toughness values.

• 한국정보과학회논문지:정보통신
• /
• 제37권2호
• /
• pp.109-121
• /
• 2010

최근, 우리 군에서는 무선망을 기반으로 하는 차세대 전술통신체계인 전술종합정보통신체계 (TICN: Tactical Information Communication Network) 구축 사업을 진행하고 있다. TICN 시스템 전체의 백본 역할을 수행하는 TICN 전달망에서는 경로의 생존성과 신뢰성 및 무선링크의 안정성을 고려하는 라우팅과 플로우 별 최소 서비스 품질을 보장하면서도 가능한 한 많은 플로우들을 서비스할 수 있는 라우팅이 요구된다. 그러나 군에서 도입하고자 하는 상용 OSPF(Open Short Path First)는 TICN 전달망에서의 라우팅 요구사항을 만족하기 어렵기 때문에 군에서는 라인접속장치라고 하는 새로운 장치를 도입하여 상용 OSPF를 TICN 전달망 라우팅 프로토콜로 사용할 수 있도록 하고자 한다. 이에 본 논문에서는 이장치에서 계산될 OSPF 비용함수를 제안하고, 제안하는 비용함수를 적용한 OSPF에서 프로토콜 파라미터들의 값을 TICN 전달망 환경에 적합하도록 튜닝하고자 한다. 시뮬레이션을 통하여 제안하는 비용함수를 사용하는 OSPF가 기존 OSPF에 비해 응용 서비스의 통신성능과 네트워크 자원 활용률 측면에서 더 좋은 성능을 보임을 알 수 있었다.

• 한국정보과학회논문지:정보통신
• /
• 제28권4호
• /
• pp.559-569
• /
• 2001

인터넷의 급속한 성장과 함께 멀티캐스트 프로토콜을 사용하는 어플리케이션들이 증가하고 있는 추세이다. 이러한 멀티캐스트 프로토콜에서 중요하게 요구되는 사항은 신뢰성과 확장성이다. 그 중 확장성을 향상시키기 위해서 여러 지역적 오류 복구 기법이 사용되고 있다. 본 논문에서는 기존의 지역적 오류 복구 기법에서 발생하는 제한점을 설명하고, 이 문제를 해결하기 위해서 보다 안정적이고 효과적인 프로토콜을 제안하였다. 제안된 프로토콜은 다음과 같은 세 가지 특성을 가진다. 첫 번째는 NAK 메시지를 기능에 따라 오류 복구 요청과 NAK-suppression으로 분리하여 각각 전송함으로써, 각 기능에 대해 최적화를 시키는 것이다. 두 번째는 점진적, 분산적으로 선정된 지역 대표가 오류 복구를 보다 결정적으로 수행하도록 하는 것이다. 세 번째는 제어 메시지의 TTL값을 동적으로 조정함으로써, 오류 복구 영역을 최소화시키는 것이다. 제안된 프로토콜은 시뮬레이션 상에서 다른 프로토콜과의 비교 실험을 통해 성능평가를 하였다. 실험 결과, 제안된 프로토콜은 오류 복구 시간과 네트워크 오버헤드를 감소시킴으로써 확장성을 향상시킨다는 것을 확인하였다.

• 한국기록관리학회지
• /
• 제12권1호
• /
• pp.189-207
• /
• 2012

본 연구는 표준 기록관리시스템이 공공기관에서 운영되는 것이 일반화되기 시작한 시점에서 시스템에 대한 전반적인 진단이 필요하다고 보고 기록관리시스템의 기능성과 인터페이스에 대한 만족도를 평가하였다. 이러한 평가를 통하여 표준 기록관리시스템의 문제점을 파악하고 더 나아가서 기능성을 향상시킬 수 있는 개선점을 밝히는 것이 본 연구의 목적이다. 이를 위하여 현재 표준 기록관리시스템을 사용하는 기록관리 전문요원은 시스템 기능성을 신뢰성, 효율성, 사용성면에서 평가하였고 인터페이스에 대해서는 사용성면에서 평가하였다. 그 결과, 기능 품질에 대해서는 보통정도의 만족도를 보였지만, 시스템 인터페이스에 대해서는 불만족한 것으로 나타났다. 또한 기록관리 전문요원은 시스템 신뢰성을 더 만족하였지만 효율성과 사용성과의 통계적인 차이는 없는 것으로 나타났다. 따라서 앞으로 표준 기록관리시스템 사용 용이성을 높여야 하고 대량 일괄작업과 기능의 모듈화를 통하여 시스템의 효율성을 높여야 할 것이다. 기록관리시스템이 계속적으로 발전하기 위해서는 중장기적인 계획 아래 표준을 먼저 재정비하고 이에 따라 시스템 수정 보완을 지속적으로 수행해야 할 것이다.

• 제어로봇시스템학회논문지
• /
• 제12권2호
• /
• pp.194-200
• /
• 2006

The SoC and digital technology development recently enabled the emergence of information devices and control devices because the SoC presents many advantages such like lower power consumption, greater reliability, and lower cost. However, it is nearly impossible to use the SoC without operating systems because the SoC is included with many peripherals and complex architecture. It is required to use embedded operating systems and real-time operating systems may be used as an embedded operating system. So far, real-time operating systems are widely used to implement a Real-Time system since it meets developer's requirements. However, real-time operating systems have disadvantages including a lack of standards, expensive development, and license. Embedded Linux is able to overcome their disadvantages. In this paper, the implementation of control system platform for a mobile robot using real-time Embedded Linux is described. As a control hardware system platform, XScale board is used. As the real-time Embedded Linux, RTAI is adopted which is open source and royalty free, and supports various architectures and real-time devices, such like real-time CAN and real-time COM. This paper shows the implementation of RTAI on XScale board that means the porting procedure. We also applied the control system platform to the mobile robot and compared the Real-Time serial driver with non real-time serial driver. Experimental results show that that using RTAI is useful to build real-time control system with powerful functionalities of Linux.