强激光能源系统新型放电回路研究

 从理论上分析了强激光能源系统新型放电回路能量传输效率和氙灯能量分配均匀性问题，给出了预电离回路的实验研究结果，此外还介绍了新型大尺寸氙灯爆炸能量的测试情况。     

无定形物质中一种新自旋结构的相变理论

关键词：     

非晶Ni-P合金的晶化相

利用电镜双倾台倾转Ni₁₂P₅晶体以及对Vafaei-Makhsoos发表的数据的分析,证实了由他所提出的三个新的Ni₃P相并不存在。从而澄清了非晶Ni-P合金在加热过程中总共有七个晶化相析出:α=5.48?的面心立方亚稳相α,由此相转变生成的六角多型体α₁,α₂,α₃亚稳相,体心四方Ni₁₂P₅相,体心四方Ni₃P相及Ni固溶体。 关键词：     

非晶合金Fe78Si9B13在脉冲电流作用下的单相晶化

对非晶合金Fe₇₈Si₉B₁₃进行了超短脉冲电流处理，实现了晶化时α-Fe（Si）单相结构析出．可以认为，脉冲电流作用时，电子运动与非晶中空位型结构缺陷间的周期性排斥效应促进了类金属原子从非晶结构单元中析出，使Fe（Si）原子局部富集，导致基体金属相在较低温度下优先成核．而在空位的定向迁移的同时，将伴随B原子的扩散，则B原子局域富集，Fe-B化合物的形核析出就要受到这两个因素的抑制 关键词：     

兰道定理中的海曼常数的准确值

本文找到了用海曼(Hayman)形式表示的兰道(Landau)定理的准确界限,即证明了海曼常数准确值是.A有过历史:A≤5π^[1],A≤7.77^[2],A≤3/2log24=4.76…[5].     

基于相关分析的LED路灯光强分布测试步距角优化研究

优化LED路灯光强分布测试系统的测试步距角可以较大程度地提高LED路灯测试的效率。选择不同的测试步距角对LED路灯的光强分布进行测试,将1°测试步距角所测得的路灯光强分布视为真值,采用相关分析的方法研究在较大步距角下所测得的路灯光强分布与真值之间的近似程度。研究结果显示,当相关系数要求在98%左右时,可以选择15°测试步距角对LED路灯的光强分布进行测试,相对于真值测试,在此步距下LED路灯的测试时间减少了98%以上,极大地提高了测试效率。     

Quark-clustering in cold quark matter

Quarks are proposed to be grouped together to make quark-clusters due to the strong interaction in cold quark matter at a few nuclear densities, because a weakly coupling treatment of the interaction between quarks there would be inadequate. Cold quark matter is then conjectured to be in solid state (i.e., forming a crystal structure) if the inter-cluster potential is deep enough to localize clusters in lattice. Such a solid state of cold quark matter would be very necessary for us to understand different manifestations of pulsar-like compact stars, and could not be ruled by first principles.     

基于需求和生产成本偏差的Cournot竞争供应链协调

分析一个供应商和两个Cournot竞争零售商组成的供应链系统的协调问题.首先证明收益共享合约在稳定条件下能实现该供应链协调;当突发事件导致零售商面临的需求规模和供应商的生产成本同时与其预测值发生偏差时,为使供应链收益最大,提出了调整生产计划和零售价格的协调策略,进一步证明了改进的收益共享合约可协调需求和成本偏差的分权供应链;最后进行了数值实验.     

倒向随机微分方程的Malliavin微分和共单调定理

本文利用Malliavin微分的理论研究了倒向随机微分方程的解$(y,z)$, 首先利用$y$的Malliavin微分得到了一种比较$z$的方法, 然后利用该方法得到了含有随机生成元的倒向随机微分方程的共单调定理.     

软件质量保证的优化方法浅析

在软件测试技术的不断发展过程中,自动化测试技术作为软件测试技术的一个分支,被越来越多的使用在软件测试的各个阶段,大大节省了软件测试成本、提高了测试效率、缩短了软件开发周期。本文结合自动化测试理论与技术,基于现有的自动化测试技术、测试框架以及自动化测试工具进行了研究,提出了一种基于当前较成熟的软件测试自动化技术-关键字驱动的自动化测试技术而构建的自动化测试框架模型,并在此框架模型的基础上,设计实现了基于Selenium的自动化测试框架。