Let F be a number field and p be a prime. In the successive approximation theorem, we prove that, for each integer n ≥ 1, finitely many candidates for the Galois group of the nth stage of the p-class tower over F are...Let F be a number field and p be a prime. In the successive approximation theorem, we prove that, for each integer n ≥ 1, finitely many candidates for the Galois group of the nth stage of the p-class tower over F are determined by abelian type invariants of p-class groups C1pE of unramified extensions E/F with degree [E : F] = pn-1. Illustrated by the most extensive numerical results available currently, the transfer kernels (TE, F) of the p-class extensions TE, F : C1pF → C1pE from F to unramified cyclic degree-p extensions E/F are shown to be capable of narrowing down the number of contestants significantly. By determining the isomorphism type of the maximal subgroups S G of all 3-groups G with coclass cc(G) = 1, and establishing a general theorem on the connection between the p-class towers of a number field F and of an unramified abelian p-extension E/F, we are able to provide a theoretical proof of the realization of certain 3-groups S with maximal class by 3-tower groups of dihedral fields E with degree 6, which could not be realized up to now.展开更多
A unified hybrid authentication framework was proposed to provide proactive authentication and re-authentication for media independent handover（MIH）-based multi-wireless access. In addition, a specific protocol dist...A unified hybrid authentication framework was proposed to provide proactive authentication and re-authentication for media independent handover（MIH）-based multi-wireless access. In addition, a specific protocol distributing a hierarchi- cal key after the proactive authentication from key holder to base station has been proposed. The proposed hybrid authenti- cation framework not only performs proaetive authentication with credentials based on Chameleon hashing, which removes the authentication procedures that exchanges messages with a authentication server, but also performs re-authentication with EAP re-authentication protocol（ERP） that distributes the hierarchical key on the basis of the root key generated by the pro- active authentication.展开更多
Let p be a prime and K be a number field with non-trivial p-class group ClpK. A crucial step in identifying the Galois group G∞p of the maximal unramified pro-p extension of K is to determine its two-stage approximat...Let p be a prime and K be a number field with non-trivial p-class group ClpK. A crucial step in identifying the Galois group G∞p of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G2pk, that is the second derived quotient M≃G/Gn. The family τ1K of abelian type invariants of the p-class groups ClpL of all unramified cyclic extensions L/K of degree p is called the index- abelianization data (IPAD) of K. It is able to specify a finite batch of contestants for the second p-class group M of K. In this paper we introduce two different kinds of generalized IPADs for obtaining more sophisticated results. The multi-layered IPAD (τ1Kτ(2)K) includes data on unramified abelian extensions L/K of degree p2 and enables sharper bounds for the order of M in the case Clpk≃(p,p,p), where current im-plementations of the p-group generation algorithm fail to produce explicit contestants for M , due to memory limitations. The iterated IPAD of second order τ(2)K contains information on non-abelian unramified extensions L/K of degree p2, or even p3, and admits the identification of the p-class tower group G for various infinite series of quadratic fields K=Q(√d) with ClpK≃(p,p) possessing a p-class field tower of exact length lpK=3 as a striking novelty.展开更多
Soft independent modeling of class analogy (SIMCA) was successful in classifying a large library of 758 commercially available, non-blended samples of acetate, cotton, polyester, rayon, silk and wool 89% - 98% of the ...Soft independent modeling of class analogy (SIMCA) was successful in classifying a large library of 758 commercially available, non-blended samples of acetate, cotton, polyester, rayon, silk and wool 89% - 98% of the time at the 95% confidence level (p = 0.05 significance level). In the present study, cotton and silk had a 62% and 24% chance, respectively, of being classified with their own group and also with rayon. SIMCA correctly identified a counterfeit “silk” sample as polyester. When coupled with diffuse NIR reflectance spectroscopy and a large sample library, SIMCA shows considerable promise as a quick, non-destructive, multivariate method for fiber identification. A major advantage is simplicity. No sample pretreatment of any kind was required, and no adjust-ments were made for fiber origin, manufacturing process residues, topical finishes, weave pattern, or dye content. Increasing the sample library should make the models more robust and improve identification rates over those reported in this paper.展开更多
Theoretical foundations of a new algorithm for determining the p-capitulation type ù(K) of a number field K with p-class rank ?=2 are presented. Since ù(K) alone is insufficient for identifying the seco...Theoretical foundations of a new algorithm for determining the p-capitulation type ù(K) of a number field K with p-class rank ?=2 are presented. Since ù(K) alone is insufficient for identifying the second p-class group G=Gal(F<sub>p</sub><sup>2</sup>K∣K) of K, complementary techniques are deve- loped for finding the nilpotency class and coclass of . An implementation of the complete algorithm in the computational algebra system Magma is employed for calculating the Artin pattern AP(K)=(τ (K),ù(K)) of all 34631 real quadratic fields K=Q(√d) with discriminants 0d<10<sup>8</sup> and 3-class group of type (3, 3). The results admit extensive statistics of the second 3-class groups G=Gal(F<sub>3</sub><sup>2</sup>K∣K) and the 3-class field tower groups G=Gal(F<sub>3</sub><sup>∞</sup>K∣K).展开更多
The Beurling Ahlfors extension was generalized to improve the bound estimate of a constant about extremal quasiconformal deformations, which is closely related to the extremal quasiconformal mapping theory.
Let_(R)C_(S) be a semidualizing(R,S)-bimodule.Then_(R)C_(S) induces an equivalent between the Auslander class A_(C)(S)and the Bass class B_C(R).Let A and B be free normalizing extensions of R and S respectively.In thi...Let_(R)C_(S) be a semidualizing(R,S)-bimodule.Then_(R)C_(S) induces an equivalent between the Auslander class A_(C)(S)and the Bass class B_C(R).Let A and B be free normalizing extensions of R and S respectively.In this paper,we prove that Hom S(_(B)B_(S),_(R)C_(S))is a semidualizing(A,B)-bimodule under some suitable conditions,and so Hom S(_(B)B_(S),_(R)C_(S))induces an equivalence between the Auslander class AHomS (_(B)B_(S),_(R)C_(S))(B). and the Bass class BHomS (BBS,RCS)(A) Furthermore,under a suitable condition on_(R)C_(S),we develop a generalized Morita theory for Auslander categories.展开更多
新型城市化建设和管理过程中,借助建筑信息模型(building information modeling,BIM)与地理信息系统(geographic information system,GIS)的数据集成,不但能实现建筑物的精细化表达,而且室外信息得以兼顾,实现空间分析及室内外一体化表...新型城市化建设和管理过程中,借助建筑信息模型(building information modeling,BIM)与地理信息系统(geographic information system,GIS)的数据集成,不但能实现建筑物的精细化表达,而且室外信息得以兼顾,实现空间分析及室内外一体化表达。但BIM与GIS两种不同的数据格式无法直接实现数据的互通。为此,首先分析了模型IFC和CityGML在文档形式等方面的差异,并实现了多个简单建筑物IFC模型到CityGML3.0 LOD2、LOD3的转换。其次,针对上述数据集成实验中语义丢失问题,扩展GIS的CityGML3.0数据格式,提出CityGML B-Con扩展模型,完善IFC到CityGML3.0的一对一映射关系。最后,实现多个不同复杂程度建筑物IFC模型到CityGML B-Con扩展模型的转换。实验结果表明,利用CityGML B-Con模型能实现BIM与GIS的数据集成。宏观层面来说,能够增强转换后建筑物外观的细节程度,微观层面而言,BuildingConstructiveElement和BuildingInstallation的子类得以区分,IfcStair、IfcRamp和IfcBeam等建筑构件都能通过一对一映射的方式转换至CityGML中,克服了CityGML原有标准在建筑物构件表达方面的缺陷,有效减少了BIM源数据语义信息的丢失。展开更多
文摘Let F be a number field and p be a prime. In the successive approximation theorem, we prove that, for each integer n ≥ 1, finitely many candidates for the Galois group of the nth stage of the p-class tower over F are determined by abelian type invariants of p-class groups C1pE of unramified extensions E/F with degree [E : F] = pn-1. Illustrated by the most extensive numerical results available currently, the transfer kernels (TE, F) of the p-class extensions TE, F : C1pF → C1pE from F to unramified cyclic degree-p extensions E/F are shown to be capable of narrowing down the number of contestants significantly. By determining the isomorphism type of the maximal subgroups S G of all 3-groups G with coclass cc(G) = 1, and establishing a general theorem on the connection between the p-class towers of a number field F and of an unramified abelian p-extension E/F, we are able to provide a theoretical proof of the realization of certain 3-groups S with maximal class by 3-tower groups of dihedral fields E with degree 6, which could not be realized up to now.
基金The KCC(Korea Communications Commission),Korea,under the R&D program supervised by the KCA(Korea Communi-cations Agency)(KCA-2012-08-911-05-001)
文摘A unified hybrid authentication framework was proposed to provide proactive authentication and re-authentication for media independent handover（MIH）-based multi-wireless access. In addition, a specific protocol distributing a hierarchi- cal key after the proactive authentication from key holder to base station has been proposed. The proposed hybrid authenti- cation framework not only performs proaetive authentication with credentials based on Chameleon hashing, which removes the authentication procedures that exchanges messages with a authentication server, but also performs re-authentication with EAP re-authentication protocol（ERP） that distributes the hierarchical key on the basis of the root key generated by the pro- active authentication.
文摘Let p be a prime and K be a number field with non-trivial p-class group ClpK. A crucial step in identifying the Galois group G∞p of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G2pk, that is the second derived quotient M≃G/Gn. The family τ1K of abelian type invariants of the p-class groups ClpL of all unramified cyclic extensions L/K of degree p is called the index- abelianization data (IPAD) of K. It is able to specify a finite batch of contestants for the second p-class group M of K. In this paper we introduce two different kinds of generalized IPADs for obtaining more sophisticated results. The multi-layered IPAD (τ1Kτ(2)K) includes data on unramified abelian extensions L/K of degree p2 and enables sharper bounds for the order of M in the case Clpk≃(p,p,p), where current im-plementations of the p-group generation algorithm fail to produce explicit contestants for M , due to memory limitations. The iterated IPAD of second order τ(2)K contains information on non-abelian unramified extensions L/K of degree p2, or even p3, and admits the identification of the p-class tower group G for various infinite series of quadratic fields K=Q(√d) with ClpK≃(p,p) possessing a p-class field tower of exact length lpK=3 as a striking novelty.
文摘Soft independent modeling of class analogy (SIMCA) was successful in classifying a large library of 758 commercially available, non-blended samples of acetate, cotton, polyester, rayon, silk and wool 89% - 98% of the time at the 95% confidence level (p = 0.05 significance level). In the present study, cotton and silk had a 62% and 24% chance, respectively, of being classified with their own group and also with rayon. SIMCA correctly identified a counterfeit “silk” sample as polyester. When coupled with diffuse NIR reflectance spectroscopy and a large sample library, SIMCA shows considerable promise as a quick, non-destructive, multivariate method for fiber identification. A major advantage is simplicity. No sample pretreatment of any kind was required, and no adjust-ments were made for fiber origin, manufacturing process residues, topical finishes, weave pattern, or dye content. Increasing the sample library should make the models more robust and improve identification rates over those reported in this paper.
文摘Theoretical foundations of a new algorithm for determining the p-capitulation type ù(K) of a number field K with p-class rank ?=2 are presented. Since ù(K) alone is insufficient for identifying the second p-class group G=Gal(F<sub>p</sub><sup>2</sup>K∣K) of K, complementary techniques are deve- loped for finding the nilpotency class and coclass of . An implementation of the complete algorithm in the computational algebra system Magma is employed for calculating the Artin pattern AP(K)=(τ (K),ù(K)) of all 34631 real quadratic fields K=Q(√d) with discriminants 0d<10<sup>8</sup> and 3-class group of type (3, 3). The results admit extensive statistics of the second 3-class groups G=Gal(F<sub>3</sub><sup>2</sup>K∣K) and the 3-class field tower groups G=Gal(F<sub>3</sub><sup>∞</sup>K∣K).
文摘The Beurling Ahlfors extension was generalized to improve the bound estimate of a constant about extremal quasiconformal deformations, which is closely related to the extremal quasiconformal mapping theory.
基金Supported by the Natural Science Foundation of Anhui Province(Grant No.2008085QA03)。
文摘Let_(R)C_(S) be a semidualizing(R,S)-bimodule.Then_(R)C_(S) induces an equivalent between the Auslander class A_(C)(S)and the Bass class B_C(R).Let A and B be free normalizing extensions of R and S respectively.In this paper,we prove that Hom S(_(B)B_(S),_(R)C_(S))is a semidualizing(A,B)-bimodule under some suitable conditions,and so Hom S(_(B)B_(S),_(R)C_(S))induces an equivalence between the Auslander class AHomS (_(B)B_(S),_(R)C_(S))(B). and the Bass class BHomS (BBS,RCS)(A) Furthermore,under a suitable condition on_(R)C_(S),we develop a generalized Morita theory for Auslander categories.
文摘新型城市化建设和管理过程中,借助建筑信息模型(building information modeling,BIM)与地理信息系统(geographic information system,GIS)的数据集成,不但能实现建筑物的精细化表达,而且室外信息得以兼顾,实现空间分析及室内外一体化表达。但BIM与GIS两种不同的数据格式无法直接实现数据的互通。为此,首先分析了模型IFC和CityGML在文档形式等方面的差异,并实现了多个简单建筑物IFC模型到CityGML3.0 LOD2、LOD3的转换。其次,针对上述数据集成实验中语义丢失问题,扩展GIS的CityGML3.0数据格式,提出CityGML B-Con扩展模型,完善IFC到CityGML3.0的一对一映射关系。最后,实现多个不同复杂程度建筑物IFC模型到CityGML B-Con扩展模型的转换。实验结果表明,利用CityGML B-Con模型能实现BIM与GIS的数据集成。宏观层面来说,能够增强转换后建筑物外观的细节程度,微观层面而言,BuildingConstructiveElement和BuildingInstallation的子类得以区分,IfcStair、IfcRamp和IfcBeam等建筑构件都能通过一对一映射的方式转换至CityGML中,克服了CityGML原有标准在建筑物构件表达方面的缺陷,有效减少了BIM源数据语义信息的丢失。
