Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the t...Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.展开更多
Reaction products of 2,4,6-tris(4-phenyl-phenoxy)-1,3,5-triazine derived from 4-phenylphenol cyanate ester and phenyl glycidyl ether were analyzed. In addition to an isocyanurate compound and an oxazolidone compound w...Reaction products of 2,4,6-tris(4-phenyl-phenoxy)-1,3,5-triazine derived from 4-phenylphenol cyanate ester and phenyl glycidyl ether were analyzed. In addition to an isocyanurate compound and an oxazolidone compound which were well known as reaction products of cyanate esters and epoxy resins, compounds with hybrid ring structure of cyanurate/isocyanurate were determined. Gibbs free energies of the compound having hybrid ring structure of cyanurate/isocyanurate with two isocyanurate moiety were found to be lower than that of the compound with cyanurate ring structure through calculations. Calculation data supported the existence of hybrid ring structure of cy-anurate/isocyanurate. It was revealed that isomerization from cyanurate to isocyanurate occurs via hybrid ring structure of cyanurate/isocyanurate in the reaction of aryl cyanurate and epoxy.展开更多
Data warehouse provides storage and management for mass data, but data schema evolves with time on. When data schema is changed, added or deleted, the data in data warehouse must comply with the changed data schema, ...Data warehouse provides storage and management for mass data, but data schema evolves with time on. When data schema is changed, added or deleted, the data in data warehouse must comply with the changed data schema, so data warehouse must be re organized or re constructed, but this process is exhausting and wasteful. In order to cope with these problems, this paper develops an approach to model data cube with XML, which emerges as a universal format for data exchange on the Web and which can make data warehouse flexible and scalable. This paper also extends OLAP algebra for XML based data cube, which is called X OLAP.展开更多
In order to search for intensity fluctuations on the HCN（1-0） and HCO＋（1-0） line pro- files, which could arise due to possible small-scale inhomogeneous structure, long-term observations of high-mass star-forming...In order to search for intensity fluctuations on the HCN（1-0） and HCO＋（1-0） line pro- files, which could arise due to possible small-scale inhomogeneous structure, long-term observations of high-mass star-forming cores S140 and S199 were carried out. The data were processed by the Fourier filtering method. Line temperature fluctuations that exceed the noise level were detected. Assuming the cores consist of a large number of randomly moving small thermal fragments, the total number of frag- ments is - 4 × 106 for the region with linear size - 0.1 pc in S140 and - 106 for the region with linear size - 0.3 pc in S 199. Physical parameters of fragments in S 140 were obtained from detailed modeling of the HCN emission in the framework of the clumpy cloud model.展开更多
The Xuyi Schmidt Telescope Photometric Survey of the Galactic Anti-center（XSTPS-GAC）is a photometric sky survey that covers nearly 6000 deg^2 towards the Galactic Anti-center（GAC） in the g,r,i bands. Half of its s...The Xuyi Schmidt Telescope Photometric Survey of the Galactic Anti-center（XSTPS-GAC）is a photometric sky survey that covers nearly 6000 deg^2 towards the Galactic Anti-center（GAC） in the g,r,i bands. Half of its survey field is located on the Galactic Anti-center disk,which makes XSTPSGAC highly suitable to search for new open clusters in the GAC region. In this paper,we report new open cluster candidates discovered in this survey,as well as properties of these open cluster candidates,such as age,distance and reddening,derived by isochrone fitting in the color-magnitude diagram（CMD）.These open cluster candidates are stellar density peaks detected in the star density maps by applying the method from Koposov et al. Each candidate is inspected in terms of its true color image composed from three XSTPS-GAC band images. Then its CMD is checked,in order to identify whether the central region stars have a clear isochrone-like trend differing from background stars. The parameters derived from isochrone fitting for these candidates are mainly based on three band photometry of XSTPS-GAC.Moreover,when these new candidates are able to be seen clearly in 2 MASS data,their parameters are also derived based on the 2 MASS（J-H,J） CMD. There are a total of 320 known open clusters rediscovered and 24 new open cluster candidates discovered in this work. Furthermore,the parameters of these new candidates,as well as another 11 previously known open clusters,are properly determined for the first time.展开更多
基金Supported by the National Natural Sciences Foun-dation of China (60233010 ,60273034 ,60403014) ,863 ProgramofChina (2002AA116010) ,973 Programof China (2002CB312002)
文摘Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.
文摘Reaction products of 2,4,6-tris(4-phenyl-phenoxy)-1,3,5-triazine derived from 4-phenylphenol cyanate ester and phenyl glycidyl ether were analyzed. In addition to an isocyanurate compound and an oxazolidone compound which were well known as reaction products of cyanate esters and epoxy resins, compounds with hybrid ring structure of cyanurate/isocyanurate were determined. Gibbs free energies of the compound having hybrid ring structure of cyanurate/isocyanurate with two isocyanurate moiety were found to be lower than that of the compound with cyanurate ring structure through calculations. Calculation data supported the existence of hybrid ring structure of cy-anurate/isocyanurate. It was revealed that isomerization from cyanurate to isocyanurate occurs via hybrid ring structure of cyanurate/isocyanurate in the reaction of aryl cyanurate and epoxy.
文摘Data warehouse provides storage and management for mass data, but data schema evolves with time on. When data schema is changed, added or deleted, the data in data warehouse must comply with the changed data schema, so data warehouse must be re organized or re constructed, but this process is exhausting and wasteful. In order to cope with these problems, this paper develops an approach to model data cube with XML, which emerges as a universal format for data exchange on the Web and which can make data warehouse flexible and scalable. This paper also extends OLAP algebra for XML based data cube, which is called X OLAP.
基金support of the RFBR grants(projects 15–02–06098,16–02–00761 and18–02–00660)support of the Russian Science Foundation grant(project 17–12–01256)
文摘In order to search for intensity fluctuations on the HCN（1-0） and HCO＋（1-0） line pro- files, which could arise due to possible small-scale inhomogeneous structure, long-term observations of high-mass star-forming cores S140 and S199 were carried out. The data were processed by the Fourier filtering method. Line temperature fluctuations that exceed the noise level were detected. Assuming the cores consist of a large number of randomly moving small thermal fragments, the total number of frag- ments is - 4 × 106 for the region with linear size - 0.1 pc in S140 and - 106 for the region with linear size - 0.3 pc in S 199. Physical parameters of fragments in S 140 were obtained from detailed modeling of the HCN emission in the framework of the clumpy cloud model.
基金supported by the National Natural Science Foundation of China (NSFC,Grant Nos.11473001,11233004,11078006,11633009 and 11273067)the Minor Planet Foundation of Purple Mountain Observatory+2 种基金supported by the National Key Basic Research Program of China (2014CB845700)the China Postdoctoral Science Foundation (Grant No.2017M610695)supported by Special Funding for Advanced Users,budgeted and administrated by the Center for Astronomical Mega-Science,Chinese Academy of Sciences
文摘The Xuyi Schmidt Telescope Photometric Survey of the Galactic Anti-center（XSTPS-GAC）is a photometric sky survey that covers nearly 6000 deg^2 towards the Galactic Anti-center（GAC） in the g,r,i bands. Half of its survey field is located on the Galactic Anti-center disk,which makes XSTPSGAC highly suitable to search for new open clusters in the GAC region. In this paper,we report new open cluster candidates discovered in this survey,as well as properties of these open cluster candidates,such as age,distance and reddening,derived by isochrone fitting in the color-magnitude diagram（CMD）.These open cluster candidates are stellar density peaks detected in the star density maps by applying the method from Koposov et al. Each candidate is inspected in terms of its true color image composed from three XSTPS-GAC band images. Then its CMD is checked,in order to identify whether the central region stars have a clear isochrone-like trend differing from background stars. The parameters derived from isochrone fitting for these candidates are mainly based on three band photometry of XSTPS-GAC.Moreover,when these new candidates are able to be seen clearly in 2 MASS data,their parameters are also derived based on the 2 MASS（J-H,J） CMD. There are a total of 320 known open clusters rediscovered and 24 new open cluster candidates discovered in this work. Furthermore,the parameters of these new candidates,as well as another 11 previously known open clusters,are properly determined for the first time.
