To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA...To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.展开更多
The seminal report ofα-diimine palladium and nickel catalysts in 1995 represented a major breakthrough in the preparation of functionalized polyolefin materials.Owing to the high abundance and low cost of nickel,nick...The seminal report ofα-diimine palladium and nickel catalysts in 1995 represented a major breakthrough in the preparation of functionalized polyolefin materials.Owing to the high abundance and low cost of nickel,nickel-based catalysts have great application prospects in the industrialization process of olefin coordination polymerization.In this work,various N-aryl substituents with different electronic effects were synthesized and introduced intoα-diimine ligands.The aspreparedα-diimine nickel catalysts showed high polymerization activity(0.9×10^(7)–3.0×10^(7)g·mol^(−1)·h^(−1))in ethylene polymerization,generating polyethylene products with adjustable molecular weights(Mn values:7.4×10^(4)–146.9×10^(4)g·mol^(−1))and branching densities(31/1000 C–68/1000 C).The resulting polyethylene products showed excellent mechanical properties,with high tensile strength(up to 25.0 MPa)and high strain at break values(up to 3890%).The copolymerization of ethylene and polar monomers can also be achieved by these nicekel complexes,ultimately preparing functionalized polyolefins.展开更多
Today’s product creative design has rendered many fe atures and has brought a great change in our everyday life, there are many new c hallenges in its traditional theory and principle. According to the traditional de...Today’s product creative design has rendered many fe atures and has brought a great change in our everyday life, there are many new c hallenges in its traditional theory and principle. According to the traditional design theory, the FBS design model pays more attention to the function and stru cture of the product. But this model still couldn’t strengthen the relation bet ween product appearance design and human-machine design effectively. This paper adopt converse design thinking and presents an improved design thinking methodo logy based on C: FBS for product appearance design and give a general summarizat ion for the features, methods and technology based on human-machine interaction and interface. Meanwhile it also combines with the behavior design of product r elated IT fields and constructs a new outline to improve the design of product a ppearance supported by the technology of computer aided design. So the new metho d about design thinking for computer aided design, the new abstract product design model and the key problem of design thinking based on human-machine inte raction and interface are addressed in this paper. This kind of creative design theory that is driven by human-machine interaction and interface will help the development of CAD software system and the research of product design and manufa cture. Additionally, this paper gives some beneficial characters to address the theory based on human-machine interaction and interface. Meanwhile, combining with the developing of computer technology, the trends of design thinking based on t he technology of human-machine interaction and interface are also analyzed and discussed at the end of this paper.展开更多
Four new coordination polymers,{[Cd(mbtx)(4OHphCOO)]NO_(3)}n(1),{[Zn(mbtx)(1,4-bdc)_(0.5)(H_(2)O)_(2)]·(1,4-bdc)_(0.5)·4H_(2)O}n(2),{[Cd2(mbtx)(5NO_(2)-bdc)_(2)(H_(2)O)_(3)]·4.5H_(2)O}n(3),and{[Zn(H_(2)...Four new coordination polymers,{[Cd(mbtx)(4OHphCOO)]NO_(3)}n(1),{[Zn(mbtx)(1,4-bdc)_(0.5)(H_(2)O)_(2)]·(1,4-bdc)_(0.5)·4H_(2)O}n(2),{[Cd2(mbtx)(5NO_(2)-bdc)_(2)(H_(2)O)_(3)]·4.5H_(2)O}n(3),and{[Zn(H_(2)O)6][Zn_(2)(mbtx)_(2)(btc)_(2)(H_(2)O)_(4)]·2H_(2)O}n(4)(mbtx=1,3-bis(4H-1,2,4-triazole)benzene,4OHphCOO-=p-hydroxybenzoate,1,4-bdc2-=1,4-benzenedicarboxylate,5NO_(2)-bdc2-=5-nitro-isophthalate,btc3-=1,3,5-benzenetricarboxylate),were synthesized under room temperature condition and characterized by single-crystal X-ray diffraction,elemental analyses,and powder X-ray diffraction.Single-crystal X-ray structural analysis shows that complexes 1 and 3 are 2D networks.In 1,the adjacent 2D networks are linked to a 3D network byπ-πstacking interaction.2 and 4 exhibit 1D chains,and the 1D chains are connected into a 3D network byπ-πstacking interaction and intermolecular hydrogen bond.Luminescence and thermogravimetric analysis of the four complexes were discussed.CCDC:2416406,1;2416407,2;2416408,3;2416409,4.展开更多
Two-dimensional energetic materials(2DEMs),characterized by their exceptional interlayer sliding properties,are recognized as exemplar of low-sensitivity energetic materials.However,the diversity of available 2DEMs is...Two-dimensional energetic materials(2DEMs),characterized by their exceptional interlayer sliding properties,are recognized as exemplar of low-sensitivity energetic materials.However,the diversity of available 2DEMs is severely constrained by the absence of efficient methods for rapidly predicting crystal packing modes from molecular structures,impeding the high-throughput rational design of such materials.In this study,we employed quantified indicators,such as hydrogen bond dimension and maximum planar separation,to quickly screen 172DEM and 16 non-2DEM crystal structures from a crystal database.They were subsequently compared and analyzed,focusing on hydrogen bond donor-acceptor combinations,skeleton features,and intermolecular interactions.Our findings suggest that theπ-πpacking interaction energy is a key determinant in the formation of layered packing modes by planar energetic molecules,with its magnitude primarily influenced by the strongest dimericπ-πinteraction(π-π2max).Consequently,we have delineated a critical threshold forπ-π2max to discern layered packing modes and formulated a theoretical model for predictingπ-π2max,grounded in molecular electrostatic potential and dipole moment analysis.The predictive efficacy of this model was substantiated through external validation on a test set comprising 31 planar energetic molecular crystals,achieving an accuracy of 84%and a recall of 75%.Furthermore,the proposed model shows superior classification predictive performance compared to typical machine learning methods,such as random forest,on the external validation samples.This contribution introduces a novel methodology for the identification of crystal packing modes in 2DEMs,potentially accelerating the design and synthesis of high-energy,low-sensitivity 2DEMs.展开更多
农业测控系统的用户交互性存在改进空间,随着自然语言语义处理技术的不断进步,提升农业测控领域中复杂的控制和查询操作的用户友好性变得至关重要,这有助于降低用户的操作成本。本文提出了一种面向农业测控领域的自然语言接口(agricultu...农业测控系统的用户交互性存在改进空间,随着自然语言语义处理技术的不断进步,提升农业测控领域中复杂的控制和查询操作的用户友好性变得至关重要,这有助于降低用户的操作成本。本文提出了一种面向农业测控领域的自然语言接口(agricultural measurement and control natural language interface,AMC-NLI),旨在改进农业测控平台的用户体验。通过BERT-BiLSTM-ATT-CRF-OPO(bidirectional encoder representations from transformers-bi-directional long shortterm memory-attention-conditional random field)的语义解析模型,识别并提取农业指令中的实体,并进行操作-地点-对象三元组语句(operate-place-object,OPO)的槽填充。使得用户的自然语言输入能够被转化为结构化的三元组语句,实现用户输入的指令转换为相应的参数,并通过物联网网关发送到相应的设备。试验结果表明在AMC-NLI农业测控指令交互方面,该模型表现出色,准确率,精确率、召回率,F值和平均最大响应时间分别达到了91.63%、92.77%、92.48%、91.74%和2.45 s,为农业信息化管控提供了更为便捷的互动方式。展开更多
基金supported by the National Key Research and Development Program of China(2021YFB1600601)the Joint Funds of the National Natural Science Foundation of China and the Civil Aviation Administration of China(U1933106)+2 种基金the Scientific Research Project of Tianjin Educational Committee(2019KJ134)the Natural Science Foundation of TianjinIntelligent Civil Aviation Program(21JCQNJ C00900)。
文摘To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.
基金supported by the National Key R&D Program of China(2021YFA1501700)Fundamental Research Funds for the Central Universities(WK9990000142).
文摘The seminal report ofα-diimine palladium and nickel catalysts in 1995 represented a major breakthrough in the preparation of functionalized polyolefin materials.Owing to the high abundance and low cost of nickel,nickel-based catalysts have great application prospects in the industrialization process of olefin coordination polymerization.In this work,various N-aryl substituents with different electronic effects were synthesized and introduced intoα-diimine ligands.The aspreparedα-diimine nickel catalysts showed high polymerization activity(0.9×10^(7)–3.0×10^(7)g·mol^(−1)·h^(−1))in ethylene polymerization,generating polyethylene products with adjustable molecular weights(Mn values:7.4×10^(4)–146.9×10^(4)g·mol^(−1))and branching densities(31/1000 C–68/1000 C).The resulting polyethylene products showed excellent mechanical properties,with high tensile strength(up to 25.0 MPa)and high strain at break values(up to 3890%).The copolymerization of ethylene and polar monomers can also be achieved by these nicekel complexes,ultimately preparing functionalized polyolefins.
文摘Today’s product creative design has rendered many fe atures and has brought a great change in our everyday life, there are many new c hallenges in its traditional theory and principle. According to the traditional design theory, the FBS design model pays more attention to the function and stru cture of the product. But this model still couldn’t strengthen the relation bet ween product appearance design and human-machine design effectively. This paper adopt converse design thinking and presents an improved design thinking methodo logy based on C: FBS for product appearance design and give a general summarizat ion for the features, methods and technology based on human-machine interaction and interface. Meanwhile it also combines with the behavior design of product r elated IT fields and constructs a new outline to improve the design of product a ppearance supported by the technology of computer aided design. So the new metho d about design thinking for computer aided design, the new abstract product design model and the key problem of design thinking based on human-machine inte raction and interface are addressed in this paper. This kind of creative design theory that is driven by human-machine interaction and interface will help the development of CAD software system and the research of product design and manufa cture. Additionally, this paper gives some beneficial characters to address the theory based on human-machine interaction and interface. Meanwhile, combining with the developing of computer technology, the trends of design thinking based on t he technology of human-machine interaction and interface are also analyzed and discussed at the end of this paper.
文摘Four new coordination polymers,{[Cd(mbtx)(4OHphCOO)]NO_(3)}n(1),{[Zn(mbtx)(1,4-bdc)_(0.5)(H_(2)O)_(2)]·(1,4-bdc)_(0.5)·4H_(2)O}n(2),{[Cd2(mbtx)(5NO_(2)-bdc)_(2)(H_(2)O)_(3)]·4.5H_(2)O}n(3),and{[Zn(H_(2)O)6][Zn_(2)(mbtx)_(2)(btc)_(2)(H_(2)O)_(4)]·2H_(2)O}n(4)(mbtx=1,3-bis(4H-1,2,4-triazole)benzene,4OHphCOO-=p-hydroxybenzoate,1,4-bdc2-=1,4-benzenedicarboxylate,5NO_(2)-bdc2-=5-nitro-isophthalate,btc3-=1,3,5-benzenetricarboxylate),were synthesized under room temperature condition and characterized by single-crystal X-ray diffraction,elemental analyses,and powder X-ray diffraction.Single-crystal X-ray structural analysis shows that complexes 1 and 3 are 2D networks.In 1,the adjacent 2D networks are linked to a 3D network byπ-πstacking interaction.2 and 4 exhibit 1D chains,and the 1D chains are connected into a 3D network byπ-πstacking interaction and intermolecular hydrogen bond.Luminescence and thermogravimetric analysis of the four complexes were discussed.CCDC:2416406,1;2416407,2;2416408,3;2416409,4.
基金support from National Natural Science Foundation of China(Grant Nos.22275145,22305189and 21875184)Natural Science Foundation of Shaanxi Province(Grant Nos.2022JC-10 and 2024JC-YBQN-0112).
文摘Two-dimensional energetic materials(2DEMs),characterized by their exceptional interlayer sliding properties,are recognized as exemplar of low-sensitivity energetic materials.However,the diversity of available 2DEMs is severely constrained by the absence of efficient methods for rapidly predicting crystal packing modes from molecular structures,impeding the high-throughput rational design of such materials.In this study,we employed quantified indicators,such as hydrogen bond dimension and maximum planar separation,to quickly screen 172DEM and 16 non-2DEM crystal structures from a crystal database.They were subsequently compared and analyzed,focusing on hydrogen bond donor-acceptor combinations,skeleton features,and intermolecular interactions.Our findings suggest that theπ-πpacking interaction energy is a key determinant in the formation of layered packing modes by planar energetic molecules,with its magnitude primarily influenced by the strongest dimericπ-πinteraction(π-π2max).Consequently,we have delineated a critical threshold forπ-π2max to discern layered packing modes and formulated a theoretical model for predictingπ-π2max,grounded in molecular electrostatic potential and dipole moment analysis.The predictive efficacy of this model was substantiated through external validation on a test set comprising 31 planar energetic molecular crystals,achieving an accuracy of 84%and a recall of 75%.Furthermore,the proposed model shows superior classification predictive performance compared to typical machine learning methods,such as random forest,on the external validation samples.This contribution introduces a novel methodology for the identification of crystal packing modes in 2DEMs,potentially accelerating the design and synthesis of high-energy,low-sensitivity 2DEMs.
文摘农业测控系统的用户交互性存在改进空间,随着自然语言语义处理技术的不断进步,提升农业测控领域中复杂的控制和查询操作的用户友好性变得至关重要,这有助于降低用户的操作成本。本文提出了一种面向农业测控领域的自然语言接口(agricultural measurement and control natural language interface,AMC-NLI),旨在改进农业测控平台的用户体验。通过BERT-BiLSTM-ATT-CRF-OPO(bidirectional encoder representations from transformers-bi-directional long shortterm memory-attention-conditional random field)的语义解析模型,识别并提取农业指令中的实体,并进行操作-地点-对象三元组语句(operate-place-object,OPO)的槽填充。使得用户的自然语言输入能够被转化为结构化的三元组语句,实现用户输入的指令转换为相应的参数,并通过物联网网关发送到相应的设备。试验结果表明在AMC-NLI农业测控指令交互方面,该模型表现出色,准确率,精确率、召回率,F值和平均最大响应时间分别达到了91.63%、92.77%、92.48%、91.74%和2.45 s,为农业信息化管控提供了更为便捷的互动方式。
