广义有向树与程序终止

<正> 一个程序P是完全正确的,表现为如果对满足输入断言的任何输入,执行程序P,则程序将以满足输出断言的输出而终止。然而,为了方便起见,往往把证明程序正确性的任务分为两个独立的子任务:(1)证明如果程序终止,则输出断言被满足,这叫证明程序部分正确,(2)证明如果对于程序的所     

基于主成分分析法的微博影响力评估方法及实证分析——以“新浪微博”为例

介绍了微博作为一种新型社会化媒体的基本结构和特点,并从微博的信息传播机制出发,分析认为用户交互模式较大程度地体现了微博的影响力,由此总结出微博的4个基本功能,以"新浪微博"为研究样本,甄选了7项指标构成微博影响力评价指标体系,应用主成分分析法推导出各项指标的权重,最后建立了微博影响力评价模型.     

掺杂BaHfO3电子结构与力学性能的第一性原理研究

在广义梯度近似（GGA）下,采用基于密度泛函理论的第一性原理方法研究了掺杂对BaHfO3的电子结构与力学性能的影响．电子结构计算表明：优化的BaHfO3晶格常数与实验值吻合较好,BaHfO3为一种间接带隙的绝缘体材料．掺杂Sr和Ti后该材料仍为间接带隙材料,Ba0.5Sr0.5HfO3的带隙增大,绝缘体特征增强,而BaHf0.5Ti0.5O3的带隙显著减小,呈现出半导体材料的特征．由态密度分析可知,掺杂后带隙的变化主要是由于导带底的移动造成的．力学性能分析表明：与BaHfO3相比,Ba0.5Sr0.5HfO3的剪切模量和杨氏模量均明显减小,材料硬度减弱;BaHf0.5Ti0.5O3的剪切模量及杨氏模量均明显增大,材料硬度增强．电子密度分布分析揭示了掺杂改变体系价电子浓度的分布情况,使BaHfO3的价健特性发生了变化,这是材料硬度改变的内在原因．可见,掺杂能够有效地调控体系的硬度,该研究结果为掺杂BaHfO3力电材料的设计与应用提供了理论依据．     

基于广义信息域离散轨迹变换的随机数生成器

广义信息域是所有可表示为二进制编码的数字信息构成的空间. 本文提出一种基于广义信息域离散轨迹变换的随机数生成器. 该生成器将广义信息域作为熵源空间, 把用户选择的数字信息作为熵源输出, 在对熵源输出进行重构处理的基础上使用离散轨迹变换方法生成随机数. 本文提出的生成器在平衡度、周期和抗碰撞等性能上均表现优良, 并通过美国国家标准技术研究院 测试证明其具有理想的随机性, 可以供用户快速方便地生成高安全随机数.     

交流源作用下介观RLC电路系统量子态随时间的演化

根据量子不变量理论,同时考虑介观电容器极板间电子波函数的耦合作用和电路的耗散,研究介观RLC电路系统在交流电流源作用下动力学的演化过程,并且得到描述系统量子态随时间的演化算符.进一步的分析结果表明,介观RLC电路系统的波函数将由任意的初态演化到一般的压缩态.     

交流源作用下介观LC电路系统量子态随时间的演化

利用量子不变量理论,讨论了交流电流源作用下介观LC电路系统动力学的演化,得到描述系统量子态随时间的演化算符.分析结果表明:在考虑了介观电容器极板间电子波函数的耦合作用后,介观电路系统将由初态演化到压缩态.     

高效液相色谱串联质谱法测定动物源食品中群勃龙、勃地酮和黄体酮残留量

类固醇激素是在畜牧业养殖中经常使用的一类激素,滥用同化激素会对人及动物健康、社会和生态环境造成直接和潜在的危害.     

第一性原理研究[111]晶向硅纳米线电子结构,光学性质与压阻特性的应变效应

基于密度泛函理论体系下的广义梯度近似(GGA),利用第一性原理方法计算研究了单轴应变对[111]晶向硅纳米线的电子结构、光学性质以及压阻性质的影响.能带结构和光学性质的结果表明:压应变导致硅纳米线的带隙明显线性减小,且使其由直隙半导体转变为间隙半导体,而施加拉应变后硅纳米线仍为直隙半导体材料,但是带隙略有减小,且价带顶附近的能带线产生了较为复杂的变化.由于能带的应变效应导致其光学性质也相应发生了较大改变:拉应变使硅纳米线的介电峰出现宽化现象,低能区内的光吸收增强,静态折射率和反射率峰值增大,而压应变的效果则相反.结合能带结构与压阻系数计算模型得到的压阻特性结果表明:随着压应变的增加压阻系数单调减小,这主要归因于空穴浓度随压应变显著变化引起的;而拉应变作用时,压阻系数呈现波动趋势,这主要是由于空穴有效传输质量的增加程度和载流子浓度的增加程度不同而相互竞争导致的.上述计算结果表明,设计基于硅纳米线的光电和力电器件时,需考虑其应变效应.     

肉制品中群勃龙、勃地酮和甲氧酪胺的检测方法

介绍肉制品中群勃龙、勃地酮的液相色谱-质谱联用检测方法和甲氧酪胺的气相色谱-质谱联用检测方法。样品经β-葡萄糖醛酸甙酶水解后,群勃龙、勃地酮用甲醇-乙酸铵缓冲液提取,C18和Silica固相萃取柱净化,用LC-MS-MS法分析。甲氧酪胺样品经高氯酸溶液提取,SCX固相萃取柱净化,MBTFA衍生化处理,GC-MS法分析。两种方法均采用选择离子模式进行测定,群勃龙、勃地酮、甲氧酪胺选择的子离子(m/z)分别为:253、228、197、159;269、173、135、121;205、233、246、359,外标法定量。群勃龙、勃地酮、甲氧酪胺的检出限分别为0.3、0.3、2μg/kg,方法回收率为72%~99%,线性范围为5~800μg/kg。     

两步酸化DPASV对乐安江沉积物水提液中铜的毒性形态分析

本文采用两步酸化分脉冲阳极溶出伏安法（ＤＡＭ－ＤＰＡＳＶ）对乐安江沉积物水提液中的铜进行形态分析，并与直接ＤＰＡＳＶ测试及生物测试（Ｄ，ｍａｇｎａ）结果进行了比较，结果表明，直接ＤＰＡＳＶ测试因水体中络合剂和表面活性剂的干扰而低估了毒性形态，而两步酸化ＤＰＡＳＶ较好地反映出了铜的毒性形态。