• International Journal of Knowledge Content Development & Technology
• /
• v.5 no.2
• /
• pp.75-101
• /
• 2015

In this paper, we investigate the notion of error correction memory applied to technical texts. The main purpose is to introduce flexibility and context sensitivity in the detection and the correction of errors related to Constrained Natural Language (CNL) principles. This is realized by enhancing error detection paired with relatively generic correction patterns and contextual correction recommendations. Patterns are induced from previous corrections made by technical writers for a given type of text. The impact of such an error correction memory is also investigated from the point of view of the technical writer's cognitive activity. The notion of error correction memory is developed within the framework of the LELIE project an experiment is carried out on the case of fuzzy lexical items and negation, which are both major problems in technical writing. Language processing and knowledge representation aspects are developed together with evaluation directions.

• Wind and Structures
• /
• v.25 no.6
• /
• pp.589-608
• /
• 2017

A novel probabilistic approach is presented for estimating the equivalent static wind loads that produce a static response of the structure, which is "equivalent" in a probabilistic sense, to the extreme dynamic responses due to the unsteady pressure random field induced by the wind. This approach has especially been developed for complex structures (such as stadium roofs) for which the unsteady pressure field is measured in a boundary layer wind tunnel with a turbulent incident flow. The proposed method deals with the non-Gaussian nature of the unsteady pressure random field and presents a model that yields a good representation of both the quasi-static part and the dynamical part of the structural responses. The proposed approach is experimentally validated with a relatively simple application and is then applied to a stadium roof structure for which experimental measurements of unsteady pressures have been performed in boundary layer wind tunnel.

• Journal for History of Mathematics
• /
• v.30 no.3
• /
• pp.185-199
• /
• 2017

In tropical geometry, the sum of two numbers is defined as the minimum, and the multiplication as the sum. As a way to build tropical plane curves, we could use Newton polygons or amoebas. We study one method to convert the representation of an algebraic variety from an image of a rational map to the zero set of some multivariate polynomials. Mikhalkin proved that complex curves can be replaced by tropical curves, and induced a combination formula which counts the number of tropical curves in complex projective plane. In this paper, we present close examinations of this particular combination formula.

• Earthquakes and Structures
• /
• v.9 no.3
• /
• pp.503-539
• /
• 2015

A new constitutive model for the representation of the seismic behaviour of steel bars including hardening phenomena is presented. The model takes into account relative slip between bars and concrete, necessary for the estimation of the structural behaviour of r.c. elements and of the level of strain induced by earthquakes on bars. The present work provides the analytical formulation of the post-yielding behaviour of reinforcements, resulting in a continuous axial stress-slip relationship to be implemented in engineering software. The efficacy of the model is proved through the application to a cantilever column, for whose bars the constitutive law is derived.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2009.09a
• /
• pp.27-50
• /
• 2009

This paper describes an adaptive management approach for predicting, monitoring, and controlling ground movements associated with excavations in urban areas. Successful use of monitoring data to update performance predictions of supported excavations depends equally on reasonable numerical simulations of performance, the type of monitoring data used as observations, and the optimization techniques used to minimize the difference between predictions and observed performance. This paper summarizes each of these factors and emphasizes their inter-dependence. Numerical considerations are described, including the initial stress and boundary conditions, the importance of reasonable representation of the construction process, and factors affecting the selection of the constitutive model. Monitoring data that can be used in conjunction with current numerical capabilities are discussed, including laser scanning and webcams for developing an accurate record of construction activities, and automated and remote instrumentations to measure movements. Self-updating numerical models that have been successfully used to compute anticipated ground movements, update predictions of field observations and to learn from field observations are summarized. Applications of these techniques from case studies are presented to illustrate the capabilities of this approach.

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.11-30
• /
• 2024

3-Lie algebras are in close relationships with many fields. In this paper we are concerned with the study of 3-Hom-Lie super algebras, the concepts of 3-Hom-Lie coalgebras and how they make a 3-Hom-Lie superbialgebras, we study the structures of such categories of algebras and the relationships between each others. We study a super twisted 3-ary version of the Yang-Baxter equation, called the super 3-Lie classical Hom-Yang-Baxter equation (3-Lie CHYBE), which is a general form of 3-Lie classical Yang-Baxter equation and prove that the superbialgebras induced by the solutions of the super 3-Lie CHYBE induce the coboundary local cocycle 3-Hom-Lie superbialgebras.

• Transactions of the Korean hydrogen and new energy society
• /
• v.16 no.3
• /
• pp.244-252
• /
• 2005

It is very interesting and important in the academic point of view and in practical use the hydrogen-induced phase separation(HIPS) which appears during hydrogen heat treatment. Since hydrogen can be removed very fast by pumping it out the hydrogen-induced new lattice phase which can not be obtained without hydrogen can be preserved as meta-stable state. In this study it has been investigated whether the HIPS appear in Pd-Al, Pd-Co, Pd-Cr, Pd-Ti, Pd-V and Pd-Zr alloys and discussed thermodynamic representation of the HIPS. The Pd alloys were arc-melted under argon atmosphere and remelted 4 or 5 times for homogenization. The alloys were annealed at 600$^{\circ}C$ under vacuum for 24 hrs and then subjected to pressure-composition isotherm measurements at 100$^{\circ}C$. The hydrogen heat treatment(HHT) of samples was carried out at 600$^{\circ}C$ under hydrogen pressure of 70 bar for 6 days and PC isotherms at 100$^{\circ}C$ were measured. By comparing the PC isotherms measured before and after HHT, occurrence of phase separation was determined. The experimental results showed that the HIPS appeared only in Pd-0.05Co alloy. For Pd-Co alloys with various composition the PC isotherms were measured. By adopting Park-Flanagan model for ternary thermodynamics the Gibbs free energy change for Pd-Co-H solid solution was calculated and subsequently with this the HIPS in Pd-Co alloy was explained fairly.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.3
• /
• pp.88-96
• /
• 2000

The instantaneous power theory have been considered as efficient theory in recent years, because it is easier to understand numerical representation and more soft to control PWM power converter on $\alpha$-$\beta$ stationary reference frame. From the forgoing theory, with regard to the calculating process of compensating reference current, there are many induced components of current/ power, and these components have consequently influence on physical interpretation of instantaneous power theory. Especially, beginners for studing the instantaneous power theory don't have enough informations for standard waveform of induced $\alpha$-$\beta$ components. Therefore, this paper describes simulation works using MATLAB/SIMULINK for $\alpha$-$\beta$ space trajectories and waveforms of $\alpha$-$\beta$ current and power components, induced from the instantaneous power theory. It is respected that the results in this paper are serviceable as basic information to assist beginner for studing the instantaneous power theory.

• Korean Journal of Cognitive Science
• /
• v.14 no.4
• /
• pp.9-19
• /
• 2003

Bonneh, Cooperman and Sagi (2001) reported that when a global moving pattern was superimposed on high-contrast stationary stimuli, the latter disappeared and reappeared alternatively for periods of several seconds. They named this as motion-induced-blindness. In present research a rotating transparent cylinder composed of white dots was superimposed on a stationary green dots. When observers watched these stimuli wearing a red filter on his/her right eye, the stationary green dots disappeared or reappeared as did in Bonneh et al. The new MIB was observed only when the cylinder rotated and observers weared a red filter. As the luminance contrast of the green dots and that of white dots against the background reduced, and as the number of green dots and white dots decreased, the duration of MIB reduced. Also, the relative depth of the rotating cylinder and the stationary green dots affected the duration of MIB. These results imply that the new MIB is different from the MIB which was observed by Bonneh et al and that the new MIB cannot be explained by binocular rivalry. Further more, the results imply that the later stage of visual information processing is involved in the new MIB.

• Science of Emotion and Sensibility
• /
• v.26 no.3
• /
• pp.15-28
• /
• 2023

This study examined the affective representation and response consistency among individuals using affective videos, a naturalistic stimulus inducing emotional experiences most similar to those in daily life. In this study, multidimensional scaling was conducted to investigate whether the various affective representations induced through video stimuli are located in the core affect dimensions. A cross-participant classification analysis was also performed to verify whether the video stimuli are well classified. Additionally, the newly developed intersubject correlation analysis was conducted to assess the consistency of affective representations across participant responses. Multidimensional scaling revealed that the video stimuli are represented well in the valence dimension, partially supporting Russell (1980)'s core affect theory. The classification results showed that affective conditions were successfully classified across participant responses. Moreover, the intersubject correlation analysis showed that the consistency of affective representations to video stimuli differed with respect to the condition. This study suggests that the affective representations and consistency of individual responses to affective videos varied across different affective conditions.