• ETRI Journal
• /
• 제34권2호
• /
• pp.235-244
• /
• 2012

An identity-based strong designated verifier signature scheme provides restricted verifiability only for a verifier designated by a signer and proper privacy for the signer. In this paper, we show that strong designated verifier signature schemes do not satisfy the self-unverifiability requirement in the sense that not only exposure of the verifier's secret key but also of the signer's secret key enables an attacker to verify signatures, which should have been the exclusive right of the verifier. We also present a generic method to construct a strong identity-based designated verifier signature scheme with self-unverifiability from identity-based key encapsulation and identity-based key sharing schemes. We prove that a scheme constructed from our method achieves unforgeability, non-transferability, and self-unverifiability if the two underlying components are secure. To show the advantage of our method, we present an example that outputs short signatures and we analyze its performance.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2519-2521
• /
• 2003

In this paper, we propose Self-Organizing Fuzzy Polynomial Neural Networks(SOFPNN) architecture for optimal model identification and discuss a comprehensive design methodology supporting its development. It is shown that this network exhibits a dynamic structure as the number of its layers as well as the number of nodes in each layer of the SOFPNN are not predetermined (as this is the case in a popular topology of a multilayer perceptron). As the form of the conclusion part of the rules, especially the regression polynomial uses several types of high-order polynomials such as linear, quadratic, and modified quadratic. As the premise part of the rules, both triangular and Gaussian-like membership function are studied and the number of the premise input variables used in the rules depends on that of the inputs of its node in each layer. We introduce two kinds of SOFPNN architectures, that is, the basic and modified one with both the generic and the advanced type. The superiority and effectiveness of the proposed SOFPNN architecture is demonstrated through nonlinear function numerical example.

• 응용통계연구
• /
• 제29권2호
• /
• pp.279-289
• /
• 2016

최근 식품의약품안전처는 의약품동등성시험기준에 고변동성 제제의 생물학적 동등성(생동성) 평가 기준을 넓혀주는 새로운 규정을 추가하면서 고차 교차설계법을 활용하여 생동성 평가를 하는 논의가 확대되고 있다. 확장된 생동성 기준을 적용하기 위해서는 3기간 이상의 교차설계법이 적용되어야 하지만 아직 관련된 논의가 많이 이루어지지 않고 있다. 본 연구에서는 $3{\times}3$ 교차설계법에 기초한 생동성 평가의 통계적 추론과정을 제시하고 논의한다. 또한 사례를 통해 $3{\times}3$ 교차설계법을 활용한 생동성 평가를 식품의약품안전처 의약품동등성시험기준에 따라 진행하고 그 의미를 논의한다.

• Steel and Composite Structures
• /
• 제34권2호
• /
• pp.279-288
• /
• 2020

The computational post-buckling strength of the tilted sandwich composite shell structure is evaluated in this article. The computational responses are obtained using a mathematical model derived using the higher-order type of polynomial kinematic in association with the through-thickness stretching effect. Also, the sandwich deformation behaviour of the flexible soft-core sandwich structural model is expressed mathematically with the help of a generic nonlinear strain theory i.e. Green-Lagrange type strain-displacement relations. Subsequently, the model includes all of the nonlinear strain terms to account the actual deformation and discretized via displacement type of finite element. Further, the computer code is prepared (MATLAB environment) using the derived higher-order formulation in association with the direct iterative technique for the computation of temperature carrying capacity of the soft-core sandwich within the post-buckled regime. Further, the nonlinear finite element model has been tested to show its accuracy by solving a few numerical experimentations as same as the published example including the consistency behaviour. Lastly, the derived model is utilized to find the temperature load-carrying capacity under the influences of variable factors affecting the soft-core type sandwich structural design in the small (finite) strain and large deformation regime including the effect of tilt angle.

• Nuclear Engineering and Technology
• /
• 제46권1호
• /
• pp.11-26
• /
• 2014

The analyses carried out within the Seismic Probabilistic Risk Assessments (SPRAs) of Nuclear Power Plants (NPPs) are affected by significant aleatory and epistemic uncertainties. These uncertainties have to be represented and quantified coherently with the data, information and knowledge available, to provide reasonable assurance that related decisions can be taken robustly and with confidence. The amount of data, information and knowledge available for seismic risk assessment is typically limited, so that the analysis must strongly rely on expert judgments. In this paper, a Dempster-Shafer Theory (DST) framework for handling uncertainties in NPP SPRAs is proposed and applied to an example case study. The main contributions of this paper are two: (i) applying the complete DST framework to SPRA models, showing how to build the Dempster-Shafer structures of the uncertainty parameters based on industry generic data, and (ii) embedding Bayesian updating based on plant specific data into the framework. The results of the application to a case study show that the approach is feasible and effective in (i) describing and jointly propagating aleatory and epistemic uncertainties in SPRA models and (ii) providing 'conservative' bounds on the safety quantities of interest (i.e. Core Damage Frequency, CDF) that reflect the (limited) state of knowledge of the experts about the system of interest.

• Nuclear Engineering and Technology
• /
• 제53권4호
• /
• pp.1224-1235
• /
• 2021

An integrated waste management approach for irradiated graphite was developed during the European Commission project 'Treatment and Disposal of Irradiated Graphite and other Carbonaceous Waste'. This included the identification of potential options for the management of irradiated graphite, taking account of storage, retrieval, treatment and disposal methods. This paper describes how these options can be assessed using multi-criteria decision analysis (MCDA) for a case study relating to a generic power reactor. Criteria have been defined to account for safety, environmental, economic and socio-political factors, including radiological impact, resource usage, economic costs and risks. The impact of each option against each criterion has been assessed using data from the project and the wider literature. A linear additive approach has been used to convert the calculated impacts to scores. To account for the relative importance of the criteria, example weightings were allocated. This application has shown that MCDA approaches can be used to support complex decisions regarding irradiated graphite management, accounting for a wide range of criteria. Use of this approach by individual countries or organisations will need to account for the specific options, scores, weightings and constraints that apply, based on their national strategies, regulatory requirements and public acceptability.

• 청정기술
• /
• 제17권4호
• /
• pp.285-299
• /
• 2011

2007년 6월 시행된 유럽 신(新)화학물질관리제도(REACH, Registration, Evaluation, Authorization and Restriction of CHemicals)에서 물질 제조자가 공급망 상 제공해야 하는 법적 의무 사항인 확장된물질안전보건자료(eSDS, extended Safety Data Sheet)에 대하여, 본 총설에서는 eSDS의 개념 파악과 함께 노출시나리오(ES, Exposure Scenario) 작성 방법에 대한 유럽의 개발 동향을 기반으로 노출시나리오의 구성요소 및 각 구성요소별 주요 입력정보 그리고 단계별 노출시나리오 작성 방법을 알아보았다. 노출시나리오 작성에 필요한 정보로는 용도기술어 시스템(UDS, Use Descriptor System), 작업조건(OC, Operational Condition) 및 위해성관리대책(RMM, Risk Management Measure)이 조사되어 이에 대해 구체적인 이해를 도모하였다. 근로자, 환경, 소비자를 평가 대상으로 하는 기존의 주요 노출 평가 툴의 특징을 살펴보고, REACH 하의 노출시나리오 생성을 실행하기 위해 유럽화학물질청(ECHA, European Chemicals Agency)에서 최종 개발하여 발표한 노출 평가 툴인 Chesar (Chemical Safety Assessment and Report tool)의 구성을 알아보았다. EU 집행위에서 개발한 유기용매 분야의 일반 노출시나리오 (GES, Generic Exposure Scenario) 사례를 소개하였고, 3단계로 구분할 수 있는 노출시나리오 작성 과정 중에서 국내 수출 중소기업에서 담당할 부분 및 활용 방안을 제시하였다.

• 대한수학교육학회지:학교수학
• /
• 제16권2호
• /
• pp.355-386
• /
• 2014

패턴을 대수적으로 일반화한다는 것은 몇 가지의 특정한 요소에 내재한 구조를 인식 할 수 있고, 그 구조를 모든 경우로 일반화해 나갈 수 있으며, 일반적인 것을 대수적으로 표현하기 위해 인식된 그 국소적인 구조를 사용할 수 있는 것이다. 본 연구에서는 학생들이 기하-산술적 패턴과제로부터 매개변수를 어떻게 대수적으로 일반화하는지와 그 과정에서 일어나는 어려움은 무엇인지를 확인하는 것에 목표를 둔다. 더불어, 본 연구진이 개발한 패턴 일반화 과제를 통해 학생들이 매개변수개념에 대해 의미 충실한 사용으로 나아갈 수 있는지를 확인한다. 연구 결과 학생들은 변수로 작용하는 문자 n과 구별되는 역할로 작용하는 매개변수의 의미를 인식하여, 이로부터 문자 n과 다른 문자를 설정했다. 또한, 몇 가지의 일차함수로부터 독립변수를 나타내는 문자 n과 독립적인 수 사이의 관계를 인식하였고 이를 나머지 다른 모든 경우로 일반화하여 매개변수로 설정한 문자를 이용하여 대수적으로 표현하였다. 이 과정에서 학생들에게 매개변수와 다른 변수사이에 구별의 어려움과 산술적인 절차를 대수로 이행하는 어려움이 확인되었다. 이러한 어려움을 교수자와 함께 극복해 나가는 과정에서 전형적인 예는 매개변수 개념에 대한 학생들의 의미 충실한 사용을 견인하는 역할을 제공하였다.

• 한국세라믹학회지
• /
• 제55권3호
• /
• pp.244-260
• /
• 2018

Issues in the electrical characterization of semiconducting photoanodes in a photoelectrochemical (PEC) cell, such as the cell geometry dependence, scan rate dependence in DC measurements, and the frequency dependence in AC measurements, are addressed, using the example of a $TiO_2$ photoanode. Contrary to conventional constant phase element (CPE) modeling, the capacitive behavior associated with Mott-Schottky (MS) response was successfully modeled by a Havriliak-Negami (HN) capacitance function-which allowed the determination of frequency-independent Schottky capacitance parameters to be explained by a trapping mechanism. Additional polarization can be successfully described by the parallel connection of a Bisquert transmission line (TL) model for the diffusion-recombination process in the nanostructured $TiO_2$ electrode. Instead of shunt CPEs generally employed for the non-ideal TL feature, TL models with ideal shunt capacitors can describe the experimental data in the presence of an infinite-length Warburg element as internal interfacial impedance - a characteristic suggested to be a generic feature of many electrochemical cells. Fully parametrized impedance spectra finally allow in-depth physicochemical interpretations.

• 정보교육학회논문지
• /
• 제9권2호
• /
• pp.167-176
• /
• 2005

교육현장에서 발생하는 여러 가지 의사결정 사항들을 효과적으로 처리하는 것은 매우 중요한 이슈로 부각되고 있다. 예를 들어, 교육인적자원부 입장에서 전국 초등학교를 대상으로 교육정보화 분야에 투자를 기획할 때 정확하고 효율적인 의사결정 과정은 국가적 차원에서 매우 중요한 사항인 것이다. 현재 이상과 같은 일련의 과정을 시행하기 위하여 현장의 설문조사나 관련 전문가를 활용한 기획이 이루어지고 있는 실정이 다. 그러나, 정보 기술분야의 급격한 발전으로, 의학이나 경영분야 등에서는 다양한 의사결정지원 도구 활용을 통한 최상의 의사 결정 방법을 찾고 있다. 이 같은 이유로 본 논문에서는 신경망의 ADALINE 알고리즘을 활용하여 교육분야에서 적용 가능한 의사결정 시스템 모델을 설계하였으며 또한 시뮬레이션을 통하여 구현 모델의 검증을 수행하였다. 개발된 교육용 의사결정 시스템으로 교육현장에서 발생하는 다양한 의사결정 사항들을 효과적으로 처리할 수 있을 것이다.