云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

创新回报不确定性下的新技术采纳研究

考虑到企业在采纳新技术过程中的技术溢出以及新技术创新回报的不确定性,建立生产有差异化产品企业的两阶段博弈模型,以企业采纳时间为分界点分别得出在古诺竞争和伯特兰德竞争两种市场下各个阶段的期望均衡利润,进而对技术创新回报不确定性、企业的最优采纳时间、期望社会福利最大时的企业最优社会采纳时间进行了分析,结果表明,随着创新回报不确定性的增加,先采纳新技术企业的期望利润增加更多;企业间产品差异较大时,领先企业在古诺竞争下的最优采纳时间要比伯特兰德竞争下的最优采纳时间要早;企业间产品差异较小时,领先企业在古诺竞争下的最优采纳时间要晚于伯特兰德竞争下的最优采纳时间.跟随企业在古诺竞争下的最优采纳时间始终早于伯特兰德竞争下的最优采纳时间.     

带有通胀风险的退休后期最优投资管理

考虑通货膨胀的影响,研究了一个确定缴费养老计划退休后期最优投资决策问题.自退休时刻开始,退休者定期从账户里抽取一定的金额维持日常支出,然后将剩余的财富投资于一个无风险资产、一个股票指数和一个通胀指数债券,直到强制购买年金的时刻.为保障退休后的正常生活,退休者在每个时刻设定投资的目标值,采取二次效用函数衡量投资财富水平和目标值的差距,并选择最优的投资策略以最小化平均累计差距.运用动态规划和随机控制方法,得到了没有上方惩罚的目标值、最优投资策略、最优值函数、破产概率以及终端财富与目标值差距的分布函数等指标的显式表达式.运用数学分析和数值分析手段,得到了每个时刻目标值的性质,分析了终端目标值和消费金额对破产概率的影响,研究了物价指数的瞬间变化率和波动率对财富值与目标值的差距、各时刻财富均值以及破产概率的影响.     

氯乙烯精馏过程模拟优化与节能降耗的研究

针对某聚氯乙烯厂精馏过程中氯乙烯产品纯度低、能耗高的问题,利用化工流程模拟软件Aspen Plus对氯乙烯精馏系统中的T-203塔进行模拟优化,选择适合氯乙烯体系的NRTL模型进行计算,确定理论板数为28块。根据灵敏度分析和正交试验得到最佳操作参数为:回流比为0.8,进料位置为第2块理论板,侧线采出位置为第18块理论板。产品中氯乙烯质量分数达到99.999%,低沸物质量分数小于1×10-6,高沸物质量分数小于5×10-6。同时对精馏系统提出两项节能降耗技术,其中循环水改造技术预计为企业带来经济效益1034.85万元/a,高效导向筛板技术可以有效提高分离效率和生产能力。     

Ni~(26+)离子态分辨光复合过程的R矩阵理论研究

利用基于相对论R矩阵理论的DARC程序系统计算了Ni 25+离子基态1s22s(2S1/2)和激发态1s22p(2P1/2,2P3/2)的光电离截面,并通过细致平衡原理获得了统一的光复合过程(即辐射复合和双电子复合)态分辨的截面,计算结果给出了辐射复合与双电子复合过程间的干涉效应.为了标识和分析KLL共振能区所有的共振峰,基于相对论组态相互作用理论(RCI)的FAC程序被用来计算共振峰的能量、强度及其相关的双激发态的辐射、俄歇跃迁几率以及共振宽度等.利用统一的光复合截面进一步得到了KLL双电子复合过程的伴线强度,并与孤立共振近似下FAC的计算结果以及以前的理论和实验结果进行了比较,对存在的一致性和偏差进行了分析和讨论.     

Fe掺杂对BiTaO_4陶瓷样品介电和铁电特性的影响

为探究Fe掺杂对BiTaO4陶瓷样品介电特性和铁电特性的影响,采用传统固相烧结法制备了Bi Ta1-xFexO4-x(x=0,0.01,0.03)陶瓷样品,利用X线衍射仪和扫描电子显微镜对样品的晶体结构和表面形貌进行分析,利用精密阻抗分析仪和铁电分析仪对样品的介电性能和铁电性能进行检测.结果表明:Fe掺杂没有明显改变样品的晶体结构;随着Fe掺杂量的增加,样品的介电常数表现出较好的稳定性,介电损耗略有减小,且基本保持在tanδ=0.05以下,其漏电流先增大后减小,且掺杂样品均可得到比较完整的电滞回线.     

产气荚膜梭菌ε毒素的细胞毒机制及致病机理的研究进展

产气荚膜梭菌ε毒素（Epsilon toxin ，ETX）由B、D型产气荚膜梭菌产生并分泌至宿主动物体内，在临床上主要症状为肠毒血症．ETX属于以七聚体形式存在的β‐样成孔毒素，它能够形成由14个β折叠片组成的“β‐桶状”结构，这个“β‐桶状”结构可以插入真核细胞的质膜形成穿孔．在细胞水平，ETX能够迅速使细胞膜肿胀、多种细胞器破坏，最终导致靶细胞的坏死．在哺乳动物体内，ETX能够使哺乳动物血管产生水肿，从而穿透血脑屏障而聚积在动物肾和脑中，导致机体随着谷氨酸盐的释放而产生过度兴奋，这一系列反应的发生可以引起机体出现脑水肿和肾衰竭，最终导致动物的死亡．目前， ETX备受关注的主要原因不仅仅因为它是一种β‐样成孔毒素，而是可以作为潜在的一种工具类药物，经改造后可以携带治疗药物在短时间内靶向性地到达哺乳动物脑和中枢神经系统，继而为脑和中枢神经系统疾病的治疗提供新的方向．结合国内外相关研究，对ETX细胞毒机制及致病机理进行了综和评述．     

基于低碳理念的鄂州市城市土地集约利用评价

结合国内外低碳土地利用的研究背景和实践,分析出不同土地利用方式碳排放效应,并对城市土地低碳化与集约化利用进行定性与定量分析,并采用鄂州市实际构建低碳理念下城市土地集约利用评价指标体系,对鄂州市2000-2013年土地利用状况进行分析评价.由此,总结鄂州市再加入低碳因素后土地集约利用的变化规律,并提出相关建议.     

基于动态优化双钻头打孔机生产效能的研究

首先,对孔型加工及走刀方式进行分析,为提高打孔机效能,采用两钻头同时作业的方式。然后,根据相关的数据,应用动态优化的相关理论建立数学模型,并运用遗传算法进行求解,从而确立了双钻头作业时的最优作业线路、最佳行进时间和作业成本,并用MATLAB编写程序画出了相应图形,更加形象地显现出了各个路段的最优作业方案。     

超强筋小麦粉面包烘焙技术研究

为了烘焙出能充分表现超强筋小麦济麦229面粉品质特性的优良面包,设置了4种醒发时间处理、5种酵母和糖用量处理、4种配粉处理,对超强筋小麦面粉的面包品质进行了评价分析。结果表明,在4个醒发时间处理中,当面团醒发时间为30min和面包胚醒发时间为50min时,烘焙的面包品质最好。在5种酵母和糖用量的处理中,利用吐司面包程序时,干酵母和糖的用量分别为6g和24g时烘焙的面包品质最好；利用法式面包程序时,干酵母和糖的用量分别为3g和18g时烘焙的面包品质最好。在4个配粉处理中,200g超强筋小麦济麦229面粉中添加100g普通小麦济麦22面粉的混粉烘焙得到的面包品质最好。因此,适当调整超强筋小麦粉面包的面团、面包胚醒发时间及物料配比,可以烘焙出品质优良的面包。