Compact visualization of Java program execution

The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java programs – object diagrams and sequence diagrams. They capture, respectively, the current execution state and execution history of a Java program. These diagrams are similar to those found in the UML for specifying design–time decisions. In our work, we construct these diagrams at execution time, thereby ensuring continuity of notation from design to execution. In so doing, a few extensions to the UML notation are proposed in order to better represent runtime behavior. As sequence diagrams can become long and unwieldy, we present techniques for their compact representation. A key result in this paper is a novel labeling scheme based upon regular expressions to compactly represent long sequences and an O(r²) algorithm for computing these labels, where r is the length of the input sequence, based upon the concept of ‘tandem repeats’ in a sequence. Horizontal compaction greatly helps minimize the extent of white space in sequence diagrams by the elimination of object lifelines and also by grouping lifelines together. We propose a novel extension to the sequence diagram to deal with out‐of‐model calls when the lifelines of certain classes of objects are filtered out of the visualization, but method calls may occur between in‐model and out‐of‐model calls. The paper also presents compaction techniques for multi‐threaded Java execution with different forms of synchronization. Finally, we present experimental results from compacting the runtime visualizations of a variety of Java programs and execution trace sizes in order to demonstrate the practicality and efficacy of our techniques. Copyright © 2016 John Wiley & Sons, Ltd.     

JCVM性能优化技术的研究

为了实现空间占用量少、执行效率高的JCVM(Java card virtual machine),对应用程序在JCVM上成功执行的整个流程进行跟踪测验。报告了宏指令替换、静态解析、压缩算法等字节码优化技术,结合智能卡芯片中不同类型存储器的特性详细分析了Java智能卡存储空间合理分配原理,设计了空间共享方式的方法 Frame帧,结合JCVM的实际情况,提出了DirectThreaded Interpreter的Some Translation思想及记忆翻译法。测试结果表明,运用以上优化方法的Java智能卡虚拟机能消耗更少的卡上资源,在一定程度上提高了解释器的效率。     

螺纹锁紧环换热器检修存在问题及对策

某厂的两套加氢装置使用了由国外设计、制造的H－H型螺纹锁紧环换热器，由于设计不合理，在停车对换热器进行拆装时，出现了外圈螺栓粘结、螺纹锁紧环螺纹损坏、内法兰螺栓拆卸困难和密封泄漏等问题，通过采取改变螺栓结构和改进拆装程序与方法等措施，完成对换热器的检修，也方便换热器以后的拆装检查。     

双台肩钻杆接头三维力学分析

建立了双台肩钻杆接头的三维有限元模型,利用显式动力学有限元方法分析了双台肩钻杆接头在上扣扭矩、轴向拉力和弯矩作用下的力学特性。相比二维轴对称模型,三维有限元模型可以考虑螺纹的螺旋升角,有效地模拟螺纹接头的上扣特性。计算结果表明,上扣扭矩的作用使得接头在螺纹牙、主台肩、副台肩处产生一定的预紧力,从而实现公扣、母扣间的过盈配合;轴向拉力使得螺纹牙上的接触压力上升而主台肩、副台肩上的接触压力下降,这一方面加重了螺纹牙的负担,另一方面也影响了接头的密封性能;在弯矩的作用下,钻杆接头的应力分布呈现出明显的非对称特性。此外,在上扣扭矩和轴向拉力作用下,各螺纹牙的承载很不均匀,两端的几牙螺纹承担了大部分的载荷,而中间段螺纹牙仅承担了小部分载荷。     

机器人在集箱管接头焊接制造中的应用

介绍了MOTOMAN SK－16弧焊机器人系统的组成及特点。MOTOMAN SK－16弧焊机器人配用YASNAC MRCⅡ控制器、焊接电源、送丝机构、冷却系统、V形支架和预热装置,通过示教再现的方式可完成电站锅炉集箱管接头多个角焊缝的连续焊接。阐述了机器人接集箱管接头时常见的缺陷及预防措施。     

国内外超高功率石墨电极接头折断面的观察对比分析

总结分析了国外和国内超高功率石墨电极接头断口的不同特点及其相对应的一些工艺因素,并提出一些对策,以期对炭素生产有所指导.     

铝锂合金搅拌摩擦焊研究

采用柱形带螺纹搅拌针搅拌摩擦焊接5 mm厚铝锂合金轧制板材,并对接头组织、力学性能及断裂特性进行了研究.接头形成差别明显的三个区域:焊核区、热机影响区和热影响区.拉伸实验表明,接头强度随着焊接速度的提高先增加,并于v=60mm/min处达到最大值340MPa;当v＞60mm/min时,接头强度迅速下降.铝锂合金搅拌摩擦接头断裂模式为韧脆混合型断裂,并以脆性断裂为主.     

L型灶前台式阀的研发与应用

在居民用户室内燃气工程中采用不锈钢波纹管,安装L型灶前台式阀,通过波纹定尺管与灶具螺纹连接,解决了胶管脱落引发燃气泄漏的问题。将灶前阀门的开关旋钮置于台面上,便于用户的开闭操作,使燃气的使用更加安全可靠。     

油井管特殊螺纹接头的发展

随着油井深度增加、环境不断恶化，按 API标准生产的螺纹接头又难以满足油井的需要，新开发的特殊螺纹接头应用范围不断扩大。介绍了国外开发的几种典型特殊螺纹接头及其设计特点。特殊螺纹接头的市场前景广阔，目前我国尚无批量生产的能力，应加大特殊螺纹接头的开发力度，既可满足国内需求，又可参与国际市场竞争。     

交叉接头加工夹具设计

根据在四方块上加工十字交叉孔比较困难的问题,设计了一种能和数控车床方便的结合在一起,同时又能有效保证主轴轴线和被加工零件的轴线重合的夹具。该夹具帮助实现工件旋转而刀具不动,保证了刀具的刚性。生产实践证明,该夹具可有效保证加工精度,提高生产效率。