软件进程分解方法模式

建立了对软件进程模块M的一种规范化的分解方法,这种方法视为分解M的一种方法模式,称为矩阵模式,表示为A=[w,t].这个模式把M的递归过程的理论分析和实际展开结合于一体,为它的递归展开过程形成有效的条件,生成M的优化的计算原型Pri-cTr.     

预应力碳纤维布加固二次受力梁抗弯试验研究

通过对7根不卸载的混凝土梁进行预应力CFRP布加固后的荷载试验,研究了不同的初始弯矩对构件受弯性能的影响和作用.试验研究表明,初始弯矩的存在使构件的受弯性能明显降低,并且随着初始应力水平的增加,降低作用更加明显.     

软件体系结构的数学论域

把两个数学集合ISAC和IP定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.     

软件进程分解的理论分析

讨论了软件进程SP分解运算的理论基础及分解运算集合ρθ的数学表示和性质；说明了SP作为一个模块M对它分解运算的一般模型和谓词公式；分析了等价算子集ASeteq(M)及其相关结论。     

预应力碳纤维布加固二次受力梁抗弯试验研究

通过对7根不卸载的混凝土梁进行预应力CFRP布加固后的荷载试验,研究了不同的初始弯矩对构件受弯性能的影响和作用．试验研究表明,初始弯矩的存在使构件的受弯性能明显降低,并且随着初始应力水平的增加,降低作用更加明显．     

预应力碳纤维布加固梁最佳预应力水平的确定

无论是抗裂、减小正常使用状态下的裂缝宽度和挠度、延缓钢筋屈服还是提高构件极限承载力,预应力碳纤维加固梁的性能均优于非预应力碳纤维加固梁,而预应力水平的取值直接影响加固构件的力学性能.在国内外已有的预应力碳纤维布加固一次、二次受力梁试验研究的基础上,对最佳预应力水平的取值进行理论分析,建议碳纤维布最佳的预应力水平在60%εcfu左右.     

软件进程分解的理论分析

讨论了软件进程SP分解运算的理论基础及分解运算集合ρθ的数学表示和性质;说明了SP作为一个模块M对它分解运算的一般模型和谓词公式;分析了等价算子集ASeteq(M)及其相关结论.     

预应力碳纤维布加固梁最佳预应力水平的确定

无论是抗裂、减小正常使用状态下的裂缝宽度和挠度、延缓钢筋屈服还是提高构件极限承载力,预应力碳纤维加固梁的性能均优于非预应力碳纤维加固梁,而预应力水平的取值直接影响加固构件的力学性能。在国内外已有的预应力碳纤维布加固一次、二次受力梁试验研究的基础上,对最佳预应力水平的取值进行理论分析,建议碳纤维布最佳的预应力水平在60％εcfu左右。     

换填垫层地基强度与设计研究

依据换填垫层与其周边软土处于极限平衡状态的基本假定,导出换填垫层承载力设计值与软土强度的关系,并从双层地基应力分布特点角度出发,全面论述换填垫层设计的新思维与新方法。