中国计算机学会容错计算专业委员会简介

调谐液体阻尼器对桩应力影响的振动台实验

通过土 -桩基础 -钢结构 -调谐液体阻尼器 (TLD)模型振动台系列实验 ,分析了在安装TLD前后 ,桩的动应变反应分别随不同的TLD与结构频率比 β、不同地震波以及沿桩深度不同位置等情况下的变化情况 .数据结果显示TLD在减小上部结构振动的同时 ,也会使桩的动力反应减小 ;同时通过对实验数据的分析 ,得到了一系列与这一减小趋势相关的结论 .

单轴压缩荷载下煤岩的弹脆性损伤本构模型

基于计算机层析摄影技术下单轴压缩脆性煤岩破坏全过程的细观损伤演化规律 ,对白皎煤矿脆性煤岩材料进行损伤描述 ,分析求解实验过程中煤岩试件的损伤变量 ,并与Bellonoi和Lemaitre公式求得的损伤变量进行对比 ,以说明该方法求损伤变量的合理性 .为正确描述脆性煤岩材料的本构行为及演化过程 ,根据实验结果 ,分别给出脆性煤岩材料准线性阶段、损伤开始演化和稳定发展阶段、损伤加速发展阶段的损伤本构模型及损伤演化方程 ,以供工程参考使用 .

纤维布加固高轴压混凝土柱抗震性能

设计了 3个高轴压混凝土柱试件 ,其中 1个为对比试件 ,2个为采用了不同包裹形式的纤维布加固试件 ;在低周反复荷载作用下 ,通过对试验现象和测试数据详细的描述与对比分析 ,研究了纤维布加固法对高轴压混凝土柱抗震性能的改善情况 ;利用通用有限元计算程序 ,对低周反复试验进行了全过程仿真模拟 .研究表明 ,适宜的纤维布加固方式 ,可以大幅度提高高轴压混凝土柱的抗震性能 ,同时利用考虑纤维布约束混凝土本构关系的有限元计算方法能够较为准确地模拟纤维布加固高轴压混凝土柱的非线性性能 .

下期文章摘要预报

人行桥人行激励振动及设计方法

对人行桥人行激励竖向振动的国内外现有规范和标准进行了比较研究 ,并探讨了针对侧向人行激振的振动使用性设计方法 .建议人行桥梁设计时应首先采用频率调整法 ,使结构自振频率尽量不落在敏感频率范围内 .不能达到频率要求时 ,再进一步采用动力响应法分析 .在参考国外规范的基础上 ,建议确定竖向和侧向人行激振荷载的计算公式 .该公式考虑了高阶分量的影响 ,还对人行桥振动舒适度标准进行了比较 ,认为参用英国规范的标准较为合理 .

城市道路网络交通信号协调控制的优化

改进前人提出的城市道路网络交通信号协调控制的优化数学模型 ,这个模型是以交通均衡分配模型为基础的双层数学规划模型 ;探讨了这个模型的求解方法 ,并给出了实际算例 .该方法的应用将降低城市道路网络的交通协调控制对检测器等硬件设备的依赖程度 .

城市轨道交通列车开行方案的确定

研究了城市轨道交通多个循环区段线路上列车最优开行方案的计算机自动编制问题 ,给出各种循环方式下车底运用数下界的数学计算公式 .建立了使列车实载率达到最大的列车日班次运行计划的优化模型 ,并给出一个求该模型的计算机算法 .实现了编制城轨列车班次计划的自动化 .

城市轨道交通车站分布方法的研究

分析了车站分布对客流吸引、乘客出行时间、工程、运营和沿线土地开发、城市轨道交通与其他交通方式衔接以及城市空间结构和城镇体系布局等的影响 ,对上海与东京轨道交通车站分布及运营组织方式进行了比较 ,提出了城市轨道交通车站分布的费用效益分析方法 .在此基础上 ,提出了应尽量避免人为刻意追求按预定大站间距进行车站分布的现象 ,始终贯彻“以人为本、按需设置、技术可行、经济合理”的城市轨道交通车站分布基本理念 ,并提出了结合运营组织方式进行车站分布的新思路 .

曲梁剪应力的积分方程解

直接对曲梁剪应力的积分方程求解 ,导出了曲梁剪应力和径向应力的计算公式 .这些公式不仅满足平衡方程 ,而且满足曲梁上、下表面处力的边界条件 .将该理论用于研究悬臂曲梁在自由端受集中力作用的情况 ,计算结果表明 ,与其他采用附加假设的近似解相比 ,据此得到的应力解具有很高精度 ,同弹性理论解和有限元解非常接近 .

煤矸石热激活处理模糊决策分析

采用不同煅烧温度、保温时间的各种热激活工艺参数对所选的煤矸石试样进行热激活处理 .将处理样粉磨后以一定质量比例掺入水泥中制成煤矸石硅酸盐水泥 ,测其各龄期胶砂强度值 .综合考虑强度和煤矸石粉磨能耗 ,采用模糊决策模型 ,遴选出该煤矸石最佳的热激活工艺参数 .

低温共烧陶瓷片式微波谐振器的研究

介绍了低温共烧陶瓷片式微波谐振器的工艺过程、结构以及结构对谐振器参数的影响 ,谐振器与外电路的耦合采用耦合间隙在同一层内实现 ,这种新结构既可给制备工艺带来方便 ,又可减少工艺所带来的误差 .用多层陶瓷工艺技术、高介电常数和低温烧结微波陶瓷实现了中心频率为 1.8GHz、有载品质因数大于 2 0 0的试验单端口多层微波谐振器 .微波谐振器的体积小 ,整个谐振器的尺寸为 5mm× 2mm× 1mm ,适用于表面贴装技术 .

掺多元复合矿物外加剂高性能混凝土研究

研究了粉煤灰与矿渣微粉粉煤灰、矿粉与硅灰多元复合矿物外加剂对混凝土的和易性、力学性能及抗氯离子渗透性能的影响 ,采用扫描电子显微镜分析了水化产物的形貌 ,并总结了多元复合矿物外加剂的作用机理 ,得出多元复合矿物外加剂为配制高性能混凝土首选途径的结论 .

高温空气燃烧技术改造均热炉方案研究

系统研究了高温空气燃烧技术改造均热炉的各种方案 .提出这种新型燃烧技术必须充分考虑系统布置、炉膛结构、炉内烟气流动及传热过程、工件加热工艺过程等因素 .通过大量的数值模拟试验 ,发现在各种改造方案的入炉热量与原均热炉相等的情况下 ,当空气、燃气温度分别被预热到 12 73K和 10 73K时 ,炉内的最高温度相对较低 ,而炉内平均温度相对较高 ;温度分布不均匀系数Rtu从 33.18降到了 18.0 0左右 .在空气预热温度相同情况下 ,燃气预热温度越高 ,NOx 排放量越大 .最后 ,提出了均热炉燃烧系统的改造方案 ,并进行了非稳态燃烧过程数值模拟研究 .

升降式防密装置复位机构分析

针对防护密闭门在关闭门扇过程中存在的门扇重、牵引力大等问题进行了探讨 ,并提出了解决该种问题的方案 ,及对已经应用到实际工程中的复位机构方案进行了详细分析 .该机构的应用在保证防护密闭门战备效果的同时 ,简化了结构 ,减少了平战转化的工作量 ,并在此基础上研制了防护密闭隔断装置专利产品 .

电站锅炉燃烧特性的数值模拟

对 116 0t·h-1四角切圆电站锅炉的燃烧过程进行了数值模拟 ,燃烧器组采用常规直流煤粉燃烧器和低NOx煤粉燃烧器两种形式 .结果表明 ,大空间锅炉炉膛的速度场、温度场分布很不均匀 ;燃烧器上部附近的炉膛中心烟气上升速度最小 ,湍动能最大 ,温度最高 .烟气上升速度分布图形 ,在燃烧器区域为单峰形 ,即炉膛中心上升速度最大 ;在燃烧器上部为马鞍形 ,即截面环形区域的上升速度最大 .烟气温度分布图形 ,在燃烧器区域呈马鞍形 ,即中心区域和四周水冷壁附近的温度较低 ,截面环形区域的温度最高 ;在燃烧器上部区域为单峰形 ,即炉膛中心的温度最大 .水冷壁附近烟气温度的最大值 ,即结渣的可能区域位于旋转火焰的下游 .炉膛的切圆直径 ,在燃烧器区域随炉膛高度增大不断减小 ,至燃烧器上部附近急剧增大 ,之后随高度增大成一常数 .电站锅炉的常规直流煤粉燃烧器改造成低NOx 燃烧器时 ,炉膛的速度场、湍动能场、截面切圆直径和旋流强度以及温度场等保持不变 .

软件安全性自动测试中源于猜错案例的自描述

提出一种源于猜错测试案例的自描述方法 .经过自描述处理后的案例具有普遍的适用性 ,只要在新的软件测试任务中找到匹配背景 ,自描述的案例就可以重新变成在新的具体背景下的测试案例 .以一个铁路计算机联锁软件测试中的成功猜错案例为典型 ,阐述了如何为案例所涉及的实体定义一系列关系 ,借助这些关系实现案例自描述 ,并最终和新的软件测试背景匹配 ,且实现案例再生 .

嵌入式存储器的内建自测试和内建自修复

指出内建自测试是嵌入式存储器测试的一种有效方法 ,对该领域的研究情况进行了评述 .总结了存储器传统的故障模型 ,重点讨论了诱导故障分析方法以及读干扰故障、错误读等新的故障模型 .详细分析了嵌入式存储器的典型内建自测试方案 ,讨论了在内建自测试电路中增加内建冗余分析、内建故障诊断和内建自修复等功能的可行性 .

软件内建自测试中测试点的设计与实现

首先讨论测试点的三种插装策略 ,给出测试点的数据结构 ,并以分支覆盖探针函数为例 ,结合Lex&Yacc ,给出测试点的具体插装过程 .最后 ,提出测试点个数合理性设置的 5点建议 ,作为今后进一步研究之参考 .

门级故障到寄存器传输级故障的映射

以一组 74系列集成电路产品和ISCAS85基准电路为例 ,研究了基本寄存器传输级 (RTL)元件的门级单故障到RTL故障的映射关系 .结果表明 :①对大多数电路来说 ,仅考虑电路的单个原始输出端出错将无法达到所希望的门级故障覆盖率 ;②RTL电路的实现不宜包含异或门、与或非门 (AOI)和或与非门 (OAI) ;③在选择差错模型时 ,不同功能的RTL电路需要同时考虑的差错数是不相同的 ,功能相同但仅局部逻辑结构有差别的RTL电路可以考虑相同数目的差错 .这些结论为研究超大规模集成电路的测试、容错设计与验证 ,以及基于故障注入的系统性能评估等技术提供重要依据 .

基于虚拟监测组织管理的监测网格模型

提出了一种基于虚拟监测组织管理的监测网格模型 .该模型能够解决异构网格监测系统之间的互连问题 ,并有效地对高性能分布式计算环境进行智能监测 .它通过自治域网关实现不同网格监测系统之间的交互 ,通过虚拟监测组织对监测节点实施基于监测任务的协同管理 ,并使用一种自适应多播策略作为全局监测策略 .

非齐次泊松过程类软件可靠性增长模型

现有的基于故障覆盖率的软件可靠性增长模型多是只考虑了累计故障覆盖率 ,没有描述每个测试用例能够获得的故障覆盖率 .为了使软件可靠性增长模型能更好地刻画软件的测试过程 ,建立了两个基于故障覆盖率的非齐次泊松过程类软件可靠性增长模型 .第一个模型假设每个测试用例有相同的故障检测能力 ,能获得相同的故障覆盖率 ;第二个模型考虑了越晚检测到的故障其被检测到的概率越低的特点 ,模型假设每个测试用例的故障检测能力与其出现的次序相关 .利用一组公开发表的软件失效数据对这两个模型进行了验证 ,结果表明这两个模型在这组失效数据上均能得到较好的拟合效果 .

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .

保护移动Agent的电子交易安全方案

根据对移动Agent在恶意主机上安全问题的分析 ,给出了一个安全的电子交易方案 .该方案改进了强代理签名安全机制 ,使用不可拆分数字签名技术、公钥加密算法和时间戳 ,可以保证客户身份不可仿冒且要求不可拆分、商家身份不可仿冒且开价不可拆分、商家的身份和开价信息对其他商家保密 ,同时还可以抵抗客户或商家通过重放攻击来迫使对方进行额外的交易 .

圆锥曲线上基于零知识的身份鉴别协议

提出了一种安全性是基于圆锥曲线上离散对数计算的零知识身份鉴别协议 .这种协议比基于离散对数的同类协议运算速度更快 ,比椭圆曲线上的同类协议在设计、实现上更为方便 .在经过形式化分析了协议安全性后 ,针对该协议可能出现的一个漏洞 ,提出了简单的解决方案 .

一种基于水印构件的操作系统安全策略

分析了数字水印技术与操作系统安全的关系 ,提出了一种基于水印构件的操作系统安全策略 .水印构件运行在操作系统内核态 ,并可动态加载与升级 .水印构件负责提取应用程序中的软件水印 ,并根据其中的数字证书信息给予程序不同的标签 .操作系统Loader根据标签引导应用程序运行在不同安全级别的域中 ,实现了分层的应用程序运行环境 ,并由此得出二进制代码层面上解决操作系统安全问题的可行策略 .

一种新的快速收敛的反向传播算法

提出了一种新的快速的误差反向传播算法 .这种方法从神经网络的权值调节公式入手 ,通过避免过早饱和、加大权值调节的幅度等手段来加快收敛 .并通过对两个奇偶问题、一个函数逼近问题的仿真 ,验证了所提出的算法的有效性 .结果表明 ,所提出的算法在收敛速度等方面大大优于通常的BP(反向传播 )算法、带动量项的BP算法以及其他的一些改进的算法 .

信用机制的博弈论及其应用

以博弈论为基本理论依据 ,以诚信轴为分析工具 ,研究市场经济条件下企业交易行为中的信用机制与策略选择 ,包括完全无约束、社会成本约束及惩罚机制约束三种状态 ;并根据信用等级评估方法 ,分析该机制在交易活动中的应用 ,展示其应用价值 ;最后建议采取相应的奖惩规范措施来维护诚信交易行为 .

二维准格点阵的算术结构

Penrose拼砌是考察准晶准周期结构的基本模式 .计算了准格点集在适当坐标系下的坐标 ;给出了准格点坐标的一般算术表达式 .此方法及所得结论对于投影点集、自相似变换或者其他有限构型的准格点阵都成立 ,并使得这些点集的坐标能够用统一的形式表示 ,故具有一般性 .

L_p(M)空间的内插性质

研究了比幂函数增长得快的N函数所生成的一类Orlicz(奥尔里奇 )函数空间———Lp(M)空间的内插性质 ,得出了Lp(M)空间中线性算子的内插定理 .证明在一些条件下拼三组 (L∞ ,Lp0 ,Lp(M ) )是关于拼三组 (L∞ ,Lp0 ,Lp() )的θ型内插拼三组 .推广了已知的有关Lp(M)空间和经典Lebesgue(勒贝格 )空间的线性算子内插定理 .

SiO₂气凝胶的常压制备及其热传输特性

以相对廉价的多聚硅 (E - 4 0 )为硅源 ,通过溶胶 -凝胶工艺制备了SiO2 气凝胶 .采用以三甲基氯硅烷(TMCS)为表面修饰剂 ,硅油为干燥介质的表面修饰工艺 ,实现了在常压条件下的制备 .气凝胶热导率的测试采用的是瞬态热线法 ,同时还采用BET(brunaner emmett teller)方法 ,对气凝胶的孔径等特性进行了测试 ,系统研究了密度、温度、气压、湿度及掺杂物等因素对材料导热性能的影响 .

TiO₂-x(V₂O₅)纳米复合薄膜的光吸收

采用溶胶 -凝胶技术 ,以Ti(C4H9O) 4 和V2 O5粉末为原材料制备了纳米结构的TiO2 -x(V2 O5) (x为V2 O5的质量分数 ,分别为 10 % ,2 0 % ,30 % ,10 0 % )复合薄膜 .采用原子力显微镜观察薄膜的表面形貌 ;使用UV VIS NIR分光光度计测量了复合薄膜在紫外 -可见光波段的透射率和反射率光谱 ,研究其光吸收特性 .实验结果表明 :复合薄膜具有纳米颗粒结构 ;随着V2 O5用量的增加 ,复合薄膜在紫外光区的吸收逐渐增加 ,(αhv) 1/ 2 与hv存在线性关系 ,光学带隙由纯TiO2 的 3.36eV减小为x =30 %时的 2 .83eV ,光学带隙与x满足Eg(x) =Eg(0 ) +[Eg(1)-Eg(0 ) -b]x +bx2 关系式 ;复合薄膜光吸收边缘红移起因于V2 O5复合后薄膜中定域态宽度的增加 .

层状粘接结构中粘弹类表面波传播特性的研究

对金属下基底 -胶粘层 -金属上基底结构中的类Rayleigh(瑞利 )波传播特性进行了研究 .从粘弹的基本理论出发 ,通过Laplace Hankel(拉普拉斯 -汗克尔 )变换及转移矩阵技术建立起类Rayleigh波的频率方程 ,将粘接层视为Kelvin(开尔文 )体计算 ,分析了其粘弹模量对波频散关系的影响 .理论计算发现 ,粘弹体的粘滞项对频散低频段影响不大 ,但随着粘滞的增大对高频可产生影响 .最后 ,计算了粘滞对Sezawa(塞扎瓦 )模式及Saw(表面声波 )模式的衰减影响 .

博士生导师黄争鸣教授简介