Debugging mixed‐environment programs with Blink

Programmers build large‐scale systems with multiple languages to leverage legacy code and languages best suited to their problems. For instance, the same program may use Java for ease of programming and C to interface with the operating system. These programs pose significant debugging challenges, because programmers need to understand and control code across languages, which often execute in different environments. Unfortunately, traditional multilingual debuggers require a single execution environment. This paper presents a novel composition approach to building portable mixed‐environment debuggers, in which an intermediate agent interposes on language transitions, controlling and reusing single‐environment debuggers. We implement debugger composition in Blink, a debugger for Java, C, and the Jeannie programming language. We show that Blink is (i) simple: it requires modest amounts of new code; (ii) portable: it supports multiple Java virtual machines, C compilers, operating systems, and component debuggers; and (iii) powerful: composition eases debugging, while supporting new mixed‐language expression evaluation and Java native interface bug diagnostics. To demonstrate the generality of interposition, we build prototypes and demonstrate debugger language transitions with C for five of six other languages (Caml, Common Lisp, C#, Perl 5, Python, and Ruby) without modifications to their debuggers. Using real‐world case studies, we show that diagnosing language interface errors require prior single‐environment debuggers to restart execution multiple times, whereas Blink directly diagnoses them with one execution. Copyright © 2014 John Wiley & Sons, Ltd.     

巧用Vlookup函数完成信息核对--在招生工作中学生信息核对的应用

Excel软件功能强大,操作简便,其提供的函数可用于处理和分析复杂的数据。介绍了Excel中查找函数Vlookup的语法格式及功能,并通过工作中的具体实例来阐述利用Vlookup函数解决核对数据匹配问题,提高了工作效率,节省了大量的人力。     

基于CCD技术的外观纸病检测系统

设计了CCD在线外观纸病检测系统,介绍了该系统的硬件组成情况和系统的工作原理、技术指标和软件设计,重点阐述了外观纸病检测系统中CCD技术的优势。     

开关电源加速贮存寿命方法研究

开关电源具有体积小、重量轻、效率高等诸多优点,凭借其自身的诸多优势,开关电源已经广泛应用于航空航天、通信、以及电子类。由于应用领域的广泛性,开关电源的可靠性引起了人们的重视。论文以阿伦尼斯(Arrhenius)模型为基础,设计了一整套针对开关电源的可靠性评价和寿命预计的试验方案。该方案对试验器件施加温度应力,加速器件的失效过程,并通过一定的加速模型和统计分析方法,外推出正常工作条件下产品的寿命特征。     

以可靠性为中心的水轮机组检修模式研究

以可靠性为中心(RCM)的维修模式是在一般视情维修的基础上,吸收以可靠性为中心的维修分析法的优点,充分考虑到经济性、可靠性原则,并与先进的设备诊断技术相结合的一种维修模式。介绍了水轮机组RCM维修模式,重点分析了根据经济性和可靠性原则分别确定隐患检测间隔期,以及用威布尔分布拟合机组零部件故障间隔时间分布的表示及参数的获得。     

战略网络形成动因之制造模式篇

本研究目的在于探究战略网络生成中制造模式的推动作用。文章首先分析了制造模式在技术经济范式变迁中扮演的角色,总结出制造模式与技术经济范式之间的关系,接着运用数学抽象和哲学思辨的方法,提炼出人类历史上三次制造模式对技术经济范式的价值实现函数。基于该函数研究发现:精益生产中目的在于充分调动人的主观能动性,以实现人的解放的复合机制——现场管理、劳工关系管理和知识管理等体系是制造模式未来的发展方向;战略网络的演进服务于制造模式的价值实现功能,它的生成是为了弥补制造模式柔性不足的缺陷。     

多平台下动态采集税控数据的技术研究

在商业税收领域中,不同的行业、商家,可能会采用不同的系统平台来完成他们各自的销售任务,这就给国家税收时获取税控数据带来了一定的挑战。本文基于国家信息化标准委员会针对税控收款机的国家标准,提出并实现了一种在多平台下动态采集税控数据的解决方案。     

New insights on survivability in multi-domain optical networks

With the development of intelligent optical networks and the general multi-protocol label switching (GMPLS) technique, the seamless convergence between IP network and optical network is no longer be a dream but a practical reality. Similar to the Internet, current optical networks have been divided into multiple domains each of which has its own network provider and management policy. Therefore, the development of multi-domain optical networks will be the trend of new-generation intelligent optical networks, and GMPLS-based survivability for multi-domain optical networks will become a hot topic of research in the future. This paper provides a comprehensive review of the existing survivable schemes in multi-domain optical networks and analyzes the shortcomings of current research. Based on previous studies, we present possible challenges and propose new ideas to design efficient survivable schemes to guide the future work of researchers in multi-domain optical networks.