Continuity versus Discretization

The threefold interest in architecture, biology and mathematics motivated us to examine and justify new architectural forms. We discuss some notions of rhythm: Euclidean, morphogenetic and morphologic. Contemporary relationships between structure and form are based on the generation of shape by technological processes, thus the resulting objects are restricted to their material expression. Here a phenomenological organisation of form and its continuity with the landscape arise out of the mathematical and architectural creativity. The use of the computer is applied from outside to inside instead from inside to outside; this means that we are dealing with the organisational processes via continuous methods instead of evolutionary processes given by computer simulations, known as genetic algorithms, where the resulting configurations are reduced to a matter of routine. The role of design as an aesthetic component innovates the theoretical framework of structural engineering to establish the architectural environments.     

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.     

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

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

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.