http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이종근 國立昌原大學校 基礎科學硏究所 1994 基礎科學硏究所論文集 Vol.6 No.-
본 연구에서는 패트리 넽에서의 함수적 축소방법을 제시하였다. 이 방법의 기본 개념은 하나의 관계에서 다른 관계에로의 사상함수를 트랜지션의 관계에 적용하는 것이다. 본 연구에서는 먼저 패트리 넽을 관계형 함수로 표현한 후에, 공통의 플레이스를 제거하고 두 개의 트랜지션이 하나의 새로운 트랜지션으로 축소되는 CF-join과 공통의 플레이스를 겹침으로 하나의 트랜지션화하는 CE-join, 그리고 공통의 플레이스를 제거함으로 별개의 간소화된 트랜지션으로 나뉘는 EQ-join을 제시하였다. 축소된 패트리 넽은 기존의 넽이 갖는 성질들·생존성등을 그대로 보존한다. A functional reduction method of Petri nets is proposed. The method is based on interpretation of relations and transitions with functions which map one series of a relation to another. In particular, we propose CF-join which combines two transitions to new one after reduction of the common places, CE-join which superpose two transitions to one after superposition of the common places, and EQ-join which reduces the common places, after the Petri nets were explained by a relational scheme. A reduced net can be obtained without changing the properties such as liveness and boundness.
M/G/m 대기체계에서 Busy Period의 분포에 대한 확산근사
신양우,장덕준 國立昌原大學校 基礎科學硏究所 1992 基礎科學硏究所論文集 Vol.3 No.-
M/G/m 대기체계에서 busy period의 분포에 대하여 확산과정을 이용한 근사법을 제시하였다. 확산과정의 최초도달시각에 대한 분포를 이용하여 k개이상의 창구가 작업중인 시간의 구간인 k-channel busy period의 분포에 대한 근사를 구하였다. 확산근사의 정확도를 측정하기위하여 근사의 결과를 simulation 및 해석적인 결과와 비교하였다.
객체 지향 데이타베이스에서의 IS-A 관계성을 이용한 시맨틱 질의 최적화 휴리스틱
우용태,옥수호 國立昌原大學校 基礎科學硏究所 1992 基礎科學硏究所論文集 Vol.3 No.-
In Object-Oriented Database(OODB)systems, Class hierarchy is a set of classes involving the superclass-subclass relationships among them. Suppose that the target classes of a query are included in a class hierarchy, the properties of the implicit/explicit relationships and semantic informations in that class hierarchy can be used in the semantic query processing. When the original query is transformed into semantically equivalent query, these properties and informations are considered, and then, we expect that the transformed query is more efficient than original one. For this, we present some heuristics to apply to the transformation. And then, the effectiveness is proved.
SOME EXISTENCE THEOREMS GENERALIZING FIXED POINT THEOREMS ON COMPLETE METRIC SPACES
UME, JEONG-SHEOK 國立昌原大學校 基礎科學硏究所 1992 基礎科學硏究所論文集 Vol.3 No.-
In this paper, we shall prove a existence theorem extending the nonconvex minimization theorem according to Takahashi, which generalize Caristi's fixed point theorem, Ekeland's ε-variational principle, and Nadler's fixed point theorem.
핵스핀 I = 3 에 대한 NQR Hamiltonian 연구
김상수 國立昌原大學校 基礎科學硏究所 1993 基礎科學硏究所論文集 Vol.4 No.-
The nuclear quadrupole Hamiltonian for Ⅰ=3(??) is solvded analycally. Energy levels, transition probabilities and intensities of transition for powdered materials are derived in terms of the conventional quadrupole parameters e²qQ and η.
불화시클로부탄의 적도방향 이형태체에 대한 LANL1DZ와 LANL2DZ와 Basis set에서의AB Intio 최적구조
이민주 國立昌原大學校 基礎科學硏究所 1994 基礎科學硏究所論文集 Vol.6 No.-
The structural parameters and rotational constants of fluorocyclobutane, c-C₄H?F, have been obtained from ab initio calculations employing the LANL1DZ, and LANL2DZ basis sets for the equatorial conformer. The puckering angle is calculated to be 24.2。 and 17.4。 with the LANL1DZ and LANL2DZ, respectively. The rotational constants are obtained as A=10077.98, B=4228.49, and C=3369.54MHz with the LAN1DZ and A=9928.48, B=4261.93, and C=3385.77MHz with the LANL2DZ basis set. Also with these basis sets, it is not possible to get the optimized structure of the axial form.
송유진,김정원,이종근 國立昌原大學校 基礎科學硏究所 1994 基礎科學硏究所論文集 Vol.6 No.-
In this paper, we proposed 'the composition of Petri Nets(PN) using relational function' in the previous paper. In other words, by the composition, two joinable transitions are merged to a new transition after eliminating common places. In addition we propose a extended composition of place using relational function, such that two joinable places are merged to a new place after eliminating common transitions.
Sulfur Ylide Vinylation of Halides and Mesylates
Le Gall,T.,Martel, J. P.,Harnett, J. J.,Shin,Dong-Soo,Flack, J. R.,Mioskowski, C.,Alcaraz, L. 國立昌原大學校 基礎科學硏究所 1994 基礎科學硏究所論文集 Vol.6 No.-
One-carbon homologation of benzylic, allylic, propargylic and primary halides or mesylates with dimethylsulfonium methylide affords terminal olefins in good to excellent yields.
Yu,Jong-Sung,Larry Kevan,Vadim Kurshev,Back,Gern-Ho 國立昌原大學校 基礎科學硏究所 1994 基礎科學硏究所論文集 Vol.6 No.-
EPR and electron spin-echo modulation (ESEM) spectroscopies have been used to monitor the location of Pd' and its interaction with water, methanol, ethanol, ethene, benzene, carbon monoxide and ammonia in silicoaluminophosphate type 34(SAPO-34) molecular sieve containing Pd'' by ion exchange. After activation at 600℃, three different Pb' species are observed: A₁(g1=2,177), A₂(g1=2.136) and A₃(g1=2,070) with a common gⅡ=2.92. These correspond to three different site locations in the framework. A₁is assigned to the least accessible site Ⅲ in the centre of a hexagonal prism. A₃ to site I displaced from a six-ring into the ellipsoidal cage and A₂ to the most accessible site Ⅳ near an eight-ring window based on adsorption of oxygen and hydrogen and 31P modulations from the SAPO framework observed by ESEM. Oxygen and water oxidize Pd' ions in an activated sample to Pd'' ions complexed to O₂-, indicating water decomposition. Adsorption of methanol and ethanol causes a change in the EPR spectrum which indicates some relocation of Pd'to allow better coordination with one molecule of the alcohol. Exposure to ethene also changes the EPR spectrum, indicating interaction of Pd' with it. ESEM shows that the Pd' species coordinates to one ethene molecule. The adsorption of carbon monoxide results in a Pd' complex with three molecules of carbon monoxide based on resolved 13C superhyperfine splittings. Upon adsorption of ammonia, one molecule of ammonia coordinates to Pd' based on resolved nitrogen hyperfine coupling.