• Journal of Applied and Pure Mathematics
• /
• v.4 no.1_2
• /
• pp.71-77
• /
• 2022

This work considers the existence and uniqueness of fuzzy solutions for impulsive abstract partial neutral functional differential systems. To establish the existence and uniqueness, we apply the concept of impulse, semi group theory and suitable fixed point theorem.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.96.1-96
• /
• 2002

$\textbullet$ Abstract $\textbullet$ Introduction $\textbullet$ Building a Model for Diagnosis $\textbullet$ Modular Approach to Diagnosis $\textbullet$ Extension to a General Case $\textbullet$ Conclusion $\textbullet$ References

• Proceedings of the Zoological Society Korea Conference
• /
• 2003.08a
• /
• pp.150.2-150
• /
• 2003

No Abstract, See Full Text

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.4B no.2
• /
• pp.86-91
• /
• 2004

PV power generation, which directly converts solar radiation into electricity, contains numerous significant advantages. It is inexhaustible and pollution-free, silent, contains no rotating parts, and has size-independent electricity conversion efficiency. The positive environmental effect of photovoltaics is that it replaces the more polluting methods of electricity generation or that it provides electricity where none was available before. This paper highlights a novel simple method to abstract the entire parameters of the solar cell. In development, design and operation of PV power generation systems, a technique for constructing V-I curves under different levels of solar irradiance and cell temperature conditions using basic characteristic values of the PV module is required. Everyone who has performed manual acquisition and analysis of solar cell I versus V data would agree that the job is tedious and time-consuming. A better alternative is to use an automated curve tracer to print out the I versus V curves and compute the four major parameters; $V_{oc}$, $I_{sc}$, FF, and . Generally, the V-I curve tracer indicates only the commonly used solar cell parameters. However, with the conventional V-I curve tracer it is almost impossible to abstract the more detailed parameters of the solar cell; A, $R_{s}$ and $R_{sh}$ , which satisfies the user, who aims at the analysis of the development of the PV power generation system, that being advanced simulation. In this paper, the proposed method provides us with satisfactory results to enable us to abstract the detailed parameters of the solar cell; A, $R_s$ and $R_{sh}$.>.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.1-10
• /
• 2012

In Chinese mathematics, there have been two numeral systems, namely one in spoken language for recording and the other by counting rods for computations. They concerned with problems dealing with practical applications, numbers in them are concrete numbers except in the process of basic operations. Thus they could hardly develop a pure theory of numbers. In Song dynasty, 0 and TianYuanShu were introduced, where the coefficients were denoted by counting rods. We show that in this process, counting rods took over the role of the numeral system in spoken language and hence counting rod numeral system plays the role of that for abstract numbers together with the tool for calculations. Decimal fractions were also understood as denominate numbers but using the notions by counting rods, decimals were also admitted as abstract numbers. Noting that abacus replaced counting rods and TianYuanShu were lost in Ming dynasty, abstract numbers disappeared in Chinese mathematics. Investigating JianJie YiMing SuanFa(簡捷易明算法) written by Shen ShiGui(沈士桂) around 1704, we conclude that Shen noticed repeating decimals and their operations, and also used various rounding methods.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.2285-2289
• /
• 2005

Robot is composed of various devices but, those are incompatible with each other and hardly developing reusable control software. This study suggests standard abstract interface for robot software component to make portable device and reusable control software of robot, based on familiar techniques to abstract device in operating systems. This assures uniform abstracted interface to the device driver software like sensor and actuator and, control program can be transparent operation over device. This study can separately and independently develop devices and control software with this idea. This makes it possible to replace existing devices with new devices which have an improved performance.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.5 no.1
• /
• pp.35-39
• /
• 2005

We apply estimations of the intuitionistic fuzzy sets on the basis of which some amendments may be undertaken.

• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.28-30
• /
• 2002

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-time Systems)은 분산 네트워크 상에서 협력 동작하며 특정 시간 내에 요구하는 정보를 제공하는 이동 시스템이다. MDRTS는 시간, 이동성, 분산성 등을 표현하기 때문에 명세 복잡도가 높고, MDRTS의 성공적인 동작을 보장하기 위해 보다 정확하고 효율적인 시스템의 설계가 중요하다. 특히 시스템의 분산성과 이동성에 의해 발생하는 다양한 종류의 제약 사항을 표현한 수 있는 정형기법이 필요하다. 본 논문에서는 MDRTS을 명세하기 위해 PATM(Probabilistic Abstract Timed Machine)[1]을 확장하여 정의한 DATM(Distributed Abstract Timed Machine)에 대해 기술한다. DATM은 PATM에서 표현하기 힘들었던 이동하는 기계의 분산 정보를 명세할 수 있도록 하였고, 시간, 거리, 확률, 보안에 대한 제약 사항을 명세할 수 있도륵 정의하였다. MDRTS가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• Asia pacific journal of information systems
• /
• v.30 no.4
• /
• pp.695-718
• /
• 2020

Based on the Construal Level Theory, we aim to study a most favorable fit among the advertising model, media type, and message construals, which are important factors in an advertisement. A two (social distance of the ad model in an ad: distal (low similarity) vs proximal (high similarity) by two (social distance of a media type: distal (portal) vs. proximal (SNS)) by two (message construal: abstract vs concrete) laboratory experiment was conducted to examine attitude changes on ad messages. The results show that abstract messages were more effective in attitude toward advertisement and purchase intention under the distal social distance (i.e. advertising model in low-similarity and portal media type) while concrete messages were so under the proximal social distance and SNS media type.