Analysis of radiometer effect on proof mass in purely gravitational orbit

Spacecrafts with the pure gravity environment are of great significance in precision navigation, gravity field measurement for celestial bodies, and basic physics ex- periments. The radiometer effect is one of the important interfering factors on the proof mass in a purely gravitational orbit. For the gravity field measurement system based on the inner-formation flying, the relationship between the radiometer effect on the inner- satellite and the system parameters is studied by analytical and numerical methods. An approximate function of the radiometer effect suitable for the engineering computation and the correction factor are obtained. The analytic results show that the radiometer effect on the inner-satellite is proportional to the average pressure while inversely pro- portional to the average temperature in the outer-satellite cavity. The radiometer effect increases with the temperature difference in the cavity, and its minimum exists when the cavity radius increases. When the minimum of the radiometer effect arrives, the ratio of the cavity radius to the inner-satellite radius is 1.189 4. This constant is determined by the spherical cavity configuration and independent of the temperature and pressure distributions. When the ratio of the cavity radius to the inner-satellite radius is more than 10, it is believed that the cavity is large enough, the radiometer effect is approxi- mately proportional to the square of the inner-satellite radius, and the influence of the outer-satellite cavity radius on the radiometer effect can be ignored.

零知识证明递归与复合技术研究综述

零知识证明作为一种重要的密码学协议,是实现数据安全流通的关键技术之一.其允许证明者向验证者证明某个断言的正确性,而又不泄露任何额外信息.零知识证明所描述的断言可划分成代数断言、非代数断言和复合断言,而递归与复合技术可以极大地提高零知识证明协议的性能并深入拓展其功能,是当前的研究热点.本文系统且全面地研究了零知识证明的递归与复合技术.首先,在针对代数断言的递归零知识证明方面,全面研究了关于内积关系的递归零知识证明协议,并从证明复杂度、通信复杂度、验证复杂度等角度对比分析了基于Pedersen承诺方案的内积论证协议.其次,在针对非代数断言的递归零知识证明方面,全面梳理了增量可验证计算方案与基于电路的证明系统组合这两种主流应用的研究现状,并对比分析了增量可验证计算方案的复杂度、关键技术及实现方案等.然后,在针对复合断言的复合零知识证明方面,从复杂度、启动阶段、关键模块等角度对比分析了承诺并证明的零知识证明协议.最后,给出了零知识证明递归与复合技术的未来研究方向.

纯引力轨道验证质量辐射计效应分析

纯引力轨道飞行器在精密导航、重力场测量以及基础科学研究等方面具有重要意义,辐射计效应是纯引力轨道验证质量的重要干扰力之一.针对内编队重力场测量系统,利用解析和数值计算相结合的方法,分析了内卫星辐射计效应与内编队系统参数的关系,并给出了适宜于工程计算的内卫星辐射计效应近似函数及其修正因子.分析可知,内卫星辐射计效应与腔体平均压力成正比,与腔体平均温度成反比;随腔体温差的增加而增加,随外卫星腔体半径的增加存在极小值,并且取极小值时外卫星腔体半径和内卫星半径比为常数1.189 4,这一常数是由内外卫星的球形腔体构型决定的,与腔体内温度和压力无关.当内外卫星半径比大于10时,可认为外卫星腔体充分大,此时内卫星辐射计效应与内卫星半径的平方近似成正比,随外卫星腔体半径的变化可忽略.

《〈水浒传〉作者施耐庵新证》辩——与浦玉生先生商榷

浦玉生先生主张《水浒传》作者施耐庵就是苏北施彦端,并认为江苏沿海风物与《水浒传》有联系,可作为施耐庵作《水浒传》的内证。笔者对此一一加以辩驳。

今文《尚书》断代研究综述——先秦传世文献断代研究之一

对古文献的分期断代研究,向来是研究古文献的政治哲学思想和文学语言的基础和风向标。前者研究成果的学术水平,将对后者研究的成败起决定性的作用。我们对今文《尚书》中《尧典》、《吕刑》等七篇文献的写定时代的研究,一方面就前人的断代研究作了历史的回顾,另一方面就当前最新的研究成果作了扼要的介绍。

网页防篡改系统方案的研究与实现

通过对网页防篡改技术的发展历程的回顾,对比分析了几种常见的防篡改技术的优劣,并在结合网站内外网隔离方式部署的网站系统网络结构,提出与网站内容管理系统相整合的网页防篡改系统,并对系统的功能要求、性能要求、安全性要求进行了详细的描述,提出了一套功能完善、具备通用性的防篡改系统方案。

网页防篡改系统在内蒙烟草网站中的应用研究

本文分析了内蒙古烟草网站的脆弱性，阐述了网页防篡改系统的特点和功能，并详细介绍了网页防篡改软件在内蒙古自治区烟草网站中的技术实现及系统部署情况。

液硫池采用钢筋耐酸混凝土结构的可行性探讨

天然气处理厂硫磺回收单元的液硫池通常采用钢筋混凝土结构,由于长期受液硫等酸性化学品的腐蚀,严重影响其使用寿命。对多种常规的钢筋混凝土进行对比和分析的结果表明,钢筋耐酸混凝土具有较高的机械性能和较好的耐酸及耐热性能,较之其他类型的混凝土,更适用于液硫池。选用耐酸陶瓷砖作为防腐内涂层,并采用合适的隔热耐酸浇筑料浇筑保温层,可增强液硫池的防腐及保温性能,满足天然气处理厂液硫池的使用要求。

ZKFERP:计算成本恒定的通用高效范围证明方案

区块链去中心化的特性易导致交易层用户隐私泄露,引发信息安全问题。零知识范围证明的目的是在不透露交易数据的同时,机密验证数据属于合法正整数区间,有效解决了区块链隐私保护问题。现有的区块链范围证明方案在证明速度、验证速度及计算成本等方面仍有较大的优化空间;并且,现有方案无法处理浮点数问题,因此限制了范围证明的应用领域。基于此,提出了一种计算成本恒定且浮点数、整数通用的高效范围证明方案——ZKFERP。ZKFERP在Bulletproofs的基础上改进零知识协议,优化证明结构,并设计了一种拉格朗日内积向量生成方法,使见证生成时间恒定,最后利用浮点数范围关系式构造承诺,实现浮点数范围证明。ZKFERP仅依赖于离散对数假设,无需第三方可信。实验结果表明,ZKFERP的通信成本和时间复杂度均恒定,且与已知最先进的范围证明方案相比,ZKFERP的证明时间缩短了40.0%,验证时间缩短了29.8%。

我国公文书证明力推定规则的审视和构建

《民诉法解释》第114条首次在规范层面规定了公文书的实质证明力推定规则。无论从比较法经验、民诉法基础理论还是我国的司法实践来看,不加区分地统一规定公文书的实质证明力的做法难以成立。鉴于公文书的形式证明力推定规则是实质证明力推定规则的前提,并且只有在处分性公文书中才会呈现形式真实和实质真实合一的现象,因此,可通过当然解释、限缩解释、体系解释等方法对《民诉法解释》第114条及相关公文书效力规范进行解释论层面的作业,并对事故认定书、裁判文书、法庭笔录等特殊类型公文书的证明力予以分析。在此基础上,以法官的自由心证为基本原则,以特定情况下的指示性标准为例外,可构建出我国公文书证明力推定规则的分层框架。

重庆地铁6号线客室内装设计

介绍了重庆地铁6号线客室内部装饰设计、人机工程设计以及防火设计。

审判中心视域下的印证证明模式之批判、反思与重塑

印证证明模式有着良善的初衷,禁止孤证定案,追求客观真实,其形成和发展与我国的司法理念及侦查中心主义模式下的非直接言词原则、书面审理方式等制度密切相关。该证明模式在实际运作中存在着将或然性经验法则普适化;过于强调查明事实真相,忽视正当性程序保障;重视证立,忽视证伪,排斥辩护,限制心证;庭审形式化严重,易导致冤假错案等缺陷。本文认为,审判中心视域下,刑事证明方式应在改良并坚守印证证明模式的同时,引入自由心证,通过强化证据能力审查、贯彻落实直接言词原则、强化辩护权行使和保障、明确自由心证责任边界、取消行政审批、落实审判一体、强化裁判文书公开和说理等方式,形成以印证证明为主导,自由心证为补充的刑事证明模式新格局。

新型防爆安全轮胎的研究进展

介绍新型防爆安全轮胎的研究进展。分析传统轮胎行驶中爆胎、磨损、运转不平稳等故障与原因。重点介绍自密封轮胎、自支撑型缺气保用轮胎、辅助支撑型缺气保用轮胎等新型防爆充气安全轮胎,防爆免充气实心轮胎(橡胶实心、聚氨酯实心、镂空实心)、胎面/支撑结构免充气轮胎、防爆免充气空心轮胎等新型防爆免充气安全轮胎,以及新型防爆中空安全轮胎的产品结构和技术特点。新型防爆中空安全轮胎兼具充气轮胎和免充气轮胎的特点,是未来新型防爆安全轮胎的发展方向之一。

地下室结构设计若干问题的探讨

本文就地下室结构施工图审查工作中常见的一些不符合规范规定的做法,分析其问题症结,并提出其解决途径,与同行共同探讨。

对构建非法民事证据排除规则的思考

非法民事证据排除规则作为保障民事诉讼程序正义的重要诉讼法律规则,业已为学术界所重视,但遗憾的是我国现有的民事诉讼法律制度于该规则之规定尚有很大缺陷。文章将通过对大陆法系及英美法系关于非法民事证据排除规则理论之比较及对我国非法民事证据排除规则的建构与发展两个方面对该规则进行分析论述并提出对我国非法民事证据排除规则立法的建议。

排除合理怀疑的学理理解与司法适用

作为“证据确实、充分”标准的主观判断依据,“排除合理怀疑”从主客观双重维度对我国刑事证明标准作出规范,但如何在中国语境下正确理解与适用“排除合理怀疑”仍需反思与斟酌。与我国类似,日本亦引入“排除合理怀疑”。在理论层面,通过“排除合理怀疑”、高度盖然性与内心确信之间的相互关系,可以澄清日本赋予“排除合理怀疑”之具体内涵;在司法实践层面,透过“排除合理怀疑”证明标准在裁判员制度、间接事实认定中的适用情况,可以观察日本“排除合理怀疑”的具体实践样态。我国“排除合理怀疑”的司法适用可以日本法制经验为鉴,结合我国刑事诉讼法相关规定,就“排除合理怀疑”的体系定位、内涵理解及其司法适用进行讨论。

氯化氢合成炉故障处理

分析了氯化氢合成炉防爆板爆破、石墨底盘损坏和炉体结垢的原因,并给出了处理措施。

大型双向预应力倒虹吸工程施工技术

结合实例,对大型双向预应力混凝土倒虹吸工程的施工方案、施工工艺及综合配套施工技术进行了阐述,有针对性地提出了适用水利项目的工程措施。

一种电机引入电缆密封改造方式

介绍了一种电机引入电缆密封改造方式。

川渝地区夯土民居架空地面防潮设计

川渝传统民居中利用通风架空地面防潮、改善室内环境是一种较为常见的做法,但通风架空必须有保证空气流通的孔洞、从而带来立面处理和防鼠、蛇等一系列问题。本文以空气间层的隔热、防潮原理为基础,结合川渝地区夯土民居的自身特点,提出了一种封闭空气间层的架空地面构造做法,对传统节能技术进行继承与改良。数值模拟结果表明,架空地面的内表面温度比普通地面的内表面温度高2℃左右,室内热环境得到了较大改善。