• 제목/요약/키워드: modularity

Search Result 255, Processing Time 0.026 seconds

Formal Semantics for Lambda Expression of Java (자바 람다식에 대한 형식 의미론)

  • Han Jung Lan
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.12 no.5
    • /
    • pp.157-164
    • /
    • 2023
  • Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfaces and lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfaces and lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation 3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiority of this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity, extensibility and flexibility with the existing representative semantic expression methods.

Multiagent-based Distance Learning Framework using CORBA (CORBA를 이용한 멀티에이전트 기반 원격 학습프레임워크)

  • Jeong, Mok-Dong
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.11
    • /
    • pp.2989-3000
    • /
    • 1999
  • Until now, most Intelligent Tutoring Systems are lacking in the modularity, the extensibility of the system, and the flexibility in the dynamic environment due to the static exchanges of knowledge among modules. To overcome these flexibility in the dynamic due to the static exchanges of knowledge among modules. To overcome these problems, we will suggest, in this paper, a Distance Intelligent Tutoring Framework, called DELFOM, based on the multiagent to cope with the various and complicated learner's requests. We could make different types of learning systems by simply changing the contents of DELFOM External that is variant part of DELFOM. This framework, therefore, provides software reuse and the extensibility based on object-oriented paradigm. And we will propose two different distance learning systems using DELFOM. Therefore this framework gives the developer/the learner the effective and easy development/learning environment. DELFOM is implemented using CORBA and Java for the network transparency and platform independence.

  • PDF

THE LATTICE OF INTERVAL-VALUED FUZZY IDEALS OF A RING

  • Lee, Keon-Chang;Hur, Kul;Lim, Pyung-Ki
    • Honam Mathematical Journal
    • /
    • v.34 no.3
    • /
    • pp.351-373
    • /
    • 2012
  • We investigate the lattice structure of various sublattices of the lattice of interval-valued fuzzy subrings of a given ring. We prove that a special class of interval-valued fuzzy ideals of a ring. Finally, we show that the lattice of interval-valued fuzzy ideals of R is not complemented[resp. has no atoms(dual atoms)].

Play or Work?: Generativity in Online Games

  • Lee, BoKyung;Jeon, Seong Min
    • 한국벤처창업학회:학술대회논문집
    • /
    • 2017.08a
    • /
    • pp.37-47
    • /
    • 2017
  • The digital multi-sided platform has led the growth of industries. Accelerating this growth, generativity allowed innovation based on boundary-less modularity. Online games are a rich source of research but most of the research is dedicated in examining only the online game itself. However, there is a growing need to understand online games in an ecosystem level for a new phase of evolution is starting based on generativity. With generativity, online game users now make new graphics and quest that can be added and shared to the already existing game environment. The ecosystem is moving towards finding an amicable multi-sided distribution platform for these user generated game contents. Preliminary data suggest the possibility of actual connection between generativity and users' game engagement. Interviews and surveys will be prepared to find out the details of the possible relationship and how the ecosystem will shape accordingly.

  • PDF

DESIGN-ORIENTED AERODYNAMIC ANALYSES OF HELICOPTER ROTOR IN HOVER (정지비행 헬리콥터 로터의 설계를 위한 공력해석)

  • Jung H.J.;Kim T.S.;Son C.H.;Joh C.Y.
    • Journal of computational fluids engineering
    • /
    • v.11 no.3 s.34
    • /
    • pp.1-7
    • /
    • 2006
  • Euler and Navier-Stokes flow analyses for helicopter rotor in hover were performed as low and high fidelity analysis models respectively for the future multidisciplinary design optimization(MDO). These design-oriented analyses possess several attributes such as variable complexity, sensitivity-computation capability and modularity which analysis models involved in MDO are recommended to provide with. To realize PC-based analyses for both fidelity models, reduction of flow domain was made by appling farfield boundary condition based on 3-dimensional point sink with simple momentum theory and also periodic boundary condition in the azimuthal direction. Correlations of thrust, torque and their sensitivities between low and high complexity models were tried to evaluate the applicability of these analysis models in MDO process. It was found that the low-fidelity Euler analysis model predicted inaccurate sensitivity derivatives at relatively high angle of attack.

Resource and Delay Efficient Polynomial Multiplier over Finite Fields GF (2m) (유한체상의 자원과 시간에 효율적인 다항식 곱셈기)

  • Lee, Keonjik
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.16 no.2
    • /
    • pp.1-9
    • /
    • 2020
  • Many cryptographic and error control coding algorithms rely on finite field GF(2m) arithmetic. Hardware implementation of these algorithms needs an efficient realization of finite field arithmetic operations. Finite field multiplication is complicated among the basic operations, and it is employed in field exponentiation and division operations. Various algorithms and architectures are proposed in the literature for hardware implementation of finite field multiplication to achieve a reduction in area and delay. In this paper, a low area and delay efficient semi-systolic multiplier over finite fields GF(2m) using the modified Montgomery modular multiplication (MMM) is presented. The least significant bit (LSB)-first multiplication and two-level parallel computing scheme are considered to improve the cell delay, latency, and area-time (AT) complexity. The proposed method has the features of regularity, modularity, and unidirectional data flow and offers a considerable improvement in AT complexity compared with related multipliers. The proposed multiplier can be used as a kernel circuit for exponentiation/division and multiplication.

The State of the Art of the Fuel Cells (연료전지 기술현황)

  • Lee, Jin-Hong;ShunWoo, Hyun-Bum
    • Proceedings of the KIEE Conference
    • /
    • 1991.07a
    • /
    • pp.3-12
    • /
    • 1991
  • Fuel cells are electrochemical devices that convert the chemical reaction energy directly into the electrical energy. In a typical fuel cell, gaseous fuel is fed continuously to the anode(negative electrode) compartment and the oxidant(i.e, oxygen from air) is fed continuously to the cathode(positive electrode) compartment; the electrochemical reactions take place at the electrodes to produce an electric current. Many of the operational characteristics of fuel cell systems are superior to those of conventional power generation system because of good efficiency, environmental protection, safty, modularity etc. From those reasons, the fuel cells are considered to be the solution to the future problem of energy conversion. The objective of this paper is to introduce the technical status of fuel cell technologies and our national project for the development of the phosporic acid fuel cell.

  • PDF

A Study on Construction of Multiple-Valued Multiplier over GF($p^m$) using CCD (CCD에 의한 GF($p^m$)상의 다치 승산기 구성에 관한 연구)

  • 황종학;성현경;김흥수
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.31B no.3
    • /
    • pp.60-68
    • /
    • 1994
  • In this paper, the multiplicative algorithm of two polynomials over finite field GF(($p^{m}$) is presented. Using the presented algorithm, the multiple-valued multiplier of the serial input-output modular structure by CCD is constructed. This multiple-valued multiplier on CCD is consisted of three operation units: the multiplicative operation unit, the modular operation unit, and the primitive irreducible polynomial operation unit. The multiplicative operation unit and the primitive irreducible operation unit are composed of the overflow gate, the inhibit gate and mod(p) adder on CCD. The modular operation unit is constructed by two mod(p) adders which are composed of the addition gate, overflow gate and the inhibit gate on CCD. The multiple-valued multiplier on CCD presented here, is simple and regular for wire routing and possesses the property of modularity. Also. it is expansible for the multiplication of two elements on finite field increasing the degree mand suitable for VLSI implementation.

  • PDF

A Study on Optimal Link Dimensioning of ATM Networks (ATM 망의 링크 용량 설계에 관한 연구)

  • 이희상;김상백;송해구
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.24 no.2
    • /
    • pp.81-94
    • /
    • 1999
  • ATM network design procedure is different from the current circuit or packet networks design procedure because of the variety of the offered services and the variability of requested bandwidth for each connection of ATM network. A number of optimization models for the link dimensioning of ATM network design have been proposed in the literature. However, most of the literature did not consider the modularity of resources allocated to a transmission path and the non-bifurcation of a VP link over the more than one TP, which are standardized in recent ITU-T Recommendations. In thIs paper, we propose a mathematical model for link dimensioning of ATM networks, based on the network synthesis method and a generalized bin-packing problem. The suggested model satisfies the constraints mentioned in the ITU-T Recommendations. We also propose efficient and practical algorithms for the suggested model. Computational experiment shows that the suggested algorithm gives efficient solutions even for moderate and large-sized networks within reasonable time.

  • PDF

Implementation of systolic array for 2-D IIR digital filters (2-D IIR digital filter에 대한 systolic array구현)

  • 김수현
    • Proceedings of the Acoustical Society of Korea Conference
    • /
    • 1992.06a
    • /
    • pp.29-32
    • /
    • 1992
  • In this paper, a systolic array structure is derived from the realization of 2-D IIR digital filters directed from the SFG(signal flow graph). After realized the 1-D formed partial systolic array, we implemented the complete systolic array to be cascaded 1-D form. The cascading of partial systolic arrays reduce the storage element which sued to delay input signal. 1-D systolic array is derived from that DG is designed through local communication approach and then it mapping to SFG. The derived structure is very simple and has high throughput because during new imput sample is supplied, new output is obtained every sampling period. And broadcast input signal is eliminated. Since the systolic array has property of regularity, modularity, local interconnection and highly synchronized multiprocessing, thus is very suitable for VLSI implementation.

  • PDF