共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

退火温度对用PⅢ方法制备共掺杂p型ZnO薄膜结构和性能的影响

采用射频磁控共溅射的方法制备出ZnO:Al薄膜,以NO和O2为源气体(V(O2)/V(O2+NO)=75%),采用等离子体浸没离子注入(PⅢ)方法对薄膜进行注入得到ZnO:Al:N薄膜,注入剂量为2.23×1015 cm-2,并在N2氛围下对样品进行了不同温度的退火处理.通过XRD图谱、霍尔效应(Hall)测试结果、紫外-可见光透射光谱等对样品的结构和性能进行了分析,着重研究了退火温度对ZnO:Al:N薄膜性质的影响.结果表明,退火可以使注人产生的ZnO(N2)3团簇分解,并且使N以替位O的方式存在.当退火温度达到850℃时,ZnO薄膜实现了p型反转,实现p型反转的ZnO:AliN薄膜载流子浓度可达3.68×1012cm-3,电阻率为11.2 Ω·cm,霍耳迁移率为31.4 cm2·V-1·s-1.     

从“人痘”到“牛痘”

电影《让子弹飞》中,传说的劫匪叫＂张麻子＂,暗示他是个凶恶而且丑陋的人。80后,90后的年轻人可能不明白,＂麻子＂是什么？其实这是烈性传染病＂天花＂,     

双掺杂二氧化钛的制备及其在降解染料废水中的应用

作者研究了溶胶-凝胶法制备的Sm、Ag共掺杂的TiO2,并用XRD、TEM等技术表征了催化剂的形貌、结构及吸光性能,样品的表征与光催化活性测试结果表明,Sm离子的引入使催化剂增加了储氧能力及热稳定性和选择性,Ag离子的掺杂显示了电荷分离抑制了光催化的促进作用和对氧气还原反应的催化作用.两种离子的引入使TiO2样品的拓宽了光响应范围,使可见光吸收强度增大.     

电控高压共轨喷油系统结构参数对轨内压力波动仿真分析

采用GT软件建立电控高压共轨燃油喷射系统模型,并利用构建的仿真模型研究高压油泵的进油阀组件、排油阀组件以及活塞凸轮组件,其三个主要部分的结构参数变化对共轨管中压力波动的影响。通过研究可知高压泵在实际工作时所承受的压力波与活塞的状态有直接关系,且活塞状态包括其质量、长度、直径、容积等。为了更好地研究进排油阀对压力波动之间的关系,选用8组参数进行实验研究并验证进排油阀体直径、质量、弹簧预紧力、弹簧刚度的变化与压力波动之间的相互影响作用,进而通过对比选取最佳阀体。通过仿真分析可知,共轨喷油系统压力波动程度会受到系统结构参数的影响,并可以为系统的优化设计提供参考依据。     

阻燃共聚酯固相缩聚反应结晶动力学研究

为了研究阻燃共聚酯(flame retardant co-polyesters,FRPET)固相缩聚(solid state polymerization,SSP)反应过程中的结构变化,特别是结晶变化以及结构与反应动力学的关系,对SSP进程中不同反应时间的聚酯样品的特性黏度及端羧基含量进行了测试,并通过X-射线衍射、差...     

Mg和Al共掺杂对CaCu3Ti4O12介电性能的影响

CaCu₃Ti₄O₁₂(CCTO)具有较大的介电常数,在储能领域具有巨大的应用潜力,但高介电损耗却限制了其应用。本文采用固态法共掺杂Mg和Al元素,研究Al掺杂量对CCTO的介电常数、介电损耗和阻抗等物理性能的影响。实验结果表明,Mg和Al元素共掺杂,CCTO的晶格常数减小,衍射峰位向高角度偏移;随Al含量的增加,CCTO的介电常数明显减小,而介电损耗随频率、温度的提高先减小后增大,阻抗显著增大;在中低频、低温时,掺杂可有效降低介电损耗。     

溶液共沸法直接合成较高分子量的聚乳酸

采用溶液共沸法直接缩聚制备聚乳酸。探讨了复合催化剂、溶剂用量、反应时间及反应装置对聚乳酸相对分子质量的影响。结果表明:以乳酸质量分数w=0.01的复合催化剂(其中氯化亚锡与对甲苯磺酸质量比为1∶1)为催化剂,溶剂与乳酸的体积比为0.75∶1.00,在氮气氛保护下反应35 h左右,能得到重均分子量为6.6×104的聚乳酸。     

需求率依赖价格的新能源汽车租赁系统三方协调契约

考虑由新能源汽车制造商、租赁商和政府组成的三方系统,在市场需求率为随机且依赖租赁价格下研究了租赁商的车队配置和租赁价格的最优决策以及系统协调问题。为此,分别建立了分散决策模型、集中决策模型和基于成本共担、收益共享和两部收费的联合契约协调模型。研究结果表明：分散决策下无法实现系统协调,通过引入这种联合契约,当契约参数满足一定条件时,不仅能够实现系统协调且可以使各成员收益达到帕累托改进。最后,通过算例分析验证了模型的有效性。     

对称降冰片二烯二羧酸二酯的高选择性单水解

半酯是有机合成中非常重要的中间体,大体积对称二酯的选择性单水解高产率制备半酯的研究具有重要意义.本研究采用THF、DMSO、CH3CN作为共溶剂,在0℃碱溶液中将对称结构的降冰片二烯衍生物进行选择性单水解反应,考察了三种共溶剂比例、不同碱及碱的用量对水解反应的影响.结果表明,当共溶剂与H2O体积比为1∶10的情况下,T...