过冷及非晶态Cu扩散性质的分子动力学模拟

采用分子动力学方法，模拟了液态Cu在快速凝固过程中处于过冷态和非晶态时原子的扩散行为，原子间相互作用势采用镶嵌原子(EAM)势，扩散性质由平均方差(MSD)时间关联函数描述，结构分析使用偶关联函数和对分析技术．计算结果表明扩散运动对于晶体的产生起着重要的作用．给出了不同弛豫时刻的微观结构信息．     

金刚石基础知识问答（Ⅱ）

16为什么要发展人造超硬材料？其意义何在？答：（1）天然金刚石资源稀缺，产地多集中在非洲，近10多年来，年产量在3000万克拉左右。立方氨化硼只有人工合成的，至今没有发现天然产品。（2）社会需求量大。随着现代科学技术、现代工业发展的日新月异，硬、韧材料不断推出，加工问题显得十分突出，很多加工难题只有应用超硬材料才有可能得到解决，天然金刚石产量无法满足需要是必然的，因此，必须发展人造超硬材料。世界上人造金刚石经过40多年的发展，不仅在产量上远远超过天然金刚石，而且某些性能，如抗冲击韧性、耐热性、透光性等已达到…     

宽带隙薄膜材料核化与生长机制及其性质的研究

宽带隙金刚石膜及立方氮化硼薄膜由于其优异的物理性质和低成本，在机械、电子、光学及军事工业等部门有广阔的应用前景。     

微量Mg对高压电子铝箔腐蚀结构的影响

采用立方织构定量检测以及扫描电子显微镜下观察腐蚀结构等手段, 对比了不同微量Mg元素含量的高压电解电容器阳极铝箔在织构和腐蚀结构上的差别, 研究了Mg含量对高压电解电容器阳极铝箔比电容的影响. 分析表明 Mg含量从0.0001%提高到0.0014%时, Mg会更多富集于铝箔表面, 促使腐蚀形成的氧化膜中出现含Mg的复合氧化物微小颗粒, 进而引起腐蚀隧道的侧向发展; 频繁的侧向发展可导致表层腐蚀组织剥落, 进而使铝箔在500 V的比电容从7.3×10-3 F/m2降低到4.3×10-3 F/m2.     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

随机背包公钥密码的分析与改进

针对随机背包公钥密码方案,提出一种私钥恢复攻击方法.发现Wang等人所构造的随机背包公钥方案实际上是隐含使用了一个特殊的超递增背包.通过使用普通超递增背包代替该特殊超递增背包,将超递增背包隐藏在随机选择的背包中,对原方案进行了改进,提出一种新的基于中国剩余定理的背包公钥密码方案.改进后的方案消除了原方案存在的设计缺陷,能够抵抗针对原方案提出的格规约攻击、低密度攻击以及shamir攻击.     

投票理论研究现状及其展望

社会选择理论是研究如何表达和聚合个体选择的一门学问.而社会选择理论与计算机科学的融合产生了称为计算社会选择的交叉学科,该学科成为社会计算的重要研究内容之一,在人工智能、经济和计算性理论领域引起了轰动.其一方面引入了复杂性分析和算法设计等计算机学科中常用的技术来对社会选择机制进行研究;另一方面也通过引入社会选择理论中的概念来推动计算机技术的发展,特别是在多智能体系统研究中有着成功的应用.投票理论是计算社会选择中最重要的研究主题之一.首先介绍常见的投票方法以及投票理论的形式化框架;再对投票理论中所关心的操纵问题做分析;然后介绍在组合域上的投票;最后对其他相关问题作简要介绍,并对该领域未来的发展与应用做出展望.     

基于网络编码的无线网络容量分析

无线网络容量一直是无线网络领域的研究热点,而网络编码通过赋予中间节点对接收数据包进行编码、组合的能力,可以有效提高网络容量,达到最大流—最小割定理确定的理论上限.本文在Gupta和Kumar提出的信号干扰噪声比模型基础上,首先分析网络节点均匀分布时发送节点与目的节点进行多跳传输的无线网络容量计算方法;接着推导出了基于网络编码的无线网络容量计算公式,并利用MATLAB中求解线性规划问题的函数linprog()求解网络最大流及各链路流量,以此求出无线网络容量上界.通过对无线网络容量上界进行MATLAB仿真,得到如下结论:无线网络容量上界随节点数量的增加呈现先增加后减少的趋势;且当节点数量趋于无穷大时,网络容量趋于零;与传统的存储转发模式相比,采用网络编码有利于提高网络容量.     

Controllability results for damped second-order impulsive neutral integrodifferential systems with nonlocal conditions

In this paper, we establish a set of sufficient conditions for the controllability of damped second-order impulsive neutral integrodifferential systems with nonlocal initial conditions in Banach spaces. The approach used is the Sadovskii fixed point theorem combined with a noncompact condition on the cosine family of operators. An example is presented to illustrate the result.     

知识的属性扰动规律的不等式关系

知识的属性扰动引起知识规律的变化,这些变化的规律称为扰动规律.利用单向S-粗集和单向S-粗集对偶,给出属性扰动的知识规律的上规律.下规律的概念,并对知识规律与属性扰动的知识规律进行了讨论,提出了属性扰动知识规律(上规律,下规律)的不等式定理.