GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.     

SHRIMP zircon U-Pb ages of garnet pyroxenite and Fushui gabbroic complex in Songshugou region and constraints on tectonic evolution of Qinling Orogenic Belt

“Qinling Group (?)” in Songshugou region in the north of the Shangdan Fault consists predominantly of amphibolite with or without garnet and amphibole-plagioclase gneiss and intercalated with lensiod blocks of garnet pyroxenite, where the famous Songshugou dunite body occurs (Fig. 1). Petrographic study reveals that garnet pyroxenite is the representative rock of early     

Preparation and properties of antimony thin film anode materials

Metallic antimony thin films were deposited by magnetron sputtering and electrodeposition. Electrochemical properties of the thin film as anode materials for lithium-ion batteries were investigated and compared with those of antimony powder. It was found that both magnetron sputtering and electrodeposition are easily controllable processes to deposit antimony films with flat charge/discharge potential plateaus. The electrochemical performances of antimony thin films, especially those prepared with magnetron sputtering, are better than those of antimony powder. The reversible capacities of the magnetron sputtered antimony thin film are above 400 mA h g^-1 in the first 15 cycles.     

1999～2002年《贵州大学学报（社会科学版）》载文及引文分析

运用文献计量学的研究方法，对1999～2002年《贵州大学学报(社会科学版）》所载论文的我文量、引文量、引文语种分布和引文类型等进行了综合统计分析。     

战区反导拦截效率模型研究

在未来防空作战中,反战术弹道导弹(TBM)是防空导弹部队担负的重要作战任务。针对拦截战术弹道导弹过程中,难以用一般预警雷达完成情报预警的问题,建立了情报预警系统的发现概率和预警概率计算模型,以及防空导弹拦截系统的排队论模型,给出了反导作战拦截效率的计算方法,并讨论了提高反导拦截效率的对策与方法     

科学与理性

编者按:本栏摘登了由青年学者刘华杰博士主持的关于"敬畏自然"话题讨论的部分内容.这个话题,自从印度洋海啸发生之后引起了我国学术界人士的普遍关注,并在某些报刊上展开了热烈的讨论.这里刊发的是四位青年学者从文化层面对"敬畏自然相关问题"发表的意见,供读者参阅.     

简单正交多阵SOMA(4,n)的存在性

设整数k0,n≥2,简单正交多阵SOMA(k,n)是一个n×n的方阵A,它的每一个单元格包含kn-元集S的一个k-元子集且满足:1)S的每个元素在A的每一行和每一列恰好出现一次;2)S的每个2-元子集至多出现在A的一个单元格中.总结了SOMA(k,n)存在的最新结果,并且阐述了它和相互正交拉丁方之间的关系,同时通过直接构造的方法证明了n≥5,SOMA(4,n)的存在性,并且提出了进一步研究的问题.     

Microstructural characterization and oxidation resistance of multicomponent equiatomic CoCrCuFeNi-TiO high-entropy alloy

CoCrCuFeNi-TiO was prepared by arc melting of the pure elements and Ti₂CO powder under an Ar atmosphere. Both CoCrCuFeNi and CoCrCuFeNi-TiO alloys are composed of a face-centered cubic (fcc) solid solution, whereas the alloys of CoCrCuFeNi-TiO are basically composed of an fcc solid solution and TiO crystals. The microstructures of CoCrCuFeNi-TiO are identified as dendrite and interdendrite structures such as CoCrCuFeNi. The morphology of TiO is identified as an equiaxed crystal with a small amount of added Ti₂CO. By increasing the amount of Ti₂CO added, the TiO content was dramatically increased and part of the equiaxed crystals changed to a dendrite structure. A test of the oxidation resistance demonstrates that the oxidation resistance of CoCrCuFeNi-TiO is better than that of CoCrCuFeNi. However, as the TiO content increases further, a corresponding decrease is observed in the oxidation resistance.     

薄铺层复合材料薄壁管轴压屈曲行为研究

在薄壁结构的应用中,屈曲稳定性是影响其承载性能的关键因素,为研究减薄铺层厚度对复合材料薄壁结构局部屈曲行为的影响,本文采用不同厚度(0.125、0.055和0.020 mm)的预浸料制备复合材料薄壁管,实验测试了其在轴压下的局部屈曲行为.实验结果表明,随着铺层厚度减薄,实验采用的正交和均衡两种铺层方式的复合材料薄壁管局部屈曲载荷均随之提高,而屈曲失效模式没有发生改变.力学分析表明,铺层厚度减薄后,管壁弯曲刚度的改变和层间剪切应力分布对薄壁管局部屈曲载荷提高有重要影响.采用薄铺层制备复合材料薄壁结构件能够有效提高其局部屈曲能力.     

An efficient identity-based key agreement protocol in a multiple PKG environment

Identity-based key agreement protocol affords a natural way to combine the participant’s identity with its public key.However,most of them just consider the key agreement in a single private key generator(PKG)environment.In addition,the existing key agreement protocols have a great computing overhead for mobile computing which is more and more popular today.This paper proposes a new identity based key agreement protocol.With the help of mathematical tools,we make our protocol applied in multiple PKG environment.It also satisfies all the security properties which is set for key agreement protocol.Moreover,some of its time-consuming operations can be delivered to untrusted public computation resources,so its computing complexity can be greatly reduced.