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

• Journal of the Korean Mathematical Society
• /
• v.52 no.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
• /
• v.47 no.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
• /
• v.14 no.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.

• The KIPS Transactions:PartB
• /
• v.12B no.1 s.97
• /
• pp.69-80
• /
• 2005

This paper introduces a methodology of transforming an existing ontology into the one that satisfies its application. The transformation consists of simplification and realization of word category information. They are based on category headings and base categories. Furthermore, this paper describes a method by which we can identify relationships between category sets. Through the transformation, (1) Roget's thesaurus is reorganized into 7 categories and the base of 'Ontology for Narrative'[32], (2) 22 immersion factors of multimedia games can be subdivided into 207 factors in [35], and (3) the relationships between 10 mental factors and 22 immersion factors of multimedia games are identified in [36].

• The Korean Journal of Food And Nutrition
• /
• v.25 no.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.

• Atmosphere
• /
• v.31 no.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.

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

• Food Science of Animal Resources
• /
• v.28 no.5
• /
• pp.555-561
• /
• 2008

Ninety-nine samples of powdered infant formula in a market were collected from the local market and their contaminations for total aerobic bacteria, coliform, FAO/WHO Category A, B, and C pathogens were analyzed. Total aerobic bacteria were detected in 92 of 99 samples (93%) at levels of $1.83{\pm}0.68\;Log\;MPN/g$. These levels were below legal levels specified for infant formulas except for one sample detected by 4.5 Log CFU/g. Coliform was detected in 12 of 99 samples (12%) at levels of $1.26{\pm}1.03\;Log\;MPN/g$ whereas non-detection was required according to the specification of coliform in infant formulas. Escherichia coli was detected in 1 of 99 samples by 0.48 Log MPN/g. Salmonella and Enterobacter sakazakii among Category A weren't detected in all the samples. Enterobacteriaceae, Category B group, were detected in 25 samples of total 99 samples (25%) by $0.83{\pm}1.37\;Log\;MPN/g$. Enterobacteriaceae identified by API 20E were Escherichia vulneris, Es. hermannii, Pantoea spp., Citrobacter koseri, Klebsiella pneumoniae, En. cloaceae. Bacillus cereus among Category C was highly detected in 29 of 99 samples (29%) at levels of $0.69{\pm}0.32\;Log\;MPN/g$ with the most probable number count method, which were below legal levels for the specification of B. cereus in infant formulas. Clostridium perfringens, E. coli O157, Staphyloccus aureus, Listeria monocytogenes, Yersinia enterocolitica, and Campylobacter jejuni/coli were not detected. Contamination level of major pathogens was low and falls within the range of specification of infant formulas. However, Enterobacteriaceae and B.cereus showed the high prevalence and some Enterobacteriaceae causing disease were detected. Therefore, it is necessary to monitor the potential pathogens continually and reduce them to improve the microbial quality of non-sterilized powdered infant formulas.

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