答疑系统问题的Z语言规约

分析了目前答疑系统存在的不足之一,即缺少标准框架,从而很难实现答疑系统之间资源的共享.因此提出了使用形式化方法来构建统一的答疑系统,利用形式化语言Z对答疑系统的主要模块进行需求规格说明.同时用Z语言描述了答疑系统的主要操作模式,包括关键词的提取、问题的检索和知识库的更新等操作.     

一个Object-Z规格说明的证明责任产生器

定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。     

准Z源Buck开关变换器输出短路火花放电模型研究

讨论了一种输出端带准Z源网络的Buck变换器拓扑,对该拓扑及常规Buck变换器拓扑输出短路故障时的火花放电电压、放电电流及放电能量进行了理论分析,建立了相应的变换器输出短路火花放电能量的近似计算数学模型,证明了准Z源Buck变换器抑制短路火花放电能量的有效性。在此基础上,搭建了基于Matlab的准Z源Buck变换器和常规Buck变换器输出短路故障仿真模型。通过实例对两种变换器拓扑短路火花放电过程进行了仿真和实验对比分析,仿真和实验的结果进一步对上述理论及计算模型的正确性进行了验证。     

梨小食心虫性信息素的简便合成

[目的]以廉价、易得的原料合成梨小食心虫性信息素(Z/E)-12-十四碳烯醇乙酸酯.[结果]以35.9%的总收率合成了梨小食心虫性信息索(Z/E)-12-十四碳烯醇乙酸酯,GC分析结果表明顺反异构体比例为87/13.将所得的顺反异构体混合物在亚硝酸钠和硝酸体系中经构型转化得到顺反比例为23/77的(Z/E)-12-十四碳烯醇乙酸酯,产物结构经IR、1H NMR等方法确证.[结论]该路线简洁且比大多数文献报道的方法产率略高,值得借鉴.     

All‐Solid‐State Z‐Scheme Photocatalytic Systems

The current rapid industrial development causes the serious energy and environmental crises. Photocatalyts provide a potential strategy to solve these problems because these materials not only can directly convert solar energy into usable or storable energy resources but also can decompose organic pollutants under solar‐light irradiation. However, the aforementioned applications require photocatalysts with a wide absorption range, long‐term stability, high charge‐separation efficiency and strong redox ability. Unfortunately, it is often difficult for a single‐component photocatalyst to simultaneously fulfill all these requirements. The artificial heterogeneous Z‐scheme photocatalytic systems, mimicking the natural photosynthesis process, overcome the drawbacks of single‐component photocatalysts and satisfy those aforementioned requirements. Such multi‐task systems have been extensively investigated in the past decade. Especially, the all‐solid‐state Z‐scheme photocatalytic systems without redox pair have been widely used in the water splitting, solar cells, degradation of pollutants and CO₂ conversion, which have a huge potential to solve the current energy and environmental crises facing the modern industrial development. Thus, this review gives a concise overview of the all‐solid‐state Z‐scheme photocatalytic systems, including their composition, construction, optimization and applications.     

直接序列扩频在矿井通信中的应用

分析了矿井环境对矿井通信系统的影响,阐述了直接序列扩频通信的原理,指出了直接序列扩频技术的抗干扰特点,并给出了该通信模式的模型、基于扩频芯片Z2000的矿井通信的具体实现方案。     

Comparison between methods for predicting maximum solid solubility of transition metals in solvent metal

1　INTRODUCTIONThepredictionofsolidsolubilityofanalloyisasuspendingbutanimportant question .Therearemanymicrocosmictheoriesand goodreviews pub lishedelucidatingtheeffectsofelectronegativity ,atomicdiameterandelectronconcentrationonthesol idsolubility ,respectively[1,2 ] .However,theyaredifficulttopredictsolidsolubilitythoughtheycanex plainsomeexperimentalrules.DarkenandGurry[3,4 ]proposedatheoremconsideringbothatomicsizeandelectronegativity ,whichgreatlyimprovedtheHume Rothery swork (D …     

城市地铁地下轨道振动对周边建筑的影响分析

结合实际地铁运营期间普通整体道床、纵向轨枕减振道床的钢轨、道床、隧道壁监测点及周边建筑物在轨道不同距离监测点的典型时域波形图和频率域谱图,首先依据实际监测数据计算普通整体道床轨道与纵向轨枕轨道之间各个监测点的铅垂向计权网络最大Z振级(VLZmax),分析普通整体道床轨道与纵向轨枕轨道之间钢轨、道床、隧道壁各测点的振动最大振级差值,充分阐述纵向轨枕轨道的减震效果;然后对普通整体道床周边建筑物不同监测点的最大Z振级进行计算,确定最大Z振级范围,判定其值是否已经超过规范要求及与地铁运营轨道振动的相关性,提出减震措施建议;最后对采用纵向轨枕减振道床减震措施处理后的周边建筑物监测点进行二次监测,得到的最大Z振级监测数据均在规范允许范围以内,认识到轨枕减振道床减震技术对于易发生共振的临近建筑物减震效果最为明显。     

放射性示踪技术研究金,铂在新型大孔树脂HHY—10A上的离子交换行为

应用１９５ｍＰｔ、１９９Ａｕ放射性示踪剂研究了金、铂在一种新研制的大孔强碱性阴离子交换树脂上的离子交换行为。系统研究了吸附和洗脱的条件，包括吸附介质的成分和酸度、洗脱剂以及吸附和洗脱流速的影响等。应用此法从标准参考物质ＤＺΣ－１、ＤＺΣ－２中分离和浓集出Ａｕ、Ｐｔ，用ＩＣＰ－ＭＳ测定，分析结果与推荐值符合良好。     

去甲氨噻肟酸乙酯合成研究

去甲氨噻肟酸乙酯是半合成头孢菌素药物的重要中间体之一.报道了在环合反应中,采用甲醇和水(体积比为1∶1)的混合溶剂代替二氯甲烷,甲醇等单一溶剂,反应温度在25℃左右下进行,收率明显提高,可达56.2%,结果令人满意.产品结构用1HNMR验证.