元数学对计算机科学的启示

文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。     

纯棉沙滩巾酶氧连续汽蒸退煮漂工艺

通过采用生物酶制剂和正交试验方法，研制出纯棉沙滩巾酶氧连续汽蒸退煮漂一步法绿色加工工艺，从而有效地去除了棉纤维中的天然杂质及织造过程中的浆料等，达到了提高产品质量。缩短生产工序，降低生产成本，减少环境污染的目的。     

建设项目的投资工期和质量控制

根据监理工作实践，论述了投资、工期和质量的控制，提出控制工期是保证投资效益的重要途径，控制质量是保证工程投资的有效手段；设计阶段是投资控制的重要环节。     

研究生学位论文选题方法与论文质量的研究

为提高研究生学位论文质量，提出了论文选题、论文研究及论文答辩各环节中的改革措施．     

Polarization Phase-Based Method For Material Classification In Computer Vision

A robust and accurate polarization phase-based technique for material classification is presented. The novelty of this technique is three-fold in (i) its theoretical development, (ii) application, and, (iii) experimental implementation. The concept of phase of polarization of a light wave is introduced to computer vision for discrimination between materials according to their intrinsic electrical conductivity, such as distinguishing conducting metals, and poorly conducting dielectrics. Previous work has used intensity, color and polarization component ratios. This new method is based on the physical principle that metals retard orthogonal components of light upon reflection while dielectrics do not. This method has significant complementary advantages with respect to existing techniques, is computationally efficient, and can be easily implemented with existing imaging technology. Experiments for real circuit board inspection, nonconductive and conductive glass, and, outdoor object recognition have been performed to demonstrate its accuracy and potential capabilities.     

数字集成电路的可测性设计及其应用

首先论述了可测性设计的概念，分析了时序电路测试生成面临的困境。然后介绍了可测性设计的专门方法，并举例说明了它在实际中的应用。     

Analysis, design, and development model: a case study of an internet-based system for insert and parameter selection

Abstract. The analysis, design, and development model (ADDM) is based on the systems lifecycle process (SLCP) in which analysts begin to understand external client requirements and internal client specifications as they are designing and developing a complex system. In the ADDM, clients and system analysts (SA) continuously interact as the system is being designed, developed, tested and maintained. In the design phase, system development can be altered when it is most cost‐effective. Depending on the type of environment and SA preference and expertise, various interfaces and software and hardware configurations are created during the SLCP. The SLCP ensures effective standardization and continuous quality improvements throughout development. The model follows modern information technology principles to integrate and monitor SLCP phases. A case is presented that describes an application of the ADDM. This case outlines the architecture of an e‐commerce production system (ECPS). The system has a three‐tier structure consisting of the client interface, Java server page (JSP) and database module. The model assists in designing economic production operations in an industrial setting by allowing a client to retrieve current production data needed for operations through the internet.     

奥里油在火力发电厂的应用及环保处理

委内瑞拉富藏奥里油约469亿t，中国政府与委内瑞拉政府签订了合作生产并每年向中国供应650万t奥里油的合作协议。鉴于此，介绍了奥里油的特性及其在火力发电厂的应用情况，分析了燃烧奥里油发电带来的特有的环保问题和处理方法。     

高炉喷煤系统控制模型研究

安钢高炉喷吹煤粉系统 ,由于自动控制数学模型精度低 ,一直未能很好地实现自动喷吹 ,喷煤量波动较大 ,严重地影响了高炉炉况顺行和喷煤水平的提高。通过对现场采集的大量实验数据进行整理、分析与研究 ,提出喷煤量分别与罐压、补气量之间的可能关系 ,建立其在三维情况下的数学模型 ,在MATLAB环境下 ,作出其三维拟合曲面。利用二元回归方程计算结果与实测值进行比较 ,判断三维数学模型的显著性     

特殊地质条件的铁路基础设计

根据实际工程情况，介绍了特殊地质条件的铁塔基础设计，为今后各种地质条件的基础设计提供了一些实践经验。