高帧速摄像器

本文介绍了高帧速摄像器的设计、制造、工作和性能。该高帧速有３６０×３６０像素、摄像速度高达５×１０５帧／秒，该摄像器读出电路类似于帧转移ＣＣＤ，由四部分组成     

多功能新材质屋面板设计施工

通过设计一种具有透明、保温、防水、防腐等多功能,且自重仅为原预应力砼屋面板10%的钢框玻璃钢罩屋面板,解决老厂屋面改造存在的生产与施工难题.     

螺栓球网架杆件在非节点横向荷载作用下承载力的有限元分析

运用ANSYS有限元程序 ,研究了在轴向力与非节点横向力共同作用下网架螺栓球节点杆件的受力性能 ,得出其应力分布状况及弹性极限承载力 ,并提出了螺栓球网架杆件在非节点横向力作用下承载力的计算公式。     

新型测井拖撬撬体结构设计和制造工艺

综述了测井拖撬撬体的生产现状和发展方向；着重论述了模块化海洋测井拖撬和集装箱型沙漠测井拖撬新型撬体的结构设计特点和制造工艺。这2种拖撬撬体在设计中采用了集装箱型、模块化、正压防爆、气密封、水密封等结构，严格控制焊接、防锈和喷漆等关键工艺，使撬体具有新颖的外观和良好的保温、防雨、防尘、防爆、防盗等功能，提升了产品的档次。     

资产管理模型及其应用

简要介绍了水电厂资产管理系统的构成，从中引出了以设备为中心、以工作单为主线的资产管理模型，并说明了该模型在水电厂资产管理系统中的应用效果。     

十圩港大桥反吊支架设计与施工

结合工程实例，对反吊支架体系的设计进行了介绍，从支架体系的安装、堆载预压、过程监控、支架体系的调整及拆除等环节阐述了支架体系的施工方法，并对其体系进行了验算，为类似桥梁提供了施工经验。     

由拱管组成的复合管段固定支架受力计算

根据工程设计的实践，介绍了由拱管和波纹补偿器所组成的复合管段的固定支架受力计算方法和注意事项。     

为流域管理机构立法

本文主要借鉴美国田纳西河流域的管理职权立法经验，对中国江河流域机械法案的内容框架进行探讨：流域机械法的地位；流域机械的地位；流域机构管理人员组成、任免、待遇规范及工作制度；流域机构的责、权、利、罚规则；与地方各行政部门尤其是环保、城建、地质矿产等部门的关系。     

帧异或视频加密算法

提出一种针对H.264标准的新型视频加密算法,弥补了选择性加密压缩比变化及熵编码加密编码器不通用的问题。该算法将由密钥决定的一帧图像的细节与背景分别异或在原始图像帧的对应位置,生成视觉重叠图像以达到加密目的。实验结果表明,算法能够有效控制压缩率变化并可作为通用插件植入H.264编解码器中,适应于视频实时通信场合的需求。     

Maximal contractions in Boolean algebras

In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.