|
| - 水工混凝土试块在抗压试验中数据自动化处理的方法
- 作者：吴鸿飞 金奇彪 董春姚 来源期刊：浙江水利科技 年卷号：2011(4).-77-78,86
- 摘要：混凝土试块抗压强度是水利工程混凝土质量评定中的一个重要指标。为保证试验结果的公正性、正确性、及时性,减少人为因素对试验结果的影响,对试验数据采用自动化处理尤为重要。介绍了目前一般的水工混凝土试块抗压试验流程和水工混凝土试块在抗压试验中的数据自动化处理方法。
-
- 新水工混凝土试块在抗压试验中数据自动化处理的方法
- 作者：吴鸿飞 金奇彪 董春姚 来源期刊：浙江水利科技 年卷号：2011(4).-77-78,86
- 摘要：混凝土试块抗压强度是水利工程混凝土质量评定中的一个重要指标。为保证试验结果的公正性、正确性、及时性,减少人为因素对试验结果的影响,对试验数据采用自动化处理尤为重要。介绍了目前一般的水工混凝土试块抗压试验流程和水工混凝土试块在抗压试验中的数据自动化处理方法。
-
- 基于OBDD的Iteration-free CPDL判定算法研究
- 作者：邓刚 来源期刊：湖北农机化 年卷号：2011(4).-59-59
- 摘要：命题动态逻辑是一种应用模态逻辑，用于程序行为的推理。Iteration—free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理。而且还能够提供合适的形式框架对动作进行刻画和推理，可用其进行web服务组合。
-
- 新基于OBDD的Iteration-free CPDL判定算法研究
- 作者：邓刚 来源期刊：湖北农机化 年卷号：2011(4).-59-59
- 摘要：命题动态逻辑是一种应用模态逻辑，用于程序行为的推理。Iteration—free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理。而且还能够提供合适的形式框架对动作进行刻画和推理，可用其进行web服务组合。
-
- 网优支撑平台在网络优化工作中的作用
- 作者：盛莉莉 来源期刊：江苏通信 年卷号：2011(4).-55-57
- 摘要：传统的网管依赖于不同的设备厂家，在性能分析上采用不同的标准定义，优化手段也依赖于厂家提供的各种不同的优化工具。而网优平台集中采集优化分析所需要的各类原始数据，定义统一的性能分析标准，并提供统一的专项优化工具，减少数据采集、数据维护的IT作量，规范无线参数的配置，及时发现网络中存在的问题。
-
|