基于B样条小波有限元陀螺转子悬浮磁场的分析

给出了一种陀螺仪转子悬浮结构,建立了悬浮磁场B样条小波有限元模型;研究了一类新的有限元空间.它以B样条小波函数作为正四面体有限等参元的形状函数.利用B样条小波函数的变尺度特性在不改变网格的剖分下提高分辨率.最后对悬浮系统模型进行了仿真,给出了磁力线的走向、分布及空间各点的磁场强度.并对结果进行了分析.     

氯化氢气体合成中的比值控制系统设计

本文对氢气和氯气合成氯化氢气体的比值控制系统的设计进行了讨论,并分析了某些厂家进行这类控制失败的原因。文章从控制条件和我国实际情况出发,对控制方案进行了选择,分析了影响配比的因素,确定了系统结构,分析了系统的误差。     

二滩水电站6号机定子叠片及磁化试验

二滩水电站6号机定子因压紧力矩、叠片的波浪度控制、设计、结构等原因，致使前6次磁化试验均未达标。笔者就叠片的压紧和波浪度的控制提出了一些有益的参考意见。     

招远市小型病险水库除险加固工程建设经验作法

“中国金都—山东招远”地处胶东半岛西北部，属低山丘陵干旱缺水区，总面积1433Km^2，有724个行政村，59万人。全市先后建成水库塘坝1355座，蓄水能力达1．75亿立方米，其中中型水库3座，小（一）型水库30座，小（二）型水库193座，塘坝1129座。近年来，该市针对可能发生洪涝灾害的严峻形势，坚持“以人为本、人与自然和谐共处”的理念，把确保人民生命财产安全放在首位，把小型病险水库除险加固作为市委、市政府的重点工作来抓，强化领导，采取措施，全力做好小型病险水库除险加固工作。     

空冷凝汽器查漏方法的探讨

吸取水冷机组凝汽器灌水查漏经验,在京科发电公司1号机组空冷凝汽器查漏过程中采用局部灌水查找出漏点,由此提出局部灌水查漏法,为行业内空冷凝汽器的查漏提供了一种新的方法。     

招远市农田水利基本建设扎实有效

去年三秋过后,招远市在大搞农田水利基本建设过程中,本着“全面规划、统筹兼顾、标本兼治、综合治理”的原则,结合全市的实际情况,科学规划,突出重点,超前运作,使全市的农田水利基本建设呈现出动手早、规模大、质量优、效益高的可喜局面。全市日上阵劳力达6.5万人,上阵机械2100多台套,开工水利建设项目596项,完成388项,完成土石方82万m~3,完成高标准浆砌渠道20km,发展管灌面积1000多公顷,喷水管喷灌533.6hm~2,大棚滴灌4hm~2,累计投入资金2000多     

招远市水利局超额完成“一报两刊”的征订工作

近几年来,山东省招远市水利局把“一报两刊”——《中国水利报》、《中国水利》和《山东水利》杂志作为广大干部职工学习政策法规、把握工作大局、沟通各类信息、提高业务素质的重要渠道,同时也把水利报刊作为宣传招远水利、提高招远知名度的重     

TPM用户密钥命令安全性形式化分析

The Trusted Platform Module (TPM) is a dedicated hardware chip designed to provide a higher level of security for computing platform. All TPM functionalities are implemented in TPM commands to achieve specific security goals. We attempt to analyze the security properties of these commands, especially the key management API. Our study utilizes applied pi calculus to formalize the commands and determine how their security properties affect TPM key management. The attacker is assumed to call TPM commands without bounds and without knowing the TPM root key, expecting to obtain or replace the user key. The analysis goal in our study is to guarantee the corresponding property of API execution and the integrity of API data. We analyze the security properties of TPM commands with a process reduction method, identify the key-handle hijack attack on a TPM newly created key, and propose reasonable solutions to solve the problem. Then, we conduct an experiment involving a key-handle attack, which successfully replaces a user key with an attacker's key using malicious TPM software. This paper discloses the weakness of the relationship between the key handle and the key object. After the TPM software stack is compromised, the attacker can launch a key-handle attack to obtain the user key and even break into the whole storage tree of user keys.     

Ka波段毫米波云雷达多普勒谱降雪微物理特征分析

构建了一种基于毫米波云雷达多普勒谱的过冷水滴、冰晶、雪花的识别算法,通过对全局谱的谱峰识别,分离出了不同类型粒子的局部谱,得出了不同类型粒子的反射率因子、多普勒速度、谱宽等谱矩参数及含水量.通过对一次降雪过程Ka波段测云雷达多普勒谱的分析,结果表明:(1)混合相云中,由于雪花对毫米波雷达总回波强度贡献较大,基于总雷达反射率因子直接反演液态水含量会忽略过冷水滴的贡献,造成云中含水量的低估;(2)多普勒谱反演得到过冷水的液态水路径(LWP)与微波辐射计反演结果一致性较好,说明毫米波雷达能够有效估量云中液态水路径;(3)冰雪晶粒子在过冷水层(SWL)中下落速度随反射率因子的变化梯度(d V/d Z)比在冰雪层(ISL)中大,这主要是因为冰雪晶粒子在SWL中通过凇附增长比在ISL中通过碰并增长要增长得更快.