• Nonlinear Functional Analysis and Applications
• /
• v.29 no.3
• /
• pp.899-912
• /
• 2024

The objective of this paper is to ascertain the existence and uniqueness of common fixed point for four self mappings in intuitionistic Menger metric spaces under some conditions extending to (CLR) property and C-class functions. Some illustrative examples are furnished, which demonstrate the validity of the hypotheses. As an application to our main result, we derive a common fixed point theorem for four self-mappings in metric space. Our results generalize several works, including [4], [20].

• Korean Journal of Mathematics
• /
• v.32 no.3
• /
• pp.561-591
• /
• 2024

In this article, we demonstrate the conditions for the existence of common fixed points (CFP) theorems for four self-maps satisfying the common limit range (CLR)-property on cone b-normed spaces (CbNS) via ℭ-class functions. Furthermore, we have a unique common fixed point for two weakly compatible (WC) pairings. Towards the end, the existence and uniqueness of common solutions for systems of functional equations arising in dynamic programming are discussed as an application of our main result.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.681-689
• /
• 2014

In this paper, we investigate the influence of boundary dissipations on decay property of the solutions for a semilinear wave equation with damping and memory condition on the boundary using the multiplier technique.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2007.11a
• /
• pp.107.1-107.1
• /
• 2007

• Proceedings of the Korean Nutrition Society Conference
• /
• 2003.05a
• /
• pp.301.1-301.1
• /
• 2003

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.58 no.4
• /
• pp.388-392
• /
• 2013

The proteins from functional rice cultivars (Nogwonchalbyeo, Giant embryonic, Arhyangchalbyeo, and Goamibyeo) and general white rice were extracted and separated using two-dimensional (2D) gel electrophoresis. A wide variation in the molecular weight (MW) and pH range of the expressed proteins in rice samples were observed. The green-kerneled rice (Nogwonchalbyeo) exhibited proteins with MW of 9-57 kDa and appeared at a pH range of 4-7. The Giant embryonic contained proteins with MW of 31-63 kDa and a pH range of 5-6. The aromatic glutinous rice (Arhyangchalbyeo) showed proteins with MW of 24-28 and pH of 5.8-6.8. The high-amylose rice (Goamibyeo) exhibited proteins with MW of 3-63 and pH of 5.2-5.6. The identified proteins uniquely found and highly expressed in each cultivar may have a significant role on rice functionality. The results illustrate that the 2D gel electrophoresis is a valuable method in the determination of the protein expression profiles in functional rice grains and may be useful in the identification of specific marker proteins associated with the functional property of rice.

• Applied Chemistry for Engineering
• /
• v.17 no.1
• /
• pp.62-66
• /
• 2006

In this work, the properties of environmentally friendly functional panel made from waste aluminum were investigated. Product quality enhancement was pursued through an improved viscosity process, a mixing process by agitating, a foaming process, a cooling process, and a color addition process. An acoustic transmission attenuation test, a sound adsorption rate measurement test, and a foaming condition and scrap mixing test were implemented. As a result, the functional panel made from waste aluminum was ultra lightweight and had excellent properties such as soundproof, sound interception, and shielding harmful electromagnetic waves. Also, the functional panel showed low thermal conductivity (about 2.2 kcal/mh) and excellent heat-insulating property.

• Food Science of Animal Resources
• /
• v.39 no.2
• /
• pp.296-308
• /
• 2019

Although the yellow mealworm (Tenebrio molitor L.) is a promising alternative protein source, the effects of processing conditions on functional properties are unclear. In this study, a protein extract of yellow mealworm larvae (PEYM) was subjected to different heat temperature ($55^{\circ}C$, $75^{\circ}C$, and $95^{\circ}C$) with different time (20, 40, and 60 min) to evaluate the functional properties and protein oxidation. Different heat temperature treatment significantly affected the exposure of surface hydrophobicity of the proteins and protein molecule aggregation, which reached maximum levels at $95^{\circ}C$ for 60 min. Protein oxidation was inversely proportional to the temperature. Both the highest carbonyl value (1.49 nmol/mg protein) and lowest thiol value (22.94 nmol/mg protein) were observed at $95^{\circ}C$ for 60 min. The heating time-temperature interaction affected several functional properties, including solubility, emulsifying potential, and gel strength (GS). Solubility decreased near the isoelectric point (pH 5 to 6). As the temperature and heating time increased, emulsifying properties decreased and GS increased. The oil absorption capacity and foaming properties decreased and the water absorption capacity increased. These results confirmed that PEYM is a suitable source of proteins for processing and applications in the food industry.

• 한국신재생에너지학회:학술대회논문집
• /
• 2008.05a
• /
• pp.398-401
• /
• 2008

Inkjet printing is commonly used in the controlled deposition of solutions of functional materials in specific locations on a substrate, and it can provide easy and fast deposition of polymer films over a large area. which could become a way to manufacturer low cost solar cells. In the present study, inkjet printing technology is adopted to deposit functional layers of PEDOT/PSS solutions and P3HT/PCBM blends for organic solar cell. The results show that merging of separately deposited ink droplets into a continuous, pinhole-free organic thin film could be achieved by a balance between ink property and substrate treatment. As a result, a power conversion efficiency of 2.0% has been accomplished a solar cells applying inkjet technology.