• 정보보호학회논문지
• /
• 제18권6B호
• /
• pp.219-232
• /
• 2008

A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief muitisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol, the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.

• Computers and Concrete
• /
• 제27권3호
• /
• pp.269-282
• /
• 2021

A dynamic analytical solution for a simply supported, rectangular functionally graded plate with a porous middle layer under time-dependent load based on a refined third-order shear deformation theory with a cubic variation of in-plane displacements according to the thickness and linear/quadratic transverse displacement is presented. The solution achieved in the trigonometric series form and rests on the Green's function method. Two porosity types and their influence on material properties, and mechanical behavior are considered. The network of pores is assumed to be empty or filled with low-pressure air, and the material properties are calculated using the power-law distribution idealization. Numerical calculations have been carried out to demonstrate the accuracy of the kinematic model for the dynamic problem, the effect of porosity, thickness of porous layers, power-law index, and type of loading on the dynamic response of an imperfect functionally graded material plate.

• 대한수학회보
• /
• 제59권5호
• /
• pp.1177-1190
• /
• 2022

Let R be a commutative ring with identity. We call the ring R to be an almost quasi-coherent ring if for any finite set of elements α₁, …, α_p and a of R, there exists a positive integer m such that the ideals $\bigcap{_{i=1}^{p}}\;R{\alpha}^m_i$ and Ann_R(α^m) are finitely generated, and to be almost von Neumann regular rings if for any two elements a and b in R, there exists a positive integer n such that the ideal (αⁿ, bⁿ) is generated by an idempotent element. This paper establishes necessary and sufficient conditions for the Nagata's idealization and the amalgamated algebra to inherit these notions. Our results allow us to construct original examples of rings satisfying the above-mentioned properties.

• Steel and Composite Structures
• /
• 제42권4호
• /
• pp.477-487
• /
• 2022

The shear stiffness of headed-stud shear connectors has no unified definition due to the nonlinear characteristics of its load-slip relationship. A unified framework was firstly adopted to develop a general expression of shear load-slip equation for headed-stud shear connectors varying in a large parameter range based on both force and energy balance. The pre- and post-yield shear stiffness were then determined through bilinear idealization of proposed shear load-slip equation. An updated and carefully selected push-out test database of 157 stud shear connectors, conducting on studs 13~30mm in diameter and on concretes 30~180 MPa in cubic compressive strength, was used for model regression and sensitivity analysis of shear stiffness. An empirical calculation model was also established for the stud shear stiffness. Compared with the previous models through statistical analysis, the proposed model demonstrates a better performance to predict the shear load-slip response and stiffness of the stud shear connectors.

• International Journal of Computer Science & Network Security
• /
• 제21권12spc호
• /
• pp.383-390
• /
• 2021

The main purpose of the study is to determine the features of the functioning of the university as a part of the state structure in the context of marketing management n the context of storing information technologies. Students were obtained due to the following theoretical methods: systems of analysis and synthesis, induction and deduction, comparison, classification, generalization and systematization, idealization and abstraction. It is advisable to study the essence and nature of educational services, as well as the role of education in economic development, relying on the methodology of institutional theory, the theory of stakeholders, which makes it possible to assess the contribution of education to the harmonization of public and individual interests, the formation of appropriate structures and subjects of development, ensuring the building of intellectual potential and quality of life. The specificity of the functioning of the university as a part of the state structure in terms of managing marketing activities was characterized.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.663-677
• /
• 2023

The purpose of this paper is to introduce a new class of rings containing the class of SFT-rings and contained in the class of rings with Noetherian prime spectrum. Let A be a commutative ring with unit and I be an ideal of A. We say that I is SFT if there exist an integer k ≥ 1 and a finitely generated ideal F ⊆ I of A such that x^k ∈ F for every x ∈ I. The ring A is said to be nonnil-SFT, if each nonnil-ideal (i.e., not contained in the nilradical of A) is SFT. We investigate the nonnil-SFT variant of some well known theorems on SFT-rings. Also we study the transfer of this property to Nagata's idealization and the amalgamation algebra along an ideal. Many examples are given. In fact, using the amalgamation construction, we give an infinite family of nonnil-SFT rings which are not SFT.

• Journal of applied mathematics & informatics
• /
• 제40권3_4호
• /
• pp.729-740
• /
• 2022

Let ℤ be the ring of integers and let ℤ_n be the ring of integers modulo n. Let ℤ(+)ℤ_n be the idealization of ℤ_n in ℤ and let (ℤ(+)ℤ_n)[X]] be either (ℤ(+)ℤ_n)[X] or (ℤ(+)ℤ_n)[[X]]. In this article, we study the zero-divisor graphs of ℤ(+)ℤ_n and (ℤ(+)ℤ_n)[X]]. More precisely, we completely characterize the diameter and the girth of the zero-divisor graphs of ℤ(+)ℤ_n and (ℤ(+)ℤ_n)[X]]. We also calculate the chromatic number of the zero-divisor graphs of ℤ(+)ℤ_n and (ℤ(+)ℤ_n)[X]].

• 대한수학회보
• /
• 제61권3호
• /
• pp.717-734
• /
• 2024

Let R be a commutative ring with identity and m, n be positive integers. In this paper, we introduce the class of weakly (m, n)-prime ideals generalizing (m, n)-prime and weakly (m, n)-closed ideals. A proper ideal I of R is called weakly (m, n)-prime if for a, b ∈ R, 0 ≠ a^mb ∈ I implies either aⁿ ∈ I or b ∈ I. We justify several properties and characterizations of weakly (m, n)-prime ideals with many supporting examples. Furthermore, we investigate weakly (m, n)-prime ideals under various contexts of constructions such as direct products, localizations and homomorphic images. Finally, we discuss the behaviour of this class of ideals in idealization and amalgamated rings.

• Composites Research
• /
• 제15권2호
• /
• pp.1-10
• /
• 2002

본 논문에서는 특성길이 방법과 실험을 통하여 핀하중을 받는 평직 유리/에폭시 적층판 체결부의 강도를 평가하였다. 특성길이 및 강도에 영향을 미치는 인자들의 효과를 연구하기 위해, 핀과 원공이 접하는 부분에 코사인 하중을 가할 경우와, 적절한 변위경계조건으로 처리할 경우, 접촉요소를 사용하여 비선형 해석을 수행하는 경우 등 총 세가지 방법으로 특성길이 및 강도를 계산하였다. 또한 체결부의 강도는 사용하는 파손식의 영향을 받게 되므로 Tsai-Wu 파손식과 Yamada-Sun 파손식을 사용하여 결과를 비교하였다. 평직으로 이루어진 적층판과 일방향 프리프레그로 이루어진 적층판 모두에서 접촉요소를 사용한 비선형 해석이 시험과 가장 일치하는 결과를 나타내었다. 일방향 프리프레그만을 사용한 적픙판 체결부에서와 달리 모든 층이 평직으로 이루어진 유리/에폭시 채결부의 경우 Tsai-Wu 파손식을 사용한 결과가 실험값과 더 잘 일치함을 알 수 있었다.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2002년도 춘계학술대회 논문집
• /
• pp.179-184
• /
• 2002

For the development of the practical design and analysis scheme of a bridge connecting to the typical VLFS, relevant design criteria and theory and techniques are studied and numerical analysis for the verification of the structural safety of the bridge are carried out. For the design of a typical steel bridge, characteristics of proper type bridge are reviewed and the requirements fur the bridge of this kind are studied as well as the environmental loads. By using the design spiral technique, several alternatives are investigated and an efficient type of a bridge is initially designed. Structural idealization is performed to make overall structural analysis first, and the structural behaviors of the proposed bridge in the given loading condition are evaluated. Through this study a bridge is finally proposed and it is found that this one works well for the connecting function of the bridge.