Dual–primal proximal point algorithms for extended convex programming

This paper presents a class of dual–primal proximal point algorithms (PPAs) for extended convex programming with linear constraints. By choosing appropriate proximal regularization matrices, the application of the general PPA to the equivalent variational inequality of the extended convex programming with linear constraints can result in easy proximal subproblems. In theory, the sequence generated by the general PPA may fail to converge since the proximal regularization matrix is asymmetric sometimes. So we construct descent directions derived from the solution obtained by the general PPA. Different step lengths and descent directions are chosen with the negligible additional computational load. The global convergence of the new algorithms is proved easily based on the fact that the sequences generated are Fejér monotone. Furthermore, we provide a simple proof for the O(1/t) convergence rate of these algorithms.     

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技术的优势。     

Efficient wavelet-based ECG processing for single-lead FHR extraction

This paper describes a novel model for fetal heart rate (FHR) monitoring from single-lead mother?s abdomen ECG (AECG) measurements. This novel method is divided in two stages: the first step consists on a one-step wavelet-based preprocessing for simultaneous baseline and high-frequency noise suppression, while the second stage efficiently detects fetal QRS complexes allowing FHR monitoring. The presented structure has been simplified as much as possible, in order to reduce computational cost and thus enable possible custom hardware implementations. Moreover, the proposed scheme and its fixed-point modeling have been tested using real abdominal ECG signals, which allow the validation of the presented approach and provide high accuracy.     

Disquiet in the plasma

The metaphor of plasma is taken up to present and discuss movement and engagement by participants in mixed reality installation arts. Two works involving full body video portraits exhibited through large plasma screens in a variety of public settings are covered. Machinic mediations of video realism are considered in terms of embodied interaction in which viewer-participants contribute to the ‘disquiet’ of gendered figuring. Processural, proximal and personal aspects of responsive engagement are discussed. This is extended to performativity that may lead us to critical reflection of our own actions and responses in mixed reality arts.     

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

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

故障自动防护微机械角速度传感器

微机械角速度传感器是目前市场上能够进行批量生产的最复杂的传感器之一。它由在真空中做复杂运动的惯性质量块和驱动该设备、分析其响应的多种复杂电路组成,并集中于一个在极狭小的空间内。本文介绍了由奥地利SensorDynamics公司成功研制的一种MEMS角速率传感器,可以满足现代应用的全部要求,尤其是汽车工业所要求的小尺寸、坚固的机械结构、长期稳定性、不受限制的故障自动防护性和AEC-Q100认证。