• Kyungpook Mathematical Journal
• /
• 제52권3호
• /
• pp.307-317
• /
• 2012

In this paper we establish several Hadamard-type integral inequalities for (${\alpha}$, m)-convex functions.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제12권3호
• /
• pp.193-209
• /
• 2005

We introduce the notions of intuitionistic fuzzy prime ideals, intuitionistic fuzzy completely prime ideals and intuitionistic fuzzy weakly completely prime ideals. And we give a characterization of intuitionistic fuzzy ideals and establish relationships between intuitionistic fuzzy completely prime ideals and intuitionistic fuzzy weakly completely prime ideals.

• Asian Journal of Innovation and Policy
• /
• 제6권2호
• /
• pp.152-169
• /
• 2017

In this paper, we analyze the basic research system in South Korea. We propose a national basic research system consisting of value, openness, input, transformation, and output. Based on this framework, we set up interview questionnaires, and 15 key informants have been interviewed. According to our results, first, in terms of value, basic research is recognized as an activity for creating knowledge in the understanding of nature. Second, as for openness, scientists and policy experts agree that active interaction with the global community is an important value for the national research system. Third, in terms of sustainable research resources, scientists are strongly required to effectively allocate research funding, maximizing the creativity of researchers and the efficient sharing of research equipment. Fourth, in transformation, basic researchers maintain that the Korean research system has is extremly dependent on the government's external control, and its self-regulative system has been weak for over half century onw. Fifth, for global competitiveness, the interviewees agreed that the quality of basic research in Korea is approaching that of its global competitors. Finally, we put forward some policy implications on the basis of these findings.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2005년도 하계학술대회 논문집 Vol.6
• /
• pp.118-119
• /
• 2005

PRAM (Phase Change Random Access Memory) is well known to use reversible phase transition between amorphous (high resistance) and crystalline (low resistance) states of chalcogenide thin film by electrical Joule heating. In this paper, we introduce a stack-type PRAM device with a novel GST/TiAlN structures (GST and a heating layer of TiAlN), and report its electrical switching properties. XRD analysis result of GST thin film indicates that the crystallization of the GST film start at about $200^{\circ}C$. Electrical property results such as I-V & R-V show that the phase change switching operation between set and reset states is observed, as various input electrical sources are applied.

• 디지털산업정보학회논문지
• /
• 제9권3호
• /
• pp.21-30
• /
• 2013

Powell-Miller theory is a good method to express or treat incorrect information. But it has limitation that requires too much time to apply to actual situation because computational complexity increases in exponential and functional way. Accordingly, there have been several attempts to reduce computational complexity but side effect followed - certainty factor fell. This study suggested expanded Approximation Algorithm. Expanded Approximation Algorithm is a method to consider both smallest supersets and largest subsets to expand basic space into a space including inverse set and to reduce Approximation error. By using expanded Approximation Algorithm suggested in the study, basic probability assignment function value of subsets was alloted and added to basic probability assignment function value of sets related to the subsets. This made subsets newly created become Approximation more efficiently. As a result, it could be known that certain function value which is based on basic probability assignment function is closely near actual optimal result. And certainty in correctness can be obtained while computational complexity could be reduced. by using Algorithm suggested in the study, exact information necessary for a system can be obtained.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 하계종합학술대회 논문집
• /
• pp.333-336
• /
• 1999

In this paper, a new high speed parallel input and parallel output GF(2$^{m}$ ) multiplier based on standard basis is proposed. The concept of the multiplication in standard basis coordinates gives an easier VLSI implementation than that of the dual basis. This proposed algorithm and method of implementation of the GF(2$^{m}$ ) multiplication are represented by two kinds of basic cells (which are the generalized and fixed basic cell), and the minimum critical path with pipelined operation. In the case of the generalized basic cell, the proposed multiplier is composed of $m^2$ basic cells where each cell has 2 two input AND gates, 2 two input XOR gates, and 2 one bit latches Specifically, we show that the proposed multiplier has smaller complexity than those proposed in 〔5〕.

• 인터넷정보학회논문지
• /
• 제8권3호
• /
• pp.75-83
• /
• 2007

다중스레드 모델은 긴 메모리 참조 지체 시간과 동기화의 문제점을 해결할 수 있다는 점에서 대규모 병렬 시스템에 매우 효과적이다. 다중스레드 병렬기계를 위하여 Non-Strict 함수 프로그램을 번역할 때 가장 중요한 것은 순차적으로 수행될 수 있는 부분을 찾아내어 스레드로 분할하는 것이다. 기존의 분할 알고리즘은 조건식의 판단식, 참실행식, 거짓실행식을 기본 블록으로 나누고 각각에 대하여 지역 분할을 적용한다. 이러한 제약은 스레드의 정의를 약간 수정하여 스레드 내에서의 분기를 허용한다면 좀더 좋은 분할을 얻을 수 있다. 스레드 내에서의 분기는 병렬성을 감소시키거나 동기화의 횟수를 증가 시키거나 또는 교착상태를 발생시키는 등 스레드 분할의 기본 원칙을 어기지 않으며 오히려 스레드 길이를 증가시키거나 동기화 횟수를 줄이는 장점을 가질 수 있다. 본 논문에서는 조건식의 세 가지 기본 블록을 하나 또는 두 개의 기본 블록으로 병합함으로서 스레드 분할을 향상시키는 방법을 제안한다.

• Bulletin of the Korean Chemical Society
• /
• 제35권11호
• /
• pp.3181-3187
• /
• 2014

A series of 3,4-dihydroquinazoline derivatives with anti-cancer activities against human colon cancer HT-29 cell were subjected to three-dimensional quantitative structure-activity relationship (3D-QSAR) studies using the comparative molecular similarity indices analysis (CoMSIA) approaches. The most potent compound, BK10001 was used to align the molecules. As a result, the best prediction was obtained with CoMSIA combined electrostatic, hydrophobic, and hydrogen-bond acceptor fields ($q^2=0.648$, $r^2=0.882$). This model was validated by an external test set of six compounds giving satisfactory predictive $r^2$ values of 0.879. This model would guide the design of potent 3,4-dihydroquinazoline derivatives as anti-cancer agent for the treatment of human colon cancer.

• 한국생물정보학회:학술대회논문집
• /
• 한국생물정보시스템생물학회 2003년도 제2차 연례학술대회 발표논문집
• /
• pp.7-16
• /
• 2003

In this paper, we propose a probabilistic framework to predict the interaction probability of proteins. The notion of domain combination and domain combination pair is newly introduced and the prediction model in the framework takes domain combination pair as a basic unit of protein interactions to overcome the limitations of the conventional domain pair based prediction systems. The framework largely consists of prediction preparation and service stages. In the prediction preparation stage, two appearance pro-bability matrices, which hold information on appearance frequencies of domain combination pairs in the interacting and non-interacting sets of protein pairs, are constructed. Based on the appearance probability matrix, a probability equation is devised. The equation maps a protein pair to a real number in the range of 0 to 1. Two distributions of interacting and non-interacting set of protein pairs are obtained using the equation. In the prediction service stage, the interaction probability of a protein pair is predicted using the distributions and the equation. The validity of the prediction model is evaluated fur the interacting set of protein pairs in Yeast organism and artificially generated non-interacting set of protein pairs. When 80% of the set of interacting protein pairs in DIP database are used as foaming set of interacting protein pairs, very high sensitivity(86%) and specificity(56%) are achieved within our framework.

• Journal of Information Science Theory and Practice
• /
• 제2권3호
• /
• pp.29-39
• /
• 2014

In recent years, several studies have proposed making use of the Twitter micro-blogging service to track various trends in online media and discussion. In this study, we specifically examine the use of Twitter to track discussions of food safety in the Korean language. Given the irregularity of keyword use in most tweets, we focus on optimistic machine-learning and feature set selection to classify collected tweets. We build the classifier model using Naive Bayes & Naive Bayes Multinomial, Support Vector Machine, and Decision Tree Algorithms, all of which show good performance. To select an optimum feature set, we construct a basic feature set as a standard for performance comparison, so that further test feature sets can be evaluated. Experiments show that precision and F-measure performance are best when using a Naive Bayes Multinomial classifier model with a test feature set defined by extracting Substantive, Predicate, Modifier, and Interjection parts of speech.