复合布尔函数中含某单乘积项的快速判定算法

引入了布尔函数的基本积、单乘积项等概念，通过实例剖析了复合布尔函数中是否含某一单乘积项的一般判定方法，在该基础上提出了一种快速判定途径，并给出了快速判定算法的具体描述，同时对算法进行了实验，结果表明该算法快速有效。     

JETS,PLUMES AND BUOYANT JETS IN STATIC ENVIRONMENT

Turbulence represents an essential aspect in atmospheric and oceanic circulations.In particu-lar,it is a preponderant factor in the dispersion of pollutants of artificial or natural origin.Thevertical turbulent jets,plumes and buoyant jets discharging into static environment is one of themost important and basic flow patterns related with the environment pollution.These flows havenumerous important applications,for example,thrust augmentors,waste disposal plumes fromstacks and combustion systems,and significant problems of turbulent diffusion.     

阳平关砂金矿精选厂尾矿综合回收的研究

本文详细的介绍了陕西省阳平关砂金矿精选厂尾矿金和其他可利用的矿物综合回收方法和最佳分选流程。     

逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

一种主机与网络相结合的漏洞扫描工具的设计与实现

计算机安全问题是在信息化过程中急需解决的问题 ,而安全漏洞的发现对保护系统安全有着非常重要的意义。网络管理人员由于种种原因 ,很难及时、全面地测试系统的安全性。因此 ,设计一种能代替他们进行测试的工具就显得十分必要。本文首先对漏洞扫描的原理进行了分析 ,主要介绍了一种主机与网络相结合的安全漏洞扫描的设计及实现。     

哈尔滨炼油厂MTBE装置试生产

介绍了哈尔滨炼油厂ＭＴＢＥ装置的工艺路线、新技术的应用及特点；催化剂的装填及应用情况；总结了生产过程中遇到的一系列问题及解决办法；探索了平稳生产的新徐径，以保证装置安全、平稳、长周期运行；同时对反应器操作温度、催化蒸馏塔操作压力、原料中醇烯比等因素对异丁烯转化率及ＭＴＢＥ产品的影响做了简单的总结。     

试谈当前世界计算机安全动态

信息战和计算机战近三五年来被爆“炒”不迭,使得过去只能在深宅大院中进行的计算机和通信的安全工作,因其重要性的“拔高”而突然“大出风头”。本文以美国为重点叙述世界计算机安全动向,探讨国防信息屏障和当前各国发展的信息战攻防武器/手段问题。     

UNIX系统发展综述

本文首先分析ＵＮＩＸ的４个发展阶段以及各阶段取得成功的原因，然后在安全性，多处理机，实时处理，微内核，国际化和流机制等几个方面说明ＵＮＩＸ在技术上的发展近况，指出要解决的问题，最后说明了它面临的新挑战。     

Advances in cryptography and information security—introduction of 2002–2006 progress of SKLOIS

This paper introduces the research progress of the State Key Laboratory of Information Security (SKLOIS) in China during 2002–2006. This introduction covers four selected areas with each covering some selected research findings. The four selected areas are: the fundamentals of cryptography; the design, analysis and testing of block cipher algorithms; the design and analysis of security protocols based on computational intractability; authentication, authorization and their applications.     

Web服务提供方安全模型的分析与设计

讨论了Web服务提供方的安全问题,通过对Web服务调用方式的分析,为Web服务的提供方设计了安全模型.所设计的模型不依赖于服务提供方选用的安全策略,方便策略的更改和安全检查机制的更新.该模型同样适用于Web服务的需求方.