In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
Revealing the factors that affect the vibrational frequency of Stark probe at interface is a pre-requirement for evaluating the absolute interfacial electric field.Here using surface-enhanced infrared absorption(SEIRA...Revealing the factors that affect the vibrational frequency of Stark probe at interface is a pre-requirement for evaluating the absolute interfacial electric field.Here using surface-enhanced infrared absorption(SEIRA)spectroscopy,attenuated total reflection(ATR)spectroscopy and molecular dynamics(MD),we reveal the assembled C≡N at gold nanofilm exhibits a reduced Stark tuning rate(STR)referring to the vibrational frequency shift in response to electric field comparing with the bulk which was regulated by the electron transfer between S and Au.These findings lead to a deeper understanding of the vibrational Stark effect at the interface and provide guidance for improving the interface electric field theory.展开更多
Tribocorrosion readily removes the protective corrosion product,creates new reactive corrosion sites and thus accelerates material loss in metallic materials.This is evidenced by a pronounced or gradual decline in ope...Tribocorrosion readily removes the protective corrosion product,creates new reactive corrosion sites and thus accelerates material loss in metallic materials.This is evidenced by a pronounced or gradual decline in open circuit potential(OCP)during tribocorrosion assessments.Here we report that grain refinement can not only enhance wear resistance in dry conditions,but also induce an anomalously stable OCP variation and fortify tribocorrosion resistance in ultrahigh-purity magnesium during tribocorrosion.The tribocorrosion tests revealed that the fine-grained Mg(FG-Mg)sample exhibited a wear rate(4.56×10^(−4) mm^(3)/(N m))approximately half that of the coarse-grained Mg(CG-Mg)sample(7.87×10^(−4) mm^(3)/(N m)).CG-Mg showed a gradual OCP decrease,associated with a thin,unprotective tribocorrosion layer,even thinner than that resulting from dry sliding.Conversely,FG-Mg exhibited stable OCP evolution and quasi-linear tribocorrosion kinetics over time,attributed to a thick,protective tribocorrosion layer.Transmission electron microscopy data suggest that high-diffusivity pathways for oxygen along grain boundaries at the early tribocorrosion stages facilitate the formation of a continuous,protective MgO layer and an adjacent oxidized layer with a depth-dependent oxygen content gradient,enhancing tribocorrosion resistance in FG-Mg.Our findings offer valuable insights for strategically tailoring tribocorrosion resistance by modulating the OCP variation of highly active metals and alloys.展开更多
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金The National Key R&D Program of China(No.2022YFE0113000)the National Science Fund for Distinguished Young Scholars(No.22025406)+1 种基金the National Natural Science Foundation of China(Nos.22074138,12174457)the Youth Innovation Promotion Association of CAS(No.2020233)for financial support。
文摘Revealing the factors that affect the vibrational frequency of Stark probe at interface is a pre-requirement for evaluating the absolute interfacial electric field.Here using surface-enhanced infrared absorption(SEIRA)spectroscopy,attenuated total reflection(ATR)spectroscopy and molecular dynamics(MD),we reveal the assembled C≡N at gold nanofilm exhibits a reduced Stark tuning rate(STR)referring to the vibrational frequency shift in response to electric field comparing with the bulk which was regulated by the electron transfer between S and Au.These findings lead to a deeper understanding of the vibrational Stark effect at the interface and provide guidance for improving the interface electric field theory.
基金financially supported by the National Natu-ral Science Foundation of China(Nos.92366201 and 52371068)Natural Science Foundation of Jiangsu Province(No.BK20220965)the Fundamental Research Funds for the Central Universities(No.30923010911).
文摘Tribocorrosion readily removes the protective corrosion product,creates new reactive corrosion sites and thus accelerates material loss in metallic materials.This is evidenced by a pronounced or gradual decline in open circuit potential(OCP)during tribocorrosion assessments.Here we report that grain refinement can not only enhance wear resistance in dry conditions,but also induce an anomalously stable OCP variation and fortify tribocorrosion resistance in ultrahigh-purity magnesium during tribocorrosion.The tribocorrosion tests revealed that the fine-grained Mg(FG-Mg)sample exhibited a wear rate(4.56×10^(−4) mm^(3)/(N m))approximately half that of the coarse-grained Mg(CG-Mg)sample(7.87×10^(−4) mm^(3)/(N m)).CG-Mg showed a gradual OCP decrease,associated with a thin,unprotective tribocorrosion layer,even thinner than that resulting from dry sliding.Conversely,FG-Mg exhibited stable OCP evolution and quasi-linear tribocorrosion kinetics over time,attributed to a thick,protective tribocorrosion layer.Transmission electron microscopy data suggest that high-diffusivity pathways for oxygen along grain boundaries at the early tribocorrosion stages facilitate the formation of a continuous,protective MgO layer and an adjacent oxidized layer with a depth-dependent oxygen content gradient,enhancing tribocorrosion resistance in FG-Mg.Our findings offer valuable insights for strategically tailoring tribocorrosion resistance by modulating the OCP variation of highly active metals and alloys.
基金supported by “Shandong University International Scientific Cooperation Seed Fund”(11090089395416)“The Social Science Fund of Shandong University”(11090082235324)supported by “Young Scholars Program of Shandong University”(11090089964225)。
