Surface Control and Electrical Tuning of MXene Electrode for Flexible Self-Powered Human–Machine Interaction

MXene materials emerge as promising candidates for energy harvesting and storage application. In this study, the effect of the surface chemistry on the work function of MXenes, which determines the performance of MXene-based triboelectric nanogenerator (TENG), is elucidated. First-principles calculations reveal that the surface functional group greatly influences MXene work function:  OH termination reduces the work function with respect to that of bare surface, while  F and  Cl increase it. Then, work functions are experimentally determined by Kelvin probe force microscopy. The MXene prepared by gentle etching at 40 °C for 48 h (GE_40/48) has the largest work function. Furthermore, an electron-cloud potential-well model is established to explain the mechanism of electron emission-dominated charge transfer and assemble a triboelectric device to verify experimentally its conclusions. It is found that GE_40/48 has the best performance with a 281 V open-circuit voltage, 9.7 µA short-current current, and storing 1.019 µC of charge, which is consistent with the model. Last, a patterned TENG is demonstrated for self-powered human–machine interaction application. This finding enhances the understanding of the inherent mechanism between the surface structure and the output performance of MXene-based TENG, which can be applied to other TENG based on 2D materials.     

ARPO-2: An expert system for legal advice on the breach of building contracts

Although Berman and Hafner [Berman 1989, pp. 928–938] presented the possibility to adapt the model of reasoning of development of an expert system for medical diagnosis to the reasoning of a judge when he/she sentences criminals does not resemble the reasoning found in the decisions of physicians, mathematicians or statisticians.When a lawyer reasons, he/she not only looks for the solution of a case; he/she simultaneously looks for the bases on which his/her reasoning can rest [Galindo 1992, pp. 363–367]. That is to say, he/she not only needs to find the solution but moreover he/she has to find the references (laws, jurisprudence and bibliography) that allow him/her to argue the solution.In many cases, computer solutions to these reasoning processes have been made in a separated way: the solution to the cases using expert systems, and the search of documentation using information retrieval systems.This paper presents the ARPO-2 prototype, a solution integrating the two aspects of legal reasoning: an expert system which is able to simultaneously find the solution to a problem and to give the necessary references so that the lawyer argues the solution. The subject on which the prototype solves problems is the breach of building contracts.In this paper, we describe the process of development of an expert system for solving, justification and documentation of breach of contracts, giving details on the way how the objects that intervene in the case were defined as well as on the reasoning followed.This paper was funded in part by DGICYT, Spanish Civil Law Computerization Project: PB870-632.     

基于工学结合的网络综合布线教学改革实践

该文阐述了网络综合布线在课程体系的作用,提出了工学结合的教学设计和教学方法,最后给出教学改革产生的教学效果。     

Thermal and cardiovascular strain imposed by motorcycle protective clothing under Australian summer conditions

Motorcycle protective clothing can be uncomfortably hot during summer, and this experiment was designed to evaluate the physiological significance of that burden. Twelve males participated in four, 90-min trials (cycling 30 W) across three environments (25, 30, 35 °C [all 40% relative humidity]). Clothing was modified between full and minimal injury protection. Both ensembles were tested at 25 °C, with only the more protective ensemble investigated at 30 and 35 °C. At 35 °C, auditory canal temperature rose at 0.02 °C min^?1 (SD 0.005), deviating from all other trials (p < 0.05). The thresholds for moderate (>38.5 °C) and profound hyperthermia (>40.0 °C) were predicted to occur within 105 min (SD 20.6) and 180 min (SD 33.0), respectively. Profound hyperthermia might eventuate in ~10 h at 30 °C, but should not occur at 25 °C. These outcomes demonstrate a need to enhance the heat dissipation capabilities of motorcycle clothing designed for summer use in hot climates, but without compromising impact protection.

Practitioner’s Summary:

Motorcycle protective clothing can be uncomfortably hot during summer. This experiment was designed to evaluate the physiological significance of this burden across climatic states. In the heat, moderate (>38.5 °C) and profound hyperthermia (>40.0 °C) were predicted to occur within 105 and 180 min, respectively.     

Flash memory efficient LTL model checking

As the capacity and speed of flash memories in form of solid state disks grow, they are becoming a practical alternative for standard magnetic drives. Currently, most solid-state disks are based on NAND technology and much faster than magnetic disks in random reads, while in random writes they are generally not.So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicate states, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection.For flash memory efficient on-the-fly LTL model checking, which aims at finding any counter-example to the specified LTL property, we study hash functions adapted to the two-level hierarchy of RAM and flash memory. For flash memory efficient off-line LTL model checking, which aims at generating a minimal counterexample and scans the entire state space at least once, we analyze the effect of outsourcing a memory-based perfect hash function from RAM to flash memory.Since the characteristics of flash memories are different to magnetic hard disks, the existing I/O complexity model is no longer sufficient. Therefore, we provide an extended model for the computation of the I/O complexity adapted to flash memories that has a better fit to the observed behavior of our algorithms.     

基于构件的软件工程及其测试、维护和实践

论述了基于构件的软件工程（ＣＢＳＥ）的基本思想。并对其带来的测试和维护上的新问题及解决方案进行了探讨。最后给出所开发的视频编码软件包的例子。     

Re-engineering of the design process for concurrent engineering

According to the requirements of concurrent engineering, three interdependency relationships (uncoupled relationship, coupled relationship and decoupled relationship) between design activities are presented in this paper. And the coupled relationship plays an important role in concurrent product design process. To represent the precedence relationships among design activities, a directed graph is used to describe the design process. And the interdependency relationship between activities is illustrated by a Design Structure Matrix which is the transpose of the accessibility matrix of the corresponding graph. Using the DSM, an algorithm of recognizing the coupled activities during the design process is presented. Moreover, an algorithm to figure out the order levels of activities during the design process is proposed. And both algorithms are illustrated with a die design example.     

并行工程在汽车车身开发与制造上的应用

本文分析了常规车身ＣＡＤ／ＣＡＭ技术所存在的弊病,提出了采用并行工程的原理进行车身开发及车身工装设计与制造的方法。重点介绍了实施车身并行工程要解决的关键性技术,诸如建立集成化的产品数据模型、ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成技术、建立多功能小组、计算机技术支持等。     

运城地区可持续发展农业工程信息资料检索系统研究

采用 Win95操作系统 ,以 VB为开发工具 ,对运城地区农业工程信息进行快速检索并长期存储。该系统成本低、实用性强 ,人机交换界面使用方便 ,不需专业培训 ,为大型农业建设工程信息资料的检索和存储开辟了一条新的途径