参数曲面消隐新算法

提出一种基于线段被三角形遮挡的消隐新算法，并利用此法推出了遮挡情况随视点变化的数学关系式，进而给出一种适合于动态模拟的消隐算法。     

小波分析在输油管道泄漏检测中的应用

泄漏检测在油料长输管道安全生产中占有重要的位置。本文以MATLAB6．5小波函数为分析工具，以泄漏点产生的负压波“拐点”为对象，以确定泄漏点的相对位置为目的，先后进行小波分析工具的理论介绍，并在消噪、两类奇异点检测等应用方面进行分析。文章结合生产现场的应用，对实际数据进行重要分析与应用，并总结了小波分析在泄漏定位上的一些经验。     

电流源型逆变器SHE-PWM开关角度的计算方法研究

该文以电流源型逆变器（CSI）为研究对象,对特定消谐技术（SHE）的应用进行了分析和研究;针对用数值方法求解SHE-PWM开关角度时,非线性超越方程组计算初值选择困难的问题,提出了以梯形调制法（TPWM）生成方程组初值的方法,使求解速度明显加快;根据非线性方程组的数值解进行了仿真和实验,其结果证明了计算结果的正确性.     

生物滴滤器净化甲苯废气的工艺性能研究

研究了生物滴滤器对甲苯废气(VOCs代表)的净化性能及其影响因素.小型生物滴滤器实验结果表明,实验条件下净化效率随进气甲苯浓度的增大而减小;生化去除量(EC)则随进气甲苯浓度的增大而增大;停留时间越长,净化效率越高.当空床停留时间(EBRT)10 s甲苯质量浓度在184~1 223 m g/m3时,对应的生化去除量保持在62.4~190.7 g/(m3.h);当甲苯进气质量浓度处于600 m g/m3以下时,只要EBRT达到30 s时,净化效率可达到90.0%以上;当甲苯进气处于600~1 300 m g/m3质量浓度范围时,需要通过生物滴滤器串级运行或采用活性炭吸附预处理而不是单纯依靠增加气体在生物滴滤器内的停留时间来达到60 m g/m3排放要求.实际工艺系统对于难溶于水的气体如甲苯,表面液体速度可控制在1.0 m/h的较低值以内.     

LEARNING PRECONDITIONS FOR PLANNING FROM PLAN TRACES AND HTN STRUCTURE

A great challenge in developing planning systems for practical applications is the difficulty of acquiring the domain information needed to guide such systems. This paper describes a way to learn some of that knowledge. More specifically, the following points are discussed. (1) We introduce a theoretical basis for formally defining algorithms that learn preconditions for Hierarchical Task Network (HTN) methods. (2) We describe Candidate Elimination Method Learner ( CaMeL ), a supervised, eager, and incremental learning process for preconditions of HTN methods. We state and prove theorems about CaMeL's soundness, completeness, and convergence properties. (3) We present empirical results about CaMeL's convergence under various conditions. Among other things, CaMeL converges the fastest on the preconditions of the HTN methods that are needed the most often. Thus CaMeL's output can be useful even before it has fully converged.     

谈某广播电视中心大楼的空调设计

概要介绍了某广播电视中心大楼各技术用房空调系统的特点,并对主要技术用房室内设计参数、空调系统形式、消声隔振和空调自控系统作了介绍。     

雷达网反隐身优化部署决策模型及算法研究

隐身目标的RCS在空域、频域及极化域等方面均呈现出不一致特性。利用隐身目标的低隐身效果的“空域窗口”优化多部雷达布站，是一项具有现实意义的课题。基于对隐身飞机RCS与雷达波入射角关系的具体分析，提出了雷达网消盲指数的概念和定量表达式，建立了一种小型雷达群的空域反隐身优化部署决策模型，并对具体的优化部署算法进行了研究。利用典型雷达装备进行的仿真试验验证了其有效性。     

变压器有载分接开关故障发现及排除

针对电力变压器有载分接开关运行中出现的故障,以太原供电分公司为例,分析有载分接开关故障原因并提出相应的排除方法。实践表明,方法的应用大大降低故障率,确保了主变压器的安全稳定运行。     

On structuring proof search for first order linear logic

Full first-order linear logic can be presented as an abstract logic programming language in Miller's system Forum, which yields a sensible operational interpretation in the ‘proof search as computation’ paradigm. However, Forum still has to deal with syntactic details that would normally be ignored by a reasonable operational semantics. In this respect, Forum improves on Gentzen systems for linear logic by restricting the language and the form of inference rules. We further improve on Forum by restricting the class of formulae allowed, in a system we call G-Forum, which is still equivalent to full first-order linear logic. The only formulae allowed in G-Forum have the same shape as Forum sequents: the restriction does not diminish expressiveness and makes G-Forum amenable to proof theoretic analysis. G-Forum consists of two (big) inference rules, for which we show a cut elimination procedure. This does not need to appeal to finer detail in formulae and sequents than is provided by G-Forum, thus successfully testing the internal symmetries of our system.