Oxidation and Fracture Strength of High-Purity Reaction-Bonded Silicon Nitride

Reaction-bonded Si₃N₄ (RBSN) made from high-purity Si powder is unusually resistant to degradation caused by exposures to air for up to 50 h at temperatures up to 1400°C. The weight gain during oxidation of this SiH₄-originating RBSN is approximately 10 times less than conventional RBSN. Contrary to normally observed strength degradations, room-temperature strengths of this high-purity, oxidized RBSN (avg = 435 MPa, max. = 668 MPa) remained at their unusually high, as-processed levels after 1000° and 1400°C oxidizing exposures. Fracture toughness values were unaffected by oxidation ( K _IC= 2.3 to 2.4 MPa · m^1/2). This superior oxidation resistance results from the high purity and the small diameter pore channels (0.01 to 0.06 μm) achieved in this SiH₄-originating RBSN.     

TWO KINDS OF VARIANT IN SHAPE MEMORY MATERIAL

In shape memory materials,that have been trained to have a two way shape memory effect(TWSM),themartensitic variants are classified into two groups,i.e.,preferentially oriented variants and self-accommodatingvariants.Applied stress may promote or constrain the transition of preferentially oriented variants and so changetransformation temperatures but has no essential effect on self-accommodating variants.According to the pointof view mentioned above,some experimental phenomena during thermocycling of a TWSM device may be ex-plained,such as the absence of synchronization between the plot of resistance change.temperature and the plotof memory strain vs.temperature.     

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.     

Assessing the effects of gamification in the classroom: A longitudinal study on intrinsic motivation,social comparison,satisfaction, effort,and academic performance

Gamification, the application of game elements to non-game settings, continues to grow in popularity as a method to increase student engagement in the classroom. We tested students across two courses, measuring their motivation, social comparison, effort, satisfaction, learner empowerment, and academic performance at four points during a 16-week semester. One course received a gamified curriculum, featuring a leaderboard and badges, whereas the other course received the same curriculum without the gamified elements. Our results found that students in the gamified course showed less motivation, satisfaction, and empowerment over time than those in the non-gamified class. The effect of course type on students' final exam scores was mediated by students' levels of intrinsic motivation, with students in the gamified course showing less motivation and lower final exam scores than the non-gamified class. This suggests that some care should be taken when applying certain gamification mechanics to educational settings.     

Digital design and time on device; how aesthetic experience can help to illuminate the psychological impact of living in a digital culture

ABSTRACT

Aesthetic techniques are increasingly used by marketeers to create enticing digital products. In this paper, I work with the aesthetic experiences of one audience group to consider the psychological impact of living in a culture where digital devices are deliberately designed to influence behaviour. I argue that aesthetic encounters can help with understanding the impact of the interplay between visual stimulus, affect and digital culture, in ways that may support situated understandings of mental distress in a digital age. I show how audiences respond to the artist-led research project Are We All Addicts Now? arguing that they generate ideas connected to submersion and being overwhelmed as a means of reporting on their own personal experiences of living in a digital culture that seeks to influence behaviour. The findings may have value for designers, curators and artists invested in understanding the experiential impact of digital devices.     

微控制器中按键处理技巧及应用

针对微控制器中按键处理问题。列举不同场合对按键处理的设计优化。重点讨论了非编码键盘的抖动及干扰消除优化。结合ADC按键,设计一种新型软件滤波方法一阀值平滑滤波,详细介绍了其软硬件的实现过程。通过验证,此方法既能有效扩展键盘又能实现消抖,有效提高微控制器资源的利用。     

安徽省地震会商系统软件界面设计研究

基于ARCGis9.2的安徽省地震会商系统不仅需要强大的技术功能,还需要友好和一目了然的界面,这样不仅让会商报告者思路清晰,也能使会商观众更加清晰了解地震预报会商内容,从而为决策者更好应对不同地点和不同大小的地震发生可能性做出科学的决策;引入flash8作为软件系统的界面,用flash调用各个模块,无论从界面和功能上都较好的解决了这一问题。     

基于ECoG的运动想象脑-机接口分类方法

脑—机接口BCI(Brain-Computer Interface)技术是近年来国际上的研究热点之一,它通常利用脑电EEG(electroencephalo-gram)来实现无动作的人机交互,运动想象是其中一种重要的BCI实验范式。有关研究表明,脑皮层电位ECoG(electrocorticogram)具有更好的信噪比与频带特性。研究基于ECoG的运动想象BCI系统,针对ECoG信号的特点,改进了信号处理方法,提取数据的公共空间模式CSP(Common Spatial Pattern)特征,并利用支持向量机SVM(Support Vector Machines)进行分类器设计,提高了运动意向的识别正确率。用相应方法处理2005年脑-机接口竞赛中的一组实验数据,正确率达到92%,相比于当时参赛时所用的方法提高了6%。实验还发现,支持向量机在克服"维数灾难"和"过拟合"方面具有更好的鲁棒性。     

基于MAX5494的电子测量供电系统电路设计

在传统的电子测量供电系统电路中,主要依靠人工来控制模拟电位器,这使其存在很多局限性。为了克服这些不足,利用单片机AT89C51来控制数字电位器MAX5494,实现了测量供电系统电路的自动调节和控制,不仅大大简化了电路,而且提高了系统可靠性,从而改进了传统的电子测量供电系统电路。