• 한국전자파학회논문지
• /
• 제13권7호
• /
• pp.693-701
• /
• 2002

본 논문에서는 간섭제거기(IC: Interference Cancellation or MUD; Multi-User Detector)를 적용한 WCDMA (Wideband Code Division Multiple Access)방식 의 비동기식 IMT(International Mobile Telecommunication)-2000 시스템에서 역방향 링크의 통화권에 대해 분석하였다. 간섭제거기는 역방향 링크의 통화권 확장을 위해 사용되었으며, 시스템 용량과 통화권의 관계를 대수-정규(log-normal)분포의 전파음영 환경에서 경로손실과 전파음영감쇠를 포함하는 전파손실모델 및 간섭의 영향을 고려하였다. 간섭량은 정량 산출이 어렵기 때문에 본 논문에서는 전체 셀의 간섭 대 내부 셀의 간섭비를 이용하였다. 간섭제거기를 사용하여 다중접속간섭(MAI; Multiple Access Interference)의 제거를 통한 시스템의 성능향상을 비교 분석하기 위해 간섭제거기 효율($\beta$)을 이용하였다. 모의실험은 실제 무선전파환경에 근접한 전파예측 모델인 Hata모델을 이용하여 반송파 주파수 800 MHz와 1900 MHz에서 음성서비스와 데이터서비스의 전송속도(bit rate)에 따라 동일한 대역폭(3.84 MHz)에서의 통화권을 분석하고, 내부셀에 간섭제거기를 적용하여, 용량 및 통화권의 성능을 비교 분석하여 실제 시스템에서의 성능을 예측하였다.

• 정보보호학회논문지
• /
• 제24권3호
• /
• pp.437-444
• /
• 2014

본 논문에서는 그래프 기반의 바이너리 코드 동적 실행 경로 탐색 플랫폼을 제안한다. 바이너리 코드의 조건 분기 명령어를 노드(Node), 그 외의 명령어를 에지(Edge)로 구성된 그래프를 정의하며, 이 그래프를 기반으로 하여 실행 경로 탐색을 수행하는 방안을 제안한다. 실험을 통해 제안하는 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼의 프로토타입이 실행 경로 탐색을 올바르게 수행함을 확인하였으며, 본 논문에서 제안하는 방안을 통해 소프트웨어 테스팅을 보다 효과적으로 수행하여 소프트웨어 보증, 시큐어 프로그래밍 및 악성 프로그램 분석 등을 보다 효과적으로 수행할 수 있을 것으로 기대한다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.587-604
• /
• 2021

라이브러리는 독립적으로 실행되지 않고 많은 응용 프로그램에서 사용되므로, 라이브러리의 취약점을 사전에 탐지하는 것은 중요하다. 라이브러리 취약점을 탐지하기 위해 동적 분석 방법인 퍼징이 사용되고 있다. 퍼징 기술은 코드 커버리지 및 크래시 발생 횟수 측면에서 개선된 결과를 보여주지만, 그 효과를 라이브러리 퍼징에 적용하기는 쉽지 않다. 특히, 라이브러리의 다양한 상태를 재현하려면 특정 함수 시퀀스를 호출하고 퍼저의 입력을 전달하여 라이브러리 코드를 실행하는 퍼징 대상 파일과 시드 코퍼스가 필요하다. 그러나 퍼징 환경(시드 코퍼스, 퍼징 대상 파일)을 준비하는 것은 라이브러리에 대한 이해와 퍼징에 대한 이해가 동시에 필요한 어려운 일이다. 이에, 본 논문에서는 테스트 프레임워크를 활용하여 라이브러리 퍼징의 용이성을 확보하고, 코드 커버리지와 크래시 탐지 성능을 향상하기 위한 개선 방법을 제안한다. 본 논문에서 제안한 시스템은 9개의 오픈 소스 라이브러리에 적용하여 기존 연구들과 비교를 통한 개선 효과를 검증하였다. 실험 결과 코드 커버리지 31.2%, 크래시 탐지 기준 58.7%의 개선효과를 확인하였고, 3개의 알려지지 않는 취약점을 탐지하였다.

• Journal of Communications and Networks
• /
• 제8권1호
• /
• pp.49-58
• /
• 2006

One of the first decisions that a radio network designer must take is the location of base stations and the distance between them in order to give the best coverage to a region and, possibly, to reduce deployment costs. In this paper, the authors give an insight to this matter by presenting a possible solution to a real problem: Planning the base stations layout for a universal mobile telecommunications system (UMTS) in the city of Barcelona. At the basis of this problem, there is the interdependence between coverage and capacity in a wideband-code division multiple access (W-CDMA) system, which is a new element in the planning of BS layout for mobile communications. This aspect has been first treated with an analytical study of the cell coverage range for a specific environment and service. The achieved results have been checked with the help of snapshot simulations together with a geographical information system (GIS) tool incorporated in the simulator that allows to perform analysis and to visualize results in a useful way. By using the simulator, it is also possible to study a more complex environment, that of a set of base stations providing multiple services to a large number of users.

• 한국항행학회논문지
• /
• 제14권6호
• /
• pp.845-850
• /
• 2010

본 논문에서는 MBSFN (Multicast Broadcast Single Frequency Networks)영역에서 비디오 서비스 영역(coverage)을 SVC (Scalable Video Coding)와 계층 차별적 변조 방법을 이용하여 개선시킴을 보였다. 계층적으로 압축된 SVC 비디오 데이터의 각 계층에 따라 변조 방법을 다르게 적용하고, 또한 Raptor FEC (Forward Error Correction)를 이용함으로 기존의 단일계층 AVC (Advanced Video Coding)비디오를 이용하는 것 보다 최소 품질의 서비스 영역을 제공 할 수 있다는 것을 증명 하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1306-1309
• /
• 2003

In the present paper, finite element analyses were carried out to evaluate the most important feature of a stent, that is. high radial strength and flexibility. Palmaz-Schatz 154 stent and two new models(stent A, stent B) were selected because they are the most representatives of tubular stents. Finite element analyses for the stent system were performed using ABAQUS/Explicit code. As a result, Palmaz-Schatz 154 stent shows sufficient radial strength but it needs some improvement in general properties such as high flexibility, low elastic recoil, low longitudinal contraction and low metal coverage area. Other two models show that sufficient flexibility, foreshortening and longitudinal recoil.

• 한국위성정보통신학회논문지
• /
• 제2권2호
• /
• pp.80-84
• /
• 2007

본 논문에서는 MIMO (multi input multi output) 기술의 위성 통신에 적용을 위한 연구에 대해 논하고자 한다. 위성은 광역 커버리지의 장점을 활용하여 DVB-S/S2, DVB-SH와 같은 방송 서비스 및 지상망 커버리지외각에 대해 음성 및 데이터 fill-in 서비스 제공하여 왔다. 한편 최근의 지상망은 MIMO 기술을 적용하여 높은 전송 효율 및 전송 커비러지를 넓히는 것을 가능하게 하였다. 이러한 관점에서, 위성 시스템의 지상망과의 효율적인 공존 및 4세대 통신에서 요구하는 유비커터스 환경에 부합하기 위해서는 지상망의 핵심 기술인 MIMO 기술의 위성 시스템 적용을 위한 연구가 필요하다. 이에 본 논문에서는 위성 및 IMR (intermediate module repeater) 환경에서의 효과적인 MIMO적용을 위한 여러 시스템 시나리오들을 소개하고 각각의 시나리오 모델에서 필요로 하는 기술적 요구사항 및 적용 가능성에 대해 논하고 대략적인 실험 결과를 통해 그 가능성을 확인 하고자 한다. MIMO기술은 크게 Space time coding (STC)기법과 Spatial multiplexing (SM) 기법으로 나눌 수 있는데, 위성 통신에서는 STC 의 위성 및 IMR환경에서 전송 효율 및 IMR cell 커버리지를 증가 시키기 위해 사용되었으며, SM의 경우 IMR환경에서 위성에서 전송된 방송 외에 IMR cell지역의 지역 방송을 multiplexing 하기 위한 형태로 형태로 활용 되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.773-778
• /
• 2010

국제 웹 어플리케이션 보안 연구 단체(OWASP)는 2007년에 이어 2010년에도 취약점 대부분이 사용자의 외부 데이터 입력에 기인한 것으로 발표했다. 이러한 오염된 입력 데이터는 실행 시점에서 결정되기 때문에 동적인 취약점 분석이 필요하다. 동적 분석 방법은 주로 실행 시점의 데이터 분석이나 경로 흐름 분석을 위해 인스트루먼트를 코드 내에 삽입 한다. 하지만 직접적인 코드의 삽입은 관리와 확장이 어려워 분석 범위와 대상이 증가할 때 마다 코드 조각들이 흩어지게 된다. 게다가 인스트루먼트 모듈과 시험 대상 모듈 간의 결합도가 높아진다. 따라서 개발이나 유지보수 단계에서 삽입한 분석 코드를 수정하거나 확장하는데 많은 노력이 필요하게 된다. 본 논문은 이러한 문제점을 해결하기 위해 AOP를 이용하여 취약점을 하나의 관심사로 분류함으로써 결합도의 증가 없이 삽입, 삭제와 유연한 확장이 용이한 방법을 제안한다.

• 대한지역사회영양학회지
• /
• 제7권6호
• /
• pp.852-862
• /
• 2002

The purposes of this study were 1) to review the Medical Nutrition Therapy (MNT) Act of the United States, 2) to introduce the efforts of the American Dietetic Association (ADA) to expand the Medicare coverage for MNT and 3) to provide information about the reimbursement under Medicare Part B for the cost of MNT. The MNT Act defined MNT services as “the nutritional diagnostic, therapeutic, and counseling services provided by a Registered Dietitian or nutritional professional for the purpose of managing diabetes or renal diseases”. Also, the MNT Act defined “conditions for coverage of MNT”, “limitations on coverage of MNT”, and “qualifications of MNT service provider”. To expand the coverage of Medicare to include MNT, the ADA realized the need for development of a protocol for MNT, as well as studies to evaluate the effectiveness and cost-effectiveness of the MNT protocol developed. Therefore, the ADA supported the studies to develop a strong database of scientific investigations of nutritional services. Furthermore, the ADA needed credible data that could be used by Policy makers, so the ADA contracted with the Lewin Group to if out the study to gather the additional data needed to strengthen the ADA's position. In the report of the Lewin Group, which was entitled, “The Cost of Covering Medical Nutrition Therapy under Medicare : 1998 through 2004”, it was concluded, that if coverage for MNT in the Part B portion of Medicare had begun in 1998, by 2004, approximately $ 2.3 billion would have been saved through reduced hospital spending under Part A of Medicare ($ 1.2 billion) and reduced physician visits under Part B ($ 1.1 billion) Effective January 1 2002, the US Congress extended Medicare coverage to include MNT to beneficiaries with diabetes or renal diseases. The Centers for Medicare and Medicaid Services (CMS) established the duration and frequency for the MNT based on published reports or generally accepted protocols (for example, protocols suggested by the ADA). The number of hours covered by Medicare is 3 hours for the initial MNT and 2 hours for a follow-up MM. In 2002, a Medicare coverage policy was made to define the Physician's Current Procedural Terminology (CPT) codes 97802, 97803, and 97804 for MNT.

• 전기전자학회논문지
• /
• 제18권4호
• /
• pp.566-571
• /
• 2014

A safety class field programmable gate array based system in nuclear power plant has been developed to improve the diversity. Testbench is necessary to satisfy the technical reference, IEC-62566, for verification and validation of register transfer level code. We use the open verification methodology(OVM) developed by standard body. We show that our testbench can use random input for test. And also we show that reusability of block level testbench for the integration level testbench, which is very efficient for large scale system like nuclear reactor protection system.