• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.755-758
• /
• 1998

As the performance of microprocessor improves, the design complexity grows exponentially. Therefor, it is very important to make the bug-free model as early as possible in a design life-cycle. This paper describes the simulation-based functional verification methodology for the RTL level description model. It is performed by multi-stage verification methods using extensive hand-generated self-checking tests supplemented with random tests. This approach is opplied to the functional verification of the GPU processor of Raptor and various bugs are detected.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.702-706
• /
• 1995

Integration of CAM and CAM information is important in the CIM era. For a CIM system, the feature representation can be a solution to the integration of product model data. These are geometry feature, functional feature, and manufacturing feature in the feature context. This paper proposes a framework to integrate the configuration design method, parametric modeling and the feature modeling method. The concept of design unit which is one level higher than functional feature and parametric modeling concept with functional features have been proposed.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.329-332
• /
• 2000

This paper proposed resource allocation algorithm for the minimum power consumption of functional unit in high level synthesis process as like DSP which is circuit to give many functional unit. In this paper, the proposed method though high level simulation find switching activity in circuit each functional unit exchange for binary sequence length and value bit are logic one value. To used the switching activity find the allocation with minimal power consumption, the proposed method visits all control steps one by one and determines the allocation with minimal power consumption at each control step.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.429-445
• /
• 2004

In this paper we investigate the generalized Hyers-Ulam-Rassias stability for a functional equation of the form $f(\varphi(x,y)){\;}={\;}\phi(x,y)f(x,y)$, where x, y lie in the set S. As a consequence we obtain stability in the sense of Hyers, Ulam, Rassias, Gavruta, for some well-known equations such as the gamma, beta and G-function type equations.

• 전자공학회논문지A
• /
• 제30A권12호
• /
• pp.10-17
• /
• 1993

In this paper, CCF(Call Control Function), functional entity for basic call processing in SSP(Service Switching Point), is designed and implemented. This functional entity can provide the IN(Intelligent Network) services which are included in CCITT CS-1(Capability Set-1), near-term process for IN Architecture. UIO(Unique Input Output) method, one of the thest sequence generation methods for the finite state machine, is used for the implementation test of this functional entity.

• 한국IT서비스학회지
• /
• 제11권2호
• /
• pp.197-211
• /
• 2012

This paper describes how to derive audit criterion, audit domain, detail technology, and functional check items which are core of hospital information system, consisting of OCS, EMR, and PACS. Using the check items listed above, we investigated the objective validity for the construction audit of hospital information system. As a result, the derived audit criterion, audit domain, detail technology, and functional check items were verified as check items for audit. Since using the current audit check items of public area is insufficient to construct efficient, reliable, and stable hospital information system, we suggest adopting the hospital information system audit area, audit check items, and process that are presented in this paper.

• Asia pacific journal of information systems
• /
• 제9권2호
• /
• pp.39-58
• /
• 1999

This paper determines the interactive effects of information technologies(IT) on corporate performances. IT was measured inclusively in terms of technology level, information level, functional level, and management level. Corporate performances were composed of the effectiveness of IT and the financial performance of a corporation. The effectiveness of IT was measured in terms of satisfaction with the support of IT department and with output information, whereas financial performance of corporation was measured in terms of market growth and profitability. Theoretical and empirical analyses lead to the followings. In the theoretical aspect, IT in a corporation needs to be measured broadly. And a study of IT related to corporate performance needs to use either a conversion effectiveness model or an intermediate effect model rather than a direct effect model. In the empirical aspect, the effectiveness of IT within an organization improves with some of the interactive effect of ITs including technology level, information level, functional level, and management level. So do some of the financial performances of a corporation.

• 한국의류산업학회지
• /
• 제22권5호
• /
• pp.551-560
• /
• 2020

Due to the nature of fashion design that responds quickly and sensitively to changes, accurate forecasting for upcoming fashion trends is an important factor in the performance of fashion product planning. This study analyzed the major phenomena of fashion trends by introducing text mining and a big data analysis method. The research questions were as follows. What is the key term of the 2010SS~2019FW fashion trend? What are the terms that are highly relevant to the key trend term by year? Which terms relevant to the key trend term has shown high frequency in news articles during the same period? Data were collected through the 2010SS~2019FW Pre-Trend data from the leading trend information company in Korea and 45,038 articles searched by "fashion+material" from the News Big Data System. Frequency, correlation coefficient, coefficient of variation and mapping were performed using R-3.5.1. Results showed that the fashion trend information were reflected in the consumer market. The term with the highest frequency in 2010SS~2019FW fashion trend information was material. In trend information, the terms most relevant to material were comfort, compact, look, casual, blend, functional, cotton, processing, metal and functional by year. In the news article, functional, comfort, sports, leather, casual, eco-friendly, classic, padding, culture, and high-quality showed the high frequency. Functional was the only fashion material term derived every year for 10 years. This study helps expand the scope and methods of fashion design research as well as improves the information analysis and forecasting capabilities of the fashion industry.

• 한국컴퓨터정보학회논문지
• /
• 제18권3호
• /
• pp.69-77
• /
• 2013

본 연구에서는 관람 전 사용자 평가를 통해 박물관 모바일 애플리케이션의 정보서비스에 대한 만족도를 비교하고, 사용성과 기능적 특성간의 상관관계를 검증했다. 빌바오 구겐하임과 미국자연사박물관 애플리케이션의 경우, 정보서비스와 기능적 특성에 대한 만족도, 관람 동기와 관람시 애플리케이션 사용에 대해 반응이 모두 높게 나타났다. 이는 사용자의 관심과 욕구를 반영될 수 있도록 모바일 애플리케이션이 직관적으로 설계 및 디자인되고, 감성적 인터페이스를 지향할 때 사용성이 상승된다는 것을 의미한다. 또한 사용성과 기능적 특성과의 상관관계를 분석한 결과, 비간섭적 특성과 개인화적 특성이 다른 기능적 특성에 비해 좀 더 유의미한 상관관계에 놓여 있었다. 본 연구를 통해 도출된 하나의 중요한 시사점은 모바일 해석 매체의 사용성은 엔터테인먼트적인 요소나 기술적 적용보다는 콘텐츠와 사용자 사이에서 발생하는 인터랙션과 사용자의 관심과 욕구가 반영될 수 있는 기능적 특성에 따라 좌우 된다는 것이다.

• 정보관리연구
• /
• 제38권3호
• /
• pp.1-30
• /
• 2007

본 연구는 지역기반 도서관 포털에 필요한 정책적, 기능적 요건을 도출하고 이를 평가하기 위한 목적으로 수행되었다. 따라서 도서관 포털에 대한 이론적 배경, 지역의 다양한 공공기관의 협력을 바탕으로 통합접근환경을 구축한 사례와 각종 문헌을 분석하고, 이를 통해 지역기반 도서관 포털의 정책적 기능적 요건을 도출하였다. 최종적으로 지역의 실무자와 전문가들을 대상으로 AHP 설문을 수행하여 이들 요건에 대한 중요도를 평가함으로써 연구자가 도출한 요건에 대한 타당성을 객관적으로 검증받고자 시도하였다. 평가결과, 지역기반 도서관 포털의 정책적 요건의 중요도는 표준화, 디지털 장서개발, 운영, 평가 순으로 나타났으며, 기능적 요건은 통합검색, 통합 인터페이스, 정보서비스, 분산환경의 디지털 장서관리, 접근관리 순으로 정책적 요건에 비해 요건들 간의 중요도 차이가 상대적으로 크게 나타났다.