• Communications of the Korean Mathematical Society
• /
• v.24 no.3
• /
• pp.361-366
• /
• 2009

In this paper we consider constructive function triples on the real numbers $\mathbb{R}$ and on (not necessarily commutative) integral domains D which permit the construction of a multitude of d-algebras via these constructive function triples. At the same time these constructions permit one to consider various conditions on these d-algebras for subsets of solutions of various equations, thereby producing geometric problems and interesting visualizations of some of these subsets of solutions. In particular, one may consider what notions such as "locally BCK" ought to mean, certainly in the setting provided below.

• International Journal of High-Rise Buildings
• /
• v.5 no.3
• /
• pp.187-193
• /
• 2016

Busan's Haeundae Resort project, which is currently being constructed by POSCO E&C, comprises the 101-story Landmark Tower and two 85-story residential towers. Presently, foundation and basement construction is complete, with a final completion date set for 2019. Considerations about the construction and design of the three reinforced concrete high-rise buildings will be discussed in this paper.

• Journal of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.159-165
• /
• 1997

In this paper, k will denote an arbitrary field. If m, n are natural numbers, then $M_{m \times n}(k)$ will denote the set of all $m \times n$ matrices with entries in k. Every k-algebras will be assumed to contain a (multiplicative) identity $1 \neq 0$. A k-subspace $R_0$ of a k-algebra R will be called a k-subalgebra of R if $R_0$ is closed under multiplication from R and $R_0$ contains the identity of R. We will assume all k-algebra homomorphisms take the identity to identity.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2013.05a
• /
• pp.96-97
• /
• 2013

Research and analysis on thermal insulation status of existing buildings are needed to make data for repair and rehabilitation caused by deterioration in insulating material performance. To do this, we have researched and analyzed the insulation status of existing buildings according to the balcony with measuring instruments in pre-set investigation conditions.

• International conference on construction engineering and project management
• /
• 2007.03a
• /
• pp.88-95
• /
• 2007

In this paper, the authors discussed the overview of a method for estimating working area for development of a monitoring system for labor management using RFID technology. RSSI (Receive Signal Strength Indication) data of RFID tag was obtained from readers set around the indoor space. An estimating model of the working area was prepared. The model had a range of the percentage of correctly classified from 61% to 95%. According to the result, the possibility of the monitoring system and the factors necessary to develop for practical were proposed.

• Journal of Construction Engineering and Project Management
• /
• v.8 no.4
• /
• pp.1-24
• /
• 2018

In the last decade, the use of Building Information Modeling (BIM) as a new technology has been applied with traditional Computer-aided design implementations in an increasing number of architecture, engineering, and construction projects and applications. Its employment alongside construction management, can be a valuable tool in helping move these activities and projects forward in a more efficient and time-effective manner. The traditional stakeholders, i.e., Owner, A/E and the Contractor are involved in this BIM system that is used in almost every activity of construction projects, such as design, cost estimate and scheduling. This article extracts major features of the application of BIM from perspective of participating BIM components, along with the different phrases, and applies to them a logistic analysis using a fuzzy performance tree, quantifying these phrases to judge the effectiveness of the BIM techniques employed. That is to say, these fuzzy performance trees with fuzzy logic concepts can properly translate the linguistic rating into numeric expressions, and are thus employed in evaluating the influence of BIM applications as a mathematical process. The rotational fuzzy models are used to represent the membership functions of the performance values and their corresponding weights. Illustrations of the use of this fuzzy BIM performance tree are presented in the study for the uninitiated users. The results of these processes are an evaluation of BIM project performance as highly positive. The quantification of the performance ratings for the individual factors is a significant contributor to this assessment, capable of parsing vernacular language into numerical data for a more accurate and precise use in performance analysis. It is hoped that fuzzy performance trees and fuzzy set analysis can be used as a tool for the quality and risk analysis for other construction techniques in the future. Baldwin's rotational models are used to represent the membership functions of the fuzzy sets. Three scenarios are presented using fuzzy MEAN, AND and OR gates from the lowest to intermediate levels of the tree, and fuzzy SUM gate to relate the intermediate level to the top component of the tree, i.e., BIM application final performance. The use of fuzzy MEAN for lower levels and fuzzy SUM gates to reach the top level suggests the most realistic and accurate results. The methodology (fuzzy performance tree) described in this paper is appropriate to implement in today's construction industry when limited objective data is presented and it is heavily relied on experts' subjective judgment.

• Journal of the Korean Chemical Society
• /
• v.63 no.6
• /
• pp.473-485
• /
• 2019

In this study, we investigated the differences of graph constructed by middle school students in daily-life and scientific contexts according to the views on the nature of scientific measurement. A test consisting of three similar data sets regarding daily-life and scientific contexts was developed, and administered to 151 ninth graders. They were expected to construct proportional, inverse-proportional, and increasing and become constant form of graphs for each data set. Graphs constructed were analyzed in the aspects of constructing a trend line (types of a trend line, interpolation/extrapolation), selecting axes variables, scaling axes, and plotting points. Analyses of the results revealed that the students with set paradigm tended to construct a curved trend line, while those with point paradigm constructed a broken trend line in inverse-proportional graph questions. In the aspects of interpolation/extrapolation, most students with set paradigm performed both interpolation and extrapolation better than those with point paradigm in scientific context. Most students with set paradigm performed both interpolation and extrapolation regardless of contexts, while the proportion of interpolation of those with point paradigm was higher in scientific context than in daily-life context. In selecting axes variables, scaling axes, and plotting dots, there were no statistically significant differences between set and point paradigms. On the bases of the results, educational implications for improving graph construction skills of middle school students are discussed.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.3 no.3
• /
• pp.177-182
• /
• 2002

In this paper, we present a mathematical theory and algorithm consoucting some fractal sets. Among such fractal sets, the degree-n bifurcation set as well as the Julia sets is defined by extending the concept of the Mandelbrot set to the complex polynomial $Z^n$+c($c{\epsilon}C$, $n{\ge}2$). Some properties of the degree-n bifurcation set and the Julia sets have been theoretically investigated including the symmetry, periodicity, boundedness, and connectedness. An efficient algorithm constructing both the degree-n bifurcation let and the Julia sets is proposed using theoretical results. The mouse-operated software called "MANJUL" has been developed for the effective construction of the degree-n bifurcation set and the Julia sets in graphic environments with C++ programming language under the windows operating system. Simple mouse operations can construct ann magnify the degree-n bifurcation set as well af the Julia sets. They not only compute the component period but also save the images of the degree-n bifurcation set and the Julia sets to visually confirm various properties and the geometrical structure of the sets. A demonstration has verified the useful versatility of MANJUL.of MANJUL.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.83-86
• /
• 1996

In this paper we study the problem of augmenting a physical network to improve the topology for new survivable network architectures. We are given a graph G=(V,E,F), where V is a set of nodes that represents transmission systems which be interconnected by physical links, and E is a collection of edges that represent the possible pairs of nodes between which a direct transmission link can be placed. F, a subset of E is defined as a set of the existing direct links, and E/F is defined as a set of edges for the possible new connection. The cost of establishing network $N_{H}$=(V,H,F) is defined by the sum of the costs of the individual links contained in new link set H. We call that $N_{H}$=(V,H,F) is feasible if certain connectivity constrints can be satisfied in $N_{H}$=(V,H,F). The computational goal for the suggested model is to find a minimum cost network among the feasible solutions. For a k edge (node) connected component S .subeq. F, we charactrize some optimality conditions with respect to S. By this characterization we can find part of the network that formed by only F-edges. We do not need to augment E/F edges for these components in an optimal solution. Hence we shrink the related component into a node. We study some good primal heuristics by considering construction and exchange ideas. For the construction heuristics, we use some greedy methods and relaxation methods. For the improvement heuristics we generalize known exchange heuristics such as two-optimal cycle, three-optimal cycle, pretzel, quezel and one-optimal heuristics. Some computational experiments show that our heuristic is more efficient than some well known heuristics.stics.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.19 no.3
• /
• pp.55-63
• /
• 2015

Post-installed concrete set anchors are installed after the concrete hardened. These anchors increasing usage in development of construction equipment and flexible construction. The anchor loaded in shearing exhibits various failure modes such as steel failure, concrete failure, concrete pryout, depending on the shear strength of steel, the strength of concrete, edge distance and anchor interval, etc,. In this study, the objective is to investigate the effects of the variations like anchor embedment depth, edge distance and concrete strength on experimental and finite element analysis of shear failure behavior of post-installed concrete set anchor for light load embedded in concrete. The results of embedment depth experiments show that concrete strength has much affection on the shallow embedment depth. Concrete strength has no much affection with anchor interval and edge distance parameter and both experimental results occurred same failure mode. By comparing the experimental results that occurred steel failure mode show that as strong as concrete strength are the displacement results are small.