• 대한수학회보
• /
• 제36권4호
• /
• pp.671-682
• /
• 1999

Using a base-point free version of the infinite symmetric product we define a fibrewise infinite symmetric product for any fibration $E\;\longrightarrow\;B$. The construction works for any commutative ring R with unit and is denoted by $R_f(E)\;l\ongrightarrow\;B$. For any pointed space B let $G_I(B)\;\longrightarrow\;B$ be the i-th Ganea fibration. Defining $M_R-cat(B):= inf{i\midR_f(G_i(B))\longrihghtarrow\;B$ admits a section} we obtain an approximation to the Lusternik-Schnirelmann category of B which satisfies .g.a product formula. In particular, if B is a 1-connected rational space of finite rational type, then $M_Q$-cat(B) coincides with the well-known (purely algebraically defined) M-category of B which in fact is equal to cat (B) by a result of K.Hess. All the constructions more generally apply to the Ganea category of maps.

• 대한수학회지
• /
• 제52권1호
• /
• pp.67-80
• /
• 2015

For a pomonoid S, let us denote Pos-S the category of S-posets and S-poset maps. In this paper, we consider the slice category Pos-S/B for an S-poset B, and study some categorical ingredients. We first show that there is no non-trivial injective object in Pos-S/B. Then we investigate injective objects with respect to the class of regular monomorphisms in this category and show that Pos-S/B has enough regular injective objects. We also prove that regular injective objects are retracts of exponentiable objects in this category. One of the main aims of the paper is to draw attention to characterizing injectivity in the category Pos-S/B under a particular case where B has trivial action. Among other things, we also prove that the necessary condition for a map (an object) here to be regular injective is being convex and present an example to show that the converse is not true, in general.

• Nuclear Engineering and Technology
• /
• 제47권2호
• /
• pp.187-195
• /
• 2015

Human-induced initiating events, also called Category B actions in human reliability analysis, are operator actions that may lead directly to initiating events. Most conventional probabilistic safety analyses typically assume that the frequency of initiating events also includes the probability of human-induced initiating events. However, some regulatory documents require Category B actions to be specifically analyzed and quantified in probabilistic safety analysis. An explicit modeling of Category B actions could also potentially lead to important insights into human performance in terms of safety. However, there is no standard procedure to identify Category B actions. This paper describes a systematic procedure to identify Category B actions for low power and shutdown conditions. The procedure includes several steps to determine operator actions that may lead to initiating events in the low power and shutdown stages. These steps are the selection of initiating events, the selection of systems or components, the screening of unlikely operating actions, and the quantification of initiating events. The procedure also provides the detailed instruction for each step, such as operator's action, information required, screening rules, and the outputs. Finally, the applicability of the suggested approach is also investigated by application to a plant example.

• Asian Pacific Journal of Cancer Prevention
• /
• 제14권11호
• /
• pp.6563-6568
• /
• 2013

Background: Tobacco use and quit attempts are two key indicators of the Global Adult Tobacco Survey (GATS) that assess quit attempts among current as well as former tobacco users. The relevant data have inherent policy implications for tobacco cessation programme evaluation. This study aimed to review the concepts of quit attempt assessment and quantifying invalid responses considering GATS-India data. Materials and Methods: GATS assessment of tobacco use and quit attempts were examined in the current literature. Two categories of invalid responses were identified by stratified analysis of the duration of last quit attempt among current users and duration of abstinence among former users. Category A included absolute invalid responses when time-frame of assessment of current tobacco use and less than former tobacco use were violated. Category B included responses that violated the unit of measurement of time. Results: Current daily use, current less than daily use and former use in GATS were imprecisely defined with overlapping of time-frame of assessment. Overall responses of 3,102 current smokers, 4,036 current smokeless users, 1,904 former smokers and 1,343 former smokeless users were analyzed to quantify invalid responses. Analysis indicated overall 21.2% (category A: 7.32%; category B: 17.7%) and 22.7% (category A: 8.05%; category B: 18.1%) invalid responses among current smokers and smokeless users respectively regarding their duration of last quit attempt. Similarly overall 6.62% (category A: 4.7%; category B: 2.3%) and 10.6% (category A: 8.6%; category B: 3.5%) invalid responses were identified among former smokers and smokeless users respectively regarding their duration of abstinence. Conclusions: High invalid responses for a single assessment are due to the imprecise definition of current use, former use and quit attempt; and failure to utilize opportunity of direct data entry interface use during the survey to validate responses instantly. Redefining tobacco use and quit attempts considering an appropriate timeframe would reduce invalid responses.

• 정보처리학회논문지B
• /
• 제12B권1호
• /
• pp.69-80
• /
• 2005

본 논문에서는 기존 온톨러지를 가공하여 용도에 맞게 변환하는 방안을 모색하였다. 변환방법으로서는 범주정보 단순화와 구체화를 고안하였다. 이 각각은 다시 범주표제와 기저범주를 이용한 방법으로 나누어 생각하였다. 또한 상이한 범주집합들 사이의 관계를 밝히는 방법도 도출하였다. 정립한 변환 방법론을 활용하여, (1) Roget 시소러스로부터 7개의 범주로 구성된 '이야기 분석용 온톨러지'[32]의 원형을 구축하였고, (2) 이미 알려진 22가지 멀티미디어 게임 흡인요소를 바탕으로 세분화된 흡인요소 207가지를 발견할 수 있었으며[35], 그리고 (3) 10개의 심소와 22가지 멀티미디어 게임 흡인요소 사이의 관계를 밝혀낼 수 있었다[36].

• 한국식품영양학회지
• /
• 제25권1호
• /
• pp.205-213
• /
• 2012

This study investigated the life cycle of menus and made suggestions on the appropriate time for when new menus should be developed. For this purpose, a total of 636 customers who visited 'T' Restaurant more than 25 times in the past three years were used for analysis. After estimating product life cycles based on sales and selling period, an empirical study was conducted. In terms of product life cycle, a growth stage was observed in the category of pasta and pizza in both stores A and B, whereas sales in the rice category stayed constant. Regarding trend in seasonal sales, a big difference was detected between the two stores. While store A was already in the decline stage of the life cycle in all menu categories, store B remained in the growth stage. In terms of menu life cycle, the product life cycle of long-lived products was observed in the pasta category in both stores A and B. While the pizza category was in the growth stage, the product life cycle of long-lived products was observed in the rice category. It is expected that the results of this study could be useful in development of new menus and product life cycle management to fulfill diverse customer needs in the dining-out business.

• 대기
• /
• 제31권2호
• /
• pp.143-156
• /
• 2021

This study investigates the impacts of land cover change due to urbanization on the Urban Heat Island Intensity (UHII) and the Heat Index (HI) over the Seoul metropolitan area using the Unified Model (UM) with the Met Office Reading Urban Surface Exchange Scheme (MORUSES) during the heat wave from 16, July to 5, August 2018. Two simulations are performed with the late 1980s land-use (EXP1980) and the late 2000s land-use (EXP2000). EXP2000 is verified using Automatic Weather Station (AWS) data from 85 points in the study area, and observation sites are classified into two categories according to the urban fraction change over 20 years; Category A is 0.2 or less increase, and Category B is 0.2 or more increase. The 1.5-m temperature and relative humidity in Category B increase by up to 1.1℃ and decreased by 7% at 1900 LST and 2000 LST, respectively. This means that the effect of the urban fraction changes is higher at night. UHII increases by up to 0.3℃ in Category A and 1.3℃ in Category B at 1900 LST. Analysis of the surface energy balance shows that the heat store for a short time during the daytime and release at nighttime with upward sensible heat flux. As a result of the HI, there is no significant difference between the two experiments during the daytime, but it increases 1.6℃ in category B during the nighttime (2200 LST). The results indicate that the urbanization increase both UHII, and HI, but the times of maximum difference between EXP1980 and EXP2000 are different.

• 대한수학회보
• /
• 제58권6호
• /
• pp.1327-1340
• /
• 2021

In this paper, we investigate hereditary and semihereditary representations of quivers over an arbitrary ring. As consequences hereditary and semihereditary category of representations of quivers over an arbitrary ring are characterized.

• 한국축산식품학회지
• /
• 제28권5호
• /
• pp.555-561
• /
• 2008

국내에서 생산, 유통되고 있는 영유아용 분말 조제분유 99제품을 수집하여 일반세균, 대장균군, FAO/WHO Category A, B, C 위해세균 분류에 따른 오염현황을 분석하였다. 일반세균수는 총 99개의 제품 중 92개의 제품에서 검출(93%)되었으며 $1.83{\pm}0.68\;Log\;CFU/g$의 분포를 보였다. 최고 $4.5\;Log\;CFU/g$가 검출된 한 제품을 제외하고는 조제분유의 총균수의 기준규격에 적합하였다. 대장균군은 조제분유 대장균군의 기준규격이 음성인 것에 비해 99개의 제품 중 12개의 제품에서 검출(12%)되었으며 $1.26{\pm}1.03\;\log\;MPN/g$의 분포를 보였다. 대장균은 한 제품에서 0.48 log MPN/g으로 검출되었다. Category A 세균인 Salmonella와 En. sakazakii의 오염도 분석 결과 총 99개의 모든 제품에서 검출되지 않았다. Category B group인 세균 중에서 장내세균은 99개의 제품 중 25개의 제품에서 검출(25%)되었고 오염수준은 $0.83{\pm}1.37\;\log\;MPN/g$으로 나타났다. 검출된 Category B group 세균들로는 Escherichia vulneris, Es. hermannii, Pantoea spp., Citrobacter koseri, Klebsiella pneumoniae, Enterobacter cloaceae 등이었다. Category C세균의 오염은 Bacillus cereus가 조제분유 99개의 제품 중에서 29개의 제품이 검출(29%)되어 비교적 높은 오염도를 보였지만 오염수준은 $0.69{\pm}0.32\;\log\;MPN/g$으로서 B. cereus의 국내 기준규격에 모두 적합하였다. 그 외의 Category C 세균은 검출되지 않았다. 국내 유통 조제분유의 주요 위해세균의 대한 미생물 오염정도가 낮아 미생물 기준 규격에 적합한 것으로 평가되었다. 그러나 Category B의 장내세균은 높은 검출율을 보였고 질환을 유발시킬 수 있는 균들이 확인되어 잠재적인 위험이 있다고 사료된다. 따라서 비살균식품인 조제분유의 특성상 잠재적인 위해세균 모니터링이 지속적으로 필요하며 그에 대한 안전성 확보에 능동적 자세가 필요하다.

• 대한수학회보
• /
• 제54권1호
• /
• pp.289-298
• /
• 2017

Let R denote a commutative Noetherian (not necessarily local) ring and let I be an ideal of R of dimension one. The main purpose of this note is to show that the category ${\mathfrak{M}}(R,\;I)_{com}$ of I-cominimax R-modules forms an Abelian subcategory of the category of all R-modules. This assertion is a generalization of the main result of Melkersson in [15]. As an immediate consequence of this result we get some conditions for cominimaxness of local cohomology modules for ideals of dimension one. Finally, it is shown that the category ${\mathcal{C}}^1_B(R)$ of all R-modules of dimension at most one with finite Bass numbers forms an Abelian subcategory of the category of all R-modules.