深基坑开挖引起的支护结构受力特性研究

基于修正摩尔库伦本构模型,采用MIDAS/GTS对基坑开挖及支护全过程进行数值模拟,对深基坑开挖引起的支护结构受力特性进行了研究,并与实际监测结果进行对比分析．研究结果表明,基坑开挖引起的内支撑内力主要是轴力,开挖完成时最大轴力约为-2 085 k N,位于第三道内支撑处;基坑开挖引起的地连墙内力主要是弯矩,开挖完成时最大弯矩约为498.1 k N·m,监测值约为522.8 k N·m,均位于第三道内支撑和开挖面之间,现场实测结果与数值模拟结论一致．该研究成果对深基坑开挖过程中动态演化过程认识和变形破坏防治具有一定参考意义．     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于ADAMS和Pumplinx联合仿真的柱塞泵回程盘运动受力薄弱点分析

为研究轴向柱塞泵中回程盘偶然出现断裂失效的现象,对回程盘所承受各力进行详细的理论分析.综合各方面的受力分析表明,回程盘在其结构上出现了一个以吸排油侧分界为参考线的弯矩.通过对回程盘及整泵进行ADAMS刚柔耦合有限元和Pumplinx流体有限元联合仿真,结果表明:每个柱塞运动至吸排油侧的分界线周围时,所对应回程盘孔的外侧...     

基于区块链的车联网群智感知位置隐私保护方法

针对车联网群智感知位置隐私泄露和用户参与任务公平性的问题,提出了一种基于区块链的车联网群智感知位置隐私保护方法(location privacy protection method based on blockchain and crowdsensing, LPPMBC)。将分布式的区块链引入车联网群智感知位置隐私保护方法中,消除第三方服务平台对参与用户数据的控制;通过保序加密和Geohash编码相结合,为参与工人提供多级别的位置隐私保护,确保参与工人位置隐私的保密性;通过Haversine公式进行感知位置验证,防止工人通过非感知区域数据获得非法奖励,保障感知数据的质量。仿真结果表明,LPPMBC能够更好地权衡感知数据质量与工人隐私保护关系,保障用户参与任务的公平性, 提高用户参与任务的积极性。     

非接触IC卡的信息安全策略论述

讨论了非接触型IC卡的信息安全技术,在应用中为保证非接触型IC卡的数据安全所采取的措施等问题.     

考虑BOM的FMS生产线能力规划问题

针对印刷装配板(Printed Wiring Board, PWB)的制造过程,建立了一个基于多种需求状态的多计划期多种产品类的能力规划模型.该模型考虑了机器的柔性、产品类的BOM(Bill of Materials)约束(物料需求约束)以及进行生产能力调整的风险.考虑该模型是一个大规模的混和整数规划问题,无法用一般的数学软件直接进行求解,提出了一种求解近似最优解的方法,首先应用启发式算法减少装配线能力调整决策变量的搜索空间,然后应用遗传算法进行搜索.最后通过实例分析验证了该方法的可行性及其在管理学上的意义.     

不确定需求下供应链合作广告与订货策略的博弈

基于报童类型产品的二级供应链结构,放宽了市场需求为确定性的假设,引入了订货量这一决策变量,先后考察了Stackelberg主从博弈和Nash合作博弈时制造商与零售商的最优广告策略及零售商的最优订货策略,比较了不同博弈均衡下的策略选择及系统期望利润,探讨了市场需求随机性对制造商与零售商广告投入水平的抑制作用.并利用Nash讨价还价理论对合作利益进行了分配.最后,通过一个数学算例验证了有关结论.     

原子第二宇宙速度与电离能普遍公式的推导、实验验证和理论预言

提出了“原子第二宇宙速度”这一新概念,并根据此概念推导出了单电子原子和离子的原子第二宇宙速度和电离能的普遍公式。根据这些公式计算出了100余种单电子原子和离子电离能的具体数值,计算数据与实验数据符合得很好,从而使这一新的理论和计算获得了成功。因现今实验技术的局限性,有些单电子离子的电离能实验值尚未被科学界测出,我们的理论计算值就作为理论预言列出,已获得的成功使我们有理由相信它们将会获得实验验证。本文的概念和计算显然涉及到经典物理与量子物理的关系等原则问题,其物理本质将在后面两篇文章中论述。     

探月工程三期月地高速再入返回飞行器防热系统设计与验证

本文针对月地高速再入返回的高焓、二次大气层再入、高热流密度峰值与长加热时间耦合的气动加热环境特点,提出了飞行器防热系统设计方案,研制了七种新型碳硅复合烧蚀防热材料,建立了防热系统分析模型,并完成了地面试验验证.经对飞行试验数据的详细分析,结果表明防热系统的实际性能与设计预期一致.     

中国载人交会对接技术的设计与实现

中国在载人航天工程第二步第一阶段任务中,自主研制了天宫一号目标飞行器和神舟八号、神舟九号、神舟十号载人飞船,通过3次在轨飞行任务完成了8次交会、6次对接,覆盖了自动和手动等多种交会对接模式,突破并掌握了交会对接技术.从交会对接系统、交会轨道、交会测量和控制、信息传输、对接与分离、飞行方案,以及试验验证等方面对中国载人交会对接设计的技术特点、所采用的创新技术方法和解决的技术难题进行了介绍,在飞行验证的基础上分析了工程任务取得的成果,与国际水平进行了综合比较,对中国载人交会对接技术的设计和研制情况进行了总结.