• 제목/요약/키워드: k-reducible

검색결과 124건 처리시간 0.028초

Complete Reducibility of some Modules for a Generalized Kac Moody Lie Algebra

  • Kim, Wansoon
    • 충청수학회지
    • /
    • 제5권1호
    • /
    • pp.195-201
    • /
    • 1992
  • Let G(A) denote a generalized Kac Moody Lie algebra associated to a symmetrizable generalized Cartan matrix A. In this paper, we study on representations of G(A). Highest weight modules and the category O are described. In the main theorem we show that some G(A) modules from the category O are completely reducible. Also a criterion for irreducibility of highest weight modules is obtained. This was proved in [3] for the case of Kac Moody Lie algebras.

  • PDF

차원 복원해석과 가상균열닫힘 기법을 이용한 종방향 균열을 가진 세장비가 큰 보의 에너지 해방률 계산 (Computation of Energy Release Rates for Slender Beam through Recovery Analysis and Virtual Crack Closure Technique)

  • 장준환;구회민;안상호
    • 한국전산구조공학회논문집
    • /
    • 제30권1호
    • /
    • pp.31-37
    • /
    • 2017
  • 본 논문에서는 이종재질로 구성된 세장비가 큰 보의 차원축소와 복원의 효율성과 정확성을 입증하기 위하여 VABS와 3차원 유한요소해석 모델의 결과와 비교하였다. 그리고 3차원 유한요소모델과 차원축소 모델을 가상균열닫힘법을 이용하여 에너지 해방률을 계산하였다. 원형과 사각형의 단면에 초기 크랙을 가진 수치모델을 이용하여 보의 차원축소와 복원기법 및 가상균열닫힘법을 이용하여 복원해석 결과 및 에너지 해방률을 비교하여 효율성과 정확성을 입증하였다. 특히 제시된 에너지 해방률 계산 기법은 고고도 무인기의 날개, 헬리콥터 로터 블레이드, 풍력 블레이드, 틸트로터 등의 정적, 동적 모델링 및 수명평가에 활용될 수 있을 것이다.

${Er_2}{O_3}$첨가가 $BaTiO_3$계 내환원성 X7R 재질의 유전특성에 미치는 효과 (Effects of ${Er_2}{O_3}$ Addition on the Dielectric Properties of Non-reducible $BaTiO_3$-based X7R Dielectrics)

  • 박재성;황진현;한영호
    • 한국재료학회지
    • /
    • 제11권1호
    • /
    • pp.44-47
    • /
    • 2001
  • Ni 전극을 사용하는 $BaTiO_3$계 내환원성 X7R 조성에서 $Er_2$$O_3$ 첨가가 유전특성에 미치는 영향에 대하여 환원성 분위기에서 연구하였다. $MnO_2-MgO$가 첨가된 내환원조성에서 첨가량이 조절된 $Er_2O_3$의 복합첨가로 유전율의 온도안정성이 향상되어 X7R 규격을 만족시켰으며 2,970 이상의 상온 유전상수와 1.0% 이하의 유전손실율이 관찰되었다. $Er_2O_3$가 3.0 mol% 이상으로 과량 첨가되었을 경우 유전체의 온도특성은 향상되었으나 상온 유전상수가 현저히 감소하였다. 다른 첨가조성(1.5 mol% $Er_2O_3$2.0 mol% MgO)이 고정될 때 TCC곡선은 $MnO_2$첨가량이 증가함에 따라 시계방향으로 회전하였으며, 온도안정성을 향상시켰다.

  • PDF

복합오염물질 제거를 위한 철과 개량 벤토나이트의 복합층에 관한 연구 (Hybrid Barriers of Iron and Modified-bentonite for the Remediation of Multi-contaminated Water)

  • 조현희;박재우
    • 한국물환경학회지
    • /
    • 제20권5호
    • /
    • pp.512-519
    • /
    • 2004
  • Hybrid barriers using reduction and immobilization were tested to remediate the groundwater contaminated with multi-pollutants in this study. Iron filings and HDTMA(hexadecyltrimethylammonium)-bentonite were simulated in columns to assess the performance of hybrid barriers for remediation of trichloroethylene(TCE)-contaminated water. TCE reduction rate for the mixture of iron filings and HDTMA-bentonite was about 7 times higher than that for iron filings, only suggesting the reduction of TCE was accelerated when HDTMA-bentonite was mixed with iron filings. TCE reduction rate for the two layers of iron and HDTMA-bentonite was nearly similar to that for iron filings alone, but the partition coefficient($K_d$) for the two layers was 4.5 times higher than for that iron filings only. TCE was immobilized in the first layer with HDTMA-bentonite, and then dechlorinated in the second layer with iron filings. HDTMA-bentonite may contribute to the increase in TCE concentration on iron surface so that more TCE can be reduced. Also, TCE removal in the hybrid barriers was not affected by chromate and naphthalene while the reduction rate of TCE with the co-existing contaminants by iron filings was significantly decreased. Significant TCE removal in this research indicates that the proposed hybrid barrier system has the potential to become the effective remediation alternative during the occurrence of oil shock. Also, if subsurface environments are contaminated with multi-pollutants that contain non-reducible compounds as well as reducible compounds such as TCE, the conventional reactive barriers cannot be applied to this subsurface environment, while the proposed hybrid system can be applied successfully.

토양세척공정에서 광미오염토양 입자크기에 따른 중금속 추출특성 (Extraction Characteristics of Heavy Metals for Soil Washing of Mine Tailings-contaminated Soil according to Particle Size Distribution)

  • 김정대
    • 공업화학
    • /
    • 제19권1호
    • /
    • pp.98-104
    • /
    • 2008
  • 본 연구는 광미오염토양을 대상으로 입자크기에 따른 토양세척기술의 중금속 추출특성 평가와 토양세척 전과 후의 화학적 분포형태를 파악하고자 실시되었다. 오염토양의 입자크기 별 총 농도는 모든 중금속에서 입자가 작을수록 증가하는 경향을 보였지만, Fe과 Mn은 입자크기와는 무관하였다. 0.05 M EDTA를 이용한 토양세척(Soil washing)에 의한 중금속 추출은 모든 중금속에서 추출 6 h 내에 준평형상태에 도달하였다. 추출효율은 입자크기가 작을수록 Pb, Cu, Zn의 일부에서 추출효율이 감소하였지만, Cd에서는 추출효율의 차이가 크지 않았다. Cd의 추출효율이 86~91%로 가장 높은 반면에 Fe이 5~14%로 가장 적었다. 화학적 분포형태는 토양세척 이전 모든 중금속에서 거의 대부분이 환원성, 산화성, 잔류성으로 존재하였으며 특히, Pb과 Cu는 입자가 작을수록 잔류성 형태도 증가하였다. 그러나, 0.05 M EDTA에 의한 토양세척 이후에는 Cu를 제외하고 Pb, Zn, Cd에서 상당부분이 환원성(Fe/Mn산화물)과 잔류성으로 존재하였고, Cu는 주로 산화성과 잔류성으로 존재하였다. 특히, Pb과 Cu는 입자가 작을수록 잔류성 형태도 증가하였다. 또한, Pb, Zn, Cd에서 환원성형태의 화합물이 0.05 M EDTA에 의해 거의 90% 이상이 제거되었다. 본 연구결과 광미오염토양의 중금속 분포형태 및 추출효율은 많은 인자들 외에 광물학적 요인과 함께 토양입자크기에 좌우되는 주요인자임이 확인되었다.

수도권 위성도시의 토양과 분진의 중금속 오염에 대한 연구 (A Study on the Pollution of Heavy Metals in Soils and Dusts in Satellite Cities of the Seoul Capital Area)

  • 전효택;안주성
    • 자원환경지질
    • /
    • 제29권1호
    • /
    • pp.87-103
    • /
    • 1996
  • The purposes of this research are to investigate the pollution level of heavy metals due to the urbanization and industrialization in the satellite cities of Seoul, and to assess the chemical species and the sources of heavy metals in highly contaminated soils and dusts. Soil and dust samples were collected from the Uijeongbu and the Koyang cities, which are northern and the northwestern satellite cities of Seoul metropolitan city, respectively. Relatively high pH values($6.3{\sim}9.9$) were found in roadside soils compared with agricultural and forest soils. Difference in pH values of soils was not identified between before and after rainy seasons. In spite of no specific pollution sources in the above cities, the contents of Cu, Pb, and Zn in soils and dusts were much higher than the world average contents. The metal levels in dusts were higher than those in soils, but the metal concentration in dusts was significantly decreased after rainy season. Pollution index was high(> 1.0) in the areas of heavy traffic, industrial complex, and city centres. There is an appreciable proportion of total Zn in exchangeable/water-acid soluble fraction. Copper is predominantly associated with reducible and oxidizable phases, whereas Pb is largely in reducible association. It is concluded that the mobility and bioavailability of metals are high in the order of Zn >> Cu > Pb, on the basis of characteristic particle morphology and chemical composition, Pb-containing particles are originated probably from the automobile exhaust, particularly in heavy traffic areas. The metallic forms and iron-oxide associated forms of Cr, Ni, Cu, Zn, and Pb can be assessed as industrial origin.

  • PDF

VABS를 이용한 높은 세장비를 가진 복합재료 보 구조의 차원축소 및 응력복원 해석기법에 대한 연구 (A Study on Stress Recovery Analysis of Dimensionally Reducible Composite Beam Structure with High Aspect Ratio using VABS)

  • 안상호
    • 한국전산구조공학회논문집
    • /
    • 제29권5호
    • /
    • pp.405-411
    • /
    • 2016
  • 본 논문에서는 풍력 블레이드와 같이 세장비가 크고 초기 비틀림이 존재하는 복합재료로 구성된 블레이드에 대한 이차원 단면의 차원축소와 복원관계를 이론적으로 기술하였다. 그리고 VABS 이용한 보의 차원축소모델에 대한 유효성을 검증하기 위해 선행연구 모델을 활용하여 기존 연구결과를 수치적으로 비교하였다. 실물과 가장 가까운 날개 구조물 2차원 형상에 단면해석을 적용하여 정밀한 단면의 이산화를 수행하고 VABS를 이용하여 블레이드의 특성(질량행렬, 강성행렬)을 포함한 1차원 보 모델링을 수행하였다. 1차원 보 모델을 통해 세장비가 큰 날개 구조물의 거동을 확인하고 내부하중을 계산하여 단면위치에서 변형률 복원을 수치적으로 계산하고 이산화된 단면에 수치적으로 매핑하여 시각적으로 확인하고 여유마진을 계산하였다.

프로그램유도 컴비네이터를 이용하는 함수프로그램의 포로세스망 구성 (Functional Programs as Process Networks using Program-derived Combinators)

  • 신승철;유원희
    • 한국정보처리학회논문지
    • /
    • 제3권3호
    • /
    • pp.478-492
    • /
    • 1996
  • 병렬 구문을 갖지 않는 함수 프로그램의 병렬 수행을 위해 람다 계산 해석법(λ- calculus encoding)이 도입되었고 이것은 함수 프로그램을 프로세스 계산(process calculus) 을 이용하여 프로세스망으로 구성하고 프로세스간의 통신 행위에 의해 결과를 얻는 새로운 계산 모델에서 사용될 수 있다. 그러나 람다 계산 해석 법은 상수식 조차도 너무 많은 통신 행위를 야기시키는 문제가 지적되어 왔다. 본 논문은병렬 구문을 갖지 않는 컴비네이터 프로그램을 위한 해석법을 제안한다. 또 이것은 프로세스망 리덕션을 결합할 수 있도록 계산 프로세스인 초어 프로세스(chore process ; chore)를 도입한다. 초어는 지역 그래프 리덕션이 가능한 상수식을 위한 그래프 리덕션 함수를 포함할 수 있으며 초어 프로세스의 생성은 주어진 컴비네이터 프로그램에 대한 표식과 변환에 의해 추출되는 컴비네이터 적용식을 포함하지 않는 G-감축가능한 (G-reducible) 부분식으로부터 이루어진다. 본 논문은 이러한 초어 프로세스를 포함하는 해석법으로 생성된 프로세스망이 초어를 갖지 않는 것보다 더 적은 통신 행위의 회수를 발생한다는 것을 보인다.

  • PDF

논토양 배수조건에 따른 비소 및 중금속의 용출 및 벼 전이특성 (Transfer of Arsenic and Heavy Metals from Soils to Rice Plant under Different Drainage Conditions)

  • 고일하;김정은;김지숙;지원현
    • 한국지하수토양환경학회지:지하수토양환경
    • /
    • 제22권6호
    • /
    • pp.12-21
    • /
    • 2017
  • A pot experiment was conducted to investigate the transfer of As and cationic heavy metals (Fe, Mn, Zn, Cd and Pb) from soil to rice plant in soil condition with submerged and drained. During the ninety-day monitoring period for soil solution, solubility of reducible elements such as As, Fe and Mn in submerged condition were higher than that of Zn. On the contrary, concentration of Zn in drained condition was higher than that of reducible elements. The concentration of As, Cd, Pb and Zn in rice plant (root, stem, leaf and grain) showed similar pattern with soil solution. The As concentration in each part of rice plant, which cultivated in drained condition, measured 56%~94% lower than those in submerged condition. However, the contents of cationic heavy metals (Cd, Pb and Zn) were represented the opposite result with As. These results are due to mobility of As and cationic heavy metals under different soil drainage conditions which represent oxidation and reduction. Thus soil drainage control can be used as acceptable passive treatment methods to reduce transfer of inorganic contaminants from soil to rice plant. However more detailed examination on soil condition conversion is needed, because yield of rice was decreased when it cultivated in drained condition only. It also needed when soil is contaminated by As and cationic heavy metal because single drainage condition cannot reduce transfer of both kinds of contaminants all.

Efficient Signature Schemes from R-LWE

  • Wang, Ting;Yu, Jianping;Zhang, Peng;Zhang, Yong
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제10권8호
    • /
    • pp.3911-3924
    • /
    • 2016
  • Compared to the classical cryptography, lattice-based cryptography is more secure, flexible and simple, and it is believed to be secure against quantum computers. In this paper, an efficient signature scheme is proposed from the ring learning with errors (R-LWE), which avoids sampling from discrete Gaussians and has the characteristics of the much simpler description etc. Then, the scheme is implemented in C/C++ and makes a comparison with the RSA signature scheme in detail. Additionally, a linearly homomorphic signature scheme without trapdoor is proposed from the R-LWE assumption. The security of the above two schemes are reducible to the worst-case hardness of shortest vectors on ideal lattices. The security analyses indicate the proposed schemes are unforgeable under chosen message attack model, and the efficiency analyses also show that the above schemes are much more efficient than other correlative signature schemes.