基于用户需求精确建模的乡村清洁供能系统可靠性评估

乡村电采暖设备的普及使得用电负荷峰值增加，为使系统可靠性水平得到保证，需要综合考虑室内建筑热平衡特性和用户柔性舒适需求。为此，文章提出了一种基于用户需求精确建模的乡村清洁供能系统可靠性评估方法。首先，构建了乡村清洁供能系统架构，包括系统侧设备模型和用户侧建筑热平衡模型。其次，对用户柔性舒适需求进行建模，并引申出考虑柔性舒适需求的供能可靠性指标。再次，提出了乡村清洁供能系统故障影响分析的方法，制定了故障时的负荷削减策略和进行可靠性评估的流程。最后，通过实际算例比较了是否考虑用户柔性舒适需求与建筑热平衡特性下的可靠性指标，从而证明了所提方法对系统整体供能可靠性的提升作用。     

Automated verification of pointer programs in pointer logic

Reasoning about pointer programs is difficult and challenging, while their safety is critical in software engineering. Storeless semantics pioneered by Jonkers provides a method to reason about pointer programs. However, the representation of memory states in Jonkers’ model is costly and redundant. This paper presents a new framework under a more efficient storeless model for automatically verifying properties of pointer programs related to the correct use of dynamically allocated memory such as absence of null dereferences, absence of dangling dereferences, absence of memory leaks, and preservation of structural invariants. The introduced logic-Pointer Logic, is developed to achieve such goals. To demonstrate that Pointer Logic is a useful storeless approach to verification, the Schorr-Waite tree-traversal algorithm which is always considered as a key test for pointer formalizations was verified via our analysis. Moreover, an experimental tool-plcc was implemented to automatically verify a number of non-trivial pointer programs.     

大气数据仪表校验系统的设计与实现

针对飞机大气数据计算机和测试仪表的校验问题,在分析了大气数据仪表的特点的基础上,基于嵌入式计算机控制技术和精密气压控制技术,提出了一种智能大气数据校验系统的设计方案;从控制方面,系统采用双传感器、普通硅压阻压力传感器和数字石英压力传感器,模拟传感器具有高速响应特性,将其作为过程控制传感器,保证装置的动态响应性能;数字石英压力传感器的精度达0.01%F.S,作为基准压力传感器,保证系统准确度;采用双闭环控制方案,模拟闭环采用电子电路设计实现,采用模拟硅压阻压力传感器和模拟PID控制电路构成模拟控制闭环;采用数字式压力传感器和计算机构成数字PID控制闭环,数字闭环通过计算机、数字传感器、软件、串口和计算机串口实现;实验证明,该装置升降速度的输出准确度优于0.02%F.S,控制稳定性0.002%F.S。     

熔盐电镀过程中Na2WO4-WO3-ZnO熔盐体系的成分分析和电化学反应机理研究

三元氧化物Na2WO4-WO3-ZnO是目前熔盐电镀制备钨涂层的一种主要的熔盐体系。熔融盐在不同温度和电镀持续时间下的结构和离子组分影响着电化学过程的进行和镀层的性能。利用XRD和SEM等测试技术系统分析了Na2WO4-WO3-ZnO氧化物熔盐的离子组成和结构,并对不同温度和电镀持续时间下熔盐结构对镀层性能的影响进行了分析。结果表明,温度对Na2WO4-WO3-ZnO三元熔盐体系的离子组成和成分没有影响;但长时间的电镀使得熔盐中的Na2WO4浓度降低;而且会使氧化锌与金属钨一同沉积到基体上,影响了涂层的性能。     

稀土对AZ91镁合金阻燃性和机械性能的影响

针对应用最广的镁铝锌锰系镁合金AZ91,探讨了La的加入对其阻燃性和机械性能的影响.在自制覆盖剂保护下,按照AZ91镁合金化学计量比备料,熔铸了3种不同稀土含量(0,0.2%,0.4%)的样品.对样品进行燃点、硬度测定和金相观察.结果表明,富La稀土不仅可有效地提高镁合金的燃点(在AZ91系镁合金中添加0.4%的富镧稀土可使燃点提高15℃),还可细化晶粒,显著提高了镁合金的硬度,合金的布氏硬度由不含稀土时的548.8 MPa提高到656.6 MPa.     

磷铝复合改性ZSM-5分子筛及其催化性能

ZSM-5分子筛是一种重要的高硅铝比择形催化剂,具有较强的酸性和较好的热、水热稳定性,通过对该分子筛进行磷与铝的复合改性,对其酸性质和孔结构进行了调变。研究结果表明,当磷铝负载量（质量分数）大于10%时,磷铝物种以片状形式沉积在ZSM-5分子筛表面,不仅提高了分子筛的酸量,还形成了孔径在10 nm左右的介孔。这种高酸性的多级孔结构使其正辛烷裂化转化率明显提高,丙烯收率增加20%以上;在重油催化裂化评价反应中降低了渣油和焦炭收率,丙烯的收率提高了1%。     

整体面板式土工格栅加筋土挡墙现场试验研究

以赣(州)龙(岩)铁路整体现浇面板土工格栅加筋土高挡墙为工程依托进行现场原型试验.通过现场埋设土压力盒、柔性位移计和水平测斜仪等测试仪器,进行包括加筋土墙体基底应力、墙背侧向土压力、拉筋变形和墙面水平变形等内容的测试.测试结果表明:加筋土挡墙基底垂直土压力沿土工格栅拉筋长度方向呈非线性分布,最大值发生在拉筋中部附近,向拉筋两端方向逐渐减少;实测墙背侧向土压力沿墙高呈非线性形式分布,其值小于主动土压力;上部墙体拉筋应变沿筋长呈单峰值分布,下部墙体拉筋应变沿筋长呈双峰值分布;上部墙体潜在破裂面形状与“0.3H法“接近,而下部墙体潜在的破裂面形状与朗肯主动土压力结果接近;施工期墙面最大水平变形位置在挡墙的下部,竣工后墙面最大水平变形发生在墙顶处等.该结论为类似工程的研究与设计提供参考.     

光纤CATV系统载噪比劣化与光放大器噪声系数的关系

介绍了利用CATV分析仪,通过测量光放大器引起的系统载噪比劣化来推算光放大器噪声系数的方法,给出了噪声系数与载噪比劣化之间的关系。根据实验测量数据得到的噪声系数曲线与掺饵光纤放大器专用设计软件的数值模拟结果一致。     

3米法半电波暗室辐射骚扰测量不确定度评定

文章针对测量不确定度的评定方法进行论述,阐释了3米法半电波暗室内30MHz~1GHz辐射发射测量的不确定度评定方法和步骤,为电磁兼容检测实验室测量不确定度的分析提供了参考。