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

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

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

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

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

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

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

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

地空导弹武器型号论证综合决策模型

以系统效能、费用、研制周期和风险4个目标为论证准则,根据其目标权重是否确知,基于最小加权隶属度偏差方法建立了地空导弹武器型号论证综合决策模型,为决策者进行型号决策提供了一种定量分析方法。     

图尔敏模型在当代法律论证中的应用

图尔敏的法律论证理论与他的一般论证理论水乳交融。图尔敏不仅是法律论证理论的开拓者,而且其法律论证理论对新兴的人工智能和法律研究领域产生了重大影响,尤其是图尔敏模型,不仅被扩展为刻画复杂法律论证的基本模型,而且也被诠释为包括法律解释过程的动态模型。     

不等式证明的方法探究

不等式是研究数学问题的重要工具。它渗透在数学的各个部分,在高等数学中也有极其重要的应用。但是有关不等式证明的高等数学的方法的研究一直缺乏系统的理论层面的提升。我们从导数、函数的凸性、泰勒公式、排序不等式、构造法等高等数学的层面对不等式证明方法进行了有益的探讨。     

混合幂平均不等式的一个简单证明

利用不等式的经典理论给出了混合幂平均不等式的一个简单而初等的证明.     

论民事诉讼中举证责任的倒置

我国民事诉讼法规定 ,举证责任分担的一般原则是“谁主张 ,谁举证”。但在一些特殊的侵权诉讼中 ,可采用举证责任倒置的原则 ,即对原告提出的侵权事实被告否认的 ,由被告承担举证责任 ,以体现双方当事人诉讼地位的平等 ,更好地维护受害人的合法权益     

膨胀止水条在地下结构混凝土施工缝中的应用

简要介绍了地下结构抗渗混凝土施工缝的处理方法,着重介绍了膨胀止水条的应用及其优点。