• 정보보호학회논문지
• /
• 제12권2호
• /
• pp.111-122
• /
• 2002

악의의 침입자는 일반적으로 시스템의 취약성을 분석하고 발견된 취약성을 이용하여 시스템에 침입한다. 그러므로 보안 관리자는 악의의 침입자로부터 시스템을 보호하기 위해서 주기적으로 시스템의 취약성들을 분석하여 가능한 빠른 시간 내에 해당 취약성들을 제거해 주어야 한다. 기존의 시스템 취약성 분석 방법은 주로 네트웍 기반 취약성 분석 도구에 의존해 왔다. 하지만, 네트웍 기반 취약성 분석 도구는 대상 시스템과의 네트웍 통신을 통해 얻을 수 있는 제한된 정보만을 이용하여 취약성을 점검하기 때문에 네트웍 통신을 통해 접근할 수 없는 시스템 내부 취약성에 대한 검사는 불가능하다. 시스템의 모든 취약성을 정확하게 점검하기 위해서는 호스트 기반 취약성 분석 도구를 사용해야 한다. 하지만, 호스트 기반 취약성 분석 도구는 시스템의 운영체제의 종류와 버전에 따라 다르게 구현해야 하기 때문에 많은 호스트들을 관리 해야하는 보안 관리자가 호스트 기반 취약성 분석 도구를 사용하는 것은 불가능하다. 본 논문에서는 에이전트 기반 취약성 분석 도구인 ISMAEL을 제안하여 프로토타입을 구현하였다. ISMAEL에서 매니저는 대상 시스템에 설치된 에이전트에게 취약성 여부를 판단할 수 있는 정보를 제공하고, 에이전트는 그 정보를 근거로 자신에게 맞는 취약성 분석 코드를 자동으로 생성하여 취약성을 점검한다. 해당 취약성의 점검 결과는 다시 매니저에 XML 형태로 전해진다. 이와 같은 구조를 통해 여러 운영체제로 에이전트를 포팅하는 것이 쉬워질 뿐만 아니라 취약성 점검 항목들이 추가되더라도 매니저의 수정이나 에이전트의 수정이 거의 필요 없게 된다. 우리는 ISMAEL의 프로토타입을 구현하고 실제로 적용해 봄으로써 이것이 효율적임을 알 수 있었다.

• Journal of Chest Surgery
• /
• 제54권3호
• /
• pp.191-199
• /
• 2021

Background: Tracheal replacement is a challenge for thoracic surgeons due to stenosis in the trachea-prosthesis anastomosis. We propose that stenosis occurs due to fibrosis as a result of an abnormal healing process, characterized by an increased expression of wound healing growth factors (vascular endothelial growth factor [VEGF], survivin, and CD31), which promote angiogenesis and decrease apoptosis. We analyzed the immunoreactivity of VEGF, survivin, CD31, and caspase-3 in the development of fibrotic stenosis in prosthetic tracheal replacement. Methods: Fourteen dogs were operated on: group I (n=7) received a 6-ring cervical tracheal segment autograft, while in group II (n=7), a 6-ring segment of the cervical trachea was resected and tracheal continuity was restored with a Dacron prosthesis. The follow-up was 3 months. Immunoreactivity studies for VEGF, survivin, CD31, and caspase-3 were performed. A statistical analysis was done using the Wilcoxon signed rank test. Results: Four animals in group I were euthanized on the 10th postoperative day due to autograft necrosis. Three animals completed the study without anastomotic stenosis. Moderate expression of VEGF (p=0.038), survivin (p=0.038), and CD31 (p=0.038) was found. All group II animals developed stenosis in the trachea-prosthesis anastomotic sites. Microscopy showed abundant collagen and neovascularization vessels. Statistically significant immunoreactive expression of VEGF (p=0.015), survivin (p=0.017), and CD31 (p=0.011) was observed. No expression of caspase-3 was found. Conclusion: We found a strong correlation between fibrosis in trachea-prosthesis anastomoses and excessive angiogenesis, moderate to intense VEGF, CD31, and survivin expression, and null apoptotic activity. These factors led to uncontrolled collagen production.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2001년도 종합학술발표회논문집
• /
• pp.453-458
• /
• 2001

악의의 침입자로부터 시스템을 보호하기 위한 첫 번째 단계는 시스템의 취약점을 분석하는 일이다. 기존의 시스템 취약점 분석 방법은 주로 네트워크 기반 취약점 점검 도구에 의존해 왔다. 하지만, 네트워크 기반 취약점 점검 도구는 대상 시스템의 제한된 정보만을 이용하여 취약점을 점검하기 때문에 시스템의 모든 취약점에 대한 검사가 불가능하다는 단점이 있다. 호스트 기반 취약점 점검 도구를 사용하면 시스템 내부의 모든 정보를 이용할 수 있지만, 시스템의 OS 종류나 버전에 따라 각기 다른 호스트 기반 취약점 점검 도구를 개발해야 한다는 단점이 있다. 또한, 호스트 기반 취약점 점검 도구들은 많은 호스트들을 동시에 점검하기 힘들다는 점이 문제로 지적되고 있다. 본 논문에서는 호스트 기반 취약점 점검 도구를 에이전트로 구현하여 대상 시스템에 설치하고, 하나의 관리 프로그램에서 여러 에이전트들을 관리함으로써 동시에 많은 호스트의 취약점들을 관리할 수 있는 모델인 ISMAEL을 제시한다. 또한 ISMAEL은 OS에 맞는 여러 호스트 기반 취약점 점검 도구들을 개발해야 하는 문제를 해결하기 위해 OS에 독립인 부분만을 뽑아내고, 그 외 OS에 종속된 부분은 Library 형태로 제공하여, OS에 독립인 부분에서 이 Library를 참조하여 특정 취약점 점검 코드를 자동 생성하고 이를 실행하여 취약성 여부를 판단할 수 있는 구조를 채택하고 있다.

• 화훼연구
• /
• 제19권4호
• /
• pp.197-201
• /
• 2011

본 연구는 고품질 절화백합 생산을 하기 위해 실제 유통 중인 7품종을 구주를 달리 하여 식재하고, 채화 후 구주와 품종이 절화품질에 어떠한 영향을 미치는지 알아보고자 수행하였다.절화품질을 측정한 결과, 화뢰장은 'Medusa', 품종, 절화장은 'Mother's Choice' 품종에서 가장 긴 것으로 확인되었다. 줄기휨각도는 'Mother's choice' 품종과 'Ismael' 품종을 제외한 모든 품종이 $30^{\circ}$ 이상으로 나타났다. 화경장, 화서장, 경경, 꽃 수, 중량 모두 구주가 클수록 좋은 결과를 보였다. 절화품질 중 화뢰장, 절화장, 꽃 수에 영향을 미치는 요인은 구주의 크기이며, 휨각도는 품종과 구주의 크기 모두 영향을 받지 않는 것으로 나타났다. 이와같이 절화품질은 품종보다는 구주에 영향을 받으며 크기가 커질수록 좋은 결과가 나타나는 것으로 확인되었다.

• Asian Pacific Journal of Cancer Prevention
• /
• 제17권10호
• /
• pp.4553-4553
• /
• 2016

• Journal of Electrical Engineering and Technology
• /
• 제3권1호
• /
• pp.68-78
• /
• 2008

This paper introduces a complete package for SRM drive on Power System Computer-Aided Design/Electromagnetic Transients (PSCAD/EMTDC). A three-phase SRM drive is modeled and simulated on PSCAD. The motor is modeled using an accurate nonlinear analytical model that takes into consideration the machine nonlinearities. A current control algorithm is applied for torque ripple minimization to achieve a smooth output torque which is necessary for high performance applications. The motor drive is tested for four-quadrant operations. The modeled SRM is capable of operating as a motor or generator during clockwise and counterclockwise motions. The proposed package helps in understanding the operational principles of switched reluctance motors, investigating the dynamic characteristics of SRM drives, and achieving a high performance dynamic control task.

• 대한수학회논문집
• /
• 제35권2호
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.

• 대한수학회논문집
• /
• 제38권1호
• /
• pp.21-38
• /
• 2023

Let R be a commutative ring with identity. Let R be an integral domain and M a torsion-free R-module. We investigate the relation between the notion of e-exactness, recently introduced by Akray and Zebari [1], and generalized the concept of homology, and establish a relation between e-exact sequences and homology of modules. We modify some applications of e-exact sequences in homology and reprove some results of homology with e-exact sequences such as horseshoe lemma, long exact sequences, connecting homomorphisms and etc. Next, we generalize two special drived functor T or and Ext, and study some properties of them.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제5권3호
• /
• pp.431-453
• /
• 2013

The principal purpose of this paper is to present a novel two phases rational scenario applied in constructing an offshore monopod platform; in which the two phases are the all-ground horizontal construction phase and the post-construction phase. Concerning the all-ground construction phase, a brief investigation of its different stages, i.e., pre-fabrication, fabrication, pre-assembling, positioning, assembling, and surface finishing is introduced. The important practical aspects of such construction phase are investigated without going into the nitty-gritty of the details involved therein. Concerning the post-construction phase, a clear investigation of its sequential stages, i.e., lifting, moving and up-righting is introduced. A finite element model (FEM) of the monopod platform is created to perform the structural analysis necessary to decide the suspension points/devices and the handling scenario during the various stages of the post-construction phase on a rational wise. Such structural analysis is performed within the framework of the three dimensional quasi-static modeling and analysis aiming at simulating the realistic handling condition, and hence introducing a reliable physical interpretation of the numerical results. For the whole effort to be demonstrated efficiently, the results obtained are analyzed, the conclusions are presented, and few related recommendations are suggested.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권2호
• /
• pp.686-710
• /
• 2019

This work proposes a model to solve the problem of Network Coding over a one-session multicast network. The model is based on a system of restrictions that defines the packet flows received in the sink nodes as functions of the outgoing flows from the source node. A multicast network graph is used to derive a directed labeled line graph (DLLG). The successive powers of the DLLG adjacency matrix to the convergence in the null matrix permits the construction of the jump matrix Source-Sinks. In its reduced form, this shows the dependency of the incoming flows in the sink nodes as a function of the outgoing flows in the source node. The emerging packets for each outgoing link from the source node are marked with a tag that is a linear combination of variables that corresponds to powers of two. Restrictions are built based on the dependence of the outgoing and incoming flows and the packet tags as variables. The linear independence of the incoming flows to the sink nodes is mandatory. The method is novel because the solution is independent of the Galois field size where the packet contents are defined.