梁贯通式支撑钢框架体系的强度折减系数研究

基于强度折减系数的抗震设计方法,将增量动力分析（IDA）和能力谱法（CSM）结合,对典型梁贯通式支撑钢框架结构的强度折减系数进行研究。采用结构试验校准后的有限元分析模型对结构进行分析,得到结构性能点。通过比较按照设防烈度弹性设计的基底剪力Ve和按照小震设计的基底剪力Vd得到强度折减系数R。分析表明：支撑与框架柱的配置比例及布置方式会对此类结构的强度折减系数产生影响;适用于7度设防烈度的典型两层结构两种支撑配置比例（CASE1和CASE2一层与二层支撑配置比例分别为3∶1和2∶1）梁贯通式支撑钢框架结构体系的强度折减系数可分别取为3.02和2.54。最后建议了该新型结构体系考虑强度折减系数并基于我国现行规范进行抗震设计的地震作用取值范围。     

多视点视频编码的码率控制优化算法

Rate control is one of the key factors influencing the multi view video transmission. However, there is not a rate control algorithm in the existing Joint Multi view Video Coding Model. In this paper, an efficient rate control algorithm and a bit allocation strategy for multi view video coding are proposed. In order to obtain the consistent view quality, a bit allocation model based on the Lagrange optimum algorithm is firstly proposed. Secondly, considering the encoding statistical characteristics of different view types, a view weighting factor is introduced, and it will help improve the precision of bit allocation among views. Compared with the fixed QP control strategy, experiment results show that the proposed algorithm can efficiently control the bit rate and obtain more consistent views, with video visual quality improved.     

基于形式演算和不变式验证的可信算法程序构造

The paper presents a formal and practical approach to dependable algorithm development. First, starting from a formal specification based on the Eindhoven quantifier notation, a problem is regularly reduced to subproblems with less complexity by using a concise set of calculation rules, the result of which establishes a recurrence based algorithm. Second, a loop invariant is derived from the problem specification and recurrence, which certifies the transformation from the recurrence based algorithm to one or more iterative programs. We demonstrate that our approach covers a number of classical algorithm design tactics, develops algorithmic programs together with their proof of correctness, and thus contributes fundamentally to the dependability of computer software.     

“In-VM”模型的隐藏代码检测模型

Security tools are rapidly developed as network security threat is becoming more and more serious. To overcome the fundamental limitation of traditional host based anti malware system which is likely to be deceived and attacked by malicious codes, VMM based anti malware systems have recently become a hot research field. In this article, the existing malware hiding technique is analyzed, and a detecting model for hidden process based on “In VM” idea is also proposed. Based on this detecting model, a hidden process detection technology which is based on HOOK SwapContext on the VMM platform is also implemented successfully. This technology can guarantee the detecting method not to be attacked by malwares and also resist all the current process hiding technologies. In order to detect the malwares which use remote injection method to hide themselves, a method by hijacking sysenter instruction is also proposed. Experiments show that the proposed methods guarantee the isolation of virtual machines, can detect all malware samples, and just bring little performance loss.     

折线形钢箱柱受力性能试验研究

为研究折线形钢箱柱的受力性能,对其进行了设计验证和受压极限承载力的缩尺模型试验研究和有限元分析。试验结果表明：折线形钢箱柱在设计荷载作用下,始终处于弹性状态;在受压极限承载力试验中,折线形钢箱柱的破坏形态为钢箱柱折线相交部分的内折点处发生局部屈曲,导致试件变形过大而丧失承载能力。结合试验结果与有限元计算结果,分析了折线形钢箱柱的受力变形特征和内力分布规律。通过对比分析折线形钢箱柱的破坏形态及位置、荷载-位移曲线、极限承载力等,试验结果与有限元计算结果吻合良好,验证了理论分析与原型结构设计的正确性。图15表1参12     

含镧ZA12和ZA27合金相变过程的DSC分析

用差示扫描量热分析（ＤＳＣ）研究了Ｌａ对ＺＡ１２和ＺＡ２７铸态合金加热及冷却相变的影响。结果表明，ＺＡ１２中含０．４％Ｌａ，使合金的凝固温度区间减小，共析转变温度降低，共析转变热增大，表明Ｌａ抑制其共析相变。ＺＡ２７中含０．４％Ｌａ，使合金的凝固温度区间增宽和凝固潜热增加，并使冷却过程中的共晶转变出现双峰，这可能是因为ε相提前析出的缘故。     

提高S校正电容器耐电流能力的探讨

制约Ｓ校正电容器耐电流能力的主要因素是ｔｇδ。ｔｇδ愈小，耐电流能力愈强。通过改进Ｓ校正电容器的设计与工艺，并在生产中控制ｔｇδ的上限值，将ｔｇδ较大的产品剔除，从而保证了电容器的耐电流能力。     

岩石爆破中爆炸能量分布理论与控制方法研究进展

综述了岩石爆破过程中爆炸能量分布理论及其控制方法的发展现状，提出了有待进一步研究的问题，并指出其研究具有重要的理论和实践意义。     

煤与瓦斯突出、冲击地压复合动力灾害一体化研究

随着煤矿向深部开采,一些矿井动力灾害既表现出煤与瓦斯突出的部分特征,又有冲击地压的部分特征,2种动力灾害互为共存、互相影响、相互复合,难以界定为单一灾害类型,为此提出煤与瓦斯突出、冲击地压复合动力灾害的概念。通过复合动力灾害一体化理论研究,揭示了复合动力灾害发生的统一机理,据此建立了统一失稳判别准则;基于现有动力灾害分类所存在问题,将动力灾害划分为4种类型,在此基础上,针对矿井复合动力灾害类型创新研发了钻屑法多指标一体化检测及煤体温度、煤体电荷实时连续监测设备,形成了复合动力灾害一体化分类分级预测技术;同时,提出了瓦斯抽采、深孔爆破断顶-破煤-断底卸压、煤层注水等消减瓦斯内能、释放煤岩弹性能的复合动力灾害一体化防治技术。     

基于源质的煤基中间相小球体生成与可控演化

煤全组分族分离所得的密中质组是中间相小球体生成的来源物质（即源质）。以该源质为原料，制备煤基碳质中间相。考察了炭化过程中温度、恒温时间、氮气流速、原料进样方式和添加剂等因素对中间相小球体生成过程的影响，探讨了中间相小球体演化过程的可控性。结果表明：温度、恒温时间、进样方式是影响中间相小球体生成的主要因素，能够控制生成中间相小球体粒径大小；温度升高或恒温时间延长均会加剧原料分子的热反应，促进中间相小球体的生成和融并；大面积的融并将使粒度迅速增加，部分球体解体，球体数目下降，最终形成体中间相；进样方式主要通过影响小球体演化过程中挥发性气体的逸出及原料颗粒间热传递效率影响小球体的生成和发展；氮气流速起到辅助调控作用；添加剂的加入促进了原料成核，加速了小球体的生成。