• Bulletin of the Korean Chemical Society
• /
• v.31 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• 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.

• Journal of Soil and Groundwater Environment
• /
• v.14 no.5
• /
• pp.18-28
• /
• 2009

Both feasibility and accuracy of lumped approach to group 12 organic compounds in mixtures into a fewer number of pseudocompounds in sorption processes were evaluated using mixtures containing organic compounds with various physicochemical properties and low-surface-area mineral sorbents. The lumped approach for sorption to simulated mineral sorbents was developed by cluster analysis from statistics. Using the lumped approach, the sorption estimated from both reduced number of pseudocompounds and their sorption parameters (i.e., $K_f$, n) can approximate sorption behavior of complex organic mixtures. Additionally, the pseudocompounds for various mixtures to different types of low-surface-area mineral sorbents can be estimated a priori from the physicochemical properties of organic compound (i.e., ${\gamma_w}^{sat}$). Therefore, the lumped approach may help to simplify the complex fate and transport model of organic contaminant mixtures, reduce experimental efforts, and yet provide results that are statistically identical for practical purposes. Further research is warranted to enhance the accuracy of lumped approach using the multiple regression analysis considering the H-bonding capacity, site concentrations, functional groups for mineral sorbents.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.51 no.3
• /
• pp.239-247
• /
• 2006

This study was carried out to investigate polymorphism, gene diversity, and geographical relationships of 81 Korean wild (Glycine soja) and 130 cultivated soybeans (G. max) using seven simple sequence repeat (SSR) markers. A total of 144 alleles were observed in 211 accessions with an average of 20.6. Each SSR loci showed 13 (Satt532) to 41 (Sat_074) multialleles. The range of alleles within the loci was wider in wild soybean than the cultivated soybeans. The average genetic diversity values were 0.88 and 0.69 in wild and cultivated soybeans, respectively. In a scatter diagram of wild and cultivated soybeans based on canonical discriminant analysis, CAN1 accounted for 84.2% while CAN2 did 8.5%. Two species were grouped into three: group I (G. max), group II (G. soja), and group III (complex of G. max and G. soja). The geographical relationships of wild soybean were distinguished into two groups: Gyeonggi for Group I, and Gyeongsang, Jeolla, Gangwon, and Chungcheong for Group II. Those of cultivated soybeans were distinguished into Gyeonggi, Gangwon, and Gyeongsang for Group I, and Jeolla and Chungcheong for Group II. Therefore, the geographical relationships of wild soybeans were well typified based on the ecosystems of the Korean peninsula.