宾馆管理信息管理系统

从设计思想、业务流程和系统结构这三个方面阐述了宾馆信息系统的分析和设计流程.     

钢铁企业全厂仪表维修设施设计初探

以我国某大型钢铁企业全厂仪表维修设施的设计方案为例,简要说明了仪修设施的设计原则、全厂仪表维修的一般解决方案,较详细地介绍了仪修设施专业划分、实验室及维修车间的设置和主要设备构成,为该类项目的设计和工程建设提供一定参考。     

Ultrafast Switchable Passive Radiative Cooling Smart Windows with Synergistic Optical Modulation

Switchable passive radiative cooling (PRC) smart windows can modulate sunlight transmission and spontaneously emit heat to outer space through atmospheric transparent window, presenting great potential in building energy conservation. However, realizing stable and on-demand control of the cooling efficiency for PRC materials is still challenging. Herein, an electro-controlled polymer-dispersed liquid crystal (PDLC) smart window showing PRC property is designed and prepared by adding mid-infrared emitting reactive monomers into the conventional PDLC matrix. It is found that not only the electro-optical properties but also the PRC efficiency of PRC PDLC film are tunable by regulating the content of the mid-infrared emitting components, film thickness, and micromorphology. This advanced PRC PDLC material achieves a near/sub-ambient temperature when the solar irradiance is below 400 W m⁻² and can dynamically manage daytime cooling efficiency. Importantly, its PRC efficiency is capable of being tuned in an on-demand and ultrafast millisecond-scale way, whose controllable transparency enables multistage heat regulation. This study is hoped to provide new inspiration in the preparation of advanced optical devices and energy-efficient equipment.     

An axiom system for sequence-based specification

This paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself.     

The structure of canalizing functions

The structure of a canalizing function is discussed. Using a new matrix product, namely semitensor product, the logical function is expressed in its matrix form. From its matrix expression, a criterion is obtained to test whether a logical function is a canalizing function. Then a formula is obtained to calculate the number of canalizing functions. Moreover, an algorithm is presented to generate canalizing functions. Finally, some results obtained are extended to seminested canalizing functions.     

一种基于可信度矩阵的多传感器目标识别方法

为了解决多传感器目标识别中不同等级信息源数据的融合问题,在研究DSmT证据理论的基础上,引入证据可信度矩阵.依据可信度矩阵对证据进行转化,使之可以用传统的方法进行证据融合.将这种方法应用到等级不同的多传感器目标识别中,可以解决传统证据理论只能进行相同等级传感器目标识别的难题.仿真实验表明,该方法提高了目标识别的准确性和有效性.     

阴极溶出伏安法测定黄原酸盐

提出了一种测定微量有机硫化合物的方法一阴极溶出伏安法测定黄原酸盐，研究了它的溶出伏安性质和测试条件，此化合物在酸性溶液中，在电位-0．45V附近出现溶出峰。溶出峰高度与浓度在10^-6-10^-8mol／L范围内具有良好的线性关系。     

Temporal scale effect of loading data on instream nitrate-nitrogen load computation

The temporal scale effect of loading data on nitrate-nitrogen load computation was examined using outputs of watershed modeling tool Hydrologic Simulation Program-FORTRAN (HSPF) for the Amite River in Louisiana, USA. The daily nitrate-nitrogen concentrations simulated using the HSPF were employed first to obtain daily, weekly, bi-weekly, and monthly average data and then to develop load duration curves for the data with four different temporal scales. The duration curves exhibited high variability in the load estimated using daily data as compared with those based on bi-weekly and monthly data. According to daily data, the nitrate-nitrogen load in the winter was found to be 2,780 kg. The nitrate-nitrogen load decreased with increasing temporal (daily, weekly, bi-weekly, and monthly) scale (commonly used in water quality monitoring) of the data. The coefficient of variation, used to quantify the effect of temporal scale on the load, was found to be linearly and inversely correlated with the logarithm of the time scale. Based on the finding, empirical equations were proposed to extrapolate near real-time data for flow and nitrate-nitrogen, greatly simplifying nutrient monitoring and reducing the cost involved in water quality monitoring.