• ETRI Journal
• /
• v.34 no.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.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• 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.

• The Korean Journal of Applied Statistics
• /
• v.29 no.2
• /
• pp.279-289
• /
• 2016

Bioequivalence trials based on higher order crossover designs have recently been conducted for highly variable drugs since the Ministry of Korea Food and Drug Safety (MFDS) added new regulations in 2013 to widen bioequivalence limits for highly variable drugs. However, a statistical discussion of higher order crossover designs have not been discussed yet. This research proposes the statistical inference of bioequivalence based on $3{\times}3$ crossover design and discusses it with the MFDS regulations. An illustrated example is also given.

• Steel and Composite Structures
• /
• v.34 no.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
• /
• v.46 no.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
• /
• v.53 no.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.

• Clean Technology
• /
• v.17 no.4
• /
• pp.285-299
• /
• 2011

As one of the REACH obligations, the extended safety data sheet (eSDS) should be communicated within the supply chain under the REACH Regulation. Based on technical guidance documents published on the ECHAs website and survey of EU's recent REACH-related informations, this paper includes a study on details of how to develop exposure scenarios (ES) such as structure of ES, process of ES develpoment, standard workflows and key input data to develop ES with an introduction of eSDS concept. This paper also contains an overview on operational conditions (OCs) and risk management measures (RMMs) that are what to consider when building an ES. The structure of Chesar (Chemical Safety Assessment and Report tool) developed by European Chemicals Agency (ECHA) is studied with a review of the available exposure estimation tools for workers, environment and consumers. Case example of generic exposure scenario (GES) for organic solvent is presented. To guide Korean EU-exporting companies, their participating roles in three steps of preparing ES are addressed.

• School Mathematics
• /
• v.16 no.2
• /
• pp.355-386
• /
• 2014

Algebraic generalization of patterns is based on the capability of grasping a structure inherent in several objects with awareness that this structure applies to general cases and ability to use it to provide an algebraic expression. The purpose of this study is to investigate how students generalize patterns using an algebraic object such as parameters and what are difficulties in geometric-arithmetic pattern tasks related to algebraic generalization and to determine whether the students can use parameters meaningfully through pattern generalization tasks that this researcher designed. During performing tasks of pattern generalization we designed, students differentiated parameters from letter 'n' that is used to denote a variable. Also, the students understood the relations between numbers used in several linear equations and algebraically expressed the generalized relation using a letter that was functions as a parameter. Some difficulties have been identified such that the students could not distinguish parameters from variables and could not transfer from arithmetical procedure to algebra in this process. While trying to resolve these difficulties, generic examples helped the students to meaningfully use parameters in pattern generalization.

• Journal of the Korean Ceramic Society
• /
• v.55 no.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.

• Journal of The Korean Association of Information Education
• /
• v.9 no.2
• /
• pp.167-176
• /
• 2005

It has been an important agenda to acquire effective decision making procedure for various issues occurred in education area. As an example, when it comes for the ministry of education to make a decision on such an issue that proper investment, to enhance information of education area, in national wide elementary schools, an effective decision making procedure will aid to establish right way of investment. Currently, the questionnaires gathered from school teachers or the related professional consultants are the only resources in order for making such a critical and important decision. Recently, however, educational, medical, and financial industries are looking forward the best decision making method integrated with rapidly upgraded modern IT technologies using the various resources and tools which they already possess. With this subject in mind, in this paper we present a generic decision making model applying ADALINE neural network. The model can be easily adapted to various problems arising in education area. We proved the model through simulations with realistic sample data.