• Bulletin of the Korean Chemical Society
• /
• 제31권4호
• /
• pp.815-818
• /
• 2010

Free base meso-tetraarylporphyrins ($H_2T(X)PP$) react with tellurium(IV) chloride ($TeCl_4$) in mild conditions for formation sandwich intermediate sitting-atop (i-SAT) complexes, [$TeCl_4(H_2T(X)PP)_2$]. $^1H$ NMR, $^{13}C$ NMR, UV-vis, FT-IR and elemental analysis were used for characterization of the products. In the proposed structure of the i-SAT complexes, four pyrroles of each porphyrin ring are tilted alternatively up and down and this appropriates suitable orientation of lone pairs of two pyrrolenine nitrogens for electron donation to a tellurium center. $^1H$ NMR and FT-IR results showed that in the produced complex, hydrogen atoms of porphyrin macrocycles remained on the pyrrole nitrogens.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• 한국지하수토양환경학회지:지하수토양환경
• /
• 제14권5호
• /
• pp.18-28
• /
• 2009

다양한 물리화학적 특성을 지닌 12개의 유기오염물이 저표면적의 무기물 지반 수착제로 수착 시 12개의 유기오염물을 적은 수의 pseudocompound로 집략화하는 접근법(lumped approach)의 타당성과 정확성을 평가하였다. 집략화 접근법은 복잡한 혼합 유기오염물의 수착 거동을 근거로 통계적인 처리방법인 집략분석(cluster analysis)을 통해 개발되었다. 집략화 접근법을 이용해 수용액상에서 복잡한 혼합 유기오염물이 친수성 무기물로 수착 시 감소된 수의 집략화된 오염물(pseudocompound)과 집략화된 오염물의 수착 매개변수($K_f$, n)를 이용하여 복잡한 혼합 유기오염물의 수착을 설명할 수 있었다. 또한, 실험을 수행하지 않고(a priori) 복잡한 혼합 유기오염물 내 각 유기오염물의 특성(${\gamma_w}^{sat}$)을 근거로 pseudocompound를 예측할 수 있었다. 따라서 집략화 접근법은 복잡한 혼합 유기오염물의 수착거동을 단순화하여 반응관련 매개변수 산출에 필요한 시간과 비용을 감소시켜주고 통계적으로 정확성이 동일한 범위 내의 실용적인 수착 결과를 제공해 줄 수 있다. 향후 더 많은 반응 인자소결합크기, 수착제 내 반응 지점 수 및 반응성 그룹 등)를 고려한 다중회귀분석(multiple regression analysis)을 통해 집략화 접근법(lumped approach)의 정확도를 높일 필요가 있다고 판단된다.

• 한국작물학회지
• /
• 제51권3호
• /
• pp.239-247
• /
• 2006

우리나라에서 자생하는 야생콩(Glycine soja) 81점과 재래종 콩(G. max) 130점에 대해 7개의 SSR 마커의 다형성을 통해 두 종간의 변이를 조사하고 지리적 유연관계를 분석한 결과를 요약하면 다음과 같다. 1. 전체 두종에서 총 144 개의 대립인자(평균 20.6개)를 확인하였고, 각 유전자좌별 복수 대립인자수는 $13{\sim}41$개로 나타났다. 각 종별 대립인자수로 야생콩은 총 117개의 대립인자수(평균 16.7개)를 나타냈으며 재래종 콩은 총 69개의 대립인자(평균 9.9개)를 나타냈고, 두종간에 서로 공유된 대립인자수는 총 42개였다. 2. 전체 두종에 대한 유전자좌별 유전자 다양성 값 범위는 0.69(Satt141)${\sim}0.96$(Sat_074)이었다. 또한 전체 다양성 값은 0.81을 나타냈고 야생콩은 0.88, 재래종 콩은 0.69였다. 3. 야생콩과 재래종 콩의 유전적 변이에서 SSR 분석에 의한 정준판별분석 결과, Canl(84.2%)에 의해 좌측은 G. soja(I군), 우측은 G. max(II군) 그리고 두 종이 서로 중복되는 군(III군)으로 구분되었으며, 유전적 기저가 넓은 야생콩이 재래종에 비해 변이가 크게 나타났다. 4. 야생콩의 지리적 유연관계는 2개의 군으로 구분되었는데 I군은 강원, 경상, 전라, 충청도 지역이, II군에는 경기도 지역이 독립된 군을 형성하였으며, I군내에서는 강원도와 경상도 지역이, 그리고 전라도와 충청도 지역이 각각 같은 군을 형성하였다. 재래종 콩도 2개의 군으로 구분되었는데 I군에는 강원도, 경기도, 경상도 지역이, II군에는 전라도, 충청도 지역이 포함되었다. 또한, I군내에서는 경상도 지역이 독립된 군을 형성하였으며, 강원도와 경기도 지역이 강한 유연관계를 나타냈다.