摘要：In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are *** （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting *** global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an *** formulae and call stacks at each node of NWA are computed by a path-sensitive reachability *** properties,call stack inspection properties and pre/post-conditions of service invocations are described by *** verification of these assertions is carried out by an automated SAT tool.

摘要：Owing to their safety and low cost,magnesium ion batteries(MIBs)have attracted much attention in recent ***,the sluggish diffusion dynamics of magnesium ions hampers the search for appropriate cathode materials with excellent electrochemical ***,we design and synthesize a novel flexible three-dimensional-networked composite of iron vanadate nanosheet arrays/carbon cloths(3 D FeVO/CC)as a binder-free cathode for *** to bare FeVO nanosheets,the 3 D binder-free electrode with designed architecture enables a full range of electrochemical potential,including a high specific capacity of270 mA h g^(-1) and an increased life span(over 5000 cycles).Such achievable high-density energy originates from the synergistic optimization of electron and ion kinetics,while the durability benefits from the robust structure that prevents degradation in *** single-phase reaction mechanism of FeVO in the magnesium ion storage process is also explored by in-situ X-ray diffraction and Raman ***,a flexible MIB pouch cell(3 D FeVO/CCIMgNaTi_(3)O_(7)) is assembled and exhibits practical application *** work verifies that 3 D FeVO/CC is a potential candidate cathode material that can satisfy the requirements of highperformance *** also opens a new avenue to improve the electrochemical performance of cathode materials for MIBs.

摘要：设计了一款基于微带结构的宽带毫米波分谐波混频器。混频器中引入了短路结构的宽带射频滤波器以及一个高性能本振-中频双工器,这些无源电路能够抑制空闲组合频率,同时为中频、射频以及本振信号提供合适的回路。测试结果表明,本文设计的毫米波分谐波混频器射频工作频率为27~48 GHz,中频工作频率宽至6 GHz.在整个工作频段内上、下变频损耗均小于12.5 dB。当射频为33 GHz,中频为1 GHz时,上变频、下变频达到最小变频损耗分别为8.2 dB和7.5 dB。

摘要：针对FeCuNbSiB非晶带材与环氧树脂基体不浸润的难题,通过表面化学改性,在FeCuNbSiB非晶带材两面分别生成一层厚度5～10μm、相结构为Cu_(0.75)Fe_(2.25)O_4和Fe_3O_4的界面层。结果表明:界面层与带材结合强度高,与环氧树脂浸润性好;以FeCuNbSiB非晶带材为增强材料,同时按FSS网络设计的FeCuNbSiB非晶带材/环氧树脂铺层在13～18 GHz频带出现R=-5～-10 dB的吸收峰。增加铺层数,吸收峰值不变,但吸收峰频带往低频率方向移动。利用此特性可以修正其它复合材料的雷达波吸波特性,拓宽吸收频带,增加吸波性能。

摘要：Photocatalytic N_(2)xation has attracted substantial attention in recent years,as it represents a green and sustainable devel-opment route toward effciently convert-ing N_(2)to NH_(3)for industrial *** to rationally design catalysts in this regard remains a *** we pro-pose a strategy that uses plasmonic hot electrons in the highly doped TiO_(2)to ac-tivate the inert N_(2)*** synthesized semiconductor catalyst Mo-doped TiO_(2)shows a NH_(3)production effciency as high as 134μmol·g^(-1)·h^(-1)under ambient conditions,which is comparable to that achieved by the conventional plasmonic gold *** means of ultra-fast spectroscopy we reveal that the plasmonic hot electrons in the system are responsible for the activation of N_(2)molecules,enabling improvement the catalytic activity of TiO_(2).This work opens a new avenue toward semiconductor plasmon-based photocatalytic N_(2)xation.

摘要：平面流铸法是一种制备非晶和纳米晶薄带的先进技术。这项技术的难点不仅在于快速冷却以抑制薄带的晶化,还在于获得高表面质量的薄带。提出了一种用三维稳态模拟模型预测工业生产中广泛应用的2种单辊冷却结构的流场和传热系数分布的新方法。利用FLUENT软件,结合能量和动量方程,计算了2种结构的流速分布。预测了2种结构的对流换热系数分布。结果表明,水槽结构的速度分布无均匀性,也无周期性;水缝结构的速度分布无均匀性,但具有周期性。2种结构的对流换热系数分布不是中心对称的,水缝结构的冷却特性更为规则。预测了水缝结构的3个对称分布的合适区域,并通过连续生产多次验证。根据热平衡原理,描述了平面流铸法工艺的传热过程。对流换热系数的均匀分布可以作为冷却辊结构设计的依据之一。

摘要：提出了一个基于多Agent系统的机身外形优化模型,并将其用于飞机概念设计阶段的多学科优化中。该模型继承了多Agent系统的自主、协作等优点,并且结合了机身段和机身剖面的建模方法。提出并定义了不同类型的Agent及其功能,对各类Agent选用了不同的协调方式及协调规则。作为对模型的验证,针对一个战斗机方案多学科优化设计的算例,给出了机身外形中各Agent的协调过程。优化结果表明这一模型在优化过程中能有效地减少机身的优化变量,缩短计算时间。同时,由于各Agent之间的自主协调避免了复杂机身外形在优化中产生扭曲,从而增加了可行解的数量。

摘要：The catalytic effect of electrode materials is one of the most crucial factors for achieving efficient electrochemical energy conversion and ***-based metal composites were widely synthesized and employed as electrode materials because of their inherited outstanding ***,electrode materials can provide a higher capacity than the anticipated values,even beyond the theoretical *** origin of the extra capacity has not yet been explained accurately,and its formation mechanism is still ***,we first summarized the current research progress and drawbacks in energy storage devices(ESDs),and elaborated the role of catalytic effect in enhancing the performance of ESDs as follows:promoting the evolution of the solid electrolyte interphase(SEI),accelerating the reversible conversion of discharge/charge products,and improving the conversion speed of the intermediate and the utilization rate of the active materials,thereby avoiding the shuttling ***,a particular focus was placed on the interaction between the catalytic effect and energy storage performance in order to highlight the efficacy and role of the catalytic *** hope that this review could provide innovative ideas for designing the electrode materials with an efficient catalytic effect for ESDs to promote the development of this research field.

摘要：近年来,基于薄膜铌酸锂(TFLN)平台的高性能电光调制器以其小体积、低能量损耗等特点受到广泛关注。本文提出了一种新的具有垂直电极结构的Y波导铌酸锂薄膜电光调制器。研究了调制器的半波电压与缓冲层厚度之间的关系,优化了Y波导的设计参数,最后设计得到插入损耗<5 dB,半波电压<1.5 V的高性能调制器。本文不仅为基于TFLN平台的小型化波导的设计和实现提供了思路,而且为制造高性能和多功能的电光调制器提供了实验依据。

摘要：programmable metasurface enables controlling electromagnetic (EM) waves in real time. By programming the states of active device embedded in metasurface element, the EM properties of the digital metasurface can be changed quickly without redesigning their structures. However, large numbers of long-distance wires are required to connect the programmable metasurface to provide the coded signals from field programmable gate array (FPGA) when controlling the metasurface at a long distance, which is complicated and inconvenient. Here, we propose an infrared-controlled programmable metasurface that can be programmed remotely. The infrared transceiver is able to switch the coding sequences stored in the FPGA controller, thus controlling the voltage on the varactors integrated in the metasurface. Experiment is performed at microwave frequencies, and the measured results verify that the scattering beams of the metasurface sample can be changed remotely by using infrared ray. The proposed infrared-controlled programmable metasurface opens up avenues for constructing a new class of remotely-tuning dynamic metasurfaces.