• 제목/요약/키워드: Real number system

검색결과 1,750건 처리시간 0.027초

스마트폰 환경에서 상황인식기반 경매매물 정보시스템에 대한 연구 (Study on the Context Awareness-based Real Estate Auction Information System under the Smart Phone Environment)

  • 박화진
    • 디지털콘텐츠학회 논문지
    • /
    • 제12권4호
    • /
    • pp.585-592
    • /
    • 2011
  • 경매 매물 정보시스템은 수요자의 상황과 특성에 맞춰 원하는 경매매물의 고급 정보만을 제공하는 것을 목표로 한다. 특히, 시시각각으로 변하는 조회수와 같은 실시간 정보와 경매가 예측을 위한 고도의 분석결과를 제공받기 위해서 상황인식에 기반한 모바일 정보시스템이 요구된다. 이에 따라 본 연구는 스마트폰 환경에서 수요자의 위치, 특정 매물 조회수, 현재 입찰자 수 등과 같은 경매정보를 제공해주는 상황인식 기반의 경매매물 정보시스템을 연구한다.

Design of Network-based Real-time Connection Traceback System with Connection Redirection Technology

  • Choi, Yang-Sec;Kim, Hwan-Guk;Seo, Dong-Il;Lee, Sang-Ho
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2003년도 ICCAS
    • /
    • pp.2101-2105
    • /
    • 2003
  • Recently the number of Internet users has very sharply increased, and the number of intrusions has also increased very much. Consequently, security products are being developed and adapted to prevent systems and networks from being hacked and intruded. Even if security products are adapted, however, hackers can still attack a system and get a special authorization because the security products cannot prevent a system and network from every instance of hacking and intrusion. Therefore, the researchers have focused on an active hacking prevention method, and they have tried to develop a traceback system that can find the real location of an attacker. At present, however, because of the characteristics of Internet - diversity, anonymity - the real-time traceback is very difficult. To over-come this problem the Network-based Real-Time Connection Traceback System (NRCTS) was proposed. But there is a security problem that the victim system can be hacked during the traceback. So, in this paper, we propose modified NRCTS with connection redirection technique. We call this traceback system as Connection Redirected Network-based Real-Time Connection Traceback System (CR-NRCTS).

  • PDF

실수계의 공리를 이용한 지수 ar의 학습과 지도

  • 이병수
    • East Asian mathematical journal
    • /
    • 제28권2호
    • /
    • pp.159-172
    • /
    • 2012
  • In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

CONDITION NUMBER FOR THE W- WEIGHTED DRAZIN INVERSE AND ITS APPLICATIONS IN THE SOLUTION OF RECTANGULAR LINEAR SYSTEM

  • CUI XIAOKE;DIAO HUAIAN
    • Journal of applied mathematics & informatics
    • /
    • 제20권1_2호
    • /
    • pp.35-59
    • /
    • 2006
  • In this paper, we generalized the results of [23, 26], and get the results of the condition number of the W-weighted Drazin-inverse solution of linear system W AW\chi=b, where A is an $m{\times}n$ rank-deficient matrix and the index of A W is $k_1$, the index of W A is $k_2$, b is a real vector of size n in the range of $(WA)^{k_2}$, $\chi$ is a real vector of size m in the range of $(AW)^{k_1}$. Let $\alpha$ and $\beta$ be two positive real numbers, when we consider the weighted Frobenius norm $\|[{\alpha}W\;AW,\;{\beta}b]\|$(equation omitted) on the data we get the formula of condition number of the W-weighted Drazin-inverse solution of linear system. For the normwise condition number, the sensitivity of the relative condition number itself is studied, and the componentwise perturbation is also investigated.

예비교사들은 $0.99{\cdots}$ <1라는 주장을 어떻게 반박하는가? (How Do Pre-Service Teachers Disprove $0.99{\cdots}$ <1?)

  • 이지현
    • 대한수학교육학회지:학교수학
    • /
    • 제16권3호
    • /
    • pp.491-502
    • /
    • 2014
  • 이 연구는 예비교사들이 $0.99{\cdots}$가 1보다 작다는 주장을 어떻게 반박하는지를 관찰함으로서 왜 $0.99{\cdots}=1$가 참이라고 정당화하는지를 분석하였다. 일부 예비교사는 $1-0.99{\cdots}$의 값을 무한소라고 생각하고 있었다. 표준 실수의 입장에서 $1-0.99{\cdots}$의 값은 무한소가 아닌 0이라고 생각했던 예비교사들도 이것을 실수에 대한 가정으로부터의 논리적 결론으로 정당화하기보다는 유한과 무한은 다르다는 직관적 정당화에 안주하였다. 예비교사들이 $0.99{\cdots}$ <1의 반박에서 드러낸 인식의 한계는, 표준 실수 체계만이 수학적으로 옳은 유일한 수체계라는 믿음과 무관하지 않다. $0.99{\cdots}$ <1이지만 표준 실수체계와 마찬가지로 무모순인 비표준 실수체계가 존재한다는 사실은, 평범한 중학생이 제기하는 $0.99{\cdots}$가 1이냐 아니냐의 질문도 학교수학 수준의 상식적 설명 혹은 예비교사들의 직관적인 정당화만으로는 대답할 수 없는 것임을 보여주고 있다.

  • PDF

MATLAB을 이용한 부동소수점 연산의 특이사항 분석 (Analysis of Some Strange Behaviors of Floating Point Arithmetic using MATLAB Programs)

  • 정태상
    • 전기학회논문지
    • /
    • 제56권2호
    • /
    • pp.428-431
    • /
    • 2007
  • A floating-point number system is used to represent a wide range of real numbers using finite number of bits. The standard the IEEE adopted in 1987 divides the range of real numbers into intervals of [$2^E,2^{E+1}$), where E is an Integer represented with finite bits, and defines equally spaced equal counts of discrete numbers in each interval. Since the numbers are defined discretely, not only the number representation itself includes errors but in floating-point arithmetic some strange behaviors are observed which cannot be agreed with the real world arithmetic. In this paper errors with floating-point number representation, those with arithmetic operations, and those due to order of arithmetic operations are analyzed theoretically with help of and verification with the results of some MATLAB program executions.

Intelligent System Predictor using Virtual Neural Predictive Model

  • 박상민
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
    • /
    • pp.101-105
    • /
    • 1998
  • A large system predictor, which can perform prediction of sales trend in a huge number of distribution centers, is presented using neural predictive model. There are 20,000 number of distribution centers, and each distribution center need to forecast future demand in order to establish a reasonable inventory policy. Therefore, the number of forecasting models corresponds to the number of distribution centers, which is not possible to estimate that kind of huge number of accurate models in ERP (Enterprise Resource Planning)module. Multilayer neural net as universal approximation is employed for fitting the prediction model. In order to improve prediction accuracy, a sequential simulation procedure is performed to get appropriate network structure and also to improve forecasting accuracy. The proposed simulation procedure includes neural structure identification and virtual predictive model generation. The predictive model generation consists of generating virtual signals and estimating predictive model. The virtual predictive model plays a key role in tuning the real model by absorbing the real model errors. The complement approach, based on real and virtual model, could forecast the future demands of various distribution centers.

  • PDF

실세계 시스템의 퍼지 시뮬레이션에 관한 연구 (A study on the fuzzy simulation for real world system)

  • 이은순
    • 한국시뮬레이션학회논문지
    • /
    • 제6권2호
    • /
    • pp.105-115
    • /
    • 1997
  • Fuzzy simulation predicts the behaviors of real system based on a model by qualitative reasoning methods and simulates the representation of ambiguous values on the real system variables using the theory of fuzzy sets. During the simulation, however, unnecessary behaviors due to the fuzzy representation are created, and the number of states of system variables changing temporally in the time axis is drastically increased. In this paper, we present a new algorithm which eliminates the spurious behaviors from the great number of result values due to the results of the fuzzy operation, and reduces the number of the states by transforming the complex state transition rules. This paper also shows the easy implementation of the simulation by using the existing package while it is difficult on the PC due to the complexities of the calculation.

  • PDF

실시간 그래픽 디포메이션 알고리즘을 이용한 가상환경젱어 (The Virtual Environment Control using Real-time Graphic Deformation Algorithm)

  • 강원찬;김남오;최창주
    • 대한전기학회논문지:시스템및제어부문D
    • /
    • 제53권5호
    • /
    • pp.309-314
    • /
    • 2004
  • In the established virtual-reality system, although it is possible to transact a faculty of sensation and graphic in a single PC, virtual object forcibly treated with rigid body for the reason of the huge amount of calculation, and the number of polygon is restricted. Furthermore, there is some difficulty in the financial aspect and a program field, because the existing virtual-reality system needs at least two workstations or super computers. In this study, the new force-reflecting algorithm called as "Proxy" and a finite element method of Hyperion are applied to this system in order to transact in real-time. Consequently, though the number of polygon, which brings about an obstacle is increased in the real-time graphic transaction, this system makes it possible to transact in the real-time, not being influenced by the size of the virtual object.

실시간 계통시뮬레이터를 이용한 송전계통 자동재폐로 교육 및 훈련 시스템 개발 (Development of Education and Training System for the Auto-Reclosing of Power Transmission System Using a Real Time Digital Simulator)

  • 박종찬;윤상윤
    • 전기학회논문지P
    • /
    • 제59권1호
    • /
    • pp.1-9
    • /
    • 2010
  • This paper summarizes an education and training system for the auto-reclosing of power transmission system using a real time digital simulator. The system is developed to understand the principle of reclosing and the sequence of automatic reclosing schemes, and practice the effects of reclosing actions to power system in real-time simulator. This study is concentrated into the following two parts. One is the development of real time education and training system of automatic reclosing schemes. For this, we use the RTDS(real time digital simulator) and the actual digital protective relay. The mathematical relay model of RTDS and the actual distance relay which is equipped automatic reclosing function are also used. The other is the user friendly interface between trainee and trainer. The various interface displays are used for user handing and result display. The conditions of automatic reclosing which is a number of reclosing, reclosing dead time, reset time, and so on, can be changed by the user interface panel. A number of scenario cases are reserved for the education and training. Through the test, we verified that the proposed system can be effectively used to accomplish the education and training of automatic reclosing.