• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.3
• /
• pp.68-74
• /
• 1998

Performance and efficiency of deep seabed collector is a primary factor for feasibility of commercial deep ocean mining. The efficiency of manganese nodules collector depends on vehicle mobility relative to undulating seafloor and is attributed pickup head to keep altitude and elevation of it against seafloor. For this reason, motion control of pickup head relative to the changing deep-sea topography and other disturbances is of particular importance in design of pickup device. The concept of design axiom is applied to a pickup device of hybrid type in order to evaluate the concept design. Kinematic analysis conducted in absolute Cartesian coordinates gives position, velocity, and acceleration of the hydraulic cylinders which enable the pickup head to keep the preset optimal distance from seafloor. Inverse dynamic analysis provides the driving forces of hydraulic cylinders and the reaction forces at each joint. Design sensitivity analysis is performed in order to investigate the effects of possible design variables on the change of the maximum strokes of hydraulic cylinders. The direct differentiation method is used to obtain the design sensitivity coefficients.

• Journal of KIISE:Software and Applications
• /
• v.34 no.6
• /
• pp.530-538
• /
• 2007

Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

• The Journal of the Petrological Society of Korea
• /
• v.10 no.3
• /
• pp.157-171
• /
• 2001

This study investigated the effects of Pb/Tl ratio, Pb concentration and concomitant matrix elements on the measurement of Pb isotope ratios using multi-collector ICP/MS (AXIOM MC model). Accuracy and reproducibility of Pb isotope ratios in NBS 981 solution were estimated for 42 data measured from March to August 2001. Pb isotopes measured in rocks, bronzes and sediments were compared to data measured by TIMS. Reproducibilities for $^{206}Pb/^{204}Pb,\; ^{207}Pb/^{204}Pb,\;and\;^{208}Pb/^{204}Pb$ ratio were about 500 ppm (2sd) and for $^{207}Pb/^{206}Pb$\;and\;^{208}Pb/^{206}Pb$ were 100~200 ppm for 200 ng of Pb in NBS 981 solution. The optimum conditions for the analysis of Pb isotope ratios with AXIOM MC for best accuracy and reproducibility were defined as follows; 1) Pb/Tl ratio is about 10 2) Pb concentration is about 100 ng/ml 3) correction for mass discrimination is performed by exponential law using 2.3887 of $^{205}Tl/^{203}Tl$ and Pb mass fractionation factor empirically obtained from $ln(^{208}Pb/^{206}Pb)-ln(^{205}Tl/^{203}Tl)$ relationship. The sample data measured with MC/ICP/MS for acid-digested and chemically separated rock samples, and acid-digested bronze samples and sediment samples coincide with those of TIMS within analytical errors. Therefore, MC/ICP/MS is a rapid analytical technique for Pb isotope ratios with the similar precision compared with TIMS.

• East Asian mathematical journal
• /
• v.28 no.2
• /
• pp.135-158
• /
• 2012

The ideals of the rings of integers are used to induce rational number system as operators(=group homomorphisms). We modify this inducing method to be effective in teaching rational numbers in secondary school. Indeed, this modification provides a nice model for explaining the equality property to define addition and multiplication of rational numbers. Also this will give some explicit ideas for students to understand the concept of 'field' efficiently comparing with the integer number system.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.1
• /
• pp.114-118
• /
• 2003

We study some relations between separability in fuzzy topological spaces and one in fuzzy hyperspaces. And we investigate some properties of axiom of countability in fuzzy hyperspaces.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.67-70
• /
• 2002

We study some relations between separability in fuzzy topological spaces and one in fuzzy hyperspaces. And we investigate some properties of axiom of countability in fuzzy hyperspaces.

• Language and Information
• /
• v.2 no.1
• /
• pp.214-255
• /
• 1998

Close examination of previous constraints on bound anaphora that are designed to directly constrain the distribution of referentially dependent(RD) items shows that no universal structural relation may exist that relates RD items to their antecedents. As an alternative to these constraints, this paper proposes an axiom of semantic interpretation, called the Principle of Referential Autonomy, which dispenses with any pretheoretical notion of grammatical functions or configurational notion like c-command. Together with certain English-specific facts, this principle enables us to infer the ungrammaticality of core examples of strong and weak crossover.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.1
• /
• pp.9-11
• /
• 2023

Intuitionistic Zermelo-Fraenkel (IZF) set theory is a set theory without the axiom of choice and the law of excluded middle (LEM). The weak excluded middle law (WEM) states that ¬𝜑∨¬¬𝜑 for any formula 𝜑. In IZF we show that LEM is equivalent to WEM plus the condition that any set not equal to the empty set has an element.

• Journal of Korean Association for Spatial Structures
• /
• v.11 no.3
• /
• pp.125-135
• /
• 2011

This study presents the shape creation process using L-system model of morphogenesis technique. In general, L-system model has been applied to represent the visualization of biological plant. But, this study proposes the shape generation process of L-system model to apply the architectural field. The L-system model consists of two parts such as string generation step and string analysis step. The string generation step shows the process for a string rewriting. This step requires alphabet, axiom and rules to generate a string. Also, the string analysis step gives the meaning in string to generate various forms. Especially, through the various application examples, we can find out the shape creation models for the space structures.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.21 no.2
• /
• pp.207-214
• /
• 2015

In this paper the independence axiom, one of two principal axioms of axiomatic design theory, is applied to the leveling system development as an design criteria. After functional requirements and corresponding design parameters constitute an initial design matrix for the leveling system, sequence, which is compatible with the independence axiom, of the design parameters of the design matrix is determined and independent components of block leveling system are revealed. As a result of axiomatic design, system configuration related to the design sequence is developed. In order to verify and validate the developed block leveling system, test with real hull block leveling work in site by using total station which is used to acquire three dimensional coordinate of target point is performed. Comparison with measured data and output data from the block leveling system shows the system accuracy is under 1 mm so that the developed system is verified and validated to be used in site.