• Bulletin of the Korean Mathematical Society
• /
• v.59 no.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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.4 no.2
• /
• pp.469-478
• /
• 2000

On the advent of digital era, ECDIS has emerged as a new navigation aid that should result in significant benefits to safe navigation. More than simply a graphics display, ECDIS is a new concept navigation system capable of providing integrated information of geographical and texual data. As an official vector data for ECDIS, ENC consists of spatial and feature data to describe objects in form of points, lines and areas. IHO published International Standards for ENC, such as S-52(Specification for Chart Content and Display Aspects of ECDIS) and S-57(IHO Transfer Standard for Digital Hydrographic Data). This paper deals with the implementation of an ENC representation system which meets S-52 presentation specification and S-57 transfer standards by analyzing S-57 data structures and converting them to an appropriate internal data structures and representing them onto screen adopting S-52 presentation specification.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.501-506
• /
• 2001

The Korean government established a domestic specification system, and regulated that owner should produced construction project specifications, instead of special provisions, in design phase, January 1998. But in Korea the ability of construction engineers for construction project specification are insufficient. So the government had built up a database of standard specifications and developed a supporting system for writing construction project specification(SPECMAKE) in 1999. However, it is a PC base stand-alone system, so it is not convenient to update the database. In order to overcome these limitations, the purpose of this paper builds up a database of construction criteria and develops a automatic writing system for construction project specification on web base. The database contains standard specifications, design and construction guidelines related with construction business. And this paper describes the frameworks, the components, and the functions of the specifications writing system for the construction projects.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.146-150
• /
• 1999

On the advent of digital era, ECDIS has emerged as a new navigation aid that should result in significant benefits to safe navigation. More than simply a graphics display, ECDIS is a new concept navigation system capable of providing integrated information of geographical and texual data. As an official vector data for ECDIS, ENC consists of spatial and feature data to describe objects in form of points, lines and areas. IHO published International Standards for ENC, such as S-52(Specification for Chart Content and Display Aspects of ECDIS and S-57(IHO Transfer Standard for Digital Hydrographic Data). This paper deals with the implementation of an EUC representation system which meets S-52 presentation specification and S-57 transfer standards by analyzing S-57 data structures and converting then to an appropriate internal data structures and representing them onto screen adopting S-52 presentation specification.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1919-1928
• /
• 1999

There are no standard language for the specification of speed-independent circuits because existing specification methods are designed appropriately to each synthesis methodology. This paper suggests a method of using VHDL, a standard hardware description language, for the specification and synthesis of speed-independent circuits. Because VHDL is a multi-purpose language, we define a subset of VHDL which can be used for the synthesis. We transform the VHDL description into a signal transition graph and then synthesize speed-independent circuits by using a previous synthesis algorithm which uses a signal transition graph as the specification method. We suggest a systematic transformation method which transforms each VHDL statement into a partial signal transition graph and then merges them into a signal transition graph. This work is a step towards to the development of an integrated framework in which we can utilizes the existing CAD tools based on VHDL. Also, this work will enable a easier migration of the current circuit designers into asynchronous circuit design.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2023.11a
• /
• 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.

• The Journal of Society for e-Business Studies
• /
• v.9 no.1
• /
• pp.269-284
• /
• 2004

EBKS(Electronic Book of Korea Standard) 1.0 which was established in July 2001 passed the industry standard deliberation of agency for technology and standards of Korea industry in July 2002. EBKS is now established as KS X6100 representing the Korea standard of electronic book of Korea. Therefore, Conformance test and certification procedure is required whether electronic books and documents which follow KS X 6100 are conform to specification of the standard. In the paper, we define conformance clause which is a basis for conformance test and standard electronic book schema. As a result, electronic book writers can produce more conformable documents to the specification and goal of electronic book standard by using the conformance clause, and service provider can effectively perform the conformance test by using standard electronic book schema.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2000.11a
• /
• 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 국내 규격 고유의 기능인 한글 처리 부분을 보완 또는 추가함 .

• Proceedings of the Korean Geotechical Society Conference
• /
• 2002.10a
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 2003.07a
• /
• 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.