• 대한수학회지
• /
• 제44권4호
• /
• pp.863-872
• /
• 2007

Let D be an integral domain with quotient field K, A a nonempty set of height-one maximal t-ideals of D, F$({\Lambda})={I{\subseteq}D|I$ is an ideal of D such that $I{\subseteq}P$ for all $P{\in}A}$, and $D_F({\Lambda})={x{\in}K|xA{\subseteq}D$ for some $A{\in}F({\Lambda})}$. In this paper, we prove that if each $P{\in}A$ is the radical of a finite type v-ideal (resp., a principal ideal), then $D_{F({\Lambda})}$ is a weakly Krull domain (resp., generalized weakly factorial domain) if and only if the intersection $D_{F({\Lambda})}={\cap}_{P{\in}A}D_P$ has finite character, if and only if $F({\Lambda})$ is a t-splitting set of ideals, if and only if $F({\Lambda})$ is v-finite.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권10호
• /
• pp.889-899
• /
• 2007

최근 프로테오믹스 분야에서 단백질의 추출, 분리기술의 발전과 고성능 질량분석 장비로 인하여 대량으로, 또 빠르게 샘플을 분석하는 것이 가능해짐에 따라서, 한번의 실험으로부터 얻어지는 실험데이타의 양이 대폭 늘어나게 되었다. 따라서 대량의 데이타를 어떻게 처리하여 필요한 정보만을 얻어내는가가 큰 이슈가 되고 있다. 하지만 기존의 데이타 해석과정은 불필요하게 계산자원을 낭비하는 요소를 상당 부분을 포함하고 있고, 이로 인해 데이타 해석 시간이 증가함은 물론, 종종 옳지 않은 해석 결과를 생성함으로써 결과에 대한 신뢰도의 저하를 초래했다. 본 논문에서는 기존의 데이타 해석 과정에서의 문제점을 지적하고, 데이타 처리의 효율을 높임과 동시에 해석 결과의 신뢰도를 제고하기 위한 SIFTER 시스템을 제안한다. SIFTER 시스템은 본격적인 데이타 해석에 앞서, 질량 스펙트럼의 질을 평가하고 하전량을 결정하는 소프트웨어를 제공한다. 탠덤 질량 스펙트럼에 나타나는 단편 이온의 특성을 고려하여 스펙트럼의 질과 하전량을 정확하게 결정하는 방법을 제공함으로써, 데이타 해석에 앞서 스펙트럼의 질이 낮아 해석이 불가능할 것이 분명한 경우 이들을 미리 제거하고 스펙트럼 해석과정에 잘못된 정보가 사용되지 않도록 한다. 결과적으로 데이타 해석과정에서의 효율과 해석결과의 정확성에 있어 대폭적인 개선을 기대할 수 있다.