• 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.

• 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.

• 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.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.5
• /
• pp.914-923
• /
• 2002

Recently, there has been considerable interest in micro gyroscopes made of silicon chips. It can be applied to many micro-electro-mechanical systems (MEMS): devices for stabilization, general rate control, directional pointing, autopilot systems, and missile control. This paper shows how the mechanical design of the gyroscope can be done using axiomatic design, followed by the application of the Taguchi robust design method to determine the dimensions of the parts so as to accommodate the dimensional variations introduced during manufacturing. Functional requirements are defined twofold. One is that the natural frequencies should have fixed values, and the other is that the system should be robust to large tolerances. According to the Independence Axiom, design parameters are classified into a few groups. Then, the detailed design process is performed fellowing the sequence indicated by the design matrix. The dimensions of the structure are determined to have constant values fur the difference of frequencies without consideration of the tolerances. It is noted that the Taguchi concept is utilized as a unit process of the entire axiomatic approach.

• Journal of Educational Research in Mathematics
• /
• v.26 no.2
• /
• pp.159-172
• /
• 2016

This study examines the approach of introduction of the real numbers through the infinite decimal, which is suggested by Lee Ji-Hyun(2014; 2015) in the aspect of the overcoming the double discontinuity, and analyses Li(2011), which is the mathematical background of the foregoing Lee's. Also, this study compares these construction methods given by Lee and Li with the traditional method using the nested intervals. As a result of analysis, this study shows that Lee Ji-Hyun(2014; 2015) and Li(2011) face the risk of the circulation logic in making the infinite decimal corresponding each point on the geometrical line, and need the steps not using the 'limit to a real number' in order to compensate the mathematical and educational defect. Accordingly, this study raises the opinion that the traditional method of defining the infinite decimal as a sequence by using the geometrical nested intervals axiom would be a appropriate supplementation.

• 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.

• Journal of Distribution Science
• /
• v.14 no.11
• /
• pp.61-73
• /
• 2016

Purpose - Marketing scholars have developed various types of mathematical models for describing marketing phenomenon, because there is no single model comprehensive enough to incorporate all the relevant marketing phenomena. This study tries to summarize the behavioral foundations and the mathematical derivations of the most widely used marketing models and discusses their strategic implications. This study selected four representative marketing models: multinomial logit(MNL) model, elimination-by-aspects(EBA) model, Hauser and Shugan model and Bass diffusion model. Especially, this study focuses on Hauser and Shugan(1983)'s Defender model and discusses the model's behavioral foundation and its implications. Research design, data, and methodology - Of the four selected model, the multinomial logit model is selected as the basic normative model and the other three models are described as descriptive models in contrast. Starting the discussion from the multinomial logit model, this study explains what important strategic variables are incorporated in each of the four models. The IIA(independence of irrelevant alternatives) axiom and Luce choice model is also discussed in relation to the multinomial logit model. The concept of 'efficient frontier' is discussed in relation to Hauser and Shugan's model. Graphs and tables are used to represent the key implications. No empirical study is included. Results - The analyses of the mathematical marketing models are shown to be very useful in understanding the essence of positioning strategy. The multinomial logit model implies the importance of increasing utility or consumer preference level. The EBA model implies the importance of lowering the inter-brand similarity and dominating the competitors. Hauser and Shugan model implies the importance of considering customer heterogeneity distribution in selecting the target market. Conclusions - It is shown that the concepts of 'efficient frontier' is useful in understanding the effectiveness of positioning strategy. Market positioning can be understood as occupying some place on the efficient frontier. The important strategic implications can be summarized as follows: Always try to increase customer preference by providing what they value, and differentiate from competing alternatives as much as possible. The best positioning strategy is to dominate all the competitors and the worst is to be dominated by the competitors.

• Journal of KIISE
• /
• v.44 no.3
• /
• pp.287-294
• /
• 2017

With the personal-media development that has emerged through various means such as UCC and SNS, many media studies have been completed for the purposes of analysis and recognition, thereby improving the object-recognition level. The focus of these studies is a classification of media that is based on a recognition of the corresponding objects, rather than the use of the title, tag, and scripter information. The media-classification task, however, is intensive in terms of the consumption of time and energy because human experts need to model the underlying media ontology. This paper therefore proposes an automated approach for the modeling of the media-classification ontology schema; here, the OWL-DL Axiom that is based on the frequency of the recognized media-based objects is considered, and the automation of the ontology modeling is described. The authors conducted media-classification experiments across 15 YouTube-video categories, and the media-classification accuracy was measured through the application of the automated ontology-modeling approach. The promising experiment results show that 1500 actions were successfully classified from 15 media events with an 86 % accuracy.

• Korean Journal of Head & Neck Oncology
• /
• v.22 no.2
• /
• pp.142-146
• /
• 2006

Background and Objectives : This study reports our clinicopathological experiences of major salivary gland tumors. Materials and Methods : This study included 302 patients with major salivary gland tumors who had got the diagnosis from January 1995 through December 2004. Medical records were reviewed retrospectively. Results : We found 244 benign and 58 malignant major salivary gland tumors. Among 267 parotid tumors, the most common benign parotid tumor was pleomorphic adenoma. Mucoepidermoid carcinoma, adenoid cystic carcinoma, and acinic cell carcinoma were three most common parotid malignancies. Among 33 submandibular gland tumors, 20 cases were benign and 13 were malignant. There were one benign and one malignant sublingual gland tumors. The duration of symptom of submandibular gland tumors was longer than that of parotid tumors. Most patients presented with asymptomatic mass. Seventy-one percent of salivary gland malignancies underwent postoperative radiation therapy. Five-year disease free survival rate of parotid malignant tumors seemed to be higher than that of submandibular one, although there was no statistical significance. Conclusion : Malignancy rate of each salivary gland followed old axiom that it is inversely related with the size of gland. Submandibular gland tumor tends to be delayed to reach diagnosis. Clinicians must be alert about this finding because submandibular gland tumors are known to have poorer prognosis than parotid tumors.