• Title/Summary/Keyword: Mathematical Models

Search Result 1,791, Processing Time 0.025 seconds

DEPENDENCE IN M A MODELS WITH STOCHASTIC PROCESSES

  • KIM, TAE-SUNG;BAEK, JONG-IL
    • Honam Mathematical Journal
    • /
    • v.15 no.1
    • /
    • pp.129-136
    • /
    • 1993
  • In this paper we present of a class infinite M A (moving-average) sequences of multivariate random vectors. We use the theory of positive dependence to show that in a variety of cases the classes of M A sequences are associated. We then apply the association to establish some probability bounds and moment inequalities for multivariate processes.

  • PDF

LIL FOR KERNEL ESTIMATOR OF ERROR DISTRIBUTION IN REGRESSION MODEL

  • Niu, Si-Li
    • Journal of the Korean Mathematical Society
    • /
    • v.44 no.4
    • /
    • pp.835-844
    • /
    • 2007
  • This paper considers the problem of estimating the error distribution function in nonparametric regression models. Sufficient conditions are given under which the kernel estimator of the error distribution function based on nonparametric residuals satisfies the law of iterated logarithm.

A Short Discussion about Connection of Informal and Formal Mathematical Knowledge (비형식적 수학적 지식과 형식적 수학적 지식의 결합에 관한 소고)

  • 김진호
    • School Mathematics
    • /
    • v.4 no.4
    • /
    • pp.555-563
    • /
    • 2002
  • The purpose of this paper is to try formulating a working definition of connection of informal and formal mathematical knowledge. Many researchers have suggested that informal mathematical knowledge should be connected with school mathematics in the process of learning and teaching it. It is because informal mathematical knowledge might play a important role as a cognitive anchor for understanding school mathematics. To implement the connection of them we need to know what the connection means. In this paper, the connection between informal and formal mathematical knowledge refers to the making of relationship between common attributions involved with the two knowledge. To make it clear, it is discussed that informal knowledge consists of two properties of procedures and conceptions as well as formal mathematical knowledge does. Then, it is possible to make a connection of them. Now it is time to make contribution of our efforts to develop appropriate models to connect informal and formal mathematical knowledge.

  • PDF

A Specification of VES Production Function Model (VES 생산함수 추정을 위한 모형설정)

  • 박종구
    • Journal of the Korean Statistical Society
    • /
    • v.2 no.1
    • /
    • pp.3-7
    • /
    • 1973
  • Zellner, Kmenta, Dreze (1966) and later Hedges (1969) showed that consistent estimates of the parameters of Cobb-Douglas or CES production functions can be obtained by the single equation estimation methods if the models incorporate the assumption that firms maximize the mathematical expectation of profits. This note demonstrates that the results of the above-cited works can be extended to a class of VES production function models.

  • PDF

Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS

  • Koo, Seo-Ryong;Son, Han-Seong;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • v.31 no.2
    • /
    • pp.157-171
    • /
    • 1999
  • In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

  • PDF

Stochastic Gravitational Wave Background in 0.1-10 Hz

  • Park, Chan;Ahn, Sang-Hyeon;Bae, Yeong-Bok;Kang, Gungwon;Kim, Chunglee;Kim, Whansun;Oh, John J.;Oh, Sang Hoon;Son, Edwin J.;Lee, Yong Ho
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.42 no.2
    • /
    • pp.53.2-53.2
    • /
    • 2017
  • Stochasitc gravitational wave background (SGWB) is expected to be contributed by primordial sources (e.g. inflation signature) and astrophysical sources (e.g., incoherent superposition of a large numbers of compact binary inspirals throughout in the Universe). Theoretically, SGWB is predicted to span in a broad frequency range between less than nHz up to kHz. Many gravitational-wave (GW) detectors such as LIGO or LISA aim to detect or constrain SGWB in different frequency band that is most sensitive for each detector. In this talk, we focus on the prospectives of constraining the energy density of SGWB between 0.1-10 Hz. We introduce the characteristics of SGWB and representative models for primordial and astrophysical sources. Then, we propose a signal extraction scheme to detect SGWB using one or several omni-directional GW detectors such as SLGT(Superconducting Low-frequency Gravitational-wave Telescope). Considering SLGT sensitivity, we discuss how to observe SGWB in 0.1-10 Hz if we have SLGT network. Finally, we highlight interesting SGWB models that can be constrained in 0.1-10 Hz with SLGT.

  • PDF

Arguments from Physics in Mathematical Proofs : the Center of Gravity of a Triangle (수학적 증명에서의 물리적 논증 : 삼각형의 무게중심)

  • Kim, Seong-A
    • Journal of Science Education
    • /
    • v.34 no.1
    • /
    • pp.175-184
    • /
    • 2010
  • We agree with Hanna and Jahnke's assertion on the use of arguments from physics in mathematical proofs and analyze their educational example of the use of arguments from physics in the proof of the center of gravity of a triangle. Moreover, we suggest practical models for the center of gravity of a triangle for the demonstration in a classroom. Comparing with the traditional mathematical arguments, the role of concepts and models from physics in arguments from physics will be clearly pointed out. Also, the necessity for arguments from physics in the classroom will be discussed in this paper.

  • PDF

TG-SPSR: A Systematic Targeted Password Attacking Model

  • Zhang, Mengli;Zhang, Qihui;Liu, Wenfen;Hu, Xuexian;Wei, Jianghong
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.13 no.5
    • /
    • pp.2674-2697
    • /
    • 2019
  • Identity authentication is a crucial line of defense for network security, and passwords are still the mainstream of identity authentication. So far trawling password attacking has been extensively studied, but the research related with personal information is always sporadic. Probabilistic context-free grammar (PCFG) and Markov chain-based models perform greatly well in trawling guessing. In this paper we propose a systematic targeted attacking model based on structure partition and string reorganization by migrating the above two models to targeted attacking, denoted as TG-SPSR. In structure partition phase, besides dividing passwords to basic structure similar to PCFG, we additionally define a trajectory-based keyboard pattern in the basic grammar and introduce index bits to accurately characterize the position of special characters. Moreover, we also construct a BiLSTM recurrent neural network classifier to characterize the behavior of password reuse and modification after defining nine kinds of modification rules. Extensive experimental results indicate that in online attacking, TG-SPSR outperforms traditional trawling attacking algorithms by average about 275%, and respectively outperforms its foremost counterparts, Personal-PCFG, TarGuess-I, by about 70% and 19%; In offline attacking, TG-SPSR outperforms traditional trawling attacking algorithms by average about 90%, outperforms Personal-PCFG and TarGuess-I by 85% and 30%, respectively.

Energy equivalent lumped damage model for reinforced concrete structures

  • Neto, Renerio Pereira;Teles, Daniel V.C.;Vieira, Camila S.;Amorim, David L.N.F.
    • Structural Engineering and Mechanics
    • /
    • v.84 no.2
    • /
    • pp.285-293
    • /
    • 2022
  • Lumped damage mechanics (LDM) is a recent nonlinear theory with several applications to civil engineering structures, such as reinforced concrete and steel buildings. LDM apply key concepts of classic fracture and damage mechanics on plastic hinges. Therefore, the lumped damage models are quite successful in reproduce actual structural behaviour using concepts well-known by engineers in practice, such as ultimate moment and first cracking moment of reinforced concrete elements. So far, lumped damage models are based in the strain energy equivalence hypothesis, which is one of the fictitious states where the intact material behaviour depends on a damage variable. However, there are other possibilities, such as the energy equivalence hypothesis. Such possibilities should be explored, in order to pursue unique advantages as well as extend the LDM framework. Therewith, a lumped damage model based on the energy equivalence hypothesis is proposed in this paper. The proposed model was idealised for reinforced concrete structures, where a damage variable accounts for concrete cracking and the plastic rotation represents reinforcement yielding. The obtained results show that the proposed model is quite accurate compared to experimental responses.