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

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

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

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

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

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

无约束平差与秩亏自由网平差在GPS数据处理中的比较

本文介绍了常规的无约束平差与近代的秩亏自由网平差,并用这两种方法对某城市的GPS监测网的测量数据进行处理,对各种方法解算的结果进行了对比分析,得出两种方法在精度、未知参数的改正数和基线向量的改正数上存在差异,并对其使用条件提出建议.     

试论古籍数字化背景下专业出版社的地位

信息时代,各类出版社被数字化浪潮推动着不断前进,数字化出版已经成为趋势.在古籍数字化出版的过程中,拥有专业优势的出版社应该是古籍数字化出版的主体,但是目前的状况却和我们的预期不同.在古籍数字化背景下如何实现专业出版社的主体地位,是我们古籍专业出版人的面临的困难与挑战.本文对当前专业出版社在古籍数字化出版中的地位问题以及如何实现其应有的主体地位等方面进行论述,以期对出版从业者提供工作思路.     

桐叶封弟新辨

桐叶封弟的真伪历来是学术界的公案,学者们大都对故事的真实性持否定态度。然而只要从故事的本身出发,注意分析当时故事核心人物间的关系以及权力对比,就不难发现,桐叶封弟故事的真实性是非常高的。桐叶封弟实为成王以桐叶戏弟为虚,行封叔虞于唐为实的一个借口,也反映出成王当时确有难言之隐。桐叶封弟中周公对成王的真实想法其实也早已心知肚明,"周公成之"是作为臣子的周公在故意配合成王。桐叶封弟的背后隐藏着周初朝中君臣权力间的博弈,对于君臣来说,故事的结果也是双赢。     

财政性科技经费监管体系探析

我国初步建立了财政性科技经费监管体系,但是在监督主体、监督制度等方面还存在缺陷,科技经费监督出现诸多问题。建立要加强宏观层面的统筹规划,建立由政府、承担单位和外部主体上下联动、横向联合的立体监督体系。     

一个水稻bHLH转录因子的反向遗传学分析

b HLH类型转录因子对于植物开花具有重要的调控作用.为了揭示b HLH转录因子在短日照植物水稻中的功能,利用反向遗传学方法构建了水稻Osb HLH1基因过表达载体,获得过表达转基因植株,分析目的基因在过量表达条件下的功能.结果表明:过表达Osb HLH1能够导致水稻的抽穗期推迟;Osb HLH1在水稻中的表达还具有光周期昼夜节律性,无论是在长日照还是在短日照条件下,Osb HLH1都在夜间具有表达高峰.组织特异性表达结果表明:Osb HLH1在水稻的不同器官中都有表达,但在叶片中表达较高,与光周期相关基因的表达吻合.     

锂电池异常状态监测的FEKF方法研究

为了保障锂离子电池的使用安全，提出了基于带渐消因子的扩展卡尔曼滤波 （Fading Extended Kalman Filter，FEKF）的电池状态在线监测方法. 建立锂电池一阶等效电路模型，利用递推最小二乘法进行锂电池状态参数在线辨识，建立状态方程；引入最优渐消因子，构造FEKF，得到端电压残差；使用端电压残差序列构造χ2分布的诊断函数，计算误检率与状态参数异常阈值. 实验结果显示利用FEKF生成的残差能更早对异常状态进行告警，证明FEKF能够显著提高χ2检验对锂电池内部缓变型异常状态判断的准确率.