• Language and Information
• /
• v.4 no.2
• /
• pp.69-92
• /
• 2000

It is well-known that default rules require a nonmonotonic logic. Veltman proposed one dynamic theory which interprets default rules in such a way that correct inferences can be made at each information state. But his theory has some problems. First, this theory excludes the possibility that a default rule can be true of false. Second, his representation of an information state makes it difficult to interpret a default rule embedded in another sentence. Third, the notion of a frame which is introduced in the interpretation of a default rule and the adjustment of inferential expectation has a more complex structure than is necessary, In this paper, I propose a truth-conditional theory of default rules in which the meaning of a default rule is defined as a truth-condition in a possible world and which assumes a simpler structure of a frame. This makes it possible to interpret a default rule embedded in a sentence. A dynamic theory for default rules is also proposed for correct inferences based on default rules.

• Journal of the Korean Institute of Rural Architecture
• /
• v.13 no.2
• /
• pp.63-70
• /
• 2011

Despite the high historical and topological values, closed schools are rarely reutilized. The reason can be likely explained by integrity of the building structure and unawareness of the operation and maintenance for closed schools. The purpose of this study is finding a possibility of reusing closed schools by deploying SI (Skeleton and Infill) theory. SI theory is separating the "skeleton" like structure from "infill" such as interior furnishings to extend building life without complete demolishing of the building. It will allow satisfying various local community demands by alternating infill without demolishing of historical and topological value of the building. The experimental test was undertaken with closed school for this study. The local community's demands or opinions were reflected to develop a strategy for deploying infill system especially movable storage furniture to closed school. The study finds possibilities that SI theory can assist local community to 1) construct potential demand for utilizing closed school and 2) suggest strategy for operating and maintaining closed school.

• Wind and Structures
• /
• v.26 no.6
• /
• pp.355-367
• /
• 2018

This paper studies the aerodynamic stability of a tensioned, geometrically nonlinear orthotropic membrane structure with hyperbolic paraboloid in sag direction. Considering flow separation, the wind field around membrane structure is simulated as the superposition of a uniform flow and a continuous vortex layer. By the potential flow theory in fluid mechanics and the thin airfoil theory in aerodynamics, aerodynamic pressure acting on membrane surface can be determined. And based on the large amplitude theory of membrane and D'Alembert's principle, interaction governing equations of wind-structure are established. Then, under the circumstance of single-mode response, the Bubnov-Galerkin approximate method is applied to transform the complicated interaction governing equations into a system of second-order nonlinear differential equation with constant coefficients. Through judging the frequency characteristic of the system characteristic equation, the critical velocity of divergence instability is determined. Different parameter analysis shows that the orthotropy, geometrical nonlinearity and scantling of structure is significant for preventing destructive aerodynamic instability in membrane structures. Compared to the model without considering flow separation, it's basically consistent about the divergence instability regularities in the flow separation model.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.21 no.3
• /
• pp.25-35
• /
• 2015

Purpose: Signs that are installed at unnoticeable places or that disconnect before the destination can bring errors of location information delivery. Therefore, this study aims to find out the spatial relation between structure of space and signs in the perspective of visual exposure possibility, operating arrangement and assesment by applying spatial structure theory. Methods: Effectiveness of organization of guidance signs was evaluated after the four way-finding factors(Plan Configuration, Sign System, Perceptual Access, Architectural Difference) that G.D.Weisman suggested were interpreted by spatial structure theory(J-Graph analysis, Space Syntax, Visual Graph Analysis) under the premise that it is closely related to the structure of space. Results: 1) Because the south corridor that connects each department of outpatient division is located in the hierarchy center of the space, and walking density is expected to be high, guidance signs need to be organized at the place with high integration value. 2) The depth to the destination space can be estimated through J-Graph analysis. The depth means a switch of direction, and the guidance signs are needed according to the number. 3) According to visibility graph analysis, visual exposure can be different in the same hierarchy unit space according to the shape of the flat surface. Based on these data, location adjustment of signs is possible, and the improvement effect can be estimated quantitatively. Implications: Spatial structure theory can be utilized to design and evaluate sign systems, and it helps to clearly understand the improvement effect. It is desirable to specify design and estimation of sign systems in the order of J-Graph analysis${\rightarrow}$Space Syntax Theory${\rightarrow}$visibility graph analysis.

• Structural Engineering and Mechanics
• /
• v.31 no.2
• /
• pp.137-152
• /
• 2009

Mechanic behavior of Y-shape thin-walled box girder bridge structure is complex, so one can not exactly hold the mechanical behavior of the Y-shape thin-walled box girder bridge structure through general calculation theory and analytical method. To hold the mechanical behavior better, based on elementary beam theory, by increasing the degree of freedom analytical method, taking account of restrained torsiondistortion angledistortion warp and shearing lag effect at the same time, authors obtain a thin-walled box beam analytical element of 10 degrees of freedom of every node, derive stiffness matrix of the element, and code a finite element procedure. In addition, authors combine the obtained procedure with spatial grillage analytical method, meanwhile, they build a new analytical method that is the spatial thin-walled box girder element grillage analysis method. In order to validate the precision of the obtained analysis method, authors analyze a type Y-shape thin-walled box girder bridge structure according to the elementary beam theory analytical method, the shell theory analytical method and the spatial thin-walled box girder element grillage analysis method respectively. At last, authors test a type Y-shape thin-walled box girder bridge structure. Comparisons of the results of theory analysis with the experimental text show that the spatial thin-walled box girder element grillage analysis method is simple and exact. The research results are helpful for the knowledge of the mechanics property of these Y-shape thin-walled box girder bridge structures.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.425-428
• /
• 1998

This paper proposes a new fuzzy controller using variable structure control theory. In this paper, after the time-varying fuzzy sliding surface is designed, the fuzzy rules are defined based on the variable structure control theory. This design method makes the fuzzy controller design more structured and can guarantee the stability and robustness of the fuzzy controller and overcome the shortcoming of the variable structure system. Through computer simulation and experiment of nonlinear inverted pendulum system, this thesis demonstrate that system has the robustness against disturbance and modelling error, and the tracking performance of it is improved.

• Proceedings of the KIEE Conference
• /
• 1989.11a
• /
• pp.337-341
• /
• 1989

This theory has fast response and low overshoot by transforming its structure and this system may have new character which did not appear in this system. The VSS system transform its structure by switching logic. Then, the state trajectory is to sliding along the switching line to the phase-plane orgin. The phase trajectory is known as the sliding mode of this controller. This paper performed position control in the theory and analysised the change in variable loads.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.03a
• /
• pp.49-52
• /
• 1998

Neural Network has good performance in pattern classification, control and many other fields by learning ability. However, there is effective rule or systematic approach to determine optimal structure. In this paper, we propose a new method to find optimal structure of feed-forward multi-layer neural network as a kind of pruning method. That eliminating redundant elements of neural network. To find redundant elements we analysis error and weight changing with Rough Set Theory, in condition of executing back-propagation leaning algorithm.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.383-388
• /
• 2005

In the construction industry, complex works are carried out with significant resources under non-linear circumstances where clear concepts of project management could be of benefit to all parties and personnel involved. In this paper, we define the optimum project management configuration for construction management by using DSM (Design Structure Matrix). Furthermore DSM can be visualized as a network model, and then Graph Theory provides us the numerical results.

• Journal of the Semiconductor & Display Technology
• /
• v.6 no.4
• /
• pp.65-68
• /
• 2007

An epitaxial NiSi structure on Si (001) substrate was studied by using density functional theory (DFT). Orhorhombic and B2-NiSi structures were compared first. B2 structure was further considered as it has same crystal structure as Si and the lattice mismatch between B2 and Si is small, compared to orthorhombic-NiSi. The lattice parameters of x- and y-direction in B2-NiSi structure were modified to match with those in Si (001). The size reduction of the lattice parameter of B2-NiSi to match with that of Si increased the lattice parameter of z-direction by 10.5%. Therefore, we propose that an optimum structure of NiSi for epitaxial growth on Si (001) is a tetragonal structure.