• 한국IT서비스학회:학술대회논문집
• /
• 2002.11a
• /
• pp.425-430
• /
• 2002

Over the years, several different approaches have been proposed to enhance the practice of software reuse. These approaches vary in reuse abstraction levels or application domains they focus on. However, it seems that they do not adequately meet the needs of software designers in planning and managing reuse. One reason may be the lack of conceptually well-established framework supporting work domain analysis and modeling. As a new viable solution to this problem, Sutcliffe and his colleagues developed Domain Theory , which is introduced in this paper. Utilizing multidisciplinary perspective, such as cognitive psychology, management science, human-computer interaction, and software engineering. it provides a schematic framework that defines a comprehensive library of generic and reusable models of domain knowledge in terms of generic tasks and meta-domains. It also provides useful methods and guidelines for software reuse, emphasizing the concept of abstraction process in a designer s mind. This paper firstly gives a brief overview of fundamentals of software reuse. Next, it explains the foundation of domain theory and discusses its applicability to software reuse. In particular, the taxonomy of meta-domains and the types of generic tasks are described in more detail. Finally, the future research framework, which primarily addresses the problem of how to apply the domain theory to various work domains, is proposed.

• Journal of the Korean Ceramic Society
• /
• v.53 no.3
• /
• pp.312-316
• /
• 2016

The energetics of defects in the presence of domain walls in $LiNbO_3$ are characterized using density-functional theory calculations. Domain walls show stronger interactions with antisite defects than with interstitial defects or vacancies. As a result, antisite defects act as a strong pinning center for the domain wall in $LiNbO_3$. Analysis of migration behavior of the antisite defects across the domain wall shows that the migration barrier of the antisite defects is significantly high, such that the migration of antisite defects across the domain wall is energetically not preferable. However, further study on excess electrons shows that the migration barrier of antisite defects can be lowered by changing the charge states of the antisite defects. So, excess electrons can enhance the migration of antisite defects and thus facilitate domain wall movement by weakening the pinning effect.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.81-87
• /
• 1992

Wellknown invariance of domain theorems are Brower's invariance of domain theorem for continuous mappings defined on a finite dimensional space and Schauder-Leray's invariance of domain theorem for the class of mappings I+C defined on a infinite dimensional Banach space with I the identity and C compact. The two classical invariance of domain theorems were proved by applying the homotopy invariance of Brower's degree and Leray-Schauder's degree respectively. Degree theory for some class of mappings is a useful tool for mapping theorems. And mapping theorems (or surjectivity theorems of mappings) are closely related with invariance of domain theorems for mappings. In[4, 5], Browder and Petryshyn constructed a multi-valued degree theory for A-proper mappings. From this degree Petryshyn [9] obtained some invariance of domain theorems for locally A-proper mappings. Recently Browder [6] has developed a degree theory for demicontinuous mapings of type ( $S_{+}$) from a reflexive Banach space X to its dual $X^{*}$. By applying this degree we obtain some invariance of domain theorems for demicontinuous mappings of type ( $S_{+}$). ( $S_{+}$).

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.121-129
• /
• 2010

Using a degree theory for countably condensing multivalued maps, we show that under certain conditions an invariance of domain theorem holds for countably condensing or countably k-contractive multivalued vector fields.

• Geomechanics and Engineering
• /
• v.19 no.5
• /
• pp.369-381
• /
• 2019

The objective of this paper is to study the two dimensional deformation in transversely isotropic thermoelastic medium without energy dissipation due to time harmonic sources using new modified couple stress theory, a continuum theory capable to predict the size effects at micro/nano scale. The couple stress constitutive relationships have been introduced for transversely isotropic thermoelastic medium, in which the curvature tensor is asymmetric and the couple stress moment tensor is symmetric. Fourier transform technique is applied to obtain the solutions of the governing equations. Assuming the deformation to be harmonically time-dependent, the transformed solution is obtained in the frequency domain. The application of a time harmonic concentrated and distributed sources have been considered to show the utility of the solution obtained. The displacement components, stress components, temperature change and couple stress are obtained in the transformed domain. A numerical inversion technique has been used to obtain the solutions in the physical domain. The effects of angular frequency are depicted graphically on the resulted quantities.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.8 no.3
• /
• pp.71-82
• /
• 2009

As a solution to spectrum under-utilization problem, Cognitive radio (CR) introduces a dynamic spectrum access technology. In the area, one of the most important problems is how secondary users (SUs) should choose between the available channels, which means how to achieve load balancing between channels. We consider spectrum load balancing problem for CR system in frequency domain and especially in time domain. Our objective is to balance the load among the channels and balance the occupied time length of slots for a fixed channel dynamically in order to obtain a user-optimal solution. In frequency domain, we refer to Dynamic Noncooperative Scheme with Communication (DNCOOPC) used in distributed system and a distributed Dynamic Spectrum Load Balancing algorithm (DSLB) is formed based on DNCOOPC. In time domain, Spectrum Load Balancing method with QoS support is proposed based on Dynamic Feed Back theory and Hash Table (SLBDH). The performance of DSLB and SLBDH are evaluated. In frequency domain, DSLB is more efficient compared with existing Compare_And_Balance (CAB) algorithm and gets more throughput compared with Spectrum Load Balancing (SLB) algorithm. Also, DSLB is a fair scheme for all devices. In time domain, SLBDH is an efficient and precise solution compared with Spectrum Load Smoothing (SLS) method.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.3
• /
• pp.342-349
• /
• 1999

The metric defined on the domain deformation space better measures the similarity between bounded and continuous signals for the purpose of classification via the metric distances between signals. In this paper, a modified domain deformation theory is introduced for one-dimensional signal classification. A new metric defined on a modified domain deformation for measuring the distance between signals is employed. By introducing a newly defined metric space via the newly defined Integra-Normalizer, the assumption that domain deformation is applicable only to continuous signals is removed such that any kind of integrable signal can be classified. The metric on the modified domain deformation has an advantage over the $L^2$ metric as well as the previously introduced domain deformation does.

• Journal of Korea Multimedia Society
• /
• v.4 no.3
• /
• pp.280-285
• /
• 2001

Since KBANN (knowledge-based artificial neural network) combing the inductive learning algorithm and the analytical learning algorithm was proposed, several methods such as TopGen, TR-KBANN, THRE-KBANN which modify KBANN have been proposed. But these methods can be applied when there is a domain theory. The algorithm representing the problem into KBANN based on only the instances without domain theory is proposed in this paper. Domain theory represented into KBANN can be refined by THRE-KBANN. The performance of this algorithm is more efficient than the C4.5 in the experiment for some problem domains of inductive learning.

• Journal of the Korean Mathematical Society
• /
• v.51 no.6
• /
• pp.1209-1220
• /
• 2014

We prove global gradient estimates in weighted Orlicz spaces for weak solutions of nonlinear elliptic equations in divergence form over a bounded non-smooth domain as a generalization of Calder$\acute{o}$n-Zygmund theory. For each point and each small scale, the main assumptions are that nonlinearity is assumed to have a uniformly small mean oscillation and that the boundary of the domain is sufficiently flat.

• Journal of electromagnetic engineering and science
• /
• v.16 no.4
• /
• pp.219-224
• /
• 2016

In this paper, coupled-mode theory (CMT) is used to obtain a transient solution analytically for a wireless power transfer system (WPTS) when unit energy is applied to one of two resonators. The solutions are compared with those obtained using equivalent circuit-based analysis. The time-domain CMT is accurate only when resonant coils are weakly coupled and have large quality factors, and the reason for this inaccuracy is outlined. Even though the time-domain CMT solution does not describe the WPTS behavior precisely, it is accurate enough to allow for an understanding of the mechanism of energy exchange between two resonators qualitatively. Based on the time-domain CMT solution, the critical coupling coefficient is derived and a criterion is suggested for distinguishing inductive coupling and magnetic resonance coupling of the WPTS.