• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.37-43
• /
• 2023

Let 𝔞 and 𝔟 be ideals of a commutative Noetherian ring R and M be a finitely generated R-module of dimension d > 0. We prove some results concerning the top local cohomology and top formal local cohomology modules. Among other things, we determine Supp_R(𝔟 H^d_𝔞(M)) and Supp_R(𝔟𝔉^d_𝔞(M)). Also, we obtain some relations between Ann_R(𝔟 H^d_𝔞(M)), Att_R(𝔟 H^d_𝔞(M)) and Supp_R(𝔟 H^d_𝔞(M)) and we get similar results for 𝔟𝔉^d_𝔞(M).

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.149-160
• /
• 2023

Let 𝖆 and 𝖇 be ideals of a commutative Noetherian ring R and M a finitely generated R-module of finite dimension d > 0. In this paper, we obtain some results about the annihilators and attached primes of top local cohomology and top formal local cohomology modules. In particular, we determine Ann(𝖇 H^d_𝖆(M)), Att(𝖇 H^d_𝖆(M)), Ann(𝖇𝔉^d_𝖆(M)) and Att(𝖇𝔉^d_𝖆(M)).

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• Journal of Korea Technology Innovation Society
• /
• v.19 no.2
• /
• pp.302-323
• /
• 2016

To date, the literature has focused on formal R&D activities, such as internal, joint or external R&D, but informal R&D activities, such as job training or design, can also have a positive impact on technological innovation. To address this research gap, this paper examined 1) the influence of informal R&D activities on innovation adoption, and 2) the differences between formal R&D-oriented and informal R&D-oriented firms in process and product innovation. For this, statistical analysis was conducted using the data set from 2012 Korea Innovation Survey. The results suggest that 1) informal R&D activities can influence process innovation, and 2) firms engaging in both informal and formal R&D actively adopt product innovation. Findings suggest that 1) firms should recognize the importance of informal R&D and 2) national R&D policy should reflect the positive role of informal R&D in technological innovation.

• Journal of Technology Innovation
• /
• v.27 no.3
• /
• pp.27-52
• /
• 2019

This research studied the determinants of private R&D investment by examining the innovation strategies of 481 small and medium enterprises (SMEs, their employee size is 5 or more and less than 300) in Busan, South Korea. The data is derived from the Technology Survey of Small and Medium Enterprises in 2001 and 2003. Three explanatory variables for the innovation strategies are the R&D portfolio, the organization (personnel) for R&D, and the strategic role of CEO for innovation. The technological levels of industries are controlled in the linear regression model. The dependent variable is the total private R&D investment of a firm in the given fiscal year. The empirical results indicate that the private R&D investment positively correlates with the complexity of the R&D portfolio, the formal organization for R&D team, and the increase of R&D personnel. The formal organization for R&D team and the number of R&D personnel are correlated with the increase of private R&D investment across the four groups in the manufacturing sector but not in the service sector. These findings suggest that the innovation policy needs to target firms who have complex R&D portfolios, the formal organization of R&D teams, and sufficient R&D personnel in order to increase the private R&D investment of SMEs in regions, with consideration of industrial characteristics.

• Asian-Australasian Journal of Animal Sciences
• /
• v.29 no.2
• /
• pp.204-210
• /
• 2016

This study examined the effect of supplementing exogenous cellulase on nutrient and energy utilization. Twelve desexed Boer crossbred goats were used in a replicated $3{\times}3$ Latin square design with 23-d periods. Dietary treatments were basal diet (control, no cellulase), basal diet plus 2 g unitary cellulase/kg of total mixed ration dry matter (DM), and basal diet plus 2 g compound cellulase/kg of total mixed ration DM. Three stages of feeding trials were used corresponding to the three treatments, each comprised 23 d, with the first 14 d as the preliminary period and the following 9 d as formal trial period for metabolism trial. Total collection of feces and urine were conducted from the 4th d of the formal trial, and gas exchange measures were determined in indirect respiratory chambers in the last 3 d of the formal trial. Results showed that cellulase addition had no effect (p>0.05) on nutrient digestibility. Dietary supplementation of cellulase did not affect (p>0.05) N intake and retention in goats. Gross energy (GE) intake, fecal energy and urinary energy excretion, heat production were not affected (p>0.05) by the cellulase supplementation. Total methane emission (g/d), $CH_4$ emission as a proportion of live weight or feed intake (DM, organic matter [OM], digestible DM or digestible OM), or $CH_4$ energy output ($CH_4$-E) as a proportion of energy intake (GE, digestible energy, or metabolizable energy), were similar (p>0.05) among treatments. There was a significant (p<0.001) relationship between $CH_4$ and live weight (y = 0.645x+0.2, $R^2$ = 0.54), $CH_4$ and DM intake (y = 16.7x+1.4, $R^2$ = 0.51), $CH_4$ and OM intake (y = 18.8x+1.3, $R^2$ = 0.51) and $CH_4$-E and GE intake. Results from this study revealed that dietary supplementation of cellulase may have no effect on nutrient digestibility, nitrogen retention, energy metabolism, and methane emission in goat.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.4
• /
• pp.1257-1259
• /
• 2013

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.137-143
• /
• 1992

The purpose of this paper is to provide the affirmative solution of the following conjecture due to Davis and Geramita. Conjecture; Let A=R[T] be a polynomial ring in one variable, where R is a regular local ring of dimension d. Then maximal ideals in A are complete intersection. Geramita has proved that the conjecture is true when R is a regular local ring of dimension 2. Whatwadekar has rpoved that conjecture is true when R is a formal power series ring over a field and also when R is a localization of an affine algebra over an infinite perfect field. Nashier also proved that conjecture is true when R is a local ring of D[ $X_{1}$,.., $X_{d-1}$] at the maximal ideal (.pi., $X_{1}$,.., $X_{d-1}$) where (D,(.pi.)) is a discrete valuation ring with infinite residue field. The methods to establish our results are following from Nashier's method. We divide this paper into three sections. In section 1 we state Theorems without proofs which are used in section 2 and 3. In section 2 we prove some lemmas and propositions which are used in proving our results. In section 3 we prove our main theorem.eorem.rem.

• Textile Coloration and Finishing
• /
• v.9 no.3
• /
• pp.50-55
• /
• 1997

Ester섬유는 대표적인 소수성 섬유인데, 소수성 섬유의 염색중에서 black은 가장 가공량이 많은 색이라고 널리 알려져 있지만, 그 중에서도 ester섬유 또는 ester섬유와 triacetate섬유의 혼방품 등을 소재로 한 정장복의 짙은 검정색은 formal black 이라고 불리워지고, 그외의 검정색과 구별되고 있으며, 그 가공량도 대단히 많아지는 추세이다. 이 글에서는, 연색성과 재현성이란 차원에서 특징있는 일본화약주식회사의 신제품 Kayalon Polyester Jet Black V Paste의 소개를 겸해서, formal black의 염색가공과 한국 실정에 맞는 실예에 관해서 기술해 보고자 한다.

• Proceedings of the Technology Innovation Conference
• /
• 2005.08a
• /
• pp.5-28
• /
• 2005

This paper estimates the effect of networks on innovative performance at the firm level , using Korean Innovation Survey (KIS) dataset Product innovation, product improvement , and process innovation are used as proxies for innovative activity. The explanatory variables such as firm size, market concentration ratio, lagged profitability, foreign ownership, export ratio, firm's age, formal R&D activity, and industrial R&D intensity are yet other considerations. With two year-long (2000 and 2001) data from 1,124 Korean manufacturing firms, we estimated the logistic regression model. The research finding indicates that the external networks have a strong positive effect on innovative output regardless of type of innovation. However, the network effects by partner (other firms or research institutions) vary across the type of innovation. Especially, we found that the user-supplier linkage plays an important role in product ion innovation, product improvement, and process innovation.