• KIEAE Journal
• /
• v.15 no.1
• /
• pp.13-20
• /
• 2015

The main purpose of the green buildings by reducing energy consumption and carbon footprint of the building society, global as to ensure the sustainability of the building and the environment. These regulations and schemes are used to activate the green buildings were made on the basis of the relevant laws and regulations. Mainly in the research for the improvement of the domestic institutional assessment items, the analysis of the legislation was fundamentally focused on Scoring the incomplete state. The analysis based on the laws and regulations of the institution is the way to know the purpose and direction of the respective certification. This study was performed in the following order to target the new commercial buildings. First, the analysis of the geungeobeop G-SEED and BREEAM. Second, we analyze the content and method of building energy performance in the certification system. As a result, Green Building Act is broad in relation to the composition of the contents are building for the activation energy green building and EPI is dealt with in an abstract and presented the applicability of such documentary content of insulation and airtightness, efficient machine. In contrast, the UK has been directly limit the carbon footprint of buildings in the Building Regulations Part L and evaluate them in BREEAM. This analysis of the ways to reduce substantially the energy for domestic green building regulations should be addressed through the feed.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.2
• /
• pp.44-49
• /
• 2007

An agent is an abstract unit for problem solving in the field of distributed artificial intelligence, and an agent-based system is designed and implemented based on the definition of agent as its central concept. Agent modeling is advantageous to abstraction, disintegration and structuring for describing complex system, so its application is increased in various areas including air traffic control, power transmission, e-commerce and medicine. There is no agreed definition of agent but agents have common points as follows: autonomy, reactivity, pro-activeness and cooperation. An agent-oriented modeling is an approach of a concept different form existing object-oriented modeling. This study proposed the agent application for E-Beam manufacturing system. To evaluate the performance of the proposed process design, we used the JADE library. The JADE toolkit provides a FIPA-compliant agent platform and a package to develp Java agents. It provides a basic set of functionalities that are regarded as essential for an autonomous agent architecture.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.647-651
• /
• 2007

Game was begun to sell to multi platform rather than is sold as a title of a kinds of machine since some moment. In case of competition flag species such as PS (Play Station) or XBOX, there is 'Final Fantasy', 'Gear of War' masterpiece. However, title of game was begun to manufacture to multi platform and this is step that much games are manufactured to multi platform by selection of game developers to minimize danger by production cost rise of game. About game character development method in multi platform surrounding that this research is such game character abstract of multi platform and multi platform environment direction for multi platform through analysis and example proposal to basis data for presentation utilize wish to.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.258-264
• /
• 2006

웹 서비스 기반의 비즈니스 프로세스 관리 시스템은 트랜잭션에 대한 신뢰도의 확보를 위하여 트랜잭션 관리가 필요하다. 트랜잭션 관리를 위한 여러 트랜잭션 프로토콜들이 제시되었지만, 다양한 프로토콜들은 서로간의 이질성으로 인해 비즈니스 프로세스 관리 시스템들 간의 상호호환을 저해한다. 이를 해결하기 위하여 본 연구에서는 시맨틱스 기반의 트랜잭션 프로토콜을 제안한다. 시맨틱스 기반의 트랜잭션 프로토콜은 상태와 메시지에 대한 정적 시맨틱스(Static Semantics)와 상태 전이에 관한 동작 시맨틱스(Operational Semantics)로 구성된다. 정적 시맨틱스는 프로토콜의 상태와 메시지를 Web Ontology Language(OWL)을 사용하여 온톨로지 기반으로 정의한 모델로서, 트랜잭션 프로토콜에 대한 상호 이해도를 높일 수 있을 것으로 기대된다. 동작 시맨틱스는 비즈니스 트랜잭션의 상태전이를 Abstract State Machine(ASM)으로 정의한 모델로서, 트랜잭션 실행에 대한 자동화와 체계적인 모니터링을 지원할 것으로 기대된다. 트랜잭션 프로토콜들간의 상호호환을 위하여 이러한 정적 시맨틱스와 동작 시맨틱스를 기반으로 하여 각 트랜잭션 프로토콜 및 중립 트랜잭션 프로토콜의 시맨틱스를 정의한다. 정의된 각 트랜잭션 프로토콜의 정적 시맨틱스는 중립 트랜잭션 프로토콜의 정적 시맨틱스와 온톨로지 기반의 매핑 관계를 형성한다. 중립 트랜잭션 프로토콜의 정적 시맨틱스를 매개로 한 온톨로지 매핑은 각 트랜잭션 프로토콜들 간의 상호호환을 지원할 것으로 기대된다.

• Journal of the Korean Geotechnical Society
• /
• v.16 no.6
• /
• pp.35-41
• /
• 2000

Residual stress is defined as a minimum stress with a large displacement of specimens and the residual stress after peak shear stress appears with displacement volume but there is no provision to select the residual stress. In the previous study, residual stress was recorded when the change of shear load is small in the condition of the strain more than 15%. But, in this study, hyperbolic function((No Abstract.see full/text), b=experimental constant) of soil test is adapted to joint of rock and the propriety is investigated. In a landslide and landsliding of artificial slope, wedge failure of tunnel with a large displacement, tests are simulated from peak stress to residual stress for safety analysis. But now. direct shear stress and triaxial compressive tests are usually performed to find out characteristics of shear stress about joint. Although these tests get a small displacement, that data of peak stress and residual stress are used for safety analysis. In this study, we tried to determine failure criteria for joints of rock using ring shear test machine. The residual stress following shear behavior was determined by the result of ring shear test and direct shear test. In conclusion, after comparing the results of the two test, we found that cohesion(c) and internal friction angle(ø) of ring shear test are 30% and 22% respectively of those of the direct shear test.

• Journal of KIISE
• /
• v.42 no.12
• /
• pp.1561-1567
• /
• 2015

Abstract Semi-supervised learning is an area in machine learning that employs both labeled and unlabeled data in order to train a model and has the potential to improve prediction performance compared to supervised learning. Graph-based semi-supervised learning has recently come into focus with two phases: graph construction, which converts the input data into a graph, and label inference, which predicts the appropriate labels for unlabeled data using the constructed graph. The inference is based on the smoothness assumption feature of semi-supervised learning. In this study, we propose an enhanced label inference algorithm by incorporating the importance of each vertex. In addition, we prove the convergence of the suggested algorithm and verify its excellence.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.24 no.1
• /
• pp.99-117
• /
• 1999

Since query language is used as a handy tool to obtain information from a database, a more intelligent query answering system is needed to provide user-friendly and fault-tolerant human-machine Interface. Frequently, database users prefer less rigid querying structure, one which allows for vagueness in composing queries, and want the system to understand the intent behind a query. When there is no matching data available, users would rather receive approximate answers than a null information response. This paper presents a knowledge abstraction database that facilitates the development of such a fault-tolerant and intelligent database system. The proposed knowledge abstraction database adepts a multilevel knowledge representation scheme called the knowledge abstraction hierarchy(KAH), extracts semantic data relationships from the underlying database, and provides query transformation mechanisms using query generalization and specialization steps. In cooperation with the underlying database, the knowledge abstraction database accepts vague queries and allows users to pose approximate queries as well as conceptually abstract queries. Specifically. four types of vague queries are discussed, including approximate selection, approximate join, conceptual selection, and conceptual Join. A prototype system has been implemented at KAIST and is being tested with a personnel database system to demonstrate the usefulness and practicality of the knowledge abstraction database in ordinary database application systems.

• Journal of architectural history
• /
• v.14 no.4 s.44
• /
• pp.157-175
• /
• 2005

Guarino Guarini(1624-1683) is one of great Baroque architects who developed new spatial concept in architecture. He refused to static space typically appeared in Renaissance architecture. Instead, to make it possible to generate complicate form and moving space, he made use of generative diagram. It provide him with an abstract machine to generate automatically architectural inferiority. His generative diagram consists of three types: single circle diagram, matrix diagram and longitudinal diagram. The first diagram uses single circle as primary generator and develop this by means of overlap and equiangular division. La Cappella della Santissima Sindone, Sanctuary of Chiesa di Oropa, Chiesa dei Padri Somaschi, San Gaetano are designed according to this diagram. The generator of the second diagram is nine circles in $3{\times}3$ matrix, which provide the base for the interpenetration of space in Guarini's architecture. He inspired this diagram from Kepler's $\ulcorner$Harmonices mundi$\lrcorner$. The Churches of San Lorenzo, Ste-Anne-la-Royale, San Filippo Neri, San Gaetano are generated by this diagram. The third diagram has several circles in Lantin-cross plan. Guarini adopted this diagram because he had chances to design several churches in Northern Europe. The churches of Santa Maria di Ettinga, Immacolata Concezione, San Maria della Divina Providenza, Church without Name, San Filippo Neri are representative examples for this diagram.

• Journal of Korean Institute of Industrial Engineers
• /
• v.29 no.3
• /
• pp.230-238
• /
• 2003

The configuration design of a mechanical product can be efficiently performed when it is based on the functional modeling. There are methodologies, which decompose function from the abstract level to the concrete level and match the functions to physical parts. But it is difficult to carry out an innovative design when the function is matched only to a pre-detined part. This paper describes the configuration design process of a mechanical product with a design expert system, which uses function taxonomy and TRIZ theory. The expert system can propose a functional modeling of a new part. which is not in the existing parts list. The abstraction levels of design knowledge are introduced, which describe the operation of mechanical product in the levels of abstraction. This is the theoretical background of using knowledge of function and TRIZ for configuration design. The expert system is adequate to control this design knowledge. which expresses knowledge of functional modeling, mapping rules between functions and parts, selection of parts, and TRIZ theory. The hierarchy of functions and machine parts are properly expressed by classes and objects in the expert system. A design expert system has been implemented for the configuration design of a train bogie, and a new brake system of the bogie is introduced with the aid of TRIZ's 30 function groups.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.355-358
• /
• 2001

본 논문은 순환공학 환경에서 실시간 시스템 개발 및 검증을 위한 실행코드 생성기 구현과정에서 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 정형명세와 명세분석을 통해 생성된 SRL(Software Representation Language) 코드로부터 실행코드로의 변환을 위해 필요한 정보들을 명세하고 이들의 추출 방법을 제시한다. ATM정형기법을 적용하여 실시간 시스템 개발 및 검증을 위해서는 시스템 명세도구나 명세분석을 위한 분석기, 코드 생성기, 검증기 등과 같은 자동화 도구의 개발이 요구된다. 따라서, 본 논문에서는 순환공학 환경에서의 실시간 시스템의 효율적 개발 및 검증을 위하여 사용될 실행코드 생성기 구현을 위하여, 특정 물리적 환경에서의 실시간 시스템을 명세한 DoME/ATM 스크립트 코드에 대한 SRL 코드로의 변환 시 필요한 정보들을 추출하고, 이를 기반으로 SRL 분석기와 SRL 파스트리 생성기를 이용한 Ada 실행코드로의 변환 시 필요한 실행코드 모듈구조 및 실행구문, 코드 실행 우선순위 결정 둥과 같은 관련된 정보들의 추출 방법을 제시한다.