• Journal of KIISE:Software and Applications
• /
• v.27 no.6
• /
• pp.607-617
• /
• 2000

Concurrent programs, which are composed of threads that can operate concurrently, are intrinsically nondeterministic. Therefore, we can not directly apply classical testing or debugging techniques developed for sequential programs to concurrent programs because of the nonreproducibility due to nondeterminism. In this paper, we present a source tranformation method to guarantee the reproducibility of multi-threaded programs written in Java programming language. Once a mutli-threaded program has been transformed according to the transformation rules, we can force the program's execution to follow the given sequence of synchronized methods repeatedly and reduce the efforts to find the source of the errors. In addition, we present a method for checking the feasibility of the synchronized method sequence to be replayed.

• Korean Journal of Logic
• /
• v.20 no.1
• /
• pp.21-67
• /
• 2017

In this paper, I critically examine Sartorio's (2006) argument for disjunctive cause, and put forth disjunctive causal structure in a different way. I show that the disjunctive causal structure meets not just what Sartorio means to claim but also our understanding of causal responsibility. First, I introduce Sartorio's argument for disjunctive cause. Second, I critically discuss Sartorio's responses to the criticisms of her arguments for disjunctive cause, and propose another problem with her arguments. Finally, I explicate in a different way Sartorio's disjunctive cause in terms of disjunctive causal structure founded on moderate variables, causal interaction, and probability trajectory. I notice, regarding the disjunctive causal structure, the role of causal interaction of cause events with moderate variables. I reveal, regarding the disjunctive causal structure, the significance of indetermination of cause events and effect events for our understanding of causal responsibility. I show that the disjunctive causal structure guides us more convincingly to assign causal responsibility to an agent. I come to three conclusions. First, there is no disjunctive cause event Sartorio argues for. Second, propensities of events to be causally connected to an effect event constitute disjunctive relation. Third, we should notice indetermination of cause events and effect events while assigning causal responsibility to an agent.

• Proceedings of the Korean Fiber Society Conference
• /
• 2003.04a
• /
• pp.333-334
• /
• 2003

Poly(trimethylene terephthalate)(PTT)는 결정화 속도가 빠른 결정성 고분자로 최근들어 섬유화에 성공한 이후 활발한 연구가 진행되고 있다. 그러나 U의 빠른 결정화속도와 높은 결정화도 때문에 제품 제조시 곤란을 받고 있다. 한편, PET의 경우 비결정성 고분자인 poly(ethylene isophthalate)(PEI)를 공중합시켜 유리전이온도와 결정화도를 낮추고 결정화속도를 늦추어 PET 섬유의 염색성 및 투명도를 향상시키고, 저온에서의 공정처리를 가능하게 할 수 있다[1-3]. (중략)

• ICROS
• /
• v.6 no.5
• /
• pp.54-63
• /
• 2000

본 논문에서는 모델 불확정성을 가진 이산사건시스템의 강인 관리제어이론에 대해 알아본다. 지금까지 연구된 불확정성 이산사건시스템은 크게 두 부류로 구분된다. 첫째는 다중 모델의 집합으로 표현되는 불확정성 시스템으로서 제어 대상이 되는 시스템의 동적 특성이 몇 가지의 가능한 이산사건 모델들의 집합으로 기술되는 시스템이다. 두 번째는 비결정성 시스템으로서 시스템의 한 상태에서 하나의 동일 사건발생에 의해 천이되는 상태가 두가지 이상이 존재하여 상태천이에 있어 불확정성이 존재하는 시스템이다. 본 논문에서는 두가지 형태의 불확정성 이산사건 시스템들에 대한 강인 관리제어기 설계문제에 대해 살펴보고, 강인 관리 제어 이론에 대한 최근의 연구동향과 발전 방향에 대해 소개한다.

• Proceedings of the Korean Fiber Society Conference
• /
• 2002.04a
• /
• pp.203-205
• /
• 2002

poly(ethylene oxide)(PEO)와 Poly(methyl methacrylate)(PMMA)는 상용성이 있는 고분자 블렌드계로서, 혼합되는 PMMA의 함량과 사용하는 용매 등에 의해서 PEO의 결정화 거동은 많은 영향을 받는다[l-3]. 비결정성 고분자인 PMMA의 함량이 증가할 수록 PEO의 결정 성장은 제약을 받게 되어 결정화 속도가 느려진다. 한편, PEO는 전기활성을 나타내는 고분자로서 외부전장을 가한 상태에서 용응 결정화시키면 전장의 영향을 받아 결정화가 늦어진다[4]. (중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.774-776
• /
• 1999

공유메모리 병렬프로그램에서의 경합은 프로그램 수행에서 원하지 않는 비결정성을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 기존의 탐지 기법들은 경합을 탐지하기 위해서 공유 자료구조를 사용하므로 심각한 병목현상을 일으킨다. 본 논문에서는 동기화가 있는 프로그램에서 병목현상을 줄임으로써 탐지의 효율성을 높임과 동시에, 최초로 발생한 경합을 탐지하기 위해서 감시대상이 되는 접근사건들의 수를 감소시키는 기법을 제시한다. 이러한 목적을 위해서 사건선택 알고리즘과 실제적인 실험결과를 통해 본 기법의 효율성을 보인다.

• Proceedings of the Korean Fiber Society Conference
• /
• 2001.10a
• /
• pp.243-246
• /
• 2001

열가소성 고무탄성체인 폴리에테르에스테르계 고분자는 결정에 의한 물리적 가교를 형성할 수 있는 하드세그멘트 블록과 비결정성의 소프트세그멘트 블록으로 구성되어 탄성을 발현하는 성질을 갖는다. 이때 하드세그멘트의 함량의 변화는 고분자의 결정화 특성을 변화시켜 최종단계에서의 물성에 큰 영향을 미친다. 본 연구에서는 하드세그멘트가 PBT 구조로 이루어지고 소프트세그멘트는 PTMGT 구조를 갖는 4GT/PTMGT 고분자의 결정화 거동을 분석하였다. (중략)

• Journal of the Korean Wood Science and Technology
• /
• v.35 no.3
• /
• pp.45-52
• /
• 2007

The anatomical characteristics of Quercus variabilis woods carbonized at 310 to $350^{\circ}C$ were examined with an optical and scanning electron microscopy, and an X-ray diffraction analysis. Dimensional change and weight loss were also investigated. Volume of wood samples decreased with increasing the carbonization temperature, and checks were developed along with radial direction. Vessel diameter in tangential direction showed higher shrinkage than that in radial direction. Weight loss of samples increased with increasing carbonization temperature. Especially, the weight loss rapidly increased at the temperature ranging from 330 to $340^{\circ}C$. SEM study presented that the cell walls of samples carbonized at below $320^{\circ}C$ showed the layering structure. However, it was revealed that the layering structure was disappeared at $330^{\circ}C$ and over and showed an amorphous-like structure without cell wall layering. Interestingly, the existence of cellulose crystalline substance at $340^{\circ}C$ was confirmed by X-ray diffraction analysis and it was not detected at $350^{\circ}C$. Consequently, it is considered that the critical temperature for carbonization of wood was around $350^{\circ}C$.

• Polymer(Korea)
• /
• v.37 no.2
• /
• pp.156-161
• /
• 2013

Phenolic antioxidants are effective stabilizers that provide excellent long-term heat stability by preventing thermo-oxidative degradation during processing and service life. However, under a selected set of circumstances, certain types of phenolics have been susceptible to discoloration due to prolonged storage in an environment containing oxides of nitrogen. It is investigated that the effect of addition of secondary antioxidant and chemical structure of primary antioxidant on discoloration of amorphous poly-${\alpha}$-olefin (APAO), which is especially prone to be decomposed in high processing temperature. From the result, it is concluded that a higher level of steric hindrance of phenolic antioxidant provided by long alkyl chain allows a more enhanced synergic effect with secondary antioxidant.

• Elastomers and Composites
• /
• v.38 no.4
• /
• pp.295-302
• /
• 2003

The amount of shrinkage of injection molded parts is different from operational conditions of injection molding such as injection temperature, injection pressure and mold temperature, and mold design such as gate size. It also varies depending on the presence of crystalline structure in resins. In this study, part shrinkage was investigated for various operational conditions and resins. Poly(butylene terephthalate) (PBT) for crystalline polymer, and polycarbonate (PC) and poly(methyl methacrylate) (PMMA) for amorphous polymers were used. Crystall me polymer showed higher part shrinkage by about three times than that of amorphous polymers. Part shrinkage increased as melt and molt temperatures increased, and injection pressure decreased. Part shrinkage decreased as gate size increased since the pressure delivery is mush easier for larger gate sizes. Part shrinkage at the position close to the gate was larger than that or the position far from gate. This phenomenon might be occur by difference of residual stress.