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.     

Novel Metrics for Mutation Analysis

A measure of the “goodness” or efficiency of the test suite is used to determine the proficiency of a test suite. The appropriateness of the test suite is determined through mutation analysis. Several Finite State Machine (FSM) mutants are produced in mutation analysis by injecting errors against hypotheses. These mutants serve as test subjects for the test suite (TS). The effectiveness of the test suite is proportional to the number of eliminated mutants. The most effective test suite is the one that removes the most significant number of mutants at the optimal time. It is difficult to determine the fault detection ratio of the system. Because it is difficult to identify the system’s potential flaws precisely. In mutation testing, the Fault Detection Ratio (FDR) metric is currently used to express the adequacy of a test suite. However, there are some issues with this metric. If both test suites have the same defect detection rate, the smaller of the two tests is preferred. The test case (TC) is affected by the same issue. The smaller two test cases with identical performance are assumed to have superior performance. Another difficulty involves time. The performance of numerous vehicles claiming to have a perfect mutant capture time is problematic. Our study developed three metrics to address these issues: , , and In this context, most used test generation tools were examined and tested using the developed metrics. Thanks to the metrics we have developed, the research contributes to eliminating the problems related to performance measurement by integrating the missing parameters into the system.     

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.     

UPE: Utah prototyping environment for robot manipulators

Developing an environment that enables optimal and flexible design of robot manipulators using reconfigurable links, joints, actuators, and sensors is an essential step for efficient robot design and prototyping. Such an environment should have the right mix of software and hardware components for designing the physical parts and the controllers, and for the algorithmic control of the robot modules (kinematics, inverse kinematics, dynamics, trajectory planning, analog control and digital computer control). Specifying object-based communications and catalog mechanisms between the software modules, controllers, physical parts, CAD designs, and actuator and sensor components is a necessary step in the prototyping activities.In this paper, we propose a flexible prototyping environment for robot manipulators with the required subsystems and interfaces between the different components of this environment. This environment provides a close tie between the design parameters of the robot manipulator by the different subsystems involved in the design process. The design and implementation of this environment along with the implementation of some of the subsystems are presented, and some examples that demonstrate the functionality of the environment are discussed. This work was supported in part by DARPA grant N00014-91-J-4123, NSF grant CDA 9024721, and a University of Utah Research Committee grant. All opinions, findings, conclusions or recommendations expressed in this document are those of the author and do not necessarily reflect the views of the sponsoring agencies.     

基于J2EE的网上书店电子商务系统的研究与实现

网上书店系统可以实现人们远程逛逛书店和购买图书的愿望。该系统主的功能是帮助经营实物书店的人们扩大市场和增加知名度。基本功能包括用户注册会员、登录、图书展示、图书查询、在线浏览图书、远程购买、远程交易等。系统开发工具是Myeclipse及MySQL数据库,系统是基于出版社等用户背景开发的,可以有效的实现网上图书交易。     

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

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