• 한국컴퓨터정보학회논문지
• /
• 제20권8호
• /
• pp.69-75
• /
• 2015

Nowadays, software plays various roles in applications in wide areas. However, the security problems caused by software vulnerabilities increase. So, it is necessary to improve software security and safety in software execution. In this paper, we propose an approach to improve the safety of software execution by managing information used in software through static data access analysis. The approach can detect the exposures of secure data in software execution by analyzing information property and flows through static data access analysis. In this paper, we implemented and experimented the proposed approach with a base language, and verify that the proposed approach can effectively detect the exposures of secure information. The proposed approach can be applied in several areas for improving software safety by analysing vulnerabilities from information flows in software execution.

• Wind and Structures
• /
• 제25권6호
• /
• pp.589-608
• /
• 2017

A novel probabilistic approach is presented for estimating the equivalent static wind loads that produce a static response of the structure, which is "equivalent" in a probabilistic sense, to the extreme dynamic responses due to the unsteady pressure random field induced by the wind. This approach has especially been developed for complex structures (such as stadium roofs) for which the unsteady pressure field is measured in a boundary layer wind tunnel with a turbulent incident flow. The proposed method deals with the non-Gaussian nature of the unsteady pressure random field and presents a model that yields a good representation of both the quasi-static part and the dynamical part of the structural responses. The proposed approach is experimentally validated with a relatively simple application and is then applied to a stadium roof structure for which experimental measurements of unsteady pressures have been performed in boundary layer wind tunnel.

• 산업기술연구
• /
• 제24권A호
• /
• pp.205-214
• /
• 2004

Static reliability models are introduced to analyze the armor stability of rubble-mound breakwaters. Contrasted to the deterministic model, reliability models can estimate the probability of failure directly and calculate the influence of each design variables quantitatively. Thus, it can be possible to design armor units of the rubble-mound breakwaters rationally. In this study FMA(First-order Mean-value Approach), FDA(First-order Design-value Approach) and AFDA(Approximate Full Distribution Approach) of Level II approach of static reliability methods are used to analyze the armor stability of rubble mound breakwaters. The limitations and applications of each approach are studied straight-forwardly.

• Earthquakes and Structures
• /
• 제22권6호
• /
• pp.549-559
• /
• 2022

The quasi-static finite element (FE) approaches are widely used for the seismic analysis of tunnels. However, the conventional quasi-static approaches may cause significant deviations when the tunnel excavation process is simulated prior to the quasi-static analysis. In addition, they cannot account for vertical excitations. Therefore, this paper first highlights the limitations of conventional approaches. A hybrid quasi-static FE approach is subsequently proposed and extensively validated for various conditions. The hybrid approach is simple and not time consuming, and it can be used for the preliminary seismic design of tunnels, especially when the tunnel excavation and vertically propagating P-waves are considered.

• 한국CDE학회논문집
• /
• 제16권3호
• /
• pp.178-186
• /
• 2011

Static CAD models are the CAD models that do not have feature information and modeling history. These static models are generated by translating CAD models in a specific CAD system into neutral formats such as STEP and IGES. When a CAD model is translated into a neutral format, its precious feature information such as feature parameters and modeling history is lost. Once the feature information is lost, the advantage of feature based modeling is not valid any longer, and modification for the model is purely dependent on geometric and topological manipulations. However, the capabilities of the existing methods to modify static CAD models are limited, Direct modification methods such as tweaking can only handle the modifications that do not involve topological changes. There was also an approach to modify static CAD model by using volume decomposition. However, this approach was also limited to modifications of protrusion features. To address this problem, we extend the volume decomposition approach to handle not only protrusion features but also depression features in a static CAD model. This method first generates the model that contains the volume of depression feature using the bounding box of a static CAD model. The difference between the model and the bounding box is selectively decomposed into so called the feature volume and the base volume. A modification of depression feature is achieved by manipulating the feature volume of the static CAD model.

• Nuclear Engineering and Technology
• /
• 제52권2호
• /
• pp.223-229
• /
• 2020

The present work proposes a solution to the static Boltzmann transport equation approximated by the simplified P₃ (SP₃) on angular, and the analytic coarse mesh finite difference (ACMFD) for spatial variables. Multi-group SP₃-ACMFD equations in 3D rectangular geometry are solved using the GMRES solution technique. As the core time dependent analysis necessitates the solution of an eigenvalue problem for an initial condition, this work is hence devoted to development and verification of the proposed static SP₃-ACMFD solver. A 3D multi-group static diffusion solver is also developed as a byproduct of this work to assess the improvement achieved using the SP₃ technique. Static results are then compared against transport benchmarks to assess the proximity of SP₃-ACMFD solutions to their full transport peers. Results prove that the approach can be considered as an acceptable interim approximation with outputs superior to the diffusion method, close to the transport results, and with the computational costs less than the full transport approach. The work would be further generalized to time dependent solutions in Part II.

• 대한건축학회논문집:구조계
• /
• 제36권3호
• /
• pp.121-128
• /
• 2020

In this paper, the ASCE 7 equivalent static approach for seismic design of non-structural elements is critically evaluated based on the measured floor acceleration data, theory of structural dynamics, and linear/nonlinear dynamic analysis of three-dimensional building models. The analysis of this study on the up-to-date database of the instrumented buildings in California clearly reveals that the measured database does not well corroborate the magnitude and the profile of the floor acceleration as proposed by ASCE 7. The basic flaws in the equivalent static approach are illustrated using elementary structural dynamics. Based on the linear and nonlinear dynamic analyses of three-dimensional case study buildings, it is shown that the magnitude and distribution of the PFA (peak floor acceleration) can significantly be affected by the supporting structural characteristics such as fundamental period, higher modes, structural nonlinearity, and torsional irregularity. In general, the equivalent static approach yields more conservative acceleration demand as building period becomes longer, and the PFA distribution in long-period buildings tend to become constant along the building height due to the higher mode effect. Structural nonlinearity was generally shown to reduce floor acceleration because of its period-lengthening effect. Torsional floor amplification as high as 250% was observed in the building model of significant torsional irregularity, indicating the need for inclusion of the torsional amplification to the equivalent static approach when building torsion is severe. All these results lead to the conclusion that, if permitted, dynamic methods which can account for supporting structural characteristics, should be preferred for rational seismic design of non-structural elements.

• Architectural research
• /
• 제16권2호
• /
• pp.57-65
• /
• 2014

A study on the static analysis of Timoshenko beams is presented. A beam element is developed by using isogeometric approach based on Timoshenko beam theory which allows the transverse shear deformation. The identification of transverse shear locking is conducted by three refinement schemes such as h-, p- and k-refinement and compared to other reference solutions. From numerical examples, the present beam element does not produce any shear locking in very thin beam situations even with full Gauss integration rule. Finally, the benchmark tests described in this study is provided as future reference solutions for Timoshenko beam problems based on isogeometric approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.33.1-33
• /
• 2001

We address a novel approach to identify a nonlinear dynamic system for Wiener models, which are composed of a linear dynamic system part followed by a nonlinear static part. The aim of system identification here is to provide the optimal mathematical model of both the linear dynamic and the nonlinear static parts in some appropriate sense. Assuming the nonlinear static part is invertible, we approximate the inverse function by a piecewise linear function. We estimate the piecewise linear inverse function by using the evolutionary computation approach such as genetic algorithm (GA) and evolution strategies (ES), while we estimate the linear dynamic system part by the least squares method. The results of numerical simulation studies indicate the usefulness of proposed approach to the Wiener model identification.

• Structural Engineering and Mechanics
• /
• 제33권1호
• /
• pp.31-46
• /
• 2009

An anisotropic damage mechanics approach is introduced which models the static and dynamic behavior of mass concrete in 3D space. The introduced numerical approach is able to model non-uniform cracking within the cracked element due to cracking in Gaussian points of elements. The validity of the proposed model is considered using available experimental and theoretical results under the static and dynamic loads. No instability and stress locking is observed in the conducted analyses. The Morrow Point dam is analyzed including dam-reservoir interaction effects to consider the nonlinear seismic behavior of the dam. It is found that the resulting crack profiles are in good agreement with those obtained from the smeared crack approach. It is concluded that the proposed model can be used in nonlinear static and dynamic analysis of concrete dams in 3D space and enables engineers to define the damage level of these infrastructures. The performance level of the considered system is used to assess the static and seismic safety using the defined performance based criteria.