Published proof test coverage(PTC)estimates for emergency shutdown valves(ESDVs)show only moderate agreement and are predominantly opinion-based.A Failure Modes,Effects,and Diagnostics Analysis(FMEDA)was undertaken us...Published proof test coverage(PTC)estimates for emergency shutdown valves(ESDVs)show only moderate agreement and are predominantly opinion-based.A Failure Modes,Effects,and Diagnostics Analysis(FMEDA)was undertaken using component failure rate data to predict PTC for a full stroke test and a partial stroke test.Given the subjective and uncertain aspects of the FMEDA approach,specifically the selection of component failure rates and the determination of the probability of detecting failure modes,a Fuzzy Inference System(FIS)was proposed to manage the data,addressing the inherent uncertainties.Fuzzy inference systems have been used previously for various FMEA type assessments,but this is the first time an FIS has been employed for use with FMEDA.ESDV PTC values were generated from both the standard FMEDA and the fuzzy-FMEDA approaches using data provided by FMEDA experts.This work demonstrates that fuzzy inference systems can address the subjectivity inherent in FMEDA data,enabling reliable estimates of ESDV proof test coverage for both full and partial stroke tests.This facilitates optimized maintenance planning while ensuring safety is not compromised.展开更多
This is the fifth paper in a series on Time Dilation Cosmology, TDC. TDC is an eternal holographic model of the universe based on time dilation that ties astrophysics to quantum physics and resolves all the conundrums...This is the fifth paper in a series on Time Dilation Cosmology, TDC. TDC is an eternal holographic model of the universe based on time dilation that ties astrophysics to quantum physics and resolves all the conundrums in astrophysics and serves as a model for the unified field. In the author’s previous four TDC papers, it was demonstrated that all gravitationally induced velocities are compensation for the apparent difference in the rates of time, “dRt”, due to mass/energy densities, and, vice-versa, in all force-induced velocities the dRt is compensation for the velocity, so the uniform evolution of the continuum at c is maintained at the invariant 1 s/s rate of time of the universe as a whole. These compensations make it impossible for an event to lag behind or get ahead of the evolving continuum. When the author did the first velocity formula derivations in “General Relativity: Effects in Time as Causation” [1], the author felt the explanations for the appearance of the 2spatial and the 3temporal acceleration factors in the formulas were correct, but poorly explained and incomplete. This paper is a proof of the temporal and spatial acceleration factors used in the time dilation-based velocity formula derivations in the Time Dilation Cosmology model.展开更多
Non-Interactive Zero-Knowledge(NIZK for short) proofs are fascinating and extremely useful in many security protocols. In this paper,a new group signature scheme,decisional linear assumption group signature(DLAGS for ...Non-Interactive Zero-Knowledge(NIZK for short) proofs are fascinating and extremely useful in many security protocols. In this paper,a new group signature scheme,decisional linear assumption group signature(DLAGS for short) with NIZK proofs is proposed which can prove and sign the multiple values rather than individual bits based on DLIN assumption. DLAGS does not need to interact between the verifier and issuer,which can decrease the communication times and storage cost compared with the existing interactive group signature schemes. We prove and sign the blocks of messages instead of limiting the proved message to only one bit(0 or 1) in the conventional non-interactive zero-knowledge proof system,and we also prove that our scheme satisfy the property of anonymity,unlinkability and traceability. Finally,our scheme is compared with the other scheme(Benoitt's scheme) which is also based on the NIZK proofs system and the DLIN assumption,and the results show that our scheme requires fewer members of groups and computational times.展开更多
电影歌曲作为整部电影的有机组成部分,其重要性不可小觑,一首好的歌曲能达到锦上添花的观影效果。目前国内对电影歌词的研究,大多集中在音乐学、美学、文学等语言学之外的领域,从功能语言学的角度对电影歌曲的解读尚且不多。本文拟以系...电影歌曲作为整部电影的有机组成部分,其重要性不可小觑,一首好的歌曲能达到锦上添花的观影效果。目前国内对电影歌词的研究,大多集中在音乐学、美学、文学等语言学之外的领域,从功能语言学的角度对电影歌曲的解读尚且不多。本文拟以系统功能语法理论为指导,从语境、经验功能、人际功能着手解析电影《相助》片尾曲《The Living Proof》,以期丰富系统功能语法的研究内容,为电影歌词的分析提供新的视角,帮助观影者深度理解影片主题。展开更多
Environmental health incidents have occurred frequently in recent years;in China,however,litigation has not been effective in protecting the rights and interests of victims due to their heavy burden of proof.In order ...Environmental health incidents have occurred frequently in recent years;in China,however,litigation has not been effective in protecting the rights and interests of victims due to their heavy burden of proof.In order to mitigate the burden of proof for victims,the environmental judicature in China introduced the rule of inversion of burden of proof;this means that the victim only assumes the preliminary burden of proof,but in practice it has not been sufficient.Victims in environmental health litigation still face many difficulties in proving causality.Based on the statistical analysis of judicial big data,this paper demonstrates three dilemmas faced by victims.First,the preliminary burden of proof of causality has a high standard.Second,the victim's ability to produce evidence is low.Third,the casual relationship between pollution behaviors and health damage is difficult to identify.When examining the possible legal instruments,there are three aspects to the causes of these dilemmas:theory,judicial practice,and society.The theoretical aspect manifests as the differences between the rule of inversion of burden of proof and the presumption of causality;the practical aspect manifests as the lack of an identification system for personal injury;and the social aspect manifests as the victim's lack of economic,scientific,technological,and information resources,as well as the absence of assistance from government sectors and social organizations.Combining Chinese law with judicial practice,this paper proposes a solution to the dilemma of victims needing to prove causality in environmental health litigation.On the basis of clarifying the theoretical differences between the inversion of burden of proof and the presumption of causality,China should adhere to the rule of inversion of burden of proof,establish an identification system for personal injuries caused by environmental pollution,and use methods such as epidemiological causality,indirect counterevidence,and prima facie bewies.Furthermore,the full functions of the government and social organizations must be brought into play.This will not only help victims demonstrate causality,it can also help victims achieve equitable relief.展开更多
The differences among the extended Canetti ＆ Krawezyk 2007 model （ECK2007） and other four models, i.e., the Bellare ＆ Rogaway （1993, 1995）models （BR93,BR95）, the Bellare, Pointcheval ＆ Rogaway （2000） model ...The differences among the extended Canetti ＆ Krawezyk 2007 model （ECK2007） and other four models, i.e., the Bellare ＆ Rogaway （1993, 1995）models （BR93,BR95）, the Bellare, Pointcheval ＆ Rogaway （2000） model （BPR2000） and the Canetti ＆ Krawczyk （2001） model （CK2001） are given. The relative strength of security among these models is analyzed. To support the implication or non-implication relation among these models, the formal proof or the counter-example is provided.展开更多
In this paper we point out that the proofs of Chain Rule in many intensively used textbooks are not strict an construct anexa mple of a composite function f(u) which is differentiable with respects t o the independe...In this paper we point out that the proofs of Chain Rule in many intensively used textbooks are not strict an construct anexa mple of a composite function f(u) which is differentiable with respects t o the independednt variable u, but is not differentiable with respect to the dependent variable u=g(x). A strict proof of Chain Rule is presented. Incon sistency of the form and content of Chain Rule is disclosed.展开更多
The effect of Ce on ignition point of AZ91D magnesium alloy chips was studied. For the AZ91D and the AZ91D-xCe magnesium alloys, changing the sizes of the chips in the range of 58 - 270 μm has a limited influence on ...The effect of Ce on ignition point of AZ91D magnesium alloy chips was studied. For the AZ91D and the AZ91D-xCe magnesium alloys, changing the sizes of the chips in the range of 58 - 270 μm has a limited influence on ignition point, however, the shift of the content of Ce has much effect on ignition point. Increasing the Ce content, x from 0.15 to 0.25, the ignition point increases with increasing of Ce; however, x from 0.25 to 0.45, the ignition point decreases with increasing of Ce. By the addition of Ce of 0.25 %. the ignition point is raised by 43℃.展开更多
Good ignition-proof principle and mechanical properties were realized in Mg-Y-Ca-Zr alloy system.By adding Y and Ca elements,the ignition point of Mg-3.5Y-0.8Ca alloy was improved to over 1173 K,and the alloy could be...Good ignition-proof principle and mechanical properties were realized in Mg-Y-Ca-Zr alloy system.By adding Y and Ca elements,the ignition point of Mg-3.5Y-0.8Ca alloy was improved to over 1173 K,and the alloy could be melted in air without any protections.The ef-fect of Zr addition on the microstructures and mechanical properties of Mg-3.5Y-0.8Ca alloys were investigated,and Mg-3.5%Y-0.8%Ca-0.4%Zr alloy had good comprehensive properties with tensile strength of 190 MPa and elongation of 11%.Auger electron spectros-copy(AES)and X-ray diffraction(XRD)analysis revealed that the oxide film formed on the surface of Mg-3.5Y-0.8Ca alloy was mainly composed of Y2O3.Thermogravimetric measurements in dry air indicated that the oxidation dynamics curves measured at 773,873 and 973 K followed the cubic law.Moreover,the semiconductor characteristic of Y2O3 film and its effect on ignition-proof properties of Magnesium al-loys were discussed from the viewpoint of electrochemistry.展开更多
The surface segregation of La and its effect on the oxygen adsorption on a Mg （0001） surface for a coverage 0=-0.25 monolayer were performed by using first-principles calculations. The calculated results showed that...The surface segregation of La and its effect on the oxygen adsorption on a Mg （0001） surface for a coverage 0=-0.25 monolayer were performed by using first-principles calculations. The calculated results showed that La atoms preferred occupying surface sites to the bulk sites, which suggested the La surface segregation. When oxygen atoms adsorbed on a pure or La alloyed Mg （0001） surface, certain amount of heat would release, and La alloying made the heat released less, which might increase the ignition point of Mg alloy. Both Mg and La had strong atomic affinity with oxygen, so the oxidation film of Mg-La alloys consisted of MgO, La2O3. The denser La2O3 turned oxide film into free and close structure, and prevented oxygen from passing through the oxidation film. The La-O covalent bonding could explain why La2O3 was compact, and resulted in good ignition-proof of Mg-La alloys.展开更多
A Mg-Y-Ca-Ce magnesium alloy was optimized for high ignition-proof property, which did not bum in air at 1233 K up to 30 min. Oxidation behavior of the alloy was investigated by X-ray diffraction （XRD）, scanning ele...A Mg-Y-Ca-Ce magnesium alloy was optimized for high ignition-proof property, which did not bum in air at 1233 K up to 30 min. Oxidation behavior of the alloy was investigated by X-ray diffraction （XRD）, scanning electron microscopy （SEM）, and thermodynamics calculation at 673, 773 and 873 K. XRD and SEM analysis indicated that dense and compact oxide films composed of MgO, Y203 and CaO formed. The oxidation behavior was characterized by the selective oxidation. Based on Pilling-Bedworth ra- tio （PBR） and energy dispersive spectrometer （EDS） analysis, Y203 contributed more to form the compact surface oxide film, which led to the excellent ignition-proof performance. The thermodynamics analysis and EDS results implied that the Y-rich areas were preferred paths for the selective oxidation.展开更多
The magnesium alloy is prone to burn during die-casting, which limits its applications severely, so the effect of adding rare earth （RE） on the ignition-proof of AZ91D Mg alloy is studied. The results indicate that ...The magnesium alloy is prone to burn during die-casting, which limits its applications severely, so the effect of adding rare earth （RE） on the ignition-proof of AZ91D Mg alloy is studied. The results indicate that the addition of mischmetal RE elements has a remarkable influence on the ignition-proof property of the magnesium alloy. It is found that the ignition temperature of the magnesium alloy can be greatly raised by adding a proper amount of RE. When the amount is 0.1wt%, the ignition temperature reaches 877℃ which is 206℃ higher than that of AZ91D without RE and the mechanical properties of the alloy are also improved, However, the amount of RE must be properly controlled because too much RE would induce grain coarsening and reduce the mechanical properties.展开更多
Riemann hypothesis (RH) is a difficult problem. So far one doesn’t know how to go about it. Studying ζ and using analysis method likely are two incor-rect guides. Actually, a unique hope may study Riemann function &...Riemann hypothesis (RH) is a difficult problem. So far one doesn’t know how to go about it. Studying ζ and using analysis method likely are two incor-rect guides. Actually, a unique hope may study Riemann function <img alt="" src="Edit_8fcdfff5-6b95-42a4-8f47-2cabe2723dfc.bmp" />, <img alt="" src="Edit_6ce3a4bd-4c68-49e5-aabe-dec3e904e282.bmp" />, <img alt="" src="Edit_29ea252e-a81e-4b21-a41c-09209c780bb2.bmp" /> by geometric analysis, which has the symmetry: v=0 if β=0, and basic expression <img alt="" src="Edit_bc7a883f-312d-44fd-bcdd-00f25c92f80a.bmp" />. We show that |u| is single peak in each root-interval <img alt="" src="Edit_d7ca54c7-4866-4419-a4bd-cbb808b365af.bmp" /> of u for fixed β ∈(0,1/2]. Using the slope u<sub>t</sub>, we prove that v has opposite signs at two end-points of I<sub>j</sub>. There surely exists an inner point such that , so {|u|,|v|/β} form a local peak-valley structure, and have positive lower bound <img alt="" src="Edit_bac1a5f6-673e-49b6-892c-5adff0141376.bmp" /> in I<sub>j</sub>. Because each t must lie in some I<sub>j</sub>, then ||ξ|| > 0 is valid for any t (i.e. RH is true). Using the positivity <img alt="" src="Edit_83c3d2cf-aa7e-4aba-89f5-0eb44659918a.bmp" /> of Lagarias (1999), we show the strict monotone <img alt="" src="Edit_87eb4e9e-bc7b-43e3-b316-5dcf0efaf0d5.bmp" /> for β > β<sub>0</sub> ≥ 0 , and the peak-valley structure is equiva-lent to RH, which may be the geometric model expected by Bombieri (2000). This research follows Liuhui’s methodology: “Computing can detect the un-known and method”.展开更多
Nowadays, multi-functional materials are desperately required for adapting the complex environment, which urges us to take more factors into consideration. Here, we proposed a broadband microwave absorber with multi-f...Nowadays, multi-functional materials are desperately required for adapting the complex environment, which urges us to take more factors into consideration. Here, we proposed a broadband microwave absorber with multi-functionality such as optically transparent, thermal insulating and soundproof properties. Using indium tin oxide(ITO) based metamaterial, the device can achieve above 90% microwave absorption from 5.6 GHz to 23 GHz(cover X and Ku band). Moreover, with designed vacuum structure inside, the device is thermal insulating and soundproof. These multi-functional advantages give the absorber more flexibility in electromagnetic shielding and stealth application, which can be potentially applied in windows related industry.展开更多
Provable security has become a popular approach for analyzing the security of cryptographic protocols.However,writing and verifying proofs by hand are prone to errors.This paper advocates the automatic security proof ...Provable security has become a popular approach for analyzing the security of cryptographic protocols.However,writing and verifying proofs by hand are prone to errors.This paper advocates the automatic security proof framework with sequences of games.We make slight modifications to Blanchet's calculus to make it easy for parsing the initial game.The main contribution of this work is that it introduces algebraic properties with observational equivalences to automatic security proofs,and thus can deal with some practical cryptographic schemes with hard problems.We illustrate the use of algebraic properties in the framework by proving the semantic security of the ElGamal encryption scheme.展开更多
This study focused on the synergistic effect of alloying elements neodymium(Nd) and dysprosium(Dy) on the ignition-proof performance of AZ91D alloy. The ignition-proof mechanism of AZ91D-3 Nd-x Dy(x = 0.5, 1.0, 1.5, 2...This study focused on the synergistic effect of alloying elements neodymium(Nd) and dysprosium(Dy) on the ignition-proof performance of AZ91D alloy. The ignition-proof mechanism of AZ91D-3 Nd-x Dy(x = 0.5, 1.0, 1.5, 2.0 and 2.5 wt.%) alloy was discussed in depth through ignition-proof testing and microstructure observation. The results showed that the AZ91D-3 Nd-2 Dy alloy exhibited the highest ignition-point of 893 K, increased by 69 K as compared to the AZ91D alloy. The ignition-proof mechanism of Nd and Dy additions lay in three aspects:(1) the formation of denser oxide film consisting of Dy_2O_3 and MgO improves the oxidation resistance of the alloy,(2) the great reduction of the low melting-point phase β-Mg_(17)Al_(12), which leads to the decrease in the oxygen diffusion channels, and(3) the newly formed high melting-point phases(Al_2Nd and Al_2Dy), which block the oxygen diffusion channels and prevent the chemical reaction of Mg and oxygen.展开更多
文摘Published proof test coverage(PTC)estimates for emergency shutdown valves(ESDVs)show only moderate agreement and are predominantly opinion-based.A Failure Modes,Effects,and Diagnostics Analysis(FMEDA)was undertaken using component failure rate data to predict PTC for a full stroke test and a partial stroke test.Given the subjective and uncertain aspects of the FMEDA approach,specifically the selection of component failure rates and the determination of the probability of detecting failure modes,a Fuzzy Inference System(FIS)was proposed to manage the data,addressing the inherent uncertainties.Fuzzy inference systems have been used previously for various FMEA type assessments,but this is the first time an FIS has been employed for use with FMEDA.ESDV PTC values were generated from both the standard FMEDA and the fuzzy-FMEDA approaches using data provided by FMEDA experts.This work demonstrates that fuzzy inference systems can address the subjectivity inherent in FMEDA data,enabling reliable estimates of ESDV proof test coverage for both full and partial stroke tests.This facilitates optimized maintenance planning while ensuring safety is not compromised.
文摘This is the fifth paper in a series on Time Dilation Cosmology, TDC. TDC is an eternal holographic model of the universe based on time dilation that ties astrophysics to quantum physics and resolves all the conundrums in astrophysics and serves as a model for the unified field. In the author’s previous four TDC papers, it was demonstrated that all gravitationally induced velocities are compensation for the apparent difference in the rates of time, “dRt”, due to mass/energy densities, and, vice-versa, in all force-induced velocities the dRt is compensation for the velocity, so the uniform evolution of the continuum at c is maintained at the invariant 1 s/s rate of time of the universe as a whole. These compensations make it impossible for an event to lag behind or get ahead of the evolving continuum. When the author did the first velocity formula derivations in “General Relativity: Effects in Time as Causation” [1], the author felt the explanations for the appearance of the 2spatial and the 3temporal acceleration factors in the formulas were correct, but poorly explained and incomplete. This paper is a proof of the temporal and spatial acceleration factors used in the time dilation-based velocity formula derivations in the Time Dilation Cosmology model.
基金supported by the National High-Tech Research and Development Plan of China under Grant Nos.863-317-01- 04-99, 2009AA01Z122 (863)the Natural Science Foundation of Shenyang City of China under Grant No. F10-205-1-12
文摘Non-Interactive Zero-Knowledge(NIZK for short) proofs are fascinating and extremely useful in many security protocols. In this paper,a new group signature scheme,decisional linear assumption group signature(DLAGS for short) with NIZK proofs is proposed which can prove and sign the multiple values rather than individual bits based on DLIN assumption. DLAGS does not need to interact between the verifier and issuer,which can decrease the communication times and storage cost compared with the existing interactive group signature schemes. We prove and sign the blocks of messages instead of limiting the proved message to only one bit(0 or 1) in the conventional non-interactive zero-knowledge proof system,and we also prove that our scheme satisfy the property of anonymity,unlinkability and traceability. Finally,our scheme is compared with the other scheme(Benoitt's scheme) which is also based on the NIZK proofs system and the DLIN assumption,and the results show that our scheme requires fewer members of groups and computational times.
文摘电影歌曲作为整部电影的有机组成部分,其重要性不可小觑,一首好的歌曲能达到锦上添花的观影效果。目前国内对电影歌词的研究,大多集中在音乐学、美学、文学等语言学之外的领域,从功能语言学的角度对电影歌曲的解读尚且不多。本文拟以系统功能语法理论为指导,从语境、经验功能、人际功能着手解析电影《相助》片尾曲《The Living Proof》,以期丰富系统功能语法的研究内容,为电影歌词的分析提供新的视角,帮助观影者深度理解影片主题。
文摘Environmental health incidents have occurred frequently in recent years;in China,however,litigation has not been effective in protecting the rights and interests of victims due to their heavy burden of proof.In order to mitigate the burden of proof for victims,the environmental judicature in China introduced the rule of inversion of burden of proof;this means that the victim only assumes the preliminary burden of proof,but in practice it has not been sufficient.Victims in environmental health litigation still face many difficulties in proving causality.Based on the statistical analysis of judicial big data,this paper demonstrates three dilemmas faced by victims.First,the preliminary burden of proof of causality has a high standard.Second,the victim's ability to produce evidence is low.Third,the casual relationship between pollution behaviors and health damage is difficult to identify.When examining the possible legal instruments,there are three aspects to the causes of these dilemmas:theory,judicial practice,and society.The theoretical aspect manifests as the differences between the rule of inversion of burden of proof and the presumption of causality;the practical aspect manifests as the lack of an identification system for personal injury;and the social aspect manifests as the victim's lack of economic,scientific,technological,and information resources,as well as the absence of assistance from government sectors and social organizations.Combining Chinese law with judicial practice,this paper proposes a solution to the dilemma of victims needing to prove causality in environmental health litigation.On the basis of clarifying the theoretical differences between the inversion of burden of proof and the presumption of causality,China should adhere to the rule of inversion of burden of proof,establish an identification system for personal injuries caused by environmental pollution,and use methods such as epidemiological causality,indirect counterevidence,and prima facie bewies.Furthermore,the full functions of the government and social organizations must be brought into play.This will not only help victims demonstrate causality,it can also help victims achieve equitable relief.
文摘The differences among the extended Canetti ＆ Krawezyk 2007 model （ECK2007） and other four models, i.e., the Bellare ＆ Rogaway （1993, 1995）models （BR93,BR95）, the Bellare, Pointcheval ＆ Rogaway （2000） model （BPR2000） and the Canetti ＆ Krawczyk （2001） model （CK2001） are given. The relative strength of security among these models is analyzed. To support the implication or non-implication relation among these models, the formal proof or the counter-example is provided.
文摘In this paper we point out that the proofs of Chain Rule in many intensively used textbooks are not strict an construct anexa mple of a composite function f(u) which is differentiable with respects t o the independednt variable u, but is not differentiable with respect to the dependent variable u=g(x). A strict proof of Chain Rule is presented. Incon sistency of the form and content of Chain Rule is disclosed.
文摘The effect of Ce on ignition point of AZ91D magnesium alloy chips was studied. For the AZ91D and the AZ91D-xCe magnesium alloys, changing the sizes of the chips in the range of 58 - 270 μm has a limited influence on ignition point, however, the shift of the content of Ce has much effect on ignition point. Increasing the Ce content, x from 0.15 to 0.25, the ignition point increases with increasing of Ce; however, x from 0.25 to 0.45, the ignition point decreases with increasing of Ce. By the addition of Ce of 0.25 %. the ignition point is raised by 43℃.
基金Project supported by the National Natural Science Foundation of China(50901048,51174143)the fund of the State Key Laboratory of Solidification Processing in NWPU(SKLSP201003)+1 种基金Program for Changjiang Scholar and Innovative Research Team in University(IRT0972)Program for the Top Young Academic Leaders of Higher Learning Institutions of Shanxi and Natural Science Foundation of Shanxi(2010021022-5)
文摘Good ignition-proof principle and mechanical properties were realized in Mg-Y-Ca-Zr alloy system.By adding Y and Ca elements,the ignition point of Mg-3.5Y-0.8Ca alloy was improved to over 1173 K,and the alloy could be melted in air without any protections.The ef-fect of Zr addition on the microstructures and mechanical properties of Mg-3.5Y-0.8Ca alloys were investigated,and Mg-3.5%Y-0.8%Ca-0.4%Zr alloy had good comprehensive properties with tensile strength of 190 MPa and elongation of 11%.Auger electron spectros-copy(AES)and X-ray diffraction(XRD)analysis revealed that the oxide film formed on the surface of Mg-3.5Y-0.8Ca alloy was mainly composed of Y2O3.Thermogravimetric measurements in dry air indicated that the oxidation dynamics curves measured at 773,873 and 973 K followed the cubic law.Moreover,the semiconductor characteristic of Y2O3 film and its effect on ignition-proof properties of Magnesium al-loys were discussed from the viewpoint of electrochemistry.
基金National Natural Science Foundation of China(50671069)Natural Science Foundation of Liaoning Province(20102173)the Experimental Central Director’s Foundation of Shenyang Normal University(Sy201103)
文摘The surface segregation of La and its effect on the oxygen adsorption on a Mg （0001） surface for a coverage 0=-0.25 monolayer were performed by using first-principles calculations. The calculated results showed that La atoms preferred occupying surface sites to the bulk sites, which suggested the La surface segregation. When oxygen atoms adsorbed on a pure or La alloyed Mg （0001） surface, certain amount of heat would release, and La alloying made the heat released less, which might increase the ignition point of Mg alloy. Both Mg and La had strong atomic affinity with oxygen, so the oxidation film of Mg-La alloys consisted of MgO, La2O3. The denser La2O3 turned oxide film into free and close structure, and prevented oxygen from passing through the oxidation film. The La-O covalent bonding could explain why La2O3 was compact, and resulted in good ignition-proof of Mg-La alloys.
基金Project supported by the National Key Technology R&D Program(2011BAE22B06)National Natural Science Foundation of China(51101100)
文摘A Mg-Y-Ca-Ce magnesium alloy was optimized for high ignition-proof property, which did not bum in air at 1233 K up to 30 min. Oxidation behavior of the alloy was investigated by X-ray diffraction （XRD）, scanning electron microscopy （SEM）, and thermodynamics calculation at 673, 773 and 873 K. XRD and SEM analysis indicated that dense and compact oxide films composed of MgO, Y203 and CaO formed. The oxidation behavior was characterized by the selective oxidation. Based on Pilling-Bedworth ra- tio （PBR） and energy dispersive spectrometer （EDS） analysis, Y203 contributed more to form the compact surface oxide film, which led to the excellent ignition-proof performance. The thermodynamics analysis and EDS results implied that the Y-rich areas were preferred paths for the selective oxidation.
文摘The magnesium alloy is prone to burn during die-casting, which limits its applications severely, so the effect of adding rare earth （RE） on the ignition-proof of AZ91D Mg alloy is studied. The results indicate that the addition of mischmetal RE elements has a remarkable influence on the ignition-proof property of the magnesium alloy. It is found that the ignition temperature of the magnesium alloy can be greatly raised by adding a proper amount of RE. When the amount is 0.1wt%, the ignition temperature reaches 877℃ which is 206℃ higher than that of AZ91D without RE and the mechanical properties of the alloy are also improved, However, the amount of RE must be properly controlled because too much RE would induce grain coarsening and reduce the mechanical properties.
文摘Riemann hypothesis (RH) is a difficult problem. So far one doesn’t know how to go about it. Studying ζ and using analysis method likely are two incor-rect guides. Actually, a unique hope may study Riemann function <img alt="" src="Edit_8fcdfff5-6b95-42a4-8f47-2cabe2723dfc.bmp" />, <img alt="" src="Edit_6ce3a4bd-4c68-49e5-aabe-dec3e904e282.bmp" />, <img alt="" src="Edit_29ea252e-a81e-4b21-a41c-09209c780bb2.bmp" /> by geometric analysis, which has the symmetry: v=0 if β=0, and basic expression <img alt="" src="Edit_bc7a883f-312d-44fd-bcdd-00f25c92f80a.bmp" />. We show that |u| is single peak in each root-interval <img alt="" src="Edit_d7ca54c7-4866-4419-a4bd-cbb808b365af.bmp" /> of u for fixed β ∈(0,1/2]. Using the slope u<sub>t</sub>, we prove that v has opposite signs at two end-points of I<sub>j</sub>. There surely exists an inner point such that , so {|u|,|v|/β} form a local peak-valley structure, and have positive lower bound <img alt="" src="Edit_bac1a5f6-673e-49b6-892c-5adff0141376.bmp" /> in I<sub>j</sub>. Because each t must lie in some I<sub>j</sub>, then ||ξ|| > 0 is valid for any t (i.e. RH is true). Using the positivity <img alt="" src="Edit_83c3d2cf-aa7e-4aba-89f5-0eb44659918a.bmp" /> of Lagarias (1999), we show the strict monotone <img alt="" src="Edit_87eb4e9e-bc7b-43e3-b316-5dcf0efaf0d5.bmp" /> for β > β<sub>0</sub> ≥ 0 , and the peak-valley structure is equiva-lent to RH, which may be the geometric model expected by Bombieri (2000). This research follows Liuhui’s methodology: “Computing can detect the un-known and method”.
基金This work has been supported by the Open Research Funding from Key Laboratory of Infrared Imaging Materials and Detectors(Shanghai Institute of Technical Physics,Chinese Academy of Sciences)。
文摘Nowadays, multi-functional materials are desperately required for adapting the complex environment, which urges us to take more factors into consideration. Here, we proposed a broadband microwave absorber with multi-functionality such as optically transparent, thermal insulating and soundproof properties. Using indium tin oxide(ITO) based metamaterial, the device can achieve above 90% microwave absorption from 5.6 GHz to 23 GHz(cover X and Ku band). Moreover, with designed vacuum structure inside, the device is thermal insulating and soundproof. These multi-functional advantages give the absorber more flexibility in electromagnetic shielding and stealth application, which can be potentially applied in windows related industry.
基金National High Technical Research and Development Program of China(863 program)under Grant No. 2007AA01Z471
文摘Provable security has become a popular approach for analyzing the security of cryptographic protocols.However,writing and verifying proofs by hand are prone to errors.This paper advocates the automatic security proof framework with sequences of games.We make slight modifications to Blanchet's calculus to make it easy for parsing the initial game.The main contribution of this work is that it introduces algebraic properties with observational equivalences to automatic security proofs,and thus can deal with some practical cryptographic schemes with hard problems.We illustrate the use of algebraic properties in the framework by proving the semantic security of the ElGamal encryption scheme.
文摘This study focused on the synergistic effect of alloying elements neodymium(Nd) and dysprosium(Dy) on the ignition-proof performance of AZ91D alloy. The ignition-proof mechanism of AZ91D-3 Nd-x Dy(x = 0.5, 1.0, 1.5, 2.0 and 2.5 wt.%) alloy was discussed in depth through ignition-proof testing and microstructure observation. The results showed that the AZ91D-3 Nd-2 Dy alloy exhibited the highest ignition-point of 893 K, increased by 69 K as compared to the AZ91D alloy. The ignition-proof mechanism of Nd and Dy additions lay in three aspects:(1) the formation of denser oxide film consisting of Dy_2O_3 and MgO improves the oxidation resistance of the alloy,(2) the great reduction of the low melting-point phase β-Mg_(17)Al_(12), which leads to the decrease in the oxygen diffusion channels, and(3) the newly formed high melting-point phases(Al_2Nd and Al_2Dy), which block the oxygen diffusion channels and prevent the chemical reaction of Mg and oxygen.
