依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

构造矩阵有理插值函数的方法

熟知的构造矩阵值有理插值函数的方法,是基于矩阵的古典逆或Samelson逆,利用连分式给出的,其算法可行性不易预知。借助构造向量值有理插值的方法,引入多个参数,定义一对多项式:代数多项式和矩阵值多项式,并利用两多项式相等的充分必要条件,通过求解方程组确定参数,并由此给出类似于多项式插值的矩阵值有理插值公式;该公式简单,便于实际应用。     

某滑坡滑带非饱和土强度特性试验研究

借助专门的能够控制吸力的四联式非饱和土直剪仪,对清江水布垭坝区古树包滑坡滑带土的重塑样进行了一系列抗剪强度试验,验证了F red lud提出的非饱和土抗剪强度公式对滑带土的适用性,求出了该滑带非饱和土的强度参数;通过在一定基质吸力条件下量测含水率-固结压力之间的关系,指出土-水特征曲线与固结压力相关的特性。     

单泵与储料罐组合的深海采矿输送设备

根据软管采矿系统对输送设备的要求,研究出由储料罐与高压水泵组合而成的新的输送设备,其原理为:首先采用高压水泵对海水加压,然后采用储料罐将矿石加入到高压水中,通过高压水将矿石从海底输送到海面.根据两相流理论和Bernoulli方程,建立了储料罐与高压水泵组合输送的水力输送设备的设计理论体系.对输送系统的参数进行计算分析可知,对于矿石体积分数为7%～12%的流体,1 000 m深海采矿中试输送系统的水泵扬程为100～150 m,3 000 m深海采矿输送系统的水泵扬程为400～450 m.由储料罐与高压水泵组合而成的矿石输送系统简单,避免了矿石颗粒与水泵直接磨损,适用于深海采矿软管输送系统.     

基于适应参数的设计模式重用方法

描述了一种基于适应参数的设计模式重用方法。讨论了设计模式的适应时机，对模式参数作了分类和说明，在此基础上给出了一个设计模式重用的具体实例。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

新型Al-Mg-Si-Cu合金热压缩流变应力研究

在Gleeble 1500热模拟机上对一种新型Al-Mg-Si-Cu合金热压缩流变应力行为进行了研究,应变速率为 0.005~5 s-1、变形温度为350~550 ℃.结果表明:在较小应变(<0.15)出现一峰值后流变应力随应变的增加有所降低,表现出较明显的动态软化;在实验范围内,流变应力值随着应变速率减少和变形温度升高而降低,可用Zener-Hollomon参数的幂指数关系描述合金的流变应力行为,其变形激活能Q为236 kJ/mol.图5,参11.     

浅析C语言指针的灵活运用及常见错误

针对学生在学习指针过程中遇到的困难及使用指针过程中出现的常见错误,讨论指针的概念、指针与数组的关系、指针与函数的关系、指针作为函数参数的实质,帮助学生克服困难和错误。     

介观电路中量子噪声压缩条件及压缩参量对量子涨落的影响

以量子化介观电路为基础,侧重数值方法考察和分析压缩参量对介观电路中电压、电流量子涨落的影响.结果表明,电压、电流量子涨落的乘积随压缩参量(r,θ)的变化曲线出现2个峰值,峰值出现在相同的r值处,其峰值比电压或者电流量子涨落的峰值大,且曲线关于θ=180°对称.     

时间相关的含缺陷材料的流变破坏理论

含缺陷物体的与时间相关的失效过程是一个热力学开放的，远离平衡态的系统，失效过程中发生耗散结构的自组织现象，不同尺度上耗散结构的自相似性可供从微观过度到细观和宏观，基于缺陷演化过程国局域温度场和热磁效应的实验研究，从统一的宏、细、微观层次体系出发。研究了与时间相关的缺陷体的失效过程，结果表明。这个失效过程并非纯力学过程，其中的热力耦合和热磁效应不容忽略。