甲醇合成塔用 150 mm SA387Gr22C12 钢板组织和力学性能

对 150 mm 厚 SA387Gr22C12 钢板( / % : 0．13 ～0．14C,0．09Si,0．55 ～0．56Mn,0．004P,0．001S,2．48 ～2． 49Cr,1．11～1．12Mo) 模拟焊后拉伸性能、－29 ℃ 冲击性能、金相组织及回火脆化倾向评定等进行试验,并检测了交货态(正火 + 回火) 、最小模拟焊后态、最大模拟焊后态及步冷试验后的钢板各项性能指标 。结果表明,钢板的回火脆化 倾向不明显,其结果 CvTr55 + 2．5ΔCvTr55 为－63 ℃,完全满足甲醇合成塔用钢板的技术要求。     

面向软件错误定位的测试用例约简技术综述

在整个软件开发周期中,软件测试占软件开发和维护成本的一半以上,而软件错误定位是一个最困难,最耗时的任务。错误定位技术以定位软件中的错误代码为目的,通过在待测程序上运行合适的测试用例的基础上,分析并定位错误语句。由于错误定位的精度高度依赖于选择的测试用例,测试用例的数量和质量是决定错误定位的成本和有效性的关键因素,因此,面向错误定位选择有效的测试用例,不仅有助于分析软件错误产生的原因,还能极大地提高软件错误定位的效率。首先对面向错误定位的测试用例约简方法进行了分类,并对各类测试用例约简方法进行了分析和总结,进而指出了其中存在的问题和未来的研究方向。     

用指针实现的程序的标准化及其应用

为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性.     

面向程序分析的插桩技术研究

为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构建词法分析器和语法分析器。在语法分析归约时同步收集插桩信息,然后根据插桩策略执行插桩,生成目标文件。得到的程序运行时信息被应用于影响广泛的四种软件自动调试分析方法。对于这四种方法。缺陷语句均被准确识别为最可疑语句。应用结果表明,该方法能够为准确高效的程序分析提供必要的运行时信息。     

山高自有客行路,水深自有渡船人——程序设计课程教学的思考与实践

在程序设计课程中,应该培养学生具备哪些能力以及如何培养这些能力是近年来研究和探讨的主要问题。文章首先分析程序设计课程教与学过程中存在的主要问题,然后从如何提高学生的学习兴趣和学习主动性、如何加强对学生学习过程的监督指导以及如何客观公正地评价学生的编程实践能力等几个方面,介绍笔者在程序设计课程教学中的探索与实践。     

我国平台经济领域“二选一”现象的成因、影响及对策

“二选一”是我国平台经济领域较为常见的一种竞争策略,其实质是通过排他性交易限制第三方商家的多栖行为。我国平台经济中“二选一”现象的普及程度远超欧美发达国家,其原因包括立法与执法存在不足、线上线下深度融合、特殊的商业模式和市场环境等。从平台间竞争和平台内经营者间竞争两个维度分析了“二选一”行为对竞争的影响机理,提出跨边网络效应、用户转移成本、中小商家数量、平台双重角色等是影响竞争绩效的关键因素,并基于此,进一步提出了治理“二选一”行为的对策建议。     

硅橡胶/纳米石墨片复合薄膜的压阻特性研究

采用旋涂工艺,制备了硅橡胶-纳米石墨片复合薄膜.采用SEM,XRD手段,表征了薄膜的组织和相结构,并测量其电性能.结果显示,纳米石墨片与硅橡胶界面结合较好,且分散均匀;薄膜的渗流阈值为Φ=6.5%,电阻为106Ω量级.渗流薄膜的面内电阻呈现正线性压阻效应,由于导电网络发育完整,SR-8%GNPs体系显示了优良的循环压阻性能.     

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

药物干预近视眼发生发展的研究现状

近视是儿童及青少年最为常见的眼部疾病。随着近视和高度近视的患病率逐年增加,高度近视及其并发症所导致的低视力及致盲的人数也逐渐增加。但近视的发生和发病机理目前并不清楚,现有的干预方法有光学和药物等措施。本文旨在总结近年来在临床和动物试验期方面讨论药物干预近视的研究进展。     

VCM模型下的IBAS⁃EKF锂电池荷电状态估计

为解决锂电池荷电状态(SoC)难以精确估计的问题,提出了极化电压修正模型(VCM)和改进天牛须优化扩展Kalman滤波算法(IBAS?EKF)共同实现电池SoC的精确估计.在建立3阶RC电池模型和参数辨识的基础上,使用Elman循环神经网络对模型极化电压实现在线修正和优化,形成VCM模型;采用改进天牛须搜索算法优化扩展Kalman滤波算法的系统噪声协方差矩阵和量测噪声协方差矩阵,形成IBAS?EKF锂电池SoC估计算法.在测试平台上进行城市道路循环工况试验,结果表明:基于VCM模型的IBAS?EKF锂电池SoC估计算法的各项误差指标均低于传统的SoC估计算法,估计误差在0.6％以内,效果满足实际工程要求.