• 대한수학회보
• /
• 제59권2호
• /
• pp.319-343
• /
• 2022

We discuss the notions of positive expansivity, chain transitivity, uniform rigidity, chain mixing, weak specification, and pseudo orbital specification in terms of finite open covers for Hausdorff topological spaces and entourages for uniform spaces. We show that the two definitions for each notion are equivalent in compact Hausdorff spaces and further they are equivalent to their standard definitions in compact metric spaces. We show that a homeomorphism on a Hausdorff uniform space has uniform h-shadowing if and only if it has uniform shadowing and its inverse is uniformly equicontinuous. We also show that a Hausdorff positively expansive system with a Hausdorff shadowing property has Hausdorff h-shadowing.

• 한국정보통신학회논문지
• /
• 제4권2호
• /
• pp.469-478
• /
• 2000

디지털 시대가 도래함으로써 선박의 안전항해에 기여하는 새로운 항해 장비인 전자해도시스템(Electronic Chart Display Information System: ECDIS)이 등장하였다. 전자해도시스템은 단지 종이해도를 시각적으로 표현하는 시스템이 아니라 지리적 정보와 항해 정보를 종합하여 제공하는 새로운 개념의 항해 장비이다. 전자 해도(Electronic Navigation Chart: ENC)는 전자해도시스템에 사용되는 공인 벡터자료로서 점, 선, 면의 형태로 표현되는 객체를 표현하기 위한 공간 정보와 속성정보로 구성된다. ENC에 관한 국제표준은 국제수로기구 (International Hydrographic Office: IHO)가 준비하며 표준 문서로 S-52(Specification for Chart Content and Display Aspects of ECDIS)와 5-57(IHO Transfer Standard for Digital Hydrographic Data)이 있다. 본 논문의 목적은 S-57형식의 자료 구조를 분석하여 이를 적절한 컴퓨터 내부 자료구조로 변환하고 S-52 표현 규정에 맞게 화면상에 표현하는, 화면 표시 시스템을 구현하는 것이다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2001년도 학술대회지
• /
• pp.501-506
• /
• 2001

건설공사의 계약문서에는 설계도면, 공사시방서 등이 포함되나, 국제적인 수준의 계약문서로서 다소 미흡하게 작성되었던 것이 사실이다. 이러한 문제점을 해결하기 위하여 '98년 1월부터는 설계도서 작성시 공사시방서를 작성하도록 하였다. 그러나 제도의 도입초기이므로 참고할 만한 자료도 충분하지 않으며, 작성경험 및 능력도 부족한 실정이다. 이러한 점을 보완하기 위하여 개발된 기존 시스템은 네트워크를 고려하지 않아 시스템 활용과 유지관리 및 갱신에 한계가 있다. 본 연구에서는 기존 시스템을 개선하여, 전문시방서, 설계기준, 하위기술기준 둥 건설공사기준 DB를 구축하고, Web을 통해 구축된 DB를 검색·활용하여 공사시방서를 실시간으로 작성하는 시스템 개발 방안을 제시하였다. 이러한 시스템은 공사시방서 작성시, 표준시방서, 전문시방서 등 다양한 정보를 조회하여 수준높은 공사시방서를 작성하는데 일조할 것으로 기대된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 추계종합학술대회
• /
• pp.146-150
• /
• 1999

디지털 시대가 도래함으로써 선박의 안전항해에 기여하는 새로운 항해 장비인 전자해도시스템 (Electronic Chart Display Information System: ECDIS)이 등장하였다. 전자해도시스템은 단지 종이해도를 시각적으로 표현하는 시스템이 아니라 지리적 정보와 항해 정보를 종합하여 제공하는 새로운 개념의 항공장비이다. 전자해도(Electronic Navigation Chart: ENC)는 전자해도시스템에 사용되는 공인 벡터자료로서 점, 선, 면의 형태로 표현되는 객체를 표현하기 위한 공간 정보와 속성정보로 구성된다. ENC에 관한 곽제표준은 국제수로기구 (International Hydrographic Office : IHO)가 준비하며 표준문서로 S-52(Specification for Chart Content and Display Aspects of ECDIS)와 S-57( IHO Transfer Standard for Digital Hydrographic Data이 있다. 본 논문의 목적은 S-57형식의 자료 구조를 분석하여 이를 적절한 컴퓨터 내부 자료구조로 변환하고 S-52 표현 규정에 맞게 화면상에 표현하는, 화면 표시시스템을 구현하는 것이다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1919-1928
• /
• 1999

기존의 속도 독립 회로 합성 시스템에서 사용되는 기술 방법들은 각각 특정한 설계 양식과 합성 방법에 적합하도록 만들어졌기 때문에 표준화 된 기술 방법으로 채택되지 못하고 있다. 본 논문에서는 하드웨어 기술을 위한 표준 언어인 VHDL을 이용하여 속도 독립 회로를 기술하고 합성하는 방법을 제안한다. VHDL은 광범위한 언어이므로 본 논문에서는 속도 독립 회로의 기술과 합성에 이용될 수 있는 VHDL 부집합을 정의한다. 그리고 VHDL로 기술된 회로 명세를 신호 전이 그래프로 변환한 다음에 기존의 합성 알고리즘을 이용하여 속도 독립 회로를 합성한다. 이를 위하여 각각의 VHDL 문을 부분적인 신호 전이 그래프로 변환하고 부분적인 신호 전이 그래프들을 합병함으로써 VHDL 프로그램 신호 전니 그래프로 변환하는 세계적인 방법을 제안한다. VHDL을 이용함으로써 시뮬레이션, 테스팅 등 기존의 VHDL 기반의 다양한 설계프로그램들과 속도 독립 회로 합성 프로그램을 통합하는 프레임워크 개발이 가능하게 되고 기존의 회로 설계자들이 쉽게 비동기 회로에 접근할 수 있게 되는 장점이 있다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2023년도 가을학술발표대회논문집
• /
• pp.131-132
• /
• 2023

In this paper, standard specification of heat curing section of cold weather concrete between Korea and China were compared. First, Korea concrete specification (KCS 14 20 40) stipulates that the application period is less than 4℃ per day or less than 0℃ per day right after pouring, but in China, the outdoor daily average temperature is less than 5℃ for five consecutive days. This is believed to be due to the difference in temperatures between Korea and China in winter. Next, in the case of Korea, KCS do not show that the concrete temperature in curing should be 5℃ or higher to prevent early frost damage and obtain the minimum required compressive strength. On the other hand, in the case of China, the specificaion does not show that the curing method is selected based on the concrete surface coefficient after considering the outdoor temperature. In addition, in Korea and China regulation, the temperature of the space during thermal curing was shown to be similar.

• 한국전자거래학회지
• /
• 제9권1호
• /
• pp.269-284
• /
• 2004

한국문서형표준(KS X 6100)은 지난 2001년 7월 제정된 한국전자책문서표준(EBKS1.0)이 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 제정되었다. 그러므로 한국문서형표준에 기반하여 작성된 전자책 문서들은 표준의 목적과 명세를 준수하여야 하며 표준의 준수 여부를 판별하기 위해서 적합성 검사가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 적합성 검사 도구(Conformance Testing Tool)를 개발하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 제작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 도구를 통한 자동화된 적합성 검사 절차를 사용하여 효율적인 적합성 검사가 가능하다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2000년도 방송기술 워크샵
• /
• pp.139-148
• /
• 2000

국내 데이터방송 프로토콜 표준안 요약 .국제규격과의 호환성을 유지하기 위해 지상파(ATSC)와 위성(DVB) 규격을 별도로 정함. - 지상파 .T3/S13 : ATSC Data Broadcasting Standard .T3/S8 : PSIP(Program and System Information Protoc이) - 위성 .ETSI SN 301 192 : DVB Specification for Data B Broadcasting .ETSI EN 300 468 : Specification for SI(Service Information) i in DVB Systems 국내 규격 고유의 기능인 한글 처리 부분을 보완 또는 추가함 .

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2002년도 가을 학술발표회 논문집
• /
• pp.585-592
• /
• 2002

Discharge capacity of PBD is the most important factor of specification items to control any product of PBD. There is no standard specification for the PBD. Because the degree of discharge capacity is related to well resistance, install depth, maximum strain etc in the field. Discharge capacity test of PBD, permeability test of filter are conducted using PBD materials used in Korea. This paper proposes the critical discharge capacity for deep PBD under condition of non well resistance based upon their test and theoretical calculation. It was found that discharge capacity more than about 10 ㎤/sec is enough to undergo designing of deep PBD without well resistance.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 A
• /
• pp.430-432
• /
• 2003

We want to know the specification of Chinese distribution automation system and facilities for approach to Chinese market. This paper introduces the purpose of distribution automation project, function of distribution automation system, standard of facilities by specification of utility in China.