• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.531-536
• /
• 1998

It is well known that a Boolean algebra is one of the most important algebra for engineering. A fuzzy algebra, which is referred to also as a Kleen algebra, is obtained from a Boolean algebra by replacing the complementary law in the axioms of a Bloolean algebra with the Kleen's law, where the Kleen's law is a weaker condition than the complementary law. Removal of the Kleen's law from a Kleen algebra gives a De Morgan algebra. In this paper, we generate lattice structures of the above related algebraic systems having finite elements by using a computer. From the result, we could find out a hypothesis that the structure excepting for each element name between a Kleene algebra and a De Morgan algebra is the same from the lattice standpoint.

• IEIE Transactions on Smart Processing and Computing
• /
• 제1권1호
• /
• pp.50-64
• /
• 2012

Quality of Service (QoS) and fairness considerations are undoubtedly essential parameters that need to be considered in the design of next generation scheduling algorithms. This work presents a novel game theoretic cross-layer design that offers optimal allocation of wireless resources to heterogeneous services in Orthogonal Frequency Division Multiple Access (OFDMA) networks. The method is based on the Axioms of the Symmetric Nash Bargaining Solution (S-NBS) concept used in cooperative game theory that provides Pareto optimality and symmetrically fair resource distribution. The proposed strategies are determined via convex optimization based on a new solution methodology and by the transformation of the subcarrier indexes by means of time-sharing. Simulation comparisons to relevant schemes in the literature show that the proposed design can be successfully employed to typify ideal resource allocation for next-generation broadband wireless systems by providing enhanced performance in terms of queuing delay, fairness provisions, QoS support, and power consumption, as well as a comparable total throughput.

• 한국IT서비스학회지
• /
• 제10권4호
• /
• pp.219-227
• /
• 2011

Service Oriented Architecture (SOA) is rapidly emerging as the efficient approach in contemporary complex, heterogeneous computing environments. SOA increases the adaptability by loose coupling and its main feature is that three elements such as service provider, service requester and service registry are connected with each other systematically. To design the service-oriented system efficiently, a metric to measure the coupling between services accurately is needed. In this paper, we propose four coupling metrics for SOA based softwares. First, we suggest a coupling metric for service-oriented systems by modifying an established coupling metric of object-oriented systems. Then we suggest another coupling metric which includes indirect coupling between services. We also suggest two relative coupling metrics to measure coupling between subsystems. We investigate the theoretical soundness of the proposed metrics by the axioms of Briand et al. Finally, we apply the presented metrics to an industrial-scale case study.

• Korea-Australia Rheology Journal
• /
• 제18권2호
• /
• pp.91-98
• /
• 2006

We compare FT (Fourier Transform) and SD (Stress Decomposition), the interpretation methods for LAOS (Large Amplitude Oscillatory Shear). Although the two methods are equivalent in mathematics. they are significantly different in numerical procedures. Precision of FT greatly depends on sampling rate and length of data because FT of experimental data is the discrete version of Fourier integral theorem. FT inevitably involves unnecessary frequencies which must not appear in LAOS. On the other hand, SD is free from the problems from which FT suffers, because SD involves only odd harmonics of primary frequency. SD is based on two axioms on shear stress: [1] shear stress is a sufficiently smooth function of strain and its time derivatives; [2] shear stress satisfies macroscopic time-reversal symmetry. In this paper, we compared numerical aspects of the two interpretation methods for LAOS.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권1호
• /
• pp.53-65
• /
• 2010

The congruent conditions of triangles' plays an important role to connect intuitive geometry with deductive geometry in school mathematics. It is induced by 'three determining conditions of triangles' which is justified by classical geometric construction. In this paper, we analyze the essential meaning and geometric position of 'congruent conditions of triangles in Euclidean Geometry and investigate introducing processes for them in the Elements of Euclid, Hilbert congruent axioms, Russian textbook and Korean textbook, respectively. Also, we give justifications of construction methods for triangle having three segments with fixed lengths and angle equivalent to given angle suggested in Korean textbooks, are discussed, which can be directly applicable to teaching geometric construction meaningfully.

• Industrial Engineering and Management Systems
• /
• 제12권1호
• /
• pp.2-8
• /
• 2013

Uncertainty theory is a branch of mathematics based on normolity, duality, subadditivity and product axioms. Uncertain process is a sequence of uncertain variables indexed by time. Canonical Liu process is an uncertain process with stationary and independent increments. And the increments follow normal uncertainty distributions. Uncertain differential equation is a type of differential equation driven by the canonical Liu process. Stability analysis on uncertain differential equation is to investigate the qualitative properties, which is significant both in theory and application for uncertain differential equations. This paper aims to study stability properties of linear uncertain differential equations. First, the stability concepts are introduced. And then, several sufficient and necessary conditions of stability for linear uncertain differential equations are proposed. Besides, some examples are discussed.

• 한국멀티미디어학회논문지
• /
• 제13권6호
• /
• pp.841-848
• /
• 2010

Conventional filters using email header and body information equally judge whether an incoming email is spam or not. However this is unrealistic in everyday life because each person has different criteria to judge what is spam or not. To resolve this problem, we consider user preference information as well as email category information derived from the email content. In this paper, we have developed a personalized anti-spam system using ontologies constructed from rules derived in a data mining process. The reason why traditional content-based filters are not applicable to the proposed experimental situation is described. In also, several experiments constructing classifiers to decide email category and comparing classification rule learners are performed. Especially, an ID3 decision tree algorithm improved the overall accuracy around 17% compared to a conventional SVM text miner on the decision of email category. Some discussions about the axioms generated from the experimental dataset are given too.

• 기술경영경제학회:학술대회논문집
• /
• 기술경영경제학회 2003년도 제22회 동계학술발표회 논문집
• /
• pp.191-199
• /
• 2003

It is critical to select an appropriate technology valuation method when the characteristics of a technology and valuation environment are variable. To ensure high quality decision making when selecting a technology valuation method, it is necessary to understand the principles of a good technology valuation method, and define and apply a decision making theory for selecting an optimal method. The authors propose that Axiomatic Design Principles can be applied as a decision making theory. In order to apply Axiomatic Design for this problem, this paper describes four domains(customer, functional, physical, and process domain) and four axioms(independence, information, cost, time axiom) for the decision making process for the optimal technology valuation method. The result of this study will contribute flexibility to the dynamic technology valuation process.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.115-128
• /
• 2009

본 논문에서 von Neumann의 공리계를 수정하여 새로운 DVN공리계를 소개한다. 그리고 DVN공리계에서 불가지 류의 존재성을 조사하고, 불가지류와 선택공리의 관계를 논한다.

• 대한수학회논문집
• /
• 제33권2호
• /
• pp.515-525
• /
• 2018

In this paper, we investigate a modified $G^2$ transform on a class of Boehmians. We prove the axioms which are necessary for establishing the $G^2$ class of Boehmians. Addition, scalar multiplication, convolution, differentiation and convergence in the derived spaces have been defined. The extended $G^2$ transform of a Boehmian is given as a one-to-one onto mapping that is continuous with respect to certain convergence in the defined spaces. The inverse problem is also discussed.