• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.405-414
• /
• 2012

In this paper, we propose a reliability estimation method for DI&C systems. At the system level, a fault tree model is suggested and Boolean algebra is used to obtain the minimal cut sets. At the component level, an exponential distribution is used to model hardware failures, and Bayesian estimation is suggested to estimate the failure rate. Additionally, a binomial distribution is used to model software failures, and a recently developed software reliability estimation method is suggested to estimate the software failure rate. The overall system reliability is then estimated based on minimal cut sets, hardware failure rates and software failure rates.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.1
• /
• pp.153-176
• /
• 2010

The purpose of this study is to rethink the importance of manipulative materials and to extract of manipulative materials program and its application methods. Activity, construction, and operation is stressed in the elementary mathematics. For this, various technological tools and manipulative materials is emphasized in mathematics teaching-learning methods. Applications of manipulative materials in the elementary mathematics is gradually increased together with curriculum revisions and textbook developments. As a result, tangram, geo-board etc., many tools ate introduces to school mathematics. This study is executed in this contexts. To achieve this, We introduce Australian 'Maths With Attitude' program. This program is composed of the primary level and secondary level. Each level consists of four domains - Number & Computation, Space & Logic, Chance & Measurement, Pattern & Algebra -, and each domains is made up of 20 tasks(i.e. manipulative materials) and programs. This study takes the focus to 5-6 grades programs in the mid of the primary level. First, We introduce 'Monkeys & Bananas'(Number & Computation) and 'Triangles & Colours' (Pattern & Algebra) tasks, and investigate the examples of lessons using these tasks. Second, We think the probability of these tasks' application and draw examples in the elementary mathematic textbooks. Through this works, We respect teaching-learning methods is rich and various in the elementary mathematics lessons.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.19-48
• /
• 2008

In this paper, the life of Emmy Noether is reviewed in context of today's society where progress in social and educational equality for women have not significantly impacted the participation of women mathematician at the highest level of mathematics study. Recent studies have shown that there is little or no gender difference in mathematics performance if the women are treated equally in the country. Yet, the number of women scientists/mathematicians at the university level or related research centers are very low for all countries including the U.S. as well as Korea. Emmy Noether became a mathematician in early 20th century Germany where women were discouraged(not allowed) from even studying mathematics at the University. She overcame gender, racial, and social prejudices of the time to become one of the greatest mathematicians of the 20th century as a founding contributor of Abstract Algebra. Overcoming all the difficulties to focus on the study of mathematics to contribute at the highest level of mathematics provides an example of leadership for both men and women that is relevant today. Especially for women, Emmy Noether's life is a study in perseverance for the love of mathematics that proves that there is no gender difference even at the highest level of mathematics.

• Asia pacific journal of information systems
• /
• v.12 no.2
• /
• pp.99-118
• /
• 2002

In this paper, we propose a visual relational database query language, VRQL, by modifying and extending the recently proposed $VOQL^*$. Like $VOQL^*$, VRQL, based on ven Diagram and graph, naturally reflects the structure of schemas in queries and has recursive formal semantics. However, VRQL has relationally complete expressiveness, while $VOQL^*$ is only a conjunctive query language. In the logical definition part of VRQL, which is the relational version of $VOQL^*$, most features of $VOQL^*$ are retained, and the semantics of queries are based on the tuple relational calculus. In the procedural definition part of VRQL, by introducing the concept of VRQL view and set operations, the expressiveness of VRQL is increased to the level equivalent to that of the relational algebra. Due to the introduction of VRQL views, existing queries or temporary queries used in the process of creating queries can be represented with views, so that complex queries may be represented more conveniently. Set operations, used with VRQL views, enable us to represent various queries, beyond the expressiveness of conjunctive query languages.

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.115-141
• /
• 2023

We study a class of left-invariant pseudo-Riemannian Sasaki metrics on solvable Lie groups, which can be characterized by the property that the zero level set of the moment map relative to the action of some one-parameter subgroup {exp tX} is a normal nilpotent subgroup commuting with {exp tX}, and X is not lightlike. We characterize this geometry in terms of the Sasaki reduction and its pseudo-Kähler quotient under the action generated by the Reeb vector field. We classify pseudo-Riemannian Sasaki solvmanifolds of this type in dimension 5 and those of dimension 7 whose Kähler reduction in the above sense is abelian.

• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.657-685
• /
• 2023

This paper aims to apply the concept of Pythagorean fuzzy soft sets (PFSSs) to UP-algebras. Then we introduce five types of PFSSs over UP-algebras, study their generalization, and provide illustrative examples. In addition, we study the results of four operations of two PFSSs over UP-algebras, namely, the union, the restricted union, the intersection, and the extended intersection. Finally, we will also discuss t-level subsets of PFSSs over UP-algebras to study the relationships between PFSSs and special subsets of UP-algebras.

• Honam Mathematical Journal
• /
• v.46 no.1
• /
• pp.82-100
• /
• 2024

The main objective of the study is to introduce ideals of Sheffer stroke Hilbert algebras by means of fuzzy points, and investigate some properties. The process of making (fuzzy) ideals and fuzzy deductive systems through the fuzzy points of Sheffer stroke Hilbert algebras is illustrated, and the (fuzzy) ideals and the fuzzy deductive systems are characterized. Certain sets are defined by virtue of a fuzzy set, and the conditions under which these sets can be ideals are revealed. The union and intersection of two fuzzy ideals are analyzed, and the relationships between aforementioned structures of Sheffer stroke Hilbert algebras are built.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.21 no.4
• /
• pp.437-446
• /
• 2018

This paper describes the real-time logic implementation of orthogonal matching pursuit(OMP) algorithm for compressive sensing digital receiver. OMP contains various complex-valued linear algebra operations, such as matrix multiplication and matrix inversion, in an iterative manner. Xilinx Vivado high-level synthesis(HLS) is introduced to design the digital logic more efficiently. The real-time signal processing is realized by applying dataflow architecture allowing functions and loops to execute concurrently. Compared with the prior works, the proposed design requires 2.5 times more DSP resources, but 10 times less signal reconstruction time of $1.024{\mu}s$ with a vector of length 48 with 2 non-zero elements.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.929-936
• /
• 2004

A major limitation of available component-based platforms Is that they do not provide suitable means for describing and reasoning on the concurrent behaviour of interacting component-based system. Indeed while these platforms provide convenient ways to describe the typed signatures of components, e.g. like CORBA's IDL, they offer a quite low-level support to describe the concurrent behaviour of component. The ability to describe and verify the concurrent behaviour of interacting components is key aspect In the development of large component-based software system. This study propose a component interface specification using process algebra and configuration's role which allows one to prove correctness of software architecture generated at design level as well as to define compatibility relations by our evolution rule and $\pi$-graph. Also, we shown on an appropriateness of a specification techniques and definitions proposed in this paper by case-study.

• Journal of the Optical Society of Korea
• /
• v.20 no.1
• /
• pp.42-54
• /
• 2016

A hybrid color and grayscale images encryption scheme based on the quaternion Hartley transform (QHT), the two-dimensional (2D) logistic map, the double random phase encoding (DRPE) in gyrator transform (GT) domain and the three-step phase-shifting interferometry (PSI) is presented. First, we propose a new color image processing tool termed as the quaternion Hartley transform, and we develop an efficient method to calculate the QHT of a quaternion matrix. In the presented encryption scheme, the original color and grayscale images are represented by quaternion algebra and processed holistically in a vector manner using QHT. To enhance the security level, a 2D logistic map-based scrambling technique is designed to permute the complex amplitude, which is formed by the components of the QHT-transformed original images. Subsequently, the scrambled data is encoded by the GT-based DRPE system. For the convenience of storage and transmission, the resulting encrypted signal is recorded as the real-valued interferograms using three-step PSI. The parameters of the scrambling method, the GT orders and the two random phase masks form the keys for decryption of the secret images. Simulation results demonstrate that the proposed scheme has high security level and certain robustness against data loss, noise disturbance and some attacks such as chosen plaintext attack.