• Korean Journal of English Language and Linguistics
• /
• v.2 no.4
• /
• pp.575-587
• /
• 2002

In this paper we discuss the contrastive nature of formalism and functionalism in linguistics. Though the mainstreams of linguistic analysis have been focused on the form and function, they have been challenged from each other's strong points. On the one hand, the formal description has been studied in the tradition of generative grammar. On the other hand, the functional nature has played a crucial role in the framework of language use. It seems undesirable to argue that there is one-sided bias toward any type of linguistic approach. I try to present a balanced view of these two contrastive approaches. We also argue that there should be a cooperative work in developing the mutual growth of linguistic theory.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.241-251
• /
• 2005

In this paper, we introduce a new algebraic method to characterize rational PH plane curves. And using this method, we study the algebraic characterization of generic strongly regular rational plane PH curves expressed in the complex formalism which is introduced by R.T. Farouki. We prove that generic strongly semi-regular rational PH plane curves are completely characterized by solving a simple functional equation H(f, g) = $h^2$ where h is a complex polynomial and H is a bi-linear operator defined by H(f, g) = f'g - fg' for complex polynomials f,g.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.547-562
• /
• 2011

We establish a new formalism of the non-periodic autocorrelation function (NPAF) of two sequences, which is suitable for the computation of the NPAF of any two sequences. It is shown, that this encoding of NPAF is efficient for sequences of small weight. In particular, the check for two sequences of length n having weight w to have zero NPAF can be decided in $O(n+w^2{\log}w)$. For n > w^2{\log}w$, the complexity is O(n) thus we cannot expect asymptotically faster algorithms.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.2
• /
• pp.149-156
• /
• 2012

In fracture mechanics, the weight function can be used for calculating stress intensity factors. In this paper, a two-dimensional electroelastic analysis is performed on a transversely isotropic piezoelectric material with an open crack. A plane strain formulation of the piezoelectric problem is solved within the Leknitskii formalism. Weight function theory is extended to piezoelectric materials. The stress intensity factors and electric displacement intensity factor are calculated by the weight function theory.

• Journal of the Korean Magnetic Resonance Society
• /
• v.5 no.2
• /
• pp.130-137
• /
• 2001

Backbone dynamics of the catalytic residues in free and steroid-bound $\Delta$$^{5}$ -3- ketosteroid isomerase from Pseudomonas testosteroni has been examined by $^{15}$ N relaxation measurements. The relaxation data were analyzed using the model-free formalism to extract the model-free parameters (S$^2$, $\tau$$_{e}$, and R$_{ex}$). Tyr-34 and Asp-99 exhibit enhanced high-frequency (pico- to nanosecond) internal motions in the free enzyme, which are restricted upon ligand binding, while Asp-38 experiences severe restriction of the internal motions in the fee enzyme, suggesting that Tyr-14 and Asp-99 are more actively involved in the ligand binding than Asp-38. The results also indicate that the H-bond network in the catalytic cavity might be slightly strengthened upon ligand binding, which may have some implications on the enzyme mechanism.he enzyme mechanism.m.

• Progress in Superconductivity
• /
• v.3 no.2
• /
• pp.146-150
• /
• 2002

We performed the point contact spectroscopy on newly discovered superconductor $MgB_2$ thin films with Au tip. In the point contact spectroscopy of the metallic Sharvin limit, the differential conductance below the gap is twice as that above the gap by virtue of Andreev Reflection. After some surface cleaning processes of sample preparation such as ion-milling and wet etching, the obtained dI/dV versus voltage curves are relatively well fitted to the Blonder-Tinkham-Klapwijk (BTK) formalism. Gaps determined by this technique were distributed in the range of 3meV~ 8meV with the BCS value of 5.9meV in the weak coupling limit. We attribute these discrepancies to the symmetry of the gap parameter and the degradation of the surface of the sample. We also present the temperature dependence of the conductance vs voltage curve and thereby the temperature dependence of the gap.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.4 no.4
• /
• pp.452-474
• /
• 2010

Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluation of the behavior and performance of the large-scale network systems. Large numbers of nodes affect simulation performance, simulation execution time and scalability in a weighty manner. Most of the existing simulators have numerous problems such as size, lack of system theoretic approach and complexity of modeled network. In this work, a scalable discrete-event modeling approach is described for studying networks' scalability and performance traits. Key fundamental attributes of Internet and its protocols are incorporated into a set of simulation models developed using the Discrete Event System Specification (DEVS) approach. Large-scale network models are simulated and evaluated to show the benefits of the developed network models and approaches.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.249-258
• /
• 2007

This paper presents an implementation of a gramar of Dynamic Syntax for Japanese. Dynamic Syntax is a grammar formalism which enables a parser to process a sentence in an incremental fashion, establishing the semantic representation. Currently the application of lexical rules and transition rules in Dynamic Syntax is carried out arbitrarily and this leads to inefficient parsing. This paper provides an algorithm of rule application and partitioned parsing state for efficient parsing with special reference to processing Japanese, which is one of head-final languages. At the present stage the parser is still small but can parse scrambled sentences, relative clause constructions, and embedded clauses. The parser is written in Prolog and this paper shows that the parser can process null arguments in a complex sentence in Japanese.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.136-145
• /
• 2007

This paper explains how we define and represent modality in E-HowNet. Following Lyons (1977, reviewed in Hsieh 2003, among others), we hold that modals express a speaker's opinion or attitude toward a proposition and hence have a pragmatic dimension and recognize five kinds of modal categories, i.e. epistemic, deontic, ability, volition and expectation modality. We then present a representational formalism that contains the three most basic components of modal meaning: modal category, positive or negative and strength. Such a formula can define not only modal words but also words that contain modal meanings and cope with co-compositions of modals and the negation construction.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.10a
• /
• pp.141-144
• /
• 2002

Computer code was developed to design waveguide gratings based on coupled-mode equations and the transfer matrix formalism. The experimental set-up has been constructed for inscribing Bragg gratings in planar waveguides with a phase mask and uv laser beam, which enables alignment and packaging of grating devices as well as in-situ performance measurements. Bragg grating has been fabricated on silica planar waveguides with 0.75% Germanium concentration and its transmittance spectrum was measured to have 95% reflectance at the peak wavelength. Optical losses as the function of the misalignment were measured and their usage is described.