特征值全为实数的实矩阵判定

对实矩阵的特征值必为实数的条件进行了研究,得到了实矩阵的特征值必为实数的判定方法。通过实例说明判别方法简单、可行。     

钢-钢纤维混凝土组合桥面板偏心受拉性能

为探究钢-钢纤维混凝土（SFRC）组合桥面板在主梁体系下的偏拉力学特征，分别设计制作了1个普通混凝土组合桥面板和1个SFRC组合桥面板试件进行偏拉试验，并引入材料塑性损伤模型进行有限元模拟，考察了偏拉荷载作用下SFRC对组合桥面板破坏形态、刚度折减、应变分布等力学性能的影响规律。试验及数值分析结果表明，相比普通混凝土，SFRC受拉裂缝数量多但宽度小；通过观测钢筋应变发展及分布可知，由于SFRC具有拉伸硬化特性，在开裂后仍能继续承担外部荷载；SFRC开裂后，其对组合板轴向抗拉刚度与侧向抗弯刚度贡献明显大于普通混凝土；当最大裂缝宽度分别为0.10和0.20 mm时，SFRC对组合板的轴向抗拉刚度贡献为36%和22%，普通混凝土仅为15%和11%;SFRC对组合板的侧向抗弯刚度贡献为41%和27%，普通混凝土仅为29%和17%，表明SFRC开裂后仍可考虑其对组合桥面板刚度贡献。此外，结合理论推导分析了组合板在钢结构全截面屈服时的承载力，结果表明，SFRC和普通混凝土对组合桥面板极限承载力贡献不显著。     

A high-level synthesis based dual-module redundancy with multi-residue detection （DMR-MRD） fault-tolerant method for on-board processing satellite communication systems

On board processing （OBP） satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset （SEU） is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy （TMR） is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis （HLS） is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26％ compared to TMR,while fault missing rate is 0.15％.     

泛代数上的Groebner-Shirshov基理论

综述了域上或交换代数上的线性（-）代数的相应的簇（范畴）的 Groebner-Shirshov 基理论的新成果，如:结合代数（包括群（半群）代数），自由代数的张量积，李代数，Di-代数，pre-李代数，Rota-Baxter代数，metabelian李代数，L-代数，半环代数，范畴代数，等．以上结果包含了许多应用，尤其是给出了一些著名结论的新的证明．     

Preface to the Special Topic on Computer Mathematics

Journal of Systems Science and Complexity -     

带漂移布朗运动的一个局部时的Laplace变换

在Borodin和Salminen(2002)文献中有关带漂移布朗运动占位时的Laplace变换结果的基础上,运用Li等(2014)计算局部时的方法,推出了带漂移布朗运动在独立指数时间e_q前,及停留在0处的局部时的Laplace变换表达式Ee~(-λl(e_q,0))=lima→0I(λ/a;0,a,e_q)=((2q+μ~2)~(1/2))/(λ+(2q+μ~2)~(1/2))。当μ=0时,本文结果与标准布朗运动的结果吻合。     

采用Sn中介层的覆Al薄膜硅片键合技术研究

研究采用Sn作为中间层键合覆盖Al薄膜的硅片。相对于Al-Al直接热压键合,该系统能提供低温、低压、快速的圆片级键合方案。采用直径为100 mm硅片,溅射一层500 nm厚度的Al层后,在N2气氛下进行450°C,30分钟退火,采用Ar等离子体清洗后,溅射一层500 nm厚度的Sn层。将硅片金属面紧贴在一起放入键合机中键合,在真空中进行。键合时间为3分钟条件下,得到平均剪切强度为9.9 MPa,随着键合时间增加,剪切强度显著降低。     

System optimization model of adoption of a new infrastructure with multi-resource and multi-demand sites

This study develops a conceptual system optimization model of adoption of a new infrastructure technology with multiple resource sites and multiple demand sites. With the model, this paper analyzes how the distance, spillover effect, demand, initial investment cost, and learning rate influence the adoption of the new infrastructure technology and presents optimization results of the model in different scenarios. The main findings of the study are: from the perspective of system optimization, (1) different distances among different resource-demand pairs will result in different adoption time of a new infrastructure; (2) technological spillover among different resource-demand pairs will accelerate the adoption of a new infrastructure; (3) it is hard to say that higher demand will pull faster adoption of a new infrastructure, and the optimal time of adopting of a new infrastructure is very sensitive to its technological learning rate.     

Secure pairing with wearable devices by using ambient sound and light

Wearable devices usually work together with smart phones. To ensure only legitimate smart phones can read the data, they must conduct pairing to establish a shared key. Traditional pairing methods require that the pairing devices have a keyboard or screen for user interaction. However, due to the size limitation, keyboards or screens are hard to be installed in the wearable devices. To solve this problem, we propose a novel pairing method by using ambient sound and light. In this new scheme, any pairing request from smart phone will trigger wearable device vibration. Only after users press the confirm key on the device can the pairing process continues. Then pairing devices collect ambient sound and light at the predetermined time and establish a shared key by using the Diffie-Hellman protocol. To protect against potential man-in-the-middle attacks in the key establishment process, an improved interlock protocol with sound and light comparison is conducted to authenticate the key. If both the sound and light collected by the pairing devices are similar enough, the key is accepted. Otherwise, it is rejected. Compared with current context based pairing methods, our scheme does not impose strict synchronization on devices to collect ambient context data. Moreover, our scheme need not collect and exchange contextual information for multiple times to resist offline brute force attacks. The experimental results and security analysis prove the effectiveness of our scheme.     

公共图书馆面向中小企业创新的知识服务体系构建

创新创业背景下公共图书馆为中小企业服务的知识性特征更加明显.在分析中小企业创新过程中知识需求的基础上,构建了"一中心多支点"图书馆知识服务联盟与知识服务专业平台,并协同中小企业知识服务机构实施了知识资源库的建设,建立了"图企联合"长效合作机制以提高中小企业的创新活力,实现知识再造.