基于PSS算法的可证明安全顺序聚合签名算法

研究了聚合签名技术,分析了基于RSA算法的顺序聚合签名体制的安全性,发现算法存在安全缺陷,为了克服原方案的安全缺陷,基于PSS(probabilistic signature scheme)算法下,提出了一种可证明安全的顺序聚合签名方案PSS-AGS.该算法在基于RSA问题的困难性假设下,可以证明方案在随机预言(RO,random oracle)模型下是安全的.分析实验结果表明,方案可以有效地抵御重放攻击并且运行速度较快.     

微孔物质BET测试数据的筛选、处理和检验

经典的BET测试适用于介孔和无孔物质,测试的相对压力范围是p/p0=0.05–0.3。现在人们对含有微孔的物质也用BET表征,可能的测试相对压力范围是p/p0=0.005–0.3。所得数据比较多,需要筛选才能找出符合BET模型的数据。有的仪器公司最新版软件有辅助筛选功能,使用起来非常方便。这类软件是基于Rouquerol变换方法编写的。我们试着摸索了这个方法的数学推导过程,然后根据文献和多人积累的测试经验归纳总结出了BET数据处理的5个步骤,整个处理过程在Origin软件上即可实现,适用于所有容量法BET仪器的数据筛选、处理和检验。     

镍钴双原子团簇催化甲烷干重整反应机理及其动力学研究

本研究采用密度泛函理论方法对NiCo双原子团簇催化甲烷干法重整反应的体系进行了计算研究。通过计算结果得出甲烷脱氢、二氧化碳活化、C*和CH*的氧化、H₂和H₂O的生成四个反应过程可能的反应路径。最后,运用能量跨度模型分析循环反应的动力学信息,发现298K时甲烷脱氢过程中不易生成C*。913 K时甲烷脱氢过程决速中间体由IM1-1变成了IM6-1、决速过渡态由TS78-1变成了TS56-1;虽然可以生成C*,但能量跨度的减小加快了C*和CH*的消去。本工作可以了解NiCo双原子团簇催化甲烷干法重整的作用机理,为实验研究提供理论基础。     

双参数地基上带肋筏板基础的耦合数值方法

为解决工程中有关带肋筏板基础与地基土相互作用的计算分析等问题,将带肋筏板基础中的筏板由无单元法模拟,肋梁由有限元方法模拟,根据虚功原理,建立了双参数地基上带肋筏板的一种耦合数值方法.该耦合方法可以计算具有非规则形状、斜交叉梁的带肋筏板基础.实例计算论证了方法的合理性、可行性.     

多维视域中的社会存在本体论建构

西方马克思主义的创始人卢卡奇面对历史的困境和现实的危机,从西方哲学和马克思主义哲学的思想中汲取营养,通过《关于社会存在的本体论》的写作试图建构马克思主义哲学的本体论,不仅为解决时代问题提供了有益的借鉴,也为开辟马克思主义哲学新的发展道路提供了珍贵的哲学资源。     

向异性材料弹性矩阵的变换矩阵

本文给出了各向异性材料弹性性质的变换矩阵的一般形式，成为对各向异性材料有限元分析不可缺少的工具     

深空探测对我国地面测控站升级的需求?

我国近年建成的深空测控网可以对未来的火星探测任务和其他深空探测任务实现自主测量和控制,并且同时具备对深空探测器的微波测速测距和VLBI测量能力.遥远深空探测任务加大了微波信号在星-地链路之间的往返传输时间,改变了测控链路信号的上、下行路线几何构型,导致同一个天线系统难以对探测器同步完成上、下行链路的业务,是对目前地面测控通信能力的挑战.本文以典型的火星探测为例,分析了深空探测器的微波闭环跟踪测控对我国深空测控系统单站设备的升级需求,并对深空站相应的改造提出了建议:1)单站单一天线上、下行时分交替测控模式;2)利用设置了单一天线的多个深空测控站协同三程开环链路测控,实现对探测器的控制和遥测;3)采用DSN/JPL/NASA的方案,在每个深空测控站配置多套天线系统,全部天线共用台站时频资源实现单站闭环上、下行实时连续测控.     

气相中2Sr+和2Ba+催化N2O与CO还原反应的理论研究

用密度泛函理论DFT-UB3LYP方法,对2Sr+,2Ba+采用相对论校正赝势基组SDD,对C,N,O采用6-311+G(2d)基组,计算研究了气相中碱土金属离子2Sr+,2Ba+催化N2O(X1∑+)+CI(X1∑+)→N2(X1∑+g)+CO2(X1∑+g)反应的微观机理.优化了二重态势能面上各反应物、中间体和过渡...     

基于定向技术距离函数的投入产出型Malmquist指数

本在分析了基于产出距离函数的Malmquist指数的局限性后，定义了在t时期上的定向技术距离函数，提出了修正的Malmquist指数(简称ARD，AGL)，并用线性规划给出了求解方法。同时运用修正后的Malmquist指数对技术进步、技术效率变化和规模效率三方面进行了分解，并辅以经济解释。     

基于正交基函数的薄板弯曲无单元法MLS导函数及其应用

针对采用正交基函数的无单元方法插值函数的导函数进行了详细推演，给出适用于薄板弯曲(C^1)问题的导函数递推计算公式，并首次将其应用于地基板的计算分析中。将计算结果与Rayleigh—Ritz法结果进行比较，两者较好的一致性表明了所得导函数及其递推公式的正确性，同时也说明了基于正交基函数的无单元方法应用于C^1问题的可行性和合理性。