面向方面设计中干涉问题的分析工具

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.本文设计开发了一个基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具.它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中没有干涉存在或者为修正干涉问题提供线索.     

回转阻力矩对30t轴重重载货车直线运行性能的影响

借助于SIMPACK动力学分析软件,充分考虑货车的各种非线性因素,建立了30t轴重重载货车动力学模型。运用此模型分析了回转阻力矩对30t轴重重载货车直线运行性能的影响。结果表明:随着回转阻力矩的增大,货车临界速度逐步增大且运行稳定性提高;30t轴重货车在直线轨道上运行时,回转阻力矩越大,车辆运行性能越好,且车辆横向动力学性能指标随着回转阻力矩的增大而显著减小,车辆垂向动力学性能指标的减小幅度则相对较小。     

建筑幕墙施工的科学安全管理

建筑幕墙是技术复杂程度较高的工程,影响幕墙施工安全的因素较多,施工安全风险较大。为了保证建筑幕墙的施工安全,必须采取有效的安全技术措施和管理措施,把风险降低到最低程度。     

论现代企业薪酬福利制度的自助化趋势

对现代企业的自助式薪酬福利制度、整体薪酬回报和弹性福利制度进行了分析评价,并对我国企业实施此制度的可能性和发展前景进行了展望。     

基于不可分双正交小波的二维数据压缩方法

构造了一种新的不可分双正交的对称小波滤波器，该滤波器具有有理系数，其对应的小波函数具有四阶消失矩，尺度函数具有非常好的Hölder光滑性。同时提出了基于该滤波器进行数据重构时的边界延拓方法。使用SPIHT和SPECK两种算法的实验表明，该文构造的小波滤波器在二维数据压缩方面具有较好的效果。     

网游领跑者——魔剑

欧美网络3D游戏《魔剑》公测以来,以其极高的自由度和贴近现实世界的真实性吸引了无数玩家。许多玩惯了韩国泡菜的人,也在《魔剑》中寻找到了新的游戏方式。为了让广大玩家更多地了解这个游戏,笔者把参与游戏数月来的感受写出来与大家共享。 首先,人物的选择。目前的《魔剑》为大     

基于Adaboost的快速人脸跟踪算法

针对复杂变化背景中的人脸跟踪问题,提出了一种基于Adaboost的人脸跟踪算法。该算法采用背景消除、肤色检测来提取可能包含 活动人脸的区域,用Adaboost算法做人脸验证,用Kalman滤波为运动模型实现对人脸的跟踪。实验表明,该算法具有快速、可靠的特点,速 度超过80fps,完全满足实时系统的需要。     

SA-335 P91钢全位置窄间隙热丝TIG焊接工艺及接头性能研究

针对SA-335 P91钢大口径管环缝,采用轨道式全位置热丝TIG焊机进行了窄间隙焊接。将整条环缝均分为16个区域,根据不同位置熔池受力状态对各区的焊接工艺参数进行修正设置,并对所获焊接接头的组织和性能进行了研究。所获焊缝和热影响区的组织均为回火马氏体,焊接接头的拉伸、弯曲、冲击等力学性能均满足要求。结果表明,窄间隙热丝TIG焊接工艺参数合理,分区修正设置恰当,能够满足SA-335 P91钢大口径管全位置焊接要求。     

中电建建筑集团有限公司:构建文化内核彰显传统建企活力

正2018年是中电建建筑集团有限公司(以下简称电建建筑)企业文化践行第四年。四年时间里,电建建筑形成了符合自己实际发展的企业文化管理模式和方法。如今,电建建筑已然发生翻天覆地的变化,团队有着极强的集体荣誉感,公司员工真正具有一种使命感,整个企业充满了正能量,这个传统的建筑企业彰显出新的生机与活力。     

草料自燃防范的研究

近年来兴起的秸秆打包并不能消除其自燃的危险。使用弗-卡模型,测定了不同体积稻麦秸秆的临界温度(Ta,cr);并依据实际状况对弗-卡模型进行了改进,测定了稻麦秸秆的Tc;探讨了含水量以及打包密度对Tc的影响。得出初始含水量13.65%,密度344kg.m-3打包麦秸秆的Tc为66～69℃,最大安全堆砌直径为7.3m;初始含水量15.27%,密度285kg.m-3打包稻秸秆的Tc为83～86℃,最大安全堆砌直径为8.5m的结论。这一研究对草料场的安全管理意义重大。