• 대한수학회보
• /
• 제55권4호
• /
• pp.1189-1208
• /
• 2018

The aim of this paper is to study the class of ${\Lambda}$-constacyclic codes of length $2p^s$ over the finite commutative chain ring ${\mathcal{R}}_a=\frac{{\mathbb{F}_{p^m}}[u]}{{\langle}u^a{\rangle}}={\mathbb{F}}_{p^m}+u{\mathbb{F}}_{p^m}+{\cdots}+u^{a-1}{\mathbb{F}}_{p^m}$, for all units ${\Lambda}$ of ${\mathcal{R}}_a$ that have the form ${\Lambda}={\Lambda}_0+u{\Lambda}_1+{\cdots}+u^{a-1}{\Lambda}_{a-1}$, where ${\Lambda}_0,{\Lambda}_1,{\cdots},{\Lambda}_{a-1}{\in}{\mathbb{F}}_{p^m}$, ${\Lambda}_0{\neq}0$, ${\Lambda}_1{\neq}0$. The algebraic structure of all ${\Lambda}$-constacyclic codes of length $2p^s$ over ${\mathcal{R}}_a$ and their duals are established. As an application, this structure is used to determine the Rosenbloom-Tsfasman (RT) distance and weight distributions of all such codes. Among such constacyclic codes, the unique MDS code with respect to the RT distance is obtained.

• 대한안전경영과학회지
• /
• 제16권3호
• /
• pp.307-316
• /
• 2014

In view of the increased threat arising terrorism, the International Maritime Organization(IMO) adopted the International Ship and Port Facility Security Code (ISPS Code) which attached to the SOLAS Convention. The ISPS Code requires a comprehensive set of measures to enhance the security of ships and port facilities. For example, a shipowner must obtain the International Ship Security Certificate(ISSC). If the carrying vessel has not ISSC, the ship may be detained by the contracting governments. The Joint Cargo Committee(JCC) in London adopted the Cargo ISPS Endorsement, in which the assured who knowingly ships the cargoes on a non-ISPS Code compliant vessel will have no cover. However, where there is no the Cargo ISPS Endorsement in a Marine Cargo Insurance Policy and the cargo is carried by a non-ISPS Code certified vessel, the legal problem is whether or not it would constitute a breach of an implied warranty of seaworthiness and/or an implied warranty of legality. The purpose of this article is to analyze the potential legal issue on the relations between non-ISPS Code compliant vessel and two implied warranties under Marine Insurance Act(1906) in U.K.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2005년도 추계학술대회 논문집
• /
• pp.942-945
• /
• 2005

This paper tried to analyze the collection and management method of shop-floor information for development of digital framework in u-manufacturing. In detail, the shop-floor information collection method through the direct communication with manufacturing devices using network Including RS-232C/422, field bus and ethernet is analyzed and proposed. In case the direct communication is impossible, the information collection method through additional sensors or data acquisition units is analyzed and proposed. Moreover, the collection method through bar code reader or touch screen of operators is analyzed and proposed to act up to machine to man/mobile/machine.

• 한국컴퓨터정보학회논문지
• /
• 제13권3호
• /
• pp.45-55
• /
• 2008

내장형시스템의 복잡도 증가로 인하여 내장형 소프트웨어의 자동생성 및 하드웨어-소프트웨어 통합설계 방법론등이 크게 이슈화되고 있다. 자동화된 설계 방법론에 있어서 공통적인 요구사항은 시스템 설계를 효과적으로 모호성 없이 기술 할 수 있도록 정형화된 설계 언어를 제공하는 것과 설계 언어로 부터 자동으로 원하는 소프트웨어 코드를 생성하는 방법의 개발이다. 본 논문에서는 시스템 기술언어로 ITU-T에 의해 표준으로 권고되어 널리 사용되고 있는 SDL (Specification and Description Language)로부터 실시간 운영체제 uC/OS-II에서 수행될 임베디드 C코드를 자동으로 생성하는 자동화된 방법론을 제시한다. 연구 개발된 자동 내장형 C코드 생성기는 하드웨어-소프트웨어 통합설계환경에서 소프트웨어 설계의 한 축으로 이용될 수 있으며 SDL 시뮬레이터나 검증기를 통하여 개발하고자 하는 code의 기능을 초기 모델 수준에서 평가하고 검증 할 수 있다.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 1998년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Spring 1998
• /
• pp.44-53
• /
• 1998

The objective of this paper is to review the current state of practice in the seismic codes in the U.S.A. and to investigate its trend in the development of performance-based seismic design for the 21st century. This study is supposed to be eventually utilized as a basis material to establish the new seismic code appropriate in our country having the moderate seismic hazard. To do this, the history of the seismic codes in U.S.A. is first briefly investigated and then the critical review on the recent codes is made. Finally, the conceptual framework of the performance-based seismic design and the development of the guideline documents to implement this to the rehabilitation of existing building structures are introduced.

• Computers and Concrete
• /
• 제9권4호
• /
• pp.293-310
• /
• 2012

This paper discusses a new constitutive model called the high-rate brittle microplane (HRBM) model and also presents the details of a new software package called the Virtual Materials Laboratory (VML). The VML software package was developed to address the challenges of fitting complex material models such as the HRBM model to material property test data and to study the behavior of those models under a wide variety of stress- and strain-paths. VML employs Continuous Evolutionary Algorithms (CEA) in conjunction with gradient search methods to create automatic fitting algorithms to determine constitutive model parameters. The VML code is used to fit the new HRBM model to a well-characterized conventional strength concrete called WES5000. Finally, the ability of the new HRBM model to provide high-fidelity simulations of material property experiments is demonstrated by comparing HRBM simulations to laboratory material property data.

• Nuclear Engineering and Technology
• /
• 제56권7호
• /
• pp.2625-2632
• /
• 2024

In this study, we investigated the possibility of employing accident tolerant fuel (ATF) in VVER-1200/V491 assembly without gadolinium-containing fuel rods using the Monte Carlo code Serpent 1.1.7 with ENDF/B-VII cross-section library. The analysis involves assembly design with reflective boundary conditions. To compare the neutronic performances, U-5Mo, U-7.5Mo, U-10Mo, and U-15Mo fuels were chosen in addition to ordinary UO₂ fuel. The concentration of ¹³⁵Xe, ¹⁴⁹Sm, fissile and fertile isotopes with burnup, reactivity feedback with fuel temperature variation, and β eff values were calculated. The results indicate that the fuel cycle length increases by 54.27% for U-5Mo, 32.6% for U-7.5Mo, and 13.8% for U-10Mo, while it decreases by 16.4% for U-15Mo fuel. Additionally, the effect of ⁹⁵Mo content in natural Mo was investigated by reducing the ⁹⁵Mo concentration. According to the results, each proposed fuel's fuel cycle length extended when the depletion ratio of ⁹⁵Mo increased. Additionally, the calculations for reactivity feedback guarantee safe operating conditions for all U-xMo fuels.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2004년도 추계학술발표회 발표논문집
• /
• pp.57-58
• /
• 2004

• Journal of Information Science Theory and Practice
• /
• 제4권4호
• /
• pp.64-74
• /
• 2016

In this paper we define a two parametric new generalized useful average code-word length $L_{\alpha}^{\beta}$(P;U) and its relationship with two parametric new generalized useful information measure $H_{\alpha}^{\beta}$(P;U) has been discussed. The lower and upper bound of $L_{\alpha}^{\beta}$(P;U), in terms of $H_{\alpha}^{\beta}$(P;U) are derived for a discrete noiseless channel. The measures defined in this communication are not only new but some well known measures are the particular cases of our proposed measures that already exist in the literature of useful information theory. The noiseless coding theorems for discrete channel proved in this paper are verified by considering Huffman and Shannon-Fano coding schemes on taking empirical data. Also we study the monotonic behavior of $H_{\alpha}^{\beta}$(P;U) with respect to parameters ${\alpha}$ and ${\beta}$. The important properties of $H_{{\alpha}}^{{\beta}}$(P;U) have also been studied.

• Nuclear Engineering and Technology
• /
• 제42권5호
• /
• pp.520-545
• /
• 2010

This paper presents the neutronics modeling capabilities of the fast reactor simulation system SHARP, which ANL is developing as part of the U.S. DOE's NEAMS program. We discuss the three transport solvers (PN2ND, SN2ND, and MOCFE) implemented in the UNIC code along with the multigroup cross section generation code $MC^2$-3. We describe the solution methods and modeling capabilities, and discuss the improvement needs for each solver, focusing on massively parallel computation. We present the performance test results against various benchmark problems and ZPR-6 and ZPPR critical experiments. We also discuss weak and strong scalability results for the SN2ND solver on the ZPR-6 critical assembly benchmarks.