映趣自然,诗化空间--武汉华工大学科技园与长城创新科技园规划设计

在两科技园的规划设计中,通过学习和总结国际上先进园区的建设经验,立足可持续发展的原则,探求了如何将自然、文化、人、科技等观念与建设21世纪新型科技园区相结合。     

盐雾试验对镁合金表面工艺处理技术影响的探讨

盐雾试验是一种主要利用盐雾试验设备所创造的人工模拟盐雾环境条件来考核产品或金属材料耐腐蚀性能的环境试验。盐雾试验的目的是为了考核产品或金属材料的耐盐雾腐蚀性能,而盐雾试验结果的判定正确与否是衡量产品或金属抗盐雾腐蚀性能好坏的关键。该文概述了镁合金经化学氧化等表面工艺处理后,经人工模拟盐雾试验揭示出由处理工艺引起的环境适应性问题,证明了盐雾试验的重要性,并提出了相应的改进方法。     

Interactive Fault Localization Using Test Information

Debugging is a time-consuming task in software development. Although various automated approaches have been proposed, they are not effective enough. On the other hand, in manual debugging, developers have difficulty in choosing breakpoints. To address these problems and help developers locate faults effectively, we propose an interactive fault-localization framework, combining the benefits of automated approaches and manual debugging. Before the fault is found, this framework continuously recommends checking points based on statements' suspicions, which are calculated according to the execution information of test cases and the feedback information from the developer at earlier checking points. Then we propose a naive approach, which is an initial implementation of this framework. However, with this naive approach or manual debugging, developers' wrong estimation of whether the faulty statement is executed before the checking point (breakpoint) may make the debugging process fail. So we propose another robust approach based on this framework, handling cases where developers make mistakes during the fault-localization process. We performed two experimental studies and the results show that the two interactive approaches are quite effective compared with existing fault-localization approaches. Moreover, the robust approach can help developers find faults when they make wrong estimation at some checking points.     

改进型汽轮机汽封系统应用

<正>在汽轮机转子穿过外缸的部位,必须采取措施用以防止外部空气漏入汽缸,从而影响排汽缸的真空,同时也必须防止汽缸内蒸汽漏出汽缸,漏入前轴承箱容易造成油中带水,漏至汽机房破坏汽机房环境。带有迷宫形密封环的汽封和汽封蒸汽系统就是为了完成这一功能而设置的。CC100/N70-12.2/1.7/0.7型汽轮机汽封系统见图1。它是     

自适应推导下的统一化调试加速技术

在传统调试过程中,缺陷定位通常作为程序修复的前置步骤.最近,一种新型调试框架(统一化调试)被提出.不同于传统调试中缺陷定位和程序修复的单向连接方式,统一化调试首次建立了定位与修复之间的双向连接机制,从而达到同时提升两个领域的效果.作为首个统一化调试技术,ProFL利用程序修复过程中伴随产生的大量补丁执行信息逆向地提升已...     

心肺有问题慎做无氧运动

有氧运动和无氧运动不是简单地以运动项目区分,而要依据运动时人体内物质代谢的方式来判断.通俗点儿说,运动时间较长(15分钟以上)、强度不大、氧气供应充足的是有氧运动.即在运动过程中,人体吸入的氧气与需求相等,达到生理上的平衡状态.而无氧运动则是指肌肉在严重"缺氧"的状态下高速剧烈运动.     

300 MW汽轮机低压转子叶片断裂原因及处理

<正>某电厂1号汽轮机为亚临界、中间再热、高中压合缸、双缸双排汽单周纯凝气300 MW汽轮机,型号为N300-16.7/537/537-2。高中压部分采用合缸结构,高压缸部分有1个调节级和9个压力级;中压缸部分有6个压力级。低压缸为双层缸对称布置,包括2×6个压力级。整台机组共有28级。该汽轮机的主要参数为:主蒸汽温度为537℃;主蒸汽压力16.7 MPa;再热蒸汽温度537℃,背压4.9 kPa。     

档案缩微品检索与扫描方法研究

分析常见档案缩微品的检索方法和检索标记,明确档案缩微品扫描对象和扫描方式.根据扫描实验结论,确定扫描定位模式和扫描定位方法,总结扫描参数自动设置经验.在此基础上,研究自动扫描和手动扫描方法,规范扫描操作流程,为档案缩微品扫描提供依据.     

一种基于强化学习的持续集成环境中测试用例排序技术

在软件交付越来越强调迅速、可靠的当下,持续集成成为一项备受关注的技术.开发人员不断将工作副本集成到代码主干完成软件演化,每次集成会通过自动构建测试来验证代码更新是否引入错误.但随着软件规模的增大,测试用例集包含的测试用例越来越多,测试用例的覆盖范围、检错效果等特征也随着集成周期的延长而变化,传统的测试用例排序技术难以适用.基于强化学习的测试排序技术可以根据测试反馈动态调整排序策略,但现有的相关技术不能综合考虑测试用例集中的信息进行排序,这限制了它们的性能.提出一种新的基于强化学习的持续集成环境中测试用例排序方法——指针排序方法：方法使用测试用例的历史信息等特征作为输入,在每个集成周期中,智能体利用指针注意力机制获得对所有备选测试用例的关注程度,由此得到排序结果,并从测试执行的反馈得到策略更新的方向,在“排序-运行测试-反馈”的过程中不断调整排序策略,最终达到良好的排序性能.在5个规模较大的数据集上验证了所提方法的效果,并探究了使用的历史信息长度对方法性能的影响,方法在仅含回归测试用例的数据集上的排序效果,以及方法的执行效率.最后,得到如下结论：（1）与现有方法相比,指针排序方法能够随着软件版本的演化调整排序策略,在持续集成环境下有效地提升测试序列的检错能力.（2）指针排序方法对输入的历史信息长度有较好的鲁棒性,少量的历史信息即可使其达到最优效果.（3）指针排序方法能够很好地处理回归测试用例和新增测试用例.（4）指针排序方法的时间开销不大,结合其更好、更稳定的排序性能,可以认为指针排序方法是一个非常有竞争力的方法.     

浅析数字信息化背景下高校档案管理的创新措施

数字信息化是社会发展的一大趋势,随着信息技术的快速发展,我国在医疗、建筑、教育等多个领域正加速实施基于信息化平台的整体系统建设,以提高该领域的服务水平以及核心竞争力。就教育信息化而言,它是指在教育领域全面、深入地运用现代信息技术来促进教育改革与发展的过程,其过程具有开放性、共享性、互交性、协作性等基本特征,将数字化、网络化、智能化与多媒体化融为一体,实现教育的跨越式发展。在教育领域高校的档案管理工作是学校工作的重要组成部分,档案是院校教育、科研与改革全过程的原始凭证材料,数字信息化的高新技术可以说实现了高校档案管理的高效益,现代高校档案管理信息从之前的传统模式逐渐转变为数字化模式,这必将在未来的档案管理工作中产生广泛与深远的影响,且更具创新性空间。