建筑美学

把建筑定义为美学带有主观随意性,局限性,除了形式美,建筑还具有实用,经济,技术等价值。本文分别从建筑的形式美,使用功能,先进技术、环境特色等方面具体阐述建筑美学,对大多数人关心的建筑美学做一个冷静而深入的思考,探究这样一种美从何而来。     

电子编务在现代化科技期刊编辑出版中的应用

通过对电子编务在现代化科技期刊编辑出版中的应用探讨,使我们进一步认识电子编务不仅可以提升编辑在日常编辑工作的效率,使得编辑出版流程环节简化、规范,强化稿件管理,提高出版效率,而且对编辑部在竞争激烈的科技期刊出版环境下生存和发展能力的提高起着重要的作用。     

Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

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.     

医院网络安全的技术实现与改进

随着信息科技的高速发展,网络在越来越多地为人们生活提供便利的同时,也为医院节省了大量的人力和物力,如何在现有的条件下,搞好局域网络的安全,是医院内网络管理人员的一个重要课题.本文从系统安全、网络运行安全和内部网络安全分析,并应用到实践中,以保证网络安全.     

A high payload frequency-based reversible image hiding method

To provide both a high payload capacity and a good stego-image quality, a high payload frequency-based reversible image hiding (HPFRIH) method was presented in this paper. These performances can be achieved by transforming a cover image from the spatial domain into the frequency domain through Haar digital wavelet transform (HDWT) method followed by an adaptive arithmetic coding method to encode the HDWT coefficients in a high-frequency band. The HPFRIH method was used to conceal both the compressed data and the secret data in the high-frequency band. This simple method can completely reconstruct the cover image only from the stego-image. Moreover, experimental results showed that the HPFRIH method offers both impressive hiding capacity and satisfied stego-image quality.     

数据分析及无损编码技术在电脑袜机上的应用

该文主要介绍了袜机数据的整合及对整合的效率进行了分析,有效的减小了数据所占用的位数;根据袜机数据的特点且存在大量的重复性字符,我们应用无损编码技术对袜机数据冗余部分进行压缩,通过比较几种无损编码技术的平均压缩率,得出了最适合袜机数据的压缩方式。     

通用中小型机械企业网站的需求分析

为了克服中小型机械企业建立网站的经费不足、功能不全和缺乏安全性等问题,提出了建立通用企业网站的方案。首先通过广泛调研企业的需求,总结和分析了企业信息、客户管理、产品管理、销售与市场管理、物资供应管理、人事管理和安全管理等模块的功能;其次,分析了主要的业务流程和业务重组。