新知与旧俗：江西高校大学生性别刻板的觉察与松动

江西高校大学生婚恋观调查结果显示,男女大学生之间存在诸多共性,其相似性远高于差异性。尽管性别差异的确存在,但非常小,不如传媒所传说的那样显著。女大学生较之男大学生而言,性别观念相对更为开放与包容,更反映出对传统性别期待的挑战与突破。     

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

为探究钢-钢纤维混凝土（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.     

基于改进的对应分析-ESI模型陕西北部地区生态环境压力评价?

针对传统生态环境压力指数(ESI)模型评价结果缺少普适性的缺陷,本研究提出改进的对应分析-ESI模型,并以2010年陕西省北部地区为例进行社会经济发展对生态环境压力的特征及成因分析.在生态环境压力法评价各市县生态压力等级的基础上,利用对应分析法根据影响指标的不同将各市县分类,并提出相应的应对策略.结果表明:1)陕西省北部地区主要的生态环境的压力来源于环境污染.2)陕西省北部地区13个市县可分为3个区:Ⅰ区应适度转换耕地用途;Ⅱ区应着重治理工业三废问题;Ⅲ区应减少农用化肥施用量以及降低生活污水的排放量.     

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.