一种防堵取样阀

生产中取样阀易堵塞是阻碍顺利取样和及时化验分析的主要因素，为解决这一问题，介绍了一种防堵取样阀，它适合于对各种流体的取样。由于具有防堵和自清理堵塞物的功能，防堵取样阀的用途比较广泛。     

关于B样条函数系的一个定理

本文对于L.L.Schumaker的名著《Spline Functions:Basic Theory》第四章中关于B样条函数系线性无关的定理4.18的证明,指出了其欠妥当之处,提出了反例并给出了正确的证明。     

新型防爆光纤液位检测系统的研制

设计了一种新型本安防爆光纤传感器，测量易燃易爆液体贮罐液面高度，从而确定不同时刻的液体贮存量，光纤感应采集传输液位高度和变化方向信号，经光电转换、信号放大、CPLD数据处理后，将信号输入到计算机进行计算管理，显示并打印出易燃易爆液体输出或输入和库存量，这种系统特别适用于石油化工等领域的液位检测。     

Authorization Management Framework Based on Joint Trust-Risk Evaluation

0 Introduction Trust management[1-3] is an approach to managing authorization in distributed environ- ments. Blaze et al[1] firstly proposed the concept of trust, and took trust into consideration in au- thorizing. Probability computed via historical records is viewed as the grade of trust[4]. Trust is classified into two types: direct trust and recom- mendation trust. But modeling the subjective trust with the simple probability and expressing the integration of multi recommendation trusts b…     

一个基于交互式零知识证明的身份鉴别协议

提出了一个基于零知识证明的身份鉴别协议。该协议的安全性依赖于大数的因子分解和离散对数两个NP完全问题。该协议可以被方便地应用到智能卡系统中去，协议中证明者（Prover)和验证者（Verifier）具有同样的计算能力，而且该协议要求最小限度的计算量和通信流量。     

平面机构高副低代原理的证明

证明了机械原理中传统的高副代方法可保证此高副机构和它的低副替代机构自由度不变,瞬时速度和瞬时加速度不变。     

利用气液旋流提高抽油泵泵效的实验研究

为解决大庆外围部分区块油井井下气液分离问题和抽油泵的泵效,提高整个油井系统的工作效率,利用室内模拟抽油机井实验装置,模拟采油八厂芳48区块抽油机井系统的井底流动状态,并以水和空气作为流动介质,用优选出的螺旋气锚与现场采油抽油泵进行组合,设计出泵外和泵下两种防气装置,在不同冲次、不同排量、气液比为20 m3/t～8000 m3/t条件下,对两种工艺设计的气液分离效果进行比较。防气装置设计中将进液孔同时作为分离气的排气孔,在泵外防气装置衬管环空顶部产生“气帽”效应,抑制气体进入防气装置,有效提高旋流分离的分气效率,实验结果表明安装泵外防气装置的泵效要明显优于安装泵下防气装置的泵效,为现场应用提供了可靠的依据。     

含硅醌胺聚合物合成、结构与性能

由α,ω二氨基烷氧基聚硅氧烷及α,ω二氨基烷基聚硅氧烷与对苯醌反应,合成了两类溶解性良好的新型含硅醌胺聚合物,它们与氯磺化聚乙烯、环氧树脂共混固化后获得吸水率低,抗盐水性优良的防水、防锈涂膜．     

基于零知识证明的匿名投票方案

针对现有电子投票与问卷调查系统中公正性与匿名性这两项最根本需求,提出了运行于以太坊上的智能合约投票方案。方案满足可信、透明的要求,剥离了对可信第三方的依赖。随后进一步结合零知识证明与数字签名技术,实现了方案的匿名性。通过合理设计算术电路及智能合约,该方案可满足一人一票或一人多票的应用场景。通过安全性分析,本方案完全满足业界对电子投票方案公认的各种要求,加之相关代码已完整开源,为后续移植及具体应用提供了借鉴与参考。     

ELIMINATION IN WEYI ALGEBRA AND q-IDENTITIES

In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl algebra. We give an algorithm for proving the single-variable q-proper-hypergeometric identities that is based on Zeilberger＇s approach and the elimination in Weyl algebra. Finally, we test several examples that have been proven by D. Zeilberger and H. Will using the WZ-pair method and Gosper algorithm.