• 천문학회보
• /
• 제35권2호
• /
• pp.80.2-80.2
• /
• 2010

We have made an improved catalog of O-rich AGB stars in our Galaxy from the sources listed in the Infrared Astronomical Satellite (IRAS) point source catalog (PSC). We compile the lists of previous works with various verifying processes. We have removed 115 stars from the previous catalog of Suh & Kwon (2009) and added 958 more stars. The improved catalog contains 3036 O-rich AGB stars. The content of the revised catalog can be divided into 3 groups based on the verifying processes: OH/IR stars, SiO maser stars, and other detecting methods. We compare the new catalog with the previous catalog on the infrared two-color diagrams for the large sample of O-rich AGB stars. And we discuss differences among the 3 groups of the improved catalog and identification processes of some stars in exceptive cases.

• 한국컴퓨터산업학회논문지
• /
• 제3권8호
• /
• pp.981-988
• /
• 2002

본 논문에서는 순차루프를 이용한 간단한 병렬화 컴파일러를 제안한다. 이것은 컴파일 시간에 중첩 병렬 DOALL루프로 바꾸어주는 순차루프의 자동 변환에 관한 절차이다. 이를 위해서, Parafrase II 병렬화 컴파일러의 원시 프로그램을 분석하였으며 중첩루프에서 효율적인 병렬처리를 위한 새로운 병렬성 추출 방법을 구현하였다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2017년도 춘계 학술논문 발표대회
• /
• pp.44-45
• /
• 2017

There are various national standards designed to test the physical properties of waterproofing materials for the respective countries based on each of their environmental parameters, variables and requirements. The problems of these standard systems can be outlined in the following: (1) there are too many test methods and criteria to satisfy in order assess one waterproofing membrane system, and (2) there is currently no known method to compile the separate testing results to provide a comprehensive report on waterproofing system durability. This paper outlines and compares the performance testing results of various types of asphalt waterproofing membrane systems and discusses the potentials of a complex environmental deterioration analysis method.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.419-422
• /
• 2016

소프트웨어 품질 향상을 위해 결함을 조기에 발견/수정하는 것은 중요하며, 대부분의 소프트웨어 기업과 관련 커뮤니티는 이를 위해 테스트 단계에 노력을 집중하고있다. 하지만 테스트 단계에서 결함을 검출하는 것은 시기적으로 늦은 편에 속한다. 소프트웨어 결함 수정 비용은 결함의 발견 시기가 늦어질수록 급격하게 증가하기 때문에 테스트 단계에서의 소프트웨어 품질 향상 활동은 비효율적이다. 본 논문에서는 테스트 이전의 단계에서 조기에 결함을 발견/수정할 수 있는 코드 검토 방법을 더 효율적으로 활용 할 수 있는 방법을 제시한다. 제안하는 방법은 컴파일 에러 데이터를 저장하고 이를 통계적으로 분석한 데이터를 활용해 코드 검토를 수행하는 것이다. 이 방법을 적용하면 더 효율적으로 소프트웨어 품질 향상을 이끌어낼 수 있을 것으로 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.7-10
• /
• 2000

능동형 데이터베이스 시스템은 사용자가 정의한 rule의 집합이 해당 event 가 발생하는 순간 능동적으로 일련의 행위를 수행하도록 정의된 시스템이다. 그러나. 이처럼 서로 긴밀한 관계를 갖는 rule들이 능동적으로 수행되는 과정에 종료되지 않고 무한히 순환하여 수행하는 경우가 발생할 수 있다. 이처럼 무한히 순환하여 수행할 수 있는 가능성을 분석하는 것이 Termination Analysis 이다. 본 논문은 compile time 에 rule 의 termination 을 예측하는 방법에 대한 연구로, Java Language 를 rule definition language로 사용하며, composite event의 경우도 지원하도록 기존의 Termination analysis 방법을 확장하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1089-1092
• /
• 2005

1999 년부터 상용화된 무선 인터넷 서비스는 국내의 경우 이동통신 3 사가 각기 독자적인 통신 기법 및 서비스 체제를 가지고 있었다. 이로 인하여 서로 다른 이동통신사의 무선 단말기 플랫폼들은 상호 호환성(interoperability)이 없었다. 이러한 비호환성은 단말기 제조업체나 컨텐츠 제작 업체에게 기술적인 어려움은 물론이고 비용적인 측면에서 여러 가지 문제점을 낳았다. 이러한 문제점을 해결하고자 2002 년부터 WIPI(Wireless Internet Platform for Interoperability)라는 표준화된 무선 인터넷 플랫폼의 개발이 시작되어 현재는 WIPI 2.0 을 탑재한 무선 단말기가 출시된 상황이다. 본 논문에서는 WIPI 플랫폼이 탑재된 무선 단말기가 유료화된 컨텐츠를 다운로드 하여 사용할 수 있도록 해주는 다운로드 시스템의 설계 및 구현에 대해서 기술한다. 이를 위해 컨텐츠 다운로드 프로토콜, 최적화된 컨텐츠의 결정기법, 그리고 COD(Compile On Demand)를 이용한 네이티브 코드 적용 기법에 대해 설명한다.

• 농촌계획
• /
• 제14권1호
• /
• pp.51-58
• /
• 2008

In 2007, Google has introduced a novel approach to model some cities from around the world by utilizing vast amount of information provided by internet users. They essentially built an efficient engine to collect and compile enormous stream of data that are necessary to reproduce fine details of a city. In this Letter, we propose an implementation of this novel approach to establish a Web-based visualization of rural landscape and scenery. We later demonstrate its feasibility by constructing a 3D model of Namsa-ri, Danseong-myeon, Sancheong-gun, Gyeongsangnam-do.

• 한국통신학회논문지
• /
• 제22권1호
• /
• pp.173-184
• /
• 1997

교환 소프트웨어의 규모가 커짐에 따라 이를 컴파일하고 관리하는 데에 많은 시간과 노력이 소요되고 있다. 본 논문에서는 네트워크 화일 시스템상에서 이동통신교환기 소프트웨어의 컴파일을 관리하는 시스템을 구현하고 그 구성 및 기능에 대해 기술하였다. 제안된 컴파일 관리 시스템은 네트워크 화일 시스템으로 구성된 각 시스템에 컴파일 작업을 균등하게 배분하여 분산적으로 수행하게 하고, 컴파일을 수행하는 시스템 및 컴파일 관리자와 소프트웨어 개발자간의 작업 흐름을 원활하게 관리함으로써 전체 컴파일 작업에 소요되는 시간을 크게 감소시켰다.

• 보건행정학회지
• /
• 제23권4호
• /
• pp.397-414
• /
• 2013

There have been numerous attempts at finding factors associated with profitability among hospitals in the Republic of Korea. Factors that have been shown to be related to hospital profitability have not yet been systematically reviewed. The purpose of this study was to compile and summarize published works investigating the factors associated with hospital profitability in the Republic of Korea. We searched Research Information Sharing Service, Korea studies Information Service System, Database Periodical Information Academic, Korean Medical Database, KoreaMed, and Google Scholar from 1980 to November 2013. In addition, we manually searched reference lists from eligible studies. Review of 20 peer-reviewed articles revealed that very few of the variables employed in the eligible studies exerted consistent association with profitability, with the exception of personal cost (i.e., employee salaries). Future studies should take our findings into consideration before conducting research on hospital profitability.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.