• 대한수학회논문집
• /
• 제32권4호
• /
• pp.885-898
• /
• 2017

The Bailey lemma has been a powerful tool in the discovery of identities of Rogers-Ramanujan type and also ordinary and basic hyper-geometric series identities. The mechanism of Bailey lemma has also led to the concepts of Bailey pair and Bailey chain. In the present work certain new WP-Bailey pairs have been established. We also have deduced a number of basic hypergeometric series identities as an application of new WP-Bailey pairs.

• 경영과학
• /
• 제21권2호
• /
• pp.1-14
• /
• 2004

This paper presents a review on the operations research modeis for environmental management including water, land, and air poliution in the environmental chain and including waste treatment, reverse logistics, and product recovery in the supply chain for last 30 years. The integrated and globalized environmental issues have given OR professionals a lot of natural opportunities for an effective environmental management with mathematical programming and computer simulation tool.

• 대한안전경영과학회지
• /
• 제12권4호
• /
• pp.161-168
• /
• 2010

RFID has been used as an identification tool substituting bar-code and its application areas are increasing due to its suitability in ubiquitous environment. This paper reviews RFID applications in some areas in which a serious amount of applications were reported such as material handling, physical distribution, and supply chain management of perishable products. The authors try to suggest research issues along with the limitations of RFID.

• 정보보호학회논문지
• /
• 제28권5호
• /
• pp.1225-1231
• /
• 2018

FPGA(Field Programmable Gate Array)를 이용한 시스템 개발은 개발 시간 단축 및 비용 절감을 위해 제3자에게 아웃소싱하는 형태로 발전하고 있다. 이러한 과정에서 악의적인 기능 및 오작동을 유발하는 하드웨어 악성기능(Hardware Trojan)이 시스템에 유입될 위협 또한 증가하고 있다. 하드웨어 악성기능의 탐지를 위해 다양한 방법들이 제시되고 있으나 FPGA에 탑재되는 비트스트림을 직접 수정하는 형태의 하드웨어 악성기능은 기존에 제시된 방법으로 탐지하기 어렵다. 이러한 유형의 하드웨어 악성기능 탐지를 위해서는 비트스트림으로부터 구현된 회로를 식별 가능한 수준으로 역공학하는 과정이 필요하며, 회로를 구성하는 여러 요소 중 특히 신호의 입출력 흐름을 파악할 수 있는 연결 정보를 역공학하는 것이 중요하다. 본 논문에서는 FPGA 비트스트림으로부터 연결 정보를 복구하는 도구인 BIL을 분석하고 이를 개선하기 위한 방법을 제시한다.

• 정보과학회 논문지
• /
• 제45권3호
• /
• pp.242-250
• /
• 2018

고품질의 소프트웨어를 만들기 위해서는 발생하는 결함을 발견하고 해결해야 한다. 결함 관리 작업의 소홀함은 후에 재작업을 요구하게 되고, 결국 납기 지연 등 프로젝트 실패로 이어질 수 있다. 그러므로 조직들은 결함 관리 프로세스를 정립하고 내재화해야 한다. 관련 표준 모델들은 결함 관리 프로세스를 프로젝트 모니터링 및 제어 영역에서 다루고 있다. 하지만, 소규모 조직에서는 표준 문서 기반의 프로세스 구현에 어려움을 느끼고, 적용하지 못하고 있는 것이 현실이다. 본 논문에서는 소규모 프로젝트 참여 인원과 기간에 적합한 결함 관리 프로세스와 체계적인 지원을 위한 Redmine과 Subversion, Maven, Jenkins 등의 오픈 소스 소프트웨어 기반의 SW Visualization 구축 방안을 제시한다. 또한, 결함 데이터 베이스 구축과 이를 기반으로 결함 데이터 분석 및 제어 활동을 위한 방안을 제시한다. 제안한 프로세스와 Tool Chain을 중소기업에 적용하여 그 효율성을 입증하였다.

• 디지털융복합연구
• /
• 제20권2호
• /
• pp.9-20
• /
• 2022

공급망 공격은 주요기반시설을 타겟하여 피해 규모가 크고 공공 안전 및 국가안보를 위협하는 요소로 진화하고 있다. 이에 사이버안보 전략 및 정책 수립 시 공급망 위험관리를 명시하여 보안성을 제고하고 있으며, 2021년 미(美) 바이든 행정부가 발표한 국가 사이버안보 강화를 위한 행정명령에서는 소프트웨어 공급망 보안 강화를 위한 지침 중 일부로 SBOM을 언급하였다. 정부 차원에서 SBOM을 의무화하여 공급망 보안 검증 도구로 활용한다면, 향후 국내 조달체계에도 영향을 받을 수 있으며 정책 시행 경과에 따라 국내 공급망 보안 체계 수립 시에도 참고 가능할 것으로 보인다. 이에 따라 본 논문에서는 소프트웨어 공급망 보안 강화 방안으로써 SBOM 정책을 추진 중인 국가를 선정하여 관련 사례를 중점으로 분석하였다. 또한, 국외 SBOM 정책 동향의 비교·분석을 통하여 국내 SBOM 도입 시 기술, 정책, 법률측면에서의 활용 방안을 고찰하였다. 향후 공급망 무결성·투명성 검증 도구로 SBOM의 활용 가치가 기대되는바 SBOM에 대한 국제적 표준화 정립 및 정책 개발에 관한 지속적인 동향 파악과 표준 형식 개발 연구가 요구된다.

• 디지털융복합연구
• /
• 제17권5호
• /
• pp.145-155
• /
• 2019

의료산업분야에서도 헬스케어 공급망관리는 서비스품질 개선과 운영비용 절감을 위한 핵심도구로 많은 주목을 받고 있다. 특히 대형병원의 경우 서비스품질 제고와 병행하여 지속적으로 증가하기만 하는 헬스케어비용을 줄이기 위해 노력하는 현 상황에서 공급망 부문의 성과제고는 전략적으로 더욱 중요해지고 있다. 본 논문은 공급망관리를 통해 대형병원의 성과제고에 기여할 수 있는 병원운영상의 전략적 이슈에 대해 논의하고자 한다. 기존 연구논문 및 관련 자료분석을 통해 대형병원의 헬스케어 공급망관리의 기본 틀을 제시하고 운영 과정상의 정보 가시성과 공유 그리고 표준화 등이 핵심 요소임을 논리적으로 제시하였다. 또한 실제적인 공급망 운영을 위해 효율적인 계획수립과 운영프로세스, 각종 기자재의 추적가능성 극대화를 위한 RFID 활용, 의약품과 각종 소모품재고 절감을 위한 크로스 도킹시스템의 도입도 제안하였으며, 본 연구에서 논의한 공급망관리 운영기법에 대한 시사점도 제시하였다.

• 산업공학
• /
• 제15권1호
• /
• pp.55-63
• /
• 2002

This paper utilizes the FIDO methodology (Function, Information, Dynamic, Organization modeling) which is an enterprise modeling tool that can describe inter-organizational interaction (specifically between prime and sub contractors in this experiment). FIDO follows the standard IDEFO rules in order to demonstrate how a cascading information flow can evolve from a customer to a prime to a subcontractor in a concurrent manner, in a supply chain environment. Background on these processes is presented, followed with the newly derived process and methodology. This is presented in a supply chain management context, and results from an actual experiment at Motorola utilizing subcontractors that supply custom machine parts is presented and reviewed.

• International Journal of Quality Innovation
• /
• 제1권1호
• /
• pp.64-74
• /
• 2000

This paper investigates the issue of performance testing on web browsing environments. Among the typical non-functional characteristics, index of link validity will be deeply explored. A framework to certify link correctness in web site is proposed. All possible navigation paths are first formulated to represent a usage model with the Markov chain property, which is then used to generate test script file statistically. With collecting any existing failure information followed by tracing these testing browsed paths, certification analysis may be performed by applying Markov chain theory. The certification result will yield some significant information such as: test coverage, reliability measure, confidence interval, etc. The proposed mechanism may provide not only completed but also systemic methodologies to find any linking errors and other web technologies errors. Besides, an actual practice of the proposed approach to a web-based system will be demonstrated quantitatively through a certification tool.

• 미생물학회지
• /
• 제40권3호
• /
• pp.254-256
• /
• 2004

Polymerase chain reaction (PCR) is a powerful tool for precisely amplifying selected DNA sequences that have had a broad impact on genomic studies. When examining human $\alpha$- and $\beta$- tryptase genes which have 95% DNA homology, inconsistent PCR amplification of genomic sequences hampered our progress. This study suggests that long PCR technique on the original DNA digested with restriction enzymes improves both efficiency and sensitivity of PCR. These improved results seem to derived from the effective denaturation of the original genomic DNA template or reduction of formation of secondary structures that block either primer annealing or extension in PCR. Elimination of homo- or hetero-duplex products derived from highly homologous genes provides an additional advantage in this study. This communication describes how the use of restriction enzymes improved these efficiencies, and also facilitated studies of highly homologous genes including tryptase genes.