• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.435-441
• /
• 2008

Building Information Modelings(BIM) are more complex than typically required for early phase of the design process of a building. Construction projects have many participants from various disciplines involved throughout the entire process. Therefore the success of the project greatly depend on the efficiency of decision-making using the information generated from each process stage. This research utilized an ontology to provide an underlying structure of objects and relationships of a building. The OWL is introduced as a main vehicle to encode the information and knowledge about the building structures and spaces. A case study was conducted to develop a structured representation of an ontology where the relationships among the necessary components in the stage of preliminary design were to be automatically utilized to plan on the sizes of each room in a building and structured thoroughly with a simple structured representation.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.7-10
• /
• 2000

Studies of prosody and sentence processing have demonstrated that prosodic phrasing can exhibit strong effects on processing decisions in English. In this paper, we tested Korean sentence fragments containing syntactically ambiguous Adj-N1-N2 strings in a cross-modal naming task. Four accentual phrasing patterns were tested: (a) the default phrasing pattern, in which each word forms an accentual phrase; (b) a phrasing biased toward N1 modification; (c) a phrasing biased toward complex-NP modification; and (d) a phrasing used with adjective focus. Patterns (b) and (c) are disambiguating phrasings; the other two are commonly found with both interpretations and are thus ambiguous. The results showed that the naming time of items produced in the prosody contradicting the semantic grouping is significantly longer than that produced in either default or supporting prosody, We claim that, as in English, prosodic information in Korean is parsed into a well-formed prosodic representation during the early stages of processing. The partially constructed prosodic representation produces incremental effects on syntactic and semantic processing decisions and is retained in memory to influence reanalysis decisions.

• Journal of Information Processing Systems
• /
• v.11 no.2
• /
• pp.184-204
• /
• 2015

Fuzzy Formal Concept Analysis (FCA) is a mathematical tool for the effective representation of imprecise and vague knowledge. However, with a large number of formal concepts from a fuzzy context, the task of knowledge representation becomes complex. Hence, knowledge reduction is an important issue in FCA with a fuzzy setting. The purpose of this current study is to address this issue by proposing a method that computes the corresponding crisp order for the fuzzy relation in a given fuzzy formal context. The obtained formal context using the proposed method provides a fewer number of concepts when compared to original fuzzy context. The resultant lattice structure is a reduced form of its corresponding fuzzy concept lattice and preserves the specialized and generalized concepts, as well as stability. This study also shows a step-by-step demonstration of the proposed method and its application.

• Communications of the Korean Mathematical Society
• /
• v.29 no.4
• /
• pp.527-538
• /
• 2014

Let K be a compact Hausdorff space, $\mathfrak{A}$ a commutative complex Banach algebra with identity and $\mathfrak{C}(\mathfrak{A})$ the set of characters of $\mathfrak{A}$. In this note, we study the class of functions $f:K{\rightarrow}\mathfrak{A}$ such that ${\Omega}_{\mathfrak{A}}{\circ}f$ is continuous, where ${\Omega}_{\mathfrak{A}}$ denotes the Gelfand representation of $\mathfrak{A}$. The inclusion relations between this class, the class of continuous functions, the class of bounded functions and the class of weakly continuous functions relative to the weak topology ${\sigma}(\mathfrak{A},\mathfrak{C}(\mathfrak{A}))$, are discussed. We also provide some results on its completeness under the norm defined by ${\mid}{\parallel}f{\parallel}{\mid}={\parallel}{\Omega}_{\mathfrak{A}}{\circ}f{\parallel}_{\infty}$.

• Journal of the Korea Society for Simulation
• /
• v.4 no.1
• /
• pp.1-11
• /
• 1995

The model of a FMS (Flexible Manufacturing System) admits to a natural hierarchical decomposition of highly decoupled units with similar structure and control. The FMS fractal architecture model represents a hierarchical structure built from elements of a single basic design. A SES (System Entity Structure) is a structural knowledge representation scheme that contains knowledge of decomposition, taxonomy, and coupling relationships of a system necessary to direct model synthesis. A substructure of a SES is extracted for use as the skeleton for a model. This substructure is called pruned SES and the extraction operation of a pruned SES from a SES is called pruning (or pruning operation). This paper presents a pruning operation called recursive pruning. It is applied to SES for generating a model structure whose sub-structure contains copies if itself as in FMS fractal architecture. Another pruning operation called delay pruning is also presented. Combined with recursive pruning the delay pruningis a useful tool for representing and constructing complex systems.

• Journal of Computational Design and Engineering
• /
• v.2 no.1
• /
• pp.1-15
• /
• 2015

Measured bidirectional reflectance distribution function (BRDF) data have been used to represent complex interaction between lights and surface materials for photorealistic rendering. However, their massive size makes it hard to adopt them in practical rendering applications. In this paper, we propose an adaptive method for B-spline volume representation of measured BRDF data. It basically performs approximate B-spline volume lofting, which decomposes the problem into three sub-problems of multiple B-spline curve fitting along u-, v-, and w-parametric directions. Especially, it makes the efficient use of knots in the multiple B-spline curve fitting and thereby accomplishes adaptive knot placement along each parametric direction of a resulting B-spline volume. The proposed method is quite useful to realize efficient data reduction while smoothing out the noises and keeping the overall features of BRDF data well. By applying the B-spline volume models of real materials for rendering, we show that the B-spline volume models are effective in preserving the features of material appearance and are suitable for representing BRDF data.

• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.137-154
• /
• 1999

In this paper, we propose a software design method that will track the effects of modifications in a component to the rest of the components in the design phase. The prediction of the effects due to the design modifications before coding can be a valuable aid for the complex and large software development. Within the method, the target system is represented by the structured I/O system level specification which is one of the system representation level defined by the system theory. Then it is abstracted to the I/O system level. The DEVS (Discrete Event System Specification) model is constructed based on tile I/O system level specification. Finally, the DEVS model is simulated to generate the behavior of the software by the abstract simulator in DEVS simulation environment. As an application, the graphic user interface system of a metal grating production scheduling system is presented.

• The Journal of the Acoustical Society of Korea
• /
• v.18 no.1E
• /
• pp.37-43
• /
• 1999

This paper deals with a hybrid finite element method for wave scattering problems in infinite domains. Scattering of waves involving complex geometries, in conjunction with infinite domains is modeled by introducing a mathematical boundary within which a finite element representation is employed. On the mathematical boundary, the finite element representation is matched with a known analytical solution in the infinite domain in terms of fields and their derivatives. The derivative continuity is implemented by using a slope constraint. Drilling degrees of freedom at each node of the finite element model are introduced to make the numerical model more sensitive to the transverse component of the elastodynamic field. To verify the effects of drilling degrees freedom and slope constraints individually, reflection of normally incident P and SV waves on a traction free half spaces is considered. For the P-wave incidence, the results indicate that the use of slope constraint is more effective because it suppresses artificial reflection at the mathematical boundary. For the SV-wave case, the use of drilling degrees freedom is more effective by reducing numerical error at irregular frequencies.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.23-29
• /
• 1985

Let H be an arbitrary complex Hilbert space. We constructed an extension K of H by means of weakly convergent sequences in H and the Banach limit. Let .phi. be the faithful *-representation of L(H) on K. In this note, we investigated the relations between spectra of T in L(H) and .phi.(T) in L(K) and we obtained the following results: 1) If T is a compact operator on H, then .phi.(T) is also a compact operator on K (Proposition 6), 2) .sigma.$_{l}$ (.phi.(T)).contnd..sigma.$_{l}$ (T) for any operator T.mem.L(H) (Corollary 10), 3) For every operator T.mem.L(H), .sigma.$_{ap}$ (.phi.(T))=.sigma.$_{ap}$ (T))=.sigma.$_{ap}$ (T)=.sigma.$_{p}$(.phi.(T)) (Lemma 12, 13) and .sigma.$_{c}$(.phi.(T))=.sigma.(Theorem 15).15).

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1997.10a
• /
• pp.17-23
• /
• 1997

In the two-dimensional Finite Element Method for forming simulation, mesh generation and remeshing process are very significant. In this paper, using the modified splitting mesh generation algorithm, we can overcome the limitation of existing techniques and acquire mesh, which has optimal mesh density. A modified splitting algorithm for automatically generating quadrilateral mesh within a complex domain is described. Unnecessary meshing process for density representation is removed. Especially, during the mesh generation with high gradient density like as shear band representation, the modified mesh density scheme, which will generate quadrilateral mesh with the minimized error, which takes effect on FEM solver, is introduced.