• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.7 s.172
• /
• pp.164-169
• /
• 2005

The micro-gripper system is one of the systems that should be improved in the respect of performance for practical usage. In the previous works, the important issues are considered and presented using axiomatic design approach. In this paper, the functional requirements and design parameters are evaluated in order to improve the performance and efficiency of the system. The evaluation is a very difficult task since many variables are related to the outcomes. To provide a basis for correct design decisions, axiomatic design principles have been advanced. Since the framework of axiomatic design makes design issues easier to understand when they are analyzed, we used those as an evaluation tool. The object of the system is to handle micro-size parts. Main device is a micro-gripper using two bender-typed and one stack-typed PZTs as actuators. And it has three tips made of tungsten wires fur holding function. Also the system must satisfy other functional requirements for appropriate handling performance. The results of this study show design improvements of micro-gripper system such as structural change of gripper, additional element, and integration of physical parts. Axiomatic design guides presented suitable design parameters corresponding to functional requirements and made the design elements improve through diagrams of whole system.

• Journal of Sasang Constitutional Medicine
• /
• v.32 no.2
• /
• pp.10-21
• /
• 2020

Objectives Genome-wide association studies(GWAS) is a useful method to identify genetic associations for various phenotypes. The purpose of this study was to develop predictive models for Sasang constitution types using genetic factors. Methods The genotypes of the 1,999 subjects was performed using Axiom Precision Medicine Research Array (PMRA) by Life Technologies. All participants were prescribed Sasang Constitution-specific herbal remedies for the treatment, and showed improvement of original symptoms as confirmed by Korean medicine doctor. The genotypes were imputed by using the IMPUTE program. Association analysis was conducted using a logistic regression model to discover Single Nucleotide Polymorphism (SNP), adjusting for age, sex, and BMI. Results & Conclusions We developed models to predict Korean medicine constitution types using identified genectic factors and sex, age, BMI using Random Forest (RF), Support Vector Machine (SVM), and Neural Network (NN). Each maximum Area Under the Curve (AUC) of Teaeum, Soeum, Soyang is 0.894, 0.868, 0.767, respectively. Each AUC of the models increased by 6~17% more than that of models except for genetic factors. By developing the predictive models, we confirmed usefulness of genetic factors related with types. It demonstrates a mechanism for more accurate prediction through genetic factors related with type.

• Journal of KIISE
• /
• v.43 no.7
• /
• pp.812-819
• /
• 2016

This paper introduces and analyzes the theoretical basis and method of the conventional initial-value assignment problem and feasibility of image segmentation. The paper presents topological evidence and a method of appropriate initial-value assignment based on topology theory. Subsequently, the paper shows minimum conditions for feasibility of image segmentation based on separation axiom theory of topology and a validation method of effectiveness for image modeling. As a summary, this paper shows image segmentation with its mathematical validity based on topological analysis rather than statistical analysis. Finally, the paper applies the theory and methods to conventional Gaussian random field model and examines effectiveness of GRF modeling.

• The Journal of Asian Finance, Economics and Business
• /
• v.8 no.4
• /
• pp.329-337
• /
• 2021

This research aims to expose the Islamic perspective on the concept of justice on the Mudarabah contract's profit-sharing ratio. In certain verses in Al-Qur'an, Islamic values in Muamalah, the rules dictated by the Qur'an and its practices, and explanations rendered (more commonly known as Sunnah) by the Prophet Muhammad (pbuh) and Sahabah (the companions of the Prophet Muhammad), and Fiqh Axiom (rules) in Muamalah (Islamic jurisprudence), are used as the instruments of sharia to achieve the study objective. Islamic monetary establishments in Indonesia are still not in full consistency with the Shariah principles, significantly as far as satisfying equity and justice by Islamic banks in mudarabah contract (with clients). The ignominy is the nisbah (ratio) between the capital proprietor and the capital director. There are models or propositions to decide the benefit (profit)-sharing proportion. Nevertheless, none of them explains or specifies the possibility of equity/justice in the profit-sharing ratio. This research utilizes an explorative and subjective methodology that contributes to the philosophical premise of deciding the profit-sharing fairness. The elements of a just ratio for the Mudharabah contract are mutual willingness, the existence of negotiation, and the level of advantages and risks of the labor.

• Journal of applied mathematics & informatics
• /
• v.41 no.5
• /
• pp.1037-1046
• /
• 2023

The reason behind to investigate axiom systems with fewer axioms into investigate what types of results still hold, and what results become more general. Seminearrings obtained by the generalisation of nearrings and semirings. Clearly, seminearrings are common abstraction of semirings and nearrings. The aim of this work is to carry out an extensive study on algebraic structure of seminearrings and the major objective is to further enhance the theory of seminearrings in order to study the special structures of seminearrings, this work addresses some special structures of seminearrings such as right duo seminearrings. The right ideal of a seminearring need not be a left ideal. We focused on those seminear-rings which demonstrate this property. A seminearring S is right duo if every right ideal is two sided. Here we have concentrated on the seminearring which are right duo and regular. Main aim of this paper is to deal with properties of regularity in right duo seminearring. We have given some results on right duo seminearring. Followed by that, we have derived some theorems on the relation between the properties of seminearring such as regularity, semi simplicity and intra-regularity in right duo seminearring. We also illustrate this concept with suitable examples.

• International Journal of Computer Science & Network Security
• /
• v.24 no.2
• /
• pp.196-202
• /
• 2024

Currently, the second most devastating form of cancer in people, particularly in women, is Breast Cancer (BC). In the healthcare industry, Machine Learning (ML) is commonly employed in fatal disease prediction. Due to breast cancer's favorable prognosis at an early stage, a model is created to utilize the Dataset on Wisconsin Diagnostic Breast Cancer (WDBC). Conversely, this model's overarching axiom is to compare the effectiveness of five well-known ML classifiers, including Logistic Regression (LR), Decision Tree (DT), Random Forest (RF), K-Nearest Neighbor (KNN), and Naive Bayes (NB) with the conventional method. To counterbalance the effect with conventional methods, the overarching tactic we utilized was hyperparameter tuning utilizing the grid search method, which improved accuracy, secondary precision, third recall, and finally the F1 score. In this study hyperparameter tuning model, the rate of accuracy increased from 94.15% to 98.83% whereas the accuracy of the conventional method increased from 93.56% to 97.08%. According to this investigation, KNN outperformed all other classifiers in terms of accuracy, achieving a score of 98.83%. In conclusion, our study shows that KNN works well with the hyper-tuning method. These analyses show that this study prediction approach is useful in prognosticating women with breast cancer with a viable performance and more accurate findings when compared to the conventional approach.

• The Korean Journal of Physiology
• /
• v.21 no.1
• /
• pp.91-101
• /
• 1987

The present experiment was carried out, in the rabbit and cat, in order to explore functional interrelationship between the vestibular semicircular canals and extraocular muscles, which are involved in the vestibulooculomotor reflex as the receptor and effector organ respectively. Semicircular canals were subjected to electrical stimulation, lymphatic fluid flow or acute freezing, and responses of the extraocular muscles were recorded in terms of changes in electromyographic activity and isometric tension. Electrical stimulation of a unilateral canal elicited contraction of the superio-medial muscle group (superior oblique, superior rectus and medial rectus muscles) in the ipsilateral eye and the inferio-lateral muscle group (inferior oblique, inferior rectus and lateral rectus muscles) in the contralateral eye. Thus a simple and distinct axiom was found in the pattern of the reflex-response of the extraocular muscles. Inhibition of the unilateral canals elicited the extraocular muscle responses contrary to those observed by excitation of the canal. Based on the present experimental results, it was demonstrated that the functional interrelations between the semicircular canals and extraocular muscles are rather equivalent in the frontal eyed cats (with binocular vision) and lateral eyed rabbits (with monocular vision). Therefore the previous thesis that the vestibuloocular relations vary from species to species awaits experimental reevaluation.

• Journal of the Korean School Mathematics Society
• /
• v.2 no.1
• /
• pp.121-131
• /
• 1999

Recently our educational methodologies have been changed to an open, student-centered structure. Mathematics is now learned through experiential interaction and less emphasis is placed on abstract theories. For example, the axioms of the geometry in the middle school curriculum have been expressed by using symbolic letters. Students find these abstractions very difficult and it hinders their ability to grasp the significance of geometrical concepts. In an effort to simplify these abstract concepts and enhance the students interest and ability to learn, the GSP (Geometry Sketchpad) is proving to be a useful and effective tool. First, Second and third grade students have found the GSP to be extremely useful. While the pad has no sound function it still enables the students to freely change diagrams without disrupting the integrity of the program. There is also a running order of instructions at the bottom of the screen to facilitate the step by step understanding of mathematical procedures. This function makes the program ideal for use by teachers, students and even beginners. Anyone experiencing difficulty can get immediate assistance from the guidebook which is located at the back of each program. Allowing individuals to manipulate and actually see the changing deductions and axiom proofs on the computer screen provides them with immediate feedback and reinforcement. It also enhances their overall interest in learning geometry. The use of the GSP is proving to be an innovative and effective tool in facilitating the transition of mathematics into an open, student-centered educational forum.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.4
• /
• pp.1360-1388
• /
• 2021

Shipbuilding and repairing enterprise has the characteristics of many hazards and accidents. Therefore, the safety management ability of shipbuilding and repairing MIS (management information system) must be effectively guaranteed. The verification on safety management is the necessary measure to ensure and improve the safety management ability of MIS. Safety verification can not only increase the safety of MIS, but also make early warning of potential risks in management to avoid the accidents. Based on the authoritative standards in the field of safety in shipbuilding and repairing enterprise, this paper applied modeling and verification method based on ontology to safety verification of MIS, extracted the concepts and associations from related safety standards to construct axiom set to support safety verification on MIS of shipbuilding and repairing enterprise. Then, this paper developed the corresponding safety ontology modeling and verification tool-SOMVT. By the application and comparison of two examples, this paper effectively verified the safety of MIS to prove the modeling method and the SOMVT can improve the safety of MIS in a much more effective and stable way to traditional manual analysis.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.10
• /
• pp.999-1008
• /
• 2007

The spacer grid set is a component in the nuclear fuel assembly. The set supports the fuel rods safely. Therefore, the spacer grid set should have sufficient strength for the external impact forces such as earthquake. The fretting wear occurs between the spring of the fuel rod and the spacer grid due to flow-induced vibration. Conceptual design of the spacer grid set is performed based on the Independence Axiom of axiomatic design. Two functional requirements are defined for the impact load and the fretting wear, and corresponding design parameters are selected. The overall flow of design is defined according to the application of axiomatic design. Design for the impact load is carried out by using nonlinear dynamic analysis to determine the length of the dimple. Topology optimization is carried out to determine a new configuration of the spring. The fretting wear is reduced by shape optimization using the homology theory. The deformation of a structure is called homologous if a given geometrical relationship holds before, during, and after the deformation. In the design to reduce the fretting wear, the deformed shape of the spring should be the same as that of the fuel rod. This condition is transformed to a function and considered as a constraint in the shape optimization process. The fretting wear is expected to be reduced due to the homology constraint. The objective function is minimizing the maximum stress to allow a slight plastic deformation. Shape optimization results are confirmed through nonlinear static analysis.