A formal synthesis of the natural growth promoting steroid brassinolide is described,which involves construction of side chain by 1,3-sulfoxide-hydroxyl transposition with methylation from(24S)- 22-E-24-sulfoxide 6 an...A formal synthesis of the natural growth promoting steroid brassinolide is described,which involves construction of side chain by 1,3-sulfoxide-hydroxyl transposition with methylation from(24S)- 22-E-24-sulfoxide 6 and(24R)-22-E-24-sulfoxide 9,respectively to (22S)-23-E-24-methyl compound 4.展开更多
A bound state formalism derived from a fermion-boson symmetric Lagrangian has been used to calculate the nucleon masses, the charge neutrality of the neutron, the magnetic moments and the electromagnetic form factor r...A bound state formalism derived from a fermion-boson symmetric Lagrangian has been used to calculate the nucleon masses, the charge neutrality of the neutron, the magnetic moments and the electromagnetic form factor ratios μpGEp/GMpand μnGEn/GMn. A quantitative description is obtained, assuming a mixing of a scalar bound state of 3(f f¯)fstructure with its corresponding vector (f f¯)fstate (f indicating massless elementary fermions). Only a few parameters are needed, mainly fixed by energy and momentum conservation. The nucleon stability is explained by an extra binding in the confinement potential, negative for electric and positive for magnetic binding of the proton, and opposite for the neutron. The stronger electric extra binding of the proton allows a decay of the neutron to proton and electron.展开更多
With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal speci...With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal specification and model finding techniques.In this paper,we pay more attention to formal specifications of network information,i.e.,exploring principles and algorithm to map network information(topology,devices and status,etc.) to Alloy specifications.We first model network information in relational form,which is easy to realize because of the structured feature of network information in nature.Then we map the relational data to Alloy specifications according to our novel data mapping principles and algorithm.Based on the transition of relational data,it is possible to automatically map network information to Alloy specifications.We evaluate our data mapping principles and algorithm by applying them to a practical application scenario.The results illustrate that we can find a model for the task within a tolerant time interval,which implies that our novel approach can convert relational data to Alloy specifications correctly and efficiently.展开更多
文摘A formal synthesis of the natural growth promoting steroid brassinolide is described,which involves construction of side chain by 1,3-sulfoxide-hydroxyl transposition with methylation from(24S)- 22-E-24-sulfoxide 6 and(24R)-22-E-24-sulfoxide 9,respectively to (22S)-23-E-24-methyl compound 4.
文摘A bound state formalism derived from a fermion-boson symmetric Lagrangian has been used to calculate the nucleon masses, the charge neutrality of the neutron, the magnetic moments and the electromagnetic form factor ratios μpGEp/GMpand μnGEn/GMn. A quantitative description is obtained, assuming a mixing of a scalar bound state of 3(f f¯)fstructure with its corresponding vector (f f¯)fstate (f indicating massless elementary fermions). Only a few parameters are needed, mainly fixed by energy and momentum conservation. The nucleon stability is explained by an extra binding in the confinement potential, negative for electric and positive for magnetic binding of the proton, and opposite for the neutron. The stronger electric extra binding of the proton allows a decay of the neutron to proton and electron.
基金supported by the National Science Foundation for Distinguished Young Scholars of China under Grant No.61225012 and No.71325002the Specialized Research Fund of the Doctoral Program of Higher Education for the Priority Development Areas under Grant No.20120042130003the Liaoning BaiQianWan Talents Program under Grant No.2013921068
文摘With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal specification and model finding techniques.In this paper,we pay more attention to formal specifications of network information,i.e.,exploring principles and algorithm to map network information(topology,devices and status,etc.) to Alloy specifications.We first model network information in relational form,which is easy to realize because of the structured feature of network information in nature.Then we map the relational data to Alloy specifications according to our novel data mapping principles and algorithm.Based on the transition of relational data,it is possible to automatically map network information to Alloy specifications.We evaluate our data mapping principles and algorithm by applying them to a practical application scenario.The results illustrate that we can find a model for the task within a tolerant time interval,which implies that our novel approach can convert relational data to Alloy specifications correctly and efficiently.
