Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an o...Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.展开更多
A form invariance and a conserved quantity of the generalised Birkhoffian system are studied.First,a definition and a criterion of the form invariance are given.Secondly,through the form invariance,a new conserved qua...A form invariance and a conserved quantity of the generalised Birkhoffian system are studied.First,a definition and a criterion of the form invariance are given.Secondly,through the form invariance,a new conserved quantity can be deduced.Finally,an example is given to illustrate the application of the result.展开更多
The form invariance of constrained Birkhoffian system is a kind of invariance of the constrained Birkhoffian equations under infinitesimal transformations. The definition and criteria of the form invariance of constra...The form invariance of constrained Birkhoffian system is a kind of invariance of the constrained Birkhoffian equations under infinitesimal transformations. The definition and criteria of the form invariance of constrained Birkhoffian system are given, and the relation of the form invariance and the Noether symmetry is studied.展开更多
The form invariance and the Lie symmetry of the generalized Hamiltonian system are studied. Firstly, de?nitions and criteria of the form invariance and the Lie symmetry of the system are given. Next, the relation betw...The form invariance and the Lie symmetry of the generalized Hamiltonian system are studied. Firstly, de?nitions and criteria of the form invariance and the Lie symmetry of the system are given. Next, the relation between the form invariance and the Lie symmetry is studied. Finally, two examples are given to illustrate the application of the results.展开更多
Under the infinitesimal transformations of groups, a form invariance of rotational relativistic Birkhoffsystems is studied and the definition and criteria are given. In view of the invariance of rotational relativisti...Under the infinitesimal transformations of groups, a form invariance of rotational relativistic Birkhoffsystems is studied and the definition and criteria are given. In view of the invariance of rotational relativistic PfaffBirkhoff D'Alcmbert principle under the infinitesimal transformations of groups, the theory of Noether symmetries ofrotational relativistic Birkhoff systems are constructed. The relation between the form invariance and the Noethersymmetries is studied, and the conserved quantities of rotational relativistic Birkhoff systems are obtained.展开更多
In this article,the Killing form of a Lie supertriple system(LSTS) and that of its imbedding Lie superalgebra(LSA) are investigated,and a unique decomposition theorem for a quasiclassical LSTS with trivial center is e...In this article,the Killing form of a Lie supertriple system(LSTS) and that of its imbedding Lie superalgebra(LSA) are investigated,and a unique decomposition theorem for a quasiclassical LSTS with trivial center is established by means of the parallel decomposition theorem for a quasiclassical LSA.展开更多
A weakly nonholonomic system is a nonholonomic system whose constraint equations contain a small parameter. The form invariance and the approximate conserved quantity of the Appell equations for a weakly nonholonomic ...A weakly nonholonomic system is a nonholonomic system whose constraint equations contain a small parameter. The form invariance and the approximate conserved quantity of the Appell equations for a weakly nonholonomic system are studied. The Appell equations for the weakly nonholonomic system are established, and the definition and the criterion of form invariance of the system are given. The structural equation of form invariance for the weakly nonholonomic system and the approximate conserved quantity deduced from the form invariance of the system are obtained. Finally, an example is given to illustrate the application of the results.展开更多
Obvious differences in mineralization characteristics exist between the southern and northern parts of the eastern part of the Jiangnan Uplift in northern Jiangxi Province and southern Anhui Province. The regional met...Obvious differences in mineralization characteristics exist between the southern and northern parts of the eastern part of the Jiangnan Uplift in northern Jiangxi Province and southern Anhui Province. The regional metallogeny is discussed, and the ore-forming fluid systems are classified in this article. It is proposed that the fluid ore-forming activities in the Jiangnan Uplift both in northern Jiangxi and southern Anhui have close relationships with the crustmantle interaction and magmatic-tectonic activities. The types and scales of the mineralization on the both sides of the eastern Jiangnan Uplift were determined by fluid ore-forming systems and geological backgrounds.展开更多
The form invariance and Lie symmetry of a variable mass nonholonomic mechanical system is studied. The definition and the criterion and the conserved quantity of form invariance and Lie symmetry for the variable mass ...The form invariance and Lie symmetry of a variable mass nonholonomic mechanical system is studied. The definition and the criterion and the conserved quantity of form invariance and Lie symmetry for the variable mass nonholonomic mechanical system are given. The relation between the form invariance and Lie symmetry is obtained. An example is given to illustrate the application of the result.展开更多
It has been confirmed that glass-forming ability (GFA) of supercooled liquids is related to not only liquid phase stability but also the crystallization resistance. In this paper, it is found that the liquid region in...It has been confirmed that glass-forming ability (GFA) of supercooled liquids is related to not only liquid phase stability but also the crystallization resistance. In this paper, it is found that the liquid region interval (T l-T g ) characterized by the normalized parameter of T g /T l could reflect the stability of glass-forming liquids at the equilibrium state, whilst the normalization of supercooled liquid region △T x =(T x-T g ), i.e. T x /T x (wherein T l is the liquidus temperature, T g the glass transition temperature, and T x the onset crystallization temperature) could indicate the crystallization resistance during glass formation. Thus, a new parameter, defined as ξ = T g /T l +△ T x /T x is established to predict the GFA of supercooled liquids. In comparison with other commonly used criteria, this parameter demonstrates a better statistical correlation with the GFA for various glass-forming systems including metallic glasses, oxide glasses and cryoprotectants.展开更多
The form invariance and the conserved quantity for a weakly nonholonomic system(WNS) are studied. The WNS is a nonholonomic system(NS) whose constraint equations contain a small parameter. The differential equations o...The form invariance and the conserved quantity for a weakly nonholonomic system(WNS) are studied. The WNS is a nonholonomic system(NS) whose constraint equations contain a small parameter. The differential equations of motion of the system are established. The definition and the criterion of form invariance of the system are given. The conserved quantity deduced from the form invariance is obtained. Finally, an illustrative example is shown.展开更多
According to tectono stratigraphical division principle, different units in Kangguertage Huangshan collision zone, Eastern Tianshan, are divided into order and disorder two types of stratum rock associations, which be...According to tectono stratigraphical division principle, different units in Kangguertage Huangshan collision zone, Eastern Tianshan, are divided into order and disorder two types of stratum rock associations, which belong to two kinds of different tectono volcanic activity belts. The collision ororeny and ductile shear zone have a strong space time coupling. Based on the island arc bearing volcanic rock on both sides of the collision zone, time of ore forming and rock forming, characteristics of collision granit, geochemical province, special multistage collision orogeny and intracontinental orogeny basin forming developed features have been found. Gold and copper deposits, with the relation to the collision orogeny, are divided into seven genetic types. The ten metallogenic zones are classified into two kinds of ore forming system of paleo continental margin. Metallogenesis of gold deposits can be classified into five stages. Gold and copper deposits are distributed in belts with the relation to the development of the collision orogeny. The distribution of main large scale copper deposits in the north part of the collision zone and most large middle scale gold deposits in the south part of the collision zone can direct the prospecting for gold and copper deposits. The actual targets are put forward.展开更多
The new results of geologic-structural, petrographic and mineralogic-geochemical researches of Mykert-Sanzheevka ore field—the Uda-Vitim mineragenic zone South-West ending of West Transbaikalia are given. Its main or...The new results of geologic-structural, petrographic and mineralogic-geochemical researches of Mykert-Sanzheevka ore field—the Uda-Vitim mineragenic zone South-West ending of West Transbaikalia are given. Its main ore-controlling structure, represented by losange, consisting of rhombohedral and tetrahedral blocks-duplexes mosaic clusters, which are separated by narrow tectonic sutures, is specified. It is clarified that polycomponent ores clusters are confined with these small-block sutures, made by subvolcanic dykes of shoshonite-latite volcano-plutonic association (233 - 188 million years), apodyke dynamometamorphites (breccias, cataclasite, mylonites) and also mechanometasomatites. Four stages of the dynamometamorphites formation characterized by different species compositions of ore minerals appeared as a result of mechanochemical reactions are determined. A carbonyl model of mineral microaggregates formation with films containing noble metal nanoparticles is proposed. Ore-forming system features of Mykert-Sanzheevka field are considered.展开更多
The form invariance and the Lie symmetry are defined for Hamilton systems.A relation between the form invariance and the Lie symmetry is derived.The Hojman conserved quantity is constructed by using the generators of ...The form invariance and the Lie symmetry are defined for Hamilton systems.A relation between the form invariance and the Lie symmetry is derived.The Hojman conserved quantity is constructed by using the generators of Lie symmetry.An approach to find Hojman conserved quantities in terms of the form invariance is presented.An example is given to illustrate the application of the results.展开更多
Conventional no-till seeders should cut or remove crop straw and residue,when in operation and thus present a number of problems,including high performance requirements for the cutting component,high power consumption...Conventional no-till seeders should cut or remove crop straw and residue,when in operation and thus present a number of problems,including high performance requirements for the cutting component,high power consumption,dust raising and interference from intertwined straw.In view of this,in this study,a driving roller dibbling-type no-till seeding and hole-forming(DGR-NT-SHF)system was designed to be capable of penetrating soil and creating holes without requiring any special preparation of the surface covering.The core mechanism of this system consisted of a land wheel-driven driving roller and a duckbill-type roller seeder,which were internally tangent to one another.The rotating roller rolled the straw into a thin layer,and the duckbills extended from the roller and penetrated this thin layer of straw and subsequently formed the holes and planted the seeds.Based on kinematic analysis,a mathematical model was established to depict the relations between the rear angle of the duckbill(α),the front angle of the duckbill(β),the angular velocity of the duckbill-type roller seeder(ω0),the angular velocity of the roller(ω1),and the aperture of the duckbill outlet on the roller(θ).In contrast to a driven roller-type no-till seeding and hole-forming DNR-NT-SHF system,several parameters of the DGR-NT-SHF system were established for planting seeds at a plant spacing that was an integral multiple of 100 mm:the radius of the duckbill-type roller seeder,200 mm;radius of the roller,400 mm;α,23°;andβ,5°.Based on the analysis of the models using the MATLAB Image Processing Module with a relation betweenω1 and the number of outlets on the roller as the constraint,the optimal number of outlets on the roller and theω1/ω0 ratio were determined to be 21 and 4/7,respectively.Kinematic simulation on a digital prototype was performed using computer aided three-dimensional interactive application(CATIA)to observe the motion of the DGR-NT-SHF system,when the duckbills on the duckbill-type roller seeder were open and to determine the locations of the duckbills relative to the outlets.To ensure the duckbills could be successfully opened,the chord length of the outlets was ultimately determined to be 71 mm.The prototype test results showed that the DGR-NT-SHF system met the design requirements and that the operation was straightforward and reliable.In addition,compared to the DNR-NT-SHF system,the DGR-NT-SHF system performed better in penetration and exerted no impact on the duckbills,thus providing an effective technical option for no-till seeding.展开更多
基金Supported by the High Technology Research and Development Programme of China.
文摘Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 10772025,10932002)the Beijing Municipal Key Disciplines Fund for General Mechanics and Foundation of Mechanics
文摘A form invariance and a conserved quantity of the generalised Birkhoffian system are studied.First,a definition and a criterion of the form invariance are given.Secondly,through the form invariance,a new conserved quantity can be deduced.Finally,an example is given to illustrate the application of the result.
文摘The form invariance of constrained Birkhoffian system is a kind of invariance of the constrained Birkhoffian equations under infinitesimal transformations. The definition and criteria of the form invariance of constrained Birkhoffian system are given, and the relation of the form invariance and the Noether symmetry is studied.
基金Project supported by the National Natural Science Foundation of China (Nos.19972010 and 10272021).
文摘The form invariance and the Lie symmetry of the generalized Hamiltonian system are studied. Firstly, de?nitions and criteria of the form invariance and the Lie symmetry of the system are given. Next, the relation between the form invariance and the Lie symmetry is studied. Finally, two examples are given to illustrate the application of the results.
文摘Under the infinitesimal transformations of groups, a form invariance of rotational relativistic Birkhoffsystems is studied and the definition and criteria are given. In view of the invariance of rotational relativistic PfaffBirkhoff D'Alcmbert principle under the infinitesimal transformations of groups, the theory of Noether symmetries ofrotational relativistic Birkhoff systems are constructed. The relation between the form invariance and the Noethersymmetries is studied, and the conserved quantities of rotational relativistic Birkhoff systems are obtained.
基金Supported by the Natural Science Foundation of Hebei Province of China(A2005000088)
文摘In this article,the Killing form of a Lie supertriple system(LSTS) and that of its imbedding Lie superalgebra(LSA) are investigated,and a unique decomposition theorem for a quasiclassical LSTS with trivial center is established by means of the parallel decomposition theorem for a quasiclassical LSA.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 11142014 and 61178032)
文摘A weakly nonholonomic system is a nonholonomic system whose constraint equations contain a small parameter. The form invariance and the approximate conserved quantity of the Appell equations for a weakly nonholonomic system are studied. The Appell equations for the weakly nonholonomic system are established, and the definition and the criterion of form invariance of the system are given. The structural equation of form invariance for the weakly nonholonomic system and the approximate conserved quantity deduced from the form invariance of the system are obtained. Finally, an example is given to illustrate the application of the results.
基金the National NaturalScience Foundation of China(Grant No.40272048)thegeological survey project of the Ministry of Land andResource(Grant No.K1.4-2-2)+1 种基金the Anhui Provincial Exccllent Youth Science and Technology Foundation(04045063) the Anhui Provincial Natural Scicnce Foundation(Grant No.01045202).
文摘Obvious differences in mineralization characteristics exist between the southern and northern parts of the eastern part of the Jiangnan Uplift in northern Jiangxi Province and southern Anhui Province. The regional metallogeny is discussed, and the ore-forming fluid systems are classified in this article. It is proposed that the fluid ore-forming activities in the Jiangnan Uplift both in northern Jiangxi and southern Anhui have close relationships with the crustmantle interaction and magmatic-tectonic activities. The types and scales of the mineralization on the both sides of the eastern Jiangnan Uplift were determined by fluid ore-forming systems and geological backgrounds.
文摘The form invariance and Lie symmetry of a variable mass nonholonomic mechanical system is studied. The definition and the criterion and the conserved quantity of form invariance and Lie symmetry for the variable mass nonholonomic mechanical system are given. The relation between the form invariance and Lie symmetry is obtained. An example is given to illustrate the application of the result.
基金Project supported by National Science Council, Taiwan, China (Grant No NSC 94-2216-E-110-010)post-doc sponsorship from National Science Council, Taiwan, China (Grant No NSC 95-2816-E-110-001)
文摘It has been confirmed that glass-forming ability (GFA) of supercooled liquids is related to not only liquid phase stability but also the crystallization resistance. In this paper, it is found that the liquid region interval (T l-T g ) characterized by the normalized parameter of T g /T l could reflect the stability of glass-forming liquids at the equilibrium state, whilst the normalization of supercooled liquid region △T x =(T x-T g ), i.e. T x /T x (wherein T l is the liquidus temperature, T g the glass transition temperature, and T x the onset crystallization temperature) could indicate the crystallization resistance during glass formation. Thus, a new parameter, defined as ξ = T g /T l +△ T x /T x is established to predict the GFA of supercooled liquids. In comparison with other commonly used criteria, this parameter demonstrates a better statistical correlation with the GFA for various glass-forming systems including metallic glasses, oxide glasses and cryoprotectants.
基金supported by the National Natural Science Foundation of China(Nos.10932002,10972031,and 11272050)
文摘The form invariance and the conserved quantity for a weakly nonholonomic system(WNS) are studied. The WNS is a nonholonomic system(NS) whose constraint equations contain a small parameter. The differential equations of motion of the system are established. The definition and the criterion of form invariance of the system are given. The conserved quantity deduced from the form invariance is obtained. Finally, an illustrative example is shown.
文摘According to tectono stratigraphical division principle, different units in Kangguertage Huangshan collision zone, Eastern Tianshan, are divided into order and disorder two types of stratum rock associations, which belong to two kinds of different tectono volcanic activity belts. The collision ororeny and ductile shear zone have a strong space time coupling. Based on the island arc bearing volcanic rock on both sides of the collision zone, time of ore forming and rock forming, characteristics of collision granit, geochemical province, special multistage collision orogeny and intracontinental orogeny basin forming developed features have been found. Gold and copper deposits, with the relation to the collision orogeny, are divided into seven genetic types. The ten metallogenic zones are classified into two kinds of ore forming system of paleo continental margin. Metallogenesis of gold deposits can be classified into five stages. Gold and copper deposits are distributed in belts with the relation to the development of the collision orogeny. The distribution of main large scale copper deposits in the north part of the collision zone and most large middle scale gold deposits in the south part of the collision zone can direct the prospecting for gold and copper deposits. The actual targets are put forward.
文摘The new results of geologic-structural, petrographic and mineralogic-geochemical researches of Mykert-Sanzheevka ore field—the Uda-Vitim mineragenic zone South-West ending of West Transbaikalia are given. Its main ore-controlling structure, represented by losange, consisting of rhombohedral and tetrahedral blocks-duplexes mosaic clusters, which are separated by narrow tectonic sutures, is specified. It is clarified that polycomponent ores clusters are confined with these small-block sutures, made by subvolcanic dykes of shoshonite-latite volcano-plutonic association (233 - 188 million years), apodyke dynamometamorphites (breccias, cataclasite, mylonites) and also mechanometasomatites. Four stages of the dynamometamorphites formation characterized by different species compositions of ore minerals appeared as a result of mechanochemical reactions are determined. A carbonyl model of mineral microaggregates formation with films containing noble metal nanoparticles is proposed. Ore-forming system features of Mykert-Sanzheevka field are considered.
基金Project supported by the National Natural Science Foundation of China under Grant No.10872037the National Natural Science Foundation of Anhui Province under Grant No.070416226.
文摘The form invariance and the Lie symmetry are defined for Hamilton systems.A relation between the form invariance and the Lie symmetry is derived.The Hojman conserved quantity is constructed by using the generators of Lie symmetry.An approach to find Hojman conserved quantities in terms of the form invariance is presented.An example is given to illustrate the application of the results.
基金Supported by the Postdoctoral Scientific Research Developmental Fund of Heilongjiang Province(LBH-Q14024)
文摘Conventional no-till seeders should cut or remove crop straw and residue,when in operation and thus present a number of problems,including high performance requirements for the cutting component,high power consumption,dust raising and interference from intertwined straw.In view of this,in this study,a driving roller dibbling-type no-till seeding and hole-forming(DGR-NT-SHF)system was designed to be capable of penetrating soil and creating holes without requiring any special preparation of the surface covering.The core mechanism of this system consisted of a land wheel-driven driving roller and a duckbill-type roller seeder,which were internally tangent to one another.The rotating roller rolled the straw into a thin layer,and the duckbills extended from the roller and penetrated this thin layer of straw and subsequently formed the holes and planted the seeds.Based on kinematic analysis,a mathematical model was established to depict the relations between the rear angle of the duckbill(α),the front angle of the duckbill(β),the angular velocity of the duckbill-type roller seeder(ω0),the angular velocity of the roller(ω1),and the aperture of the duckbill outlet on the roller(θ).In contrast to a driven roller-type no-till seeding and hole-forming DNR-NT-SHF system,several parameters of the DGR-NT-SHF system were established for planting seeds at a plant spacing that was an integral multiple of 100 mm:the radius of the duckbill-type roller seeder,200 mm;radius of the roller,400 mm;α,23°;andβ,5°.Based on the analysis of the models using the MATLAB Image Processing Module with a relation betweenω1 and the number of outlets on the roller as the constraint,the optimal number of outlets on the roller and theω1/ω0 ratio were determined to be 21 and 4/7,respectively.Kinematic simulation on a digital prototype was performed using computer aided three-dimensional interactive application(CATIA)to observe the motion of the DGR-NT-SHF system,when the duckbills on the duckbill-type roller seeder were open and to determine the locations of the duckbills relative to the outlets.To ensure the duckbills could be successfully opened,the chord length of the outlets was ultimately determined to be 71 mm.The prototype test results showed that the DGR-NT-SHF system met the design requirements and that the operation was straightforward and reliable.In addition,compared to the DNR-NT-SHF system,the DGR-NT-SHF system performed better in penetration and exerted no impact on the duckbills,thus providing an effective technical option for no-till seeding.