• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.754-756
• /
• 2004

CBMC는 ANSI-C 프로그램과 베릴로그 서킷사이의 일치성을 검증하는 툴이다. 입력된 서킷과 코드를 CNF로 변환 과정에서 C 코드는 중첩 루프, pointer, dynamic memory allocation등에 대한 변환의 문제점이 있다. 본 논문에서는 CBMC에서 C 코드의 CNF로 변환하는 과정의 문제점들을 동일한 식(equation)의 변환 과정에 대하여 설명하고 상용적인 트리플 DES를 CBMC로 검증하는 과정을 제시한다

• Journal of Korean Library and Information Science Society
• /
• v.48 no.3
• /
• pp.233-257
• /
• 2017

In this paper, we propose an effective method to convert and construct the MEDLINE, the world's largest biomedical bibliographic database, into linked data. To do this, we first derive the appropriate RDF schema by analyzing the MEDLINE record structure in detail, and convert each record into a valid RDF file in the derived schema. We apply the dual batch registration method to streamline the subject URI duplication checking procedure when merging all RDF files in the converted record unit and storing it in a single RDF triple storage. By applying this method, the number of RDF triple storage accesses for the subject URI duplication is reduced from 26,597,850 to 2,400, compared with the sequential configuration of linked data in units of RDF files. Therefore, it is expected that the result of this study will provide an important opportunity to eliminate the inefficiency in converting large volume bibliographic record sets into linked data, and to secure promptness and timeliness.

• Journal of KIISE:Databases
• /
• v.29 no.1
• /
• pp.27-33
• /
• 2002

There are two significant drawbacks in triple image indexing; one is that is cannot support concept-based image retrieval and the other is that it fails to allow disjunctive labeling of images. To remedy the drawbacks, we propose a new technique supporting a concept-based retrieval against images indexed by indefinite fuzzy triples (I-fuzzy triples). The I-fuzzy triples allow not only a disjunctive image labeling, but also a concept-based matching against images labeled disjunctively. The disjunctive labeling is based on the expended closed world assumption and the concept-based image retrieval is based on fuzzy matching. In this paper, we also propose a concept-based query evaluation against the image database to extract desired answers with the degree of certainty $\alpha$$\in$[1,0].

• The Journal of the Korea institute of electronic communication sciences
• /
• v.8 no.10
• /
• pp.1427-1434
• /
• 2013

In this paper, triple band mobile chip antenna for DCS(1.71~1.88GHz) / PCS(1.75~1.87GHz) / UPCS(1.85~1.99GHz) on PCB Layout is designed. To analyze the characteristics of the designed antenna, we designed and measured Single, Dual, Triple Band antenna. The designed antenna was fabricated and measured using vector network analyzer in LTK(Laird Technologies Korea). Triple and wide band characteristic could be realized the measured bandwidth(V.S.W.R<2.0) of designed antenna operated in the band of 1.71GHz~1.99GHz. This antenna has a small size of about $19mm{\times}4mm{\times}1.6mm$, narrow bandwidth which is a defect of chip antenna is improved. And its experimental results were a good agreement with simulation performance.

• Composites Research
• /
• v.24 no.3
• /
• pp.39-45
• /
• 2011

Adhesive joints are widely used for structural joining applications in various fields and environmental conditions. Polyurethane (PU) and Epoxy adhesives are now being used for liquefied natural gas (LNG) carriers at cryogenic temperatures. This paper presents a comprehensive evaluation of epoxy and PU adhesive bonds between Triplex sheets at normal and cryogenic temperatures. The most significant result of this study is that for all adhesives tested, there is a significant decrease in peel strength at cryogenic temperatures. However, the reasons for the decrease in peel strength for epoxy and PU adhesives differ. Consequently, PU adhesives can be considered better suited for use in applications requiring high bonding performance at cryogenic conditions, such as in LNG carriers.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.13 no.3
• /
• pp.99-112
• /
• 2018

This research focuses on the university-business incubation from the prospective of triple helix and summarizes complementary researches and develop plans for university-business incubation. To pursue these objectives, we analyzed the studies of triple helix on domestic as well as overseas university-business incubators and their collaboration. The findings of this study showed that firstly In order to innovate the business incubator of the university, it is necessary to secure sufficient competence for the capability. For this purpose, Research and policy implications from various perspectives must be preceded.. Second, the collaborative relationship of business incubations should lead to organic and dynamic cooperative relations instead of static cooperative partnerships. Furthermore, based on the internal innovation that runs the business incubation program together with bottom-up rather than top-down approach, it is necessary to plan incubation and lead the transformation through creative ideas. Third, for the dynamic collaboration of business incubation, the management and practice of the organization should be given priority so that the boundary spanning appropriate to each situation, which turn increase the absorption capacity. As a future direction, studies are expected to explore the development of innovative university-business incubation about boundary spanning and knowledge transformation.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.5
• /
• pp.1129-1139
• /
• 2015

Inference process generates additional triples from knowledge represented in RDF triples of semantic web technology. Tens of million of triples as an initial big data and the additionally inferred triples become a knowledge base for applications such as QA(question&answer) system. The inference engine requires more computing resources to process the triples generated while inferencing. The additional computing resources supplied by underlying resource pool in cloud computing can shorten the execution time. This paper addresses an algorithm to allocate the number of computing nodes "elastically" at runtime on Hadoop, depending on the size of knowledge data fed. The model proposed in this paper is composed of the layered architecture: the top layer for applications, the middle layer for distributed parallel inference engine to process the triples, and lower layer for elastic Hadoop and server visualization. System algorithms and test data are analyzed and discussed in this paper. The model hast the benefit that rich legacy Hadoop applications can be run faster on this system without any modification.

• Journal of the Korean association of regional geographers
• /
• v.15 no.5
• /
• pp.554-571
• /
• 2009

This paper explores the triple helix innovation system in Food Valley in the Netherlands which is considered one of the most innovative food clusters in the world. The triple helix approach has been so far little tackled in the literature on innovation system and cluster. However, tills approach can be a useful tool for understanding the dynamic characters and knowledge transfer mechanism of industrial cluster. On the basis of an in-depth case study, we argue that Food Valley has evolved through four circles of growth in the triple helix innovation system. From the mid-2000s onward, it is seen that Food Valley has been on the stabilized circle in the triple helix system of innovation. Centered upon Wageningen UR, local universities and research centers play a pivotal role in building the triple helix innovation system. To cope with radical changes in markets and technology since the late 1980s, local firms have made a great deal of effort to reinforce the university-industry partnership. On the other hand, government agencies have played a critical role for establishing institutional milieu that facilitate university-industry partnerships and local knowledge transfer and spillover.

• Journal of the Korean association of regional geographers
• /
• v.20 no.3
• /
• pp.256-258
• /
• 2014

This paper aims at examining the role of university, industry and government, which constitute the triple-helix innovation system in hi-tech cluster, based on the case of the Research Triangle Park, North Carolina, USA. Firstly, the state government has played a catalytic role by building the horizontal governance of triple-helix actors. By doing so, the state government has made it possible for not only growing but also transforming the RTP as an high-tech cluster. Secondly, universities in the triangle area have played to some extent a limited role in sustaining the evolution of cluster. Thirdly, the RTP has long been dominated by a small group of large firms. However, the situation has been changed since 1990s, because new start-ups from universities and local large firms and the technology transfer activities between universities and firms have been increased in the RTP and its surrounding area. Finally, it argues that the continuous evolution of the RTP has been to some or large extent influenced by the transition from the exogenous development model to the endogenous development model.

• Journal of Contemporary Eastern Asia
• /
• v.1 no.2
• /
• pp.29-32
• /
• 2002