• Title/Summary/Keyword: formalism

Search Result 404, Processing Time 0.021 seconds

A first-principles theoretical investigation of the structural, electronic and magnetic properties of cubic thorium carbonitrides ThCxN(1-x)

  • Siddique, Muhammad;Rahman, Amin Ur;Iqbal, Azmat;Azam, Sikander
    • Nuclear Engineering and Technology
    • /
    • v.51 no.5
    • /
    • pp.1373-1380
    • /
    • 2019
  • Besides promising implications as fertile nuclear materials, thorium carbonitrides are of great interest owing to their peculiar physical and chemical properties, such as high density, high melting point, good thermal conductivity. This paper reports first-principles simulation results on the structural, electronic and magnetic properties of cubic thorium carbonitrides $ThC_xN_{(1-x)}$ (X = 0.03125, 0.0625, 0.09375, 0.125, 0.15625) employing formalism of density-functional-theory. For the simulation of physical properties, we incorporated full-potential linearized augmented plane-wave (FPLAPW) method while the exchange-correlation potential terms in Kohn-Sham Equation (KSE) are treated within Generalized-Gradient-Approximation (GGA) in conjunction with Perdew-Bruke-Ernzerhof (PBE) correction. The structural parameters were calculated by fitting total energy into the Murnaghan's equation of state. The lattice constants, bulk moduli, total energy, electronic band structure and spin magnetic moments of the compounds show dependence on the C/N concentration ratio. The electronic and magnetic properties have revealed non-magnetic but metallic character of the compounds. The main contribution to density of states at the Fermi level stems from the comparable spectral intensity of Th (6d+5f) and (C+N) 2p states. In comparison with spin magnetic moments of ThSb and ThBi calculated earlier with LDA+U approach, we observed an enhancement in the spin magnetic moments after carbon-doping into ThN monopnictide.

Modeling of low-dimensional pristine and vacancy incorporated graphene nanoribbons using tight binding model and their electronic structures

  • Wong, K.L.;Chuan, M.W.;Chong, W.K.;Alias, N.E.;Hamzah, A.;Lim, C.S.;Tan, M.L.P.
    • Advances in nano research
    • /
    • v.7 no.3
    • /
    • pp.209-221
    • /
    • 2019
  • Graphene, with impressive electronic properties, have high potential in the microelectronic field. However, graphene itself is a zero bandgap material which is not suitable for digital logic gates and its application. Thus, much focus is on graphene nanoribbons (GNRs) that are narrow strips of graphene. During GNRs fabrication process, the occurrence of defects that ultimately change electronic properties of graphene is difficult to avoid. The modelling of GNRs with defects is crucial to study the non-idealities effects. In this work, nearest-neighbor tight-binding (TB) model for GNRs is presented with three main simplifying assumptions. They are utilization of basis function, Hamiltonian operator discretization and plane wave approximation. Two major edges of GNRs, armchair-edged GNRs (AGNRs) and zigzag-edged GNRs (ZGNRs) are explored. With single vacancy (SV) defects, the components within the Hamiltonian operator are transformed due to the disappearance of tight-binding energies around the missing carbon atoms in GNRs. The size of the lattices namely width and length are varied and studied. Non-equilibrium Green's function (NEGF) formalism is employed to obtain the electronics structure namely band structure and density of states (DOS) and all simulation is implemented in MATLAB. The band structure and DOS plot are then compared between pristine and defected GNRs under varying length and width of GNRs. It is revealed that there are clear distinctions between band structure, numerical DOS and Green's function DOS of pristine and defective GNRs.

Scalar Perturbation and Stability of a New Wormhole in Einstein-Born-Infeld Gravity (아인슈타인-본-인펠트 중력 이론에서 새로운 웜홀의 스칼라장 섭동과 안정성)

  • Kim, Jin Young
    • New Physics: Sae Mulli
    • /
    • v.68 no.11
    • /
    • pp.1262-1267
    • /
    • 2018
  • We introduce a new method to construct wormholes without adopting exotic matters in Einstein-Born-Infeld gravity with a negative cosmological constant. Contrary to the conventional method, the throat of the wormhole is located at the point where the metric solutions are joined smoothly. Thus, exotic matters are not needed to sustain the throat. We consider the behavior of a minimally coupled scalar field to study the stability of the new wormhole. If we define the quasinormal mode of the scalar field as the purely ingoing flux at the throat of the wormhole, the stability of wormhole can be discussed in analogy with the argument that we use for the stability of a black hole. Because an analytic solution can not be found, we suggest a formalism to find quasinormal modes numerically. The crucial difference from the black hole case is that the coefficient of the second-order derivative term of the radial equation is expanded from n = -1, which is contrary to the black hole case where it is expanded from n = 0.

A Study for Rule Integration in Vulnerability Assessment and Intrusion Detection using Meaning Based Vulnerability Identification Method (의미기반 취약점 식별자 부여 기법을 사용한 취약점 점검 및 공격 탐지 규칙 통합 방법 연구)

  • Kim, Hyung-Jong;Jung, Tae-In
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.18 no.3
    • /
    • pp.121-129
    • /
    • 2008
  • This paper presents vulnerability identification method based on meaning which is making use of the concept of atomic vulnerability. Also, we are making use of decomposition and specialization processes which were used in DEVS/SES to get identifiers. This vulnerability representation method is useful for managing and removing vulnerability in organized way. It is helpful to make a relation between vulnerability assessing and intrusion detection rules in lower level. The relation enables security manager to response more quickly and conveniently. Especially, this paper shows a mapping between Nessus plugins and Snort rules using meaning based vulnerability identification method and lists usages based on three goals that security officer keeps in mind about vulnerability. The contribution of this work is in suggestion of meaning based vulnerability identification method and showing the cases of its usage for the rule integration of vulnerability assessment and intrusion detection.

Vessel and Navigation Modeling and Simulation based on DEVS Formalism : Case Studies in Collision Avoidance Simulation of Vessels by COLREG (DEVS 형식론 기반의 선박 항해 모델링 및 시뮬레이션 (II) : COLREG 기반 선박 충돌회피 시뮬레이션을 통한 사례연구)

  • Hwang, Hun-Gyu;Woo, Sang-Min;Lee, Jang-Se
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.23 no.12
    • /
    • pp.1700-1709
    • /
    • 2019
  • Recently, many researches have been under way to develop systems (services) to support the safety navigation of ships, and in these studies, common difficulties have been encountered in assessing the usefulness and effectiveness of the developed system. To solve these problems, we propose the DEVS-based ship navigation modeling and simulation technique. Following the preceding study, we analyze the COLREG rules and reflected to officer and helmsman agent models for decision making. Also we propose estimation and interpolation techniques to adopt the motion characteristics of the actual vessel to simulation. In addition, we implement the navigation simulation system to reflect the designed proposed methods, and we present five-scenarios to verify the developed simulation system. And we conduct simulations according to each scenario and the results were reconstructed. The simulation results confirm that the components modelled in each scenario enable to operate according to the navigation relationships.

Script-based Test System for Rapid Verification of Atomic Models in Discrete Event System Specification Simulation

  • Nam, Su-Man
    • Journal of the Korea Society of Computer and Information
    • /
    • v.27 no.5
    • /
    • pp.101-107
    • /
    • 2022
  • Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

Characteristics of Daesoon Thought in Korean Modern Times - Focused on Transnationalism, Modern and Post-modern Values - (한국 근대시기 대순사상의 특질 - 초민족주의와 근대 및 탈근대 가치를 중심으로 -)

  • Park, Jae-hyun
    • Journal of the Daesoon Academy of Sciences
    • /
    • v.24_1
    • /
    • pp.255-289
    • /
    • 2014
  • This study's aim is to identify modern and post-modern values and transnationalism embodied in Daesoon Thought and to seek for the new value to overcome irrationality of modern values in this society we live in. Several previous studies discussed about these issues, but most of them studied them on the basis of Korean new religions or Jeungsangyo, or in sociological theory perspective. Therefore, this study focused on Daesoon Thought encompassing ideological perspective as well as historical perspective of Daesoonjinrihoe. As for nationalism, while Eastern learning(Dong-Hak) is prone to ethnocentricity, Daesoon Thought shows trans-ethnic perspective. As for historical perspectivel, Mugeuikdo, a precursor to Daesoonjinrihoe showed non-relationship with any politics as contrasted with other new korean religious movement at that time. As for aspects of modern values, 3 perspectives (political system, social system, abolition of premodern values) were discussed. As for political system perspective, while Eastern learning advocates democratic modernity but accepted monarchy, Jeungsan denied monarchy. And While western political philosophy advocated rationality-based absolute person, Daesoon Thought proposes ideal human who can have political power and do religious indoctrination all together. As for social system perspective, while western humanism is based on all of he people's equity in front of God, Eastern learning on humans are Heaven (人乃天), Daesoon Thought is based on Injon thought(人尊思想) which encompasses spiritual world, human world and all of the universe. Daesoon Thought also proposes abolition of discrimination by gender, social position. As for abolition of premodern values, Daesoon Thought critics pre-modern formalism and advocate acceptance of other nations' culture, pragmatism, and humanism. As presented above, Daesoon Thought has not only modern values but also aspects of post-modernity and transnationalism. In the future, further studies are needed which tackle these issues and search for new values of Daesoon Thought which can overcome limitation of modern values.

Development of a Dose Calibration Program for Various Dosimetry Protocols in High Energy Photon Beams (고 에너지 광자선의 표준측정법에 대한 선량 교정 프로그램 개발)

  • Shin Dong Oh;Park Sung Yong;Ji Young Hoon;Lee Chang Geon;Suh Tae Suk;Kwon Soo IL;Ahn Hee Kyung;Kang Jin Oh;Hong Seong Eon
    • Radiation Oncology Journal
    • /
    • v.20 no.4
    • /
    • pp.381-390
    • /
    • 2002
  • Purpose : To develop a dose calibration program for the IAEA TRS-277 and AAPM TG-21, based on the air kerma calibration factor (or the cavity-gas calibration factor), as well as for the IAEA TRS-398 and the AAPM TG-51, based on the absorbed dose to water calibration factor, so as to avoid the unwanted error associated with these calculation procedures. Materials and Methods : Currently, the most widely used dosimetry Protocols of high energy photon beams are the air kerma calibration factor based on the IAEA TRS-277 and the AAPM TG-21. However, this has somewhat complex formalism and limitations for the improvement of the accuracy due to uncertainties of the physical quantities. Recently, the IAEA and the AAPM published the absorbed dose to water calibration factor based, on the IAEA TRS-398 and the AAPM TG-51. The formalism and physical parameters were strictly applied to these four dose calibration programs. The tables and graphs of physical data and the information for ion chambers were numericalized for their incorporation into a database. These programs were developed user to be friendly, with the Visual $C^{++}$ language for their ease of use in a Windows environment according to the recommendation of each protocols. Results : The dose calibration programs for the high energy photon beams, developed for the four protocols, allow the input of informations about a dosimetry system, the characteristics of the beam quality, the measurement conditions and dosimetry results, to enable the minimization of any inter-user variations and errors, during the calculation procedure. Also, it was possible to compare the absorbed dose to water data of the four different protocols at a single reference points. Conclusion : Since this program expressed information in numerical and data-based forms for the physical parameter tables, graphs and of the ion chambers, the error associated with the procedures and different user could be solved. It was possible to analyze and compare the major difference for each dosimetry protocol, since the program was designed to be user friendly and to accurately calculate the correction factors and absorbed dose. It is expected that accurate dose calculations in high energy photon beams can be made by the users for selecting and performing the appropriate dosimetry protocol.

Design and Implementation of DEVSim++ and DiskSim Interface for Interoperation of System-level Simulation and Disk I/O-level Simulation (시스템수준 시뮬레이션과 디스크 I/O수준 시뮬레이션 연동을 위한 DEVSim++과 DiskSim 사이의 인터페이스 설계 및 구현)

  • Song, Hae Sang;Lee, Sun Ju
    • Journal of the Korea Society of Computer and Information
    • /
    • v.18 no.4
    • /
    • pp.131-140
    • /
    • 2013
  • This paper deals with the design and implementation of an interface for interoperation between DiskSim, a well-known disk simulator, and a system-level simulator based on DEVSim++. Such inter-operational simulation aims at evaluation of an overall performance of storage systems which consist of multiple computer nodes with a variety of I/O level specifications. A well-known system-level simulation framework, DEVSim++ environment is based on the DEVS formalism, which provides a sound semantics of modular and hierarchical modeling methodology at the discrete event systems level such as multi-node computer systems. For maintainability we assume that there is no change of the source codes for two heterogeneous simulation engines. Thus, we adopt a notion of simulators interoperation in which there should be a means to synchronize simulation times as well as to exchange messages between simulators. As an interface for such interoperation DiskSimManager is designed and implemented. Various experiments, comparing the results of the standalone DiskSim simulation and the interoperation simulation using the proposed interface of DiskSimManager, proved that DiskSimManager works correctly as an interface for interoperation between DEVSim++ and DiskSim.

A Study on the Stylistic Expression of Late 20th Century Interior Design (현대(現代) 후기(後期) 실내디자인의 표현성(表現性))

  • Lee Choon-Sub
    • Journal of Science of Art and Design
    • /
    • v.1
    • /
    • pp.189-226
    • /
    • 1999
  • The purpose of this paper is to examine the common characteristics of late 20th century interior design style and the post-modern thinking system. A period has its own predominant spirit which determine the tendency of art, and the ubiquitous power in the spirit decides the period's pattern of art. Therefore the interior design style belongs to general art sphere that has its own individual character derived from the dominant power of the controlling system. Paying special attention to this understanding, the auther has processed this paper by combining the post-modem thinking with special characteristics of each of the 20th century interior design style. Until now, researches have been focused on the individual style of post-modern design; however, a general research comprising the whole characteristics of expression has not been made. Accordingly, the rationale of emphasizing the general point of view is establshed. Also, this study suggests a model applicable to studies concerning other art area. This type of methodology is receving more attention as an approach investigating new art ideology for researching post-modern thinking and late 20th century art styles. The conclusions are as follows: First, the distinctive expressions of postmodernism appear to be characteristic of illusion, metaphor, pluralism, decoration, and symmetry, Those of late modernism appear to be the characteristic of complicated simplicity and symplified complexity, passiveness of symbolism and harmony, indeterminacy of form and space, and unintentional decorativeness. And the characteristics of deconstructionism are spatial difference and temporal defferal, and un-reductive and non formal abstractiveness of the space, unfinishness, chance, and secretiveness of individual style. Second, the disinctive expression seems to share common characteristics with postmodern thinking. The best examples are pluralism, non-formalism, populism, and historicism, originating from the deconstruction of 'meta-narrative'. Third, based on the second conclusion, general distinctive expression could be simplified as chacteristics of plurality, hybridity, and indeterminacy. These expressive chacteristics appear to be automatically connected with general postmodern thinking. Last, in consideration of the above conclusion, the extreme generality could be distinctively clarified as 'textural co-exsistence'. Accordingly, the author might confirm that 'textural co-existence' originated from the text that comes from postmodern thinking. In conclusion, design expression of late 20th century interior design accepts the ?universal theme of ubiquitous postmodern thinking. And universal expressions and supreme generality can be common analysis tools for understanding and studying complicated late 20th century interior design.

  • PDF