In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in whi...In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.展开更多
Based on comparison and analysis on structural cations of montmorillonite in bentonite samples collected from several typical areas in Jilin Province, relationships among type and quantity of interlayer/tetrahedral/oc...Based on comparison and analysis on structural cations of montmorillonite in bentonite samples collected from several typical areas in Jilin Province, relationships among type and quantity of interlayer/tetrahedral/octahedral cations and temperature and activation energy of removal of bound and hydroxyl water were investigated. The results show that the interlayer cations not only play decisive roles on removal temperature of bound water, but also influence dehydroxylation temperature and activation energy of montmorillonite. Type of octahedral cations also has an effect on dehydroxylation process.展开更多
A novel polarization splitter based on octagonal dual-core photonic crystal fiber(O-D-PCF) is proposed. The impacts of several fiber parameters on the coupling characteristics of the polarization splitter are investig...A novel polarization splitter based on octagonal dual-core photonic crystal fiber(O-D-PCF) is proposed. The impacts of several fiber parameters on the coupling characteristics of the polarization splitter are investigated by full-vectorial finite element method(FV-FEM) in detail. Through optimizing the fiber configuration, a 4.267-mm-long polarization splitter with a bandwidth of 37 nm is achieved, and its extinction ratio(ER) is as high as 81.2 d B at the wavelength of 1.55 μm. Compared with the hexagonal dual-core photonic crystal fiber(H-D-PCF) based polarization splitter, both ER and bandwidth of the O-D-PCF based one are effectively improved.展开更多
基金Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905))the National Natural Science Foundation of China(Grant No.60374071)
文摘In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.
文摘Based on comparison and analysis on structural cations of montmorillonite in bentonite samples collected from several typical areas in Jilin Province, relationships among type and quantity of interlayer/tetrahedral/octahedral cations and temperature and activation energy of removal of bound and hydroxyl water were investigated. The results show that the interlayer cations not only play decisive roles on removal temperature of bound water, but also influence dehydroxylation temperature and activation energy of montmorillonite. Type of octahedral cations also has an effect on dehydroxylation process.
基金supported by the National Natural Science Foundation of China(No.61405096)
文摘A novel polarization splitter based on octagonal dual-core photonic crystal fiber(O-D-PCF) is proposed. The impacts of several fiber parameters on the coupling characteristics of the polarization splitter are investigated by full-vectorial finite element method(FV-FEM) in detail. Through optimizing the fiber configuration, a 4.267-mm-long polarization splitter with a bandwidth of 37 nm is achieved, and its extinction ratio(ER) is as high as 81.2 d B at the wavelength of 1.55 μm. Compared with the hexagonal dual-core photonic crystal fiber(H-D-PCF) based polarization splitter, both ER and bandwidth of the O-D-PCF based one are effectively improved.