• Title/Summary/Keyword: s theorem.

Search Result 1,346, Processing Time 0.029 seconds

An Area-efficient Design of ECC Processor Supporting Multiple Elliptic Curves over GF(p) and GF(2m) (GF(p)와 GF(2m) 상의 다중 타원곡선을 지원하는 면적 효율적인 ECC 프로세서 설계)

  • Lee, Sang-Hyun;Shin, Kyung-Wook
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2019.05a
    • /
    • pp.254-256
    • /
    • 2019
  • 소수체 GF(p)와 이진체 $GF(2^m)$ 상의 다중 타원곡선을 지원하는 듀얼 필드 ECC (DF-ECC) 프로세서를 설계하였다. DF-ECC 프로세서의 저면적 설와 다양한 타원곡선의 지원이 가능하도록 워드 기반 몽고메리 곱셈 알고리듬을 적용한 유한체 곱셈기를 저면적으로 설계하였으며, 페르마의 소정리(Fermat's little theorem)를 유한체 곱셈기에 적용하여 유한체 나눗셈을 구현하였다. 설계된 DF-ECC 프로세서는 스칼라 곱셈과 점 연산, 그리고 모듈러 연산 기능을 가져 다양한 공개키 암호 프로토콜에 응용이 가능하며, 유한체 및 모듈러 연산에 적용되는 파라미터를 내부 연산으로 생성하여 다양한 표준의 타원곡선을 지원하도록 하였다. 설계된 DF-ECC는 FPGA 구현을 하드웨어 동작을 검증하였으며, 0.18-um CMOS 셀 라이브러리로 합성한 결과 22,262 GEs (gate equivalences)와 11 kbit RAM으로 구현되었으며, 최대 100 MHz의 동작 주파수를 갖는다. 설계된 DF-ECC 프로세서의 연산성능은 B-163 Koblitz 타원곡선의 경우 스칼라 곱셈 연산에 885,044 클록 사이클이 소요되며, B-571 슈도랜덤 타원곡선의 스칼라 곱셈에는 25,040,625 사이클이 소요된다.

  • PDF

A non-dimensional theoretical approach to model high-velocity impact on thick woven plates

  • Alonso, L.;Garcia-Gonzalez, D.;Navarro, C.;Garcia-Castillo, S.K.
    • Steel and Composite Structures
    • /
    • v.38 no.6
    • /
    • pp.717-737
    • /
    • 2021
  • A theoretical energy-based model to capture the mechanical response of thick woven composite laminates, which are used in such applications as maritime or aerospace, to high-velocity impact was developed. The dependences of the impact phenomenon on material and geometrical parameters were analysed making use of the Vaschy-Buckingham Theorem to provide a non-dimensional framework. The model was divided in three different stages splitting the physical interpretation of the perforation process: a first where different dissipative mechanisms such as compression or shear plugging were considered, a second where a transference of linear momentum was assumed and a third where only friction took place. The model was validated against experimental data along with a 3D finite element model. The numerical simulations were used to validate some of the new hypotheses assumed in the theoretical model to provide a more accurate explanation of the phenomena taking place during a high-velocity impact.

A Design and Implementation of Yoga Exercise Program Using Azure Kinect

  • Park, Jong Hoon;Sim, Dae Han;Jun, Young Pyo;Lee, Hongrae
    • Journal of the Korea Society of Computer and Information
    • /
    • v.26 no.6
    • /
    • pp.37-46
    • /
    • 2021
  • In this paper, we designed and implemented a program to measure and to judge the accuracy of yoga postures using Azure Kinect. The program measures all joint positions of the user through Azure Kinect Camera and sensors. The measured values of joints are used as data to determine accuracy in two ways. The measured joint data are determined by trigonometry and Pythagoras theorem to determine the angle of the joint. In addition, the measured joint value is changed to relative position value. The calculated and obtained values are compared to the joint values and relative position values of the desired posture to determine the accuracy. Azure Kinect Camera organizes the screen so that users can check their posture and gives feedback on the user's posture accuracy to improve their posture.

The ensemble approach in comparison with the diverse feature selection techniques for estimating NPPs parameters using the different learning algorithms of the feed-forward neural network

  • Moshkbar-Bakhshayesh, Khalil
    • Nuclear Engineering and Technology
    • /
    • v.53 no.12
    • /
    • pp.3944-3951
    • /
    • 2021
  • Several reasons such as no free lunch theorem indicate that there is not a universal Feature selection (FS) technique that outperforms other ones. Moreover, some approaches such as using synthetic dataset, in presence of large number of FS techniques, are very tedious and time consuming task. In this study to tackle the issue of dependency of estimation accuracy on the selected FS technique, a methodology based on the heterogeneous ensemble is proposed. The performance of the major learning algorithms of neural network (i.e. the FFNN-BR, the FFNN-LM) in combination with the diverse FS techniques (i.e. the NCA, the F-test, the Kendall's tau, the Pearson, the Spearman, and the Relief) and different combination techniques of the heterogeneous ensemble (i.e. the Min, the Median, the Arithmetic mean, and the Geometric mean) are considered. The target parameters/transients of Bushehr nuclear power plant (BNPP) are examined as the case study. The results show that the Min combination technique gives the more accurate estimation. Therefore, if the number of FS techniques is m and the number of learning algorithms is n, by the heterogeneous ensemble, the search space for acceptable estimation of the target parameters may be reduced from n × m to n × 1. The proposed methodology gives a simple and practical approach for more reliable and more accurate estimation of the target parameters compared to the methods such as the use of synthetic dataset or trial and error methods.

Forecasting of Various Air Pollutant Parameters in Bangalore Using Naïve Bayesian

  • Shivkumar M;Sudhindra K R;Pranesha T S;Chate D M;Beig G
    • International Journal of Computer Science & Network Security
    • /
    • v.24 no.3
    • /
    • pp.196-200
    • /
    • 2024
  • Weather forecasting is considered to be of utmost important among various important sectors such as flood management and hydro-electricity generation. Although there are various numerical methods for weather forecasting but majority of them are reported to be Mechanistic computationally demanding due to their complexities. Therefore, it is necessary to develop and build models for accurately predicting the weather conditions which are faster as well as efficient in comparison to the prevalent meteorological models. The study has been undertaken to forecast various atmospheric parameters in the city of Bangalore using Naïve Bayes algorithms. The individual parameters analyzed in the study consisted of wind speed (WS), wind direction (WD), relative humidity (RH), solar radiation (SR), black carbon (BC), radiative forcing (RF), air temperature (AT), bar pressure (BP), PM10 and PM2.5 of the Bangalore city collected from Air Quality Monitoring Station for a period of 5 years from January 2015 to May 2019. The study concluded that Naive Bayes is an easy and efficient classifier that is centered on Bayes theorem, is quite efficient in forecasting the various air pollution parameters of the city of Bangalore.

Numerical Analysis of a Two-Dimensional N-P-N Bipolar Transistor-BIPOLE (2차원 N-P-N 바이폴라 트랜지스터의 수치해석-BIPOLE)

  • 이종화
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.21 no.2
    • /
    • pp.71-82
    • /
    • 1984
  • A programme, called BIPOLE, for the numerical analysis of twotimensional n-p-n bipolar transistors was developed. It has included the SRH and Auger recolnbination processes, the mobility dependence on the impurity density and the electric field, and the band-gap narrowing effect. The finite difference equations of the fundamental semiconductor equations are formulated using Newton's method for Poisson's equation and the divergence theorem for the hole and electron continuity equations without physical restrictions. The matrix of the linearized equations is sparse, symmetric M-matrix. For the solution of the linearized equations ICCG method and Gummel's algorithm have been employed. The programme BIPOLE has been applied to various kinds of the steady-state problems of n-p-n transistors. For the examples of applications the variations of common emitter current gain, emitter and diffusion capacitances, and input and output characteristics are calculated. Three-dimensional representations of some D.C. physical quantities such as potential and charge carrier distributions were displayed. This programme will be used for the nome,rical analysis of the distortion phenom ana of two-dimensional n-p-n transistors. The BIPOLE programme is available for everyone.

  • PDF

The Theoretical Generalization Appling the Strategy(WIOS) finding an Intrinsic Attribute (본질적 속성 찾기 전략(WIOS)을 통한 이론적 일반화)

  • Roh, Eun-Hwan;Jun, Young-Bae;Kang, Jeong-Gi
    • Communications of Mathematical Education
    • /
    • v.26 no.1
    • /
    • pp.51-69
    • /
    • 2012
  • The cognition of an intrinsic attribute play an important role in the process of theoretical generalization. It is the aim of this paper to study how the theoretical generalization is made. First of all, we suggest the What-if-only-strategy(WIOS) which is the strategy helping the cognition of an intrinsic attribute. And we propose the process of the theoretical generalization that go on the cognitive stage, WIOS stage, conjecture stage, justification stage and insight into an intrinsic attribute in order. We propose the process of generalization adding the concrete process cognizing an intrinsic attribute to the existing process of generalization. And we applied the proposed process of generalization to two mathematical theorem which is being managed in middle school. We got a conclusion that the what-if-only strategy is an useful method of generalization for the proposition. We hope that the what-if-only strategy is helpful for both teaching and learning the mathematical generalization.

Malicious Traffic Detection Using K-means (K-평균 클러스터링을 이용한 네트워크 유해트래픽 탐지)

  • Shin, Dong Hyuk;An, Kwang Kue;Choi, Sung Chune;Choi, Hyoung-Kee
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.41 no.2
    • /
    • pp.277-284
    • /
    • 2016
  • Various network attacks such as DDoS(Distributed Denial of service) and orm are one of the biggest problems in the modern society. These attacks reduce the quality of internet service and caused the cyber crime. To solve the above problem, signature based IDS(Intrusion Detection System) has been developed by network vendors. It has a high detection rate by using database of previous attack signatures or known malicious traffic pattern. However, signature based IDS have the fatal weakness that the new types of attacks can not be detected. The reason is signature depend on previous attack signatures. In this paper, we propose a k-means clustering based malicious traffic detection method to complement the problem of signature IDS. In order to demonstrate efficiency of the proposed method, we apply the bayesian theorem.

A Study on the Development Fluid Mechanics Principles by WBI Learning Program (유체역학의 원리 학습을 위한 WBI 프로그램 개발 연구)

  • Son, Young-Bae;Park, Dea-Woo
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.14 no.10
    • /
    • pp.2324-2330
    • /
    • 2010
  • In middle and high school to learn the principles of fluid mechanics to Experiments in space and time constraints and difficulties for the study of the principles of fluid mechanics to the problem is superficial. In this paper, Pascal's principles, Archimedes' Principle, Bernoulli's Theorem, etc. learning about the fluid mechanics and implemented in Web Browser, In connection with flash and HTML, web simulation is to implement. Web Based Instruction program that implemented a comparative analysis became an effect of 15% to industrial total high school students in satisfaction, Interest, Achievement. The fluid mechanics education through engineering design and web design through the actual web server is implemented on the Internet over broadband. Department of Education, this study the fluid mechanics and the Internet will contribute to the development of distance education.

Reconfigurable Flight Control Design for the Complex Damaged Blended Wing Body Aircraft

  • Ahn, Jongmin;Kim, Kijoon;Kim, Seungkeun;Suk, Jinyoung
    • International Journal of Aeronautical and Space Sciences
    • /
    • v.18 no.2
    • /
    • pp.290-299
    • /
    • 2017
  • Reconfigurable flight control using various kinds of adaptive control methods has been studied since the 1970s to enhance the survivability of aircraft in case of severe in-flight failure. Early studies were mainly focused on the failure of actuators. Recently, studies of reconfigurable flight controls that can accommodate complex damage (partial wing and tail loss) in conventional aircraft were reported. However, the partial wing loss effects on the aerodynamics of conventional type aircraft are quite different to those of BWB(blended wing body) aircraft. In this paper, a reconfigurable flight control algorithm was designed using a direct model reference adaptive method to overcome the instability caused by a complex damage of a BWB aircraft. A model reference adaptive control was incorporated into the inner loop rate control system enhancing the performance of the baseline control to cope with abrupt loss of stability. Gains of the model reference adaptive control were polled out using the Liapunov's stability theorem. Outer loop attitude autopilot was designed to manage roll and pitch of the BWB UAV as well. A 6-DOF dynamic model was built-up, where the normal flight can be made to switch to the damaged state abruptly reflecting the possible real flight situation. 22% of right wing loss as well as 25% loss for both vertical tail and rudder control surface were considered in this study. Static aerodynamic coefficients were obtained via wind tunnel test. Numerical simulations were conducted to demonstrate the performance of the reconfigurable flight control system.