摘要：模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。

摘要：We propose the construction of a compact linac as the injector of a cancer therapy facility at the Institute of Modern Physics(IMP) of the Chinese Academy of Sciences(CAS). Based on a traditional setup, a new compact fast-bunching design is first introduced to optimize the 600 keV/u RFQ with a 0.05 pm A ^(12)C^(4+) beam. This shortens the RFQ structure length from the standard design value of272–230 cm while effectively regulating the particle loss and emittance growth. In addition, a detailed error analysis was performed after the optimization process. The error sources cover input beam parameters errors, machining errors and alignment errors. The simulation results show that the beam loss and emittance growth of the RFQ are acceptable and within typical ranges of error.

摘要：针对永磁直线同步电动机(PMLSM)伺服系统存在的端部效应、负载扰动及参数变化等不确定性因素,采用一种将反推控制和自适应径向基神经网络(RBFNN)相结合的控制方法。首先,针对电机系统多扰动非线性特性设计一种反推控制方案,利用反推思想根据期望的运动轨迹来计算跟踪误差,将其作为下一个子系统的控制目标,并利用Lyapunov稳定性理论对每个子系统设计虚拟控制律,保证系统的全局稳定。但在设计中不确定性是未知且难得到的,因此,采用自适应RBFNN在线估计和补偿不确定性,克服不确定性因素对系统性能的影响,提高位置伺服控制的精度,利用Lyapunov函数推导出自适应律以在线调整神经网络的参数。最后,实验结果表明该方案是有效可行的,与反推控制方案相比,基于自适应RBFNN的反推控制系统具有更好的位置跟踪性和抗扰性。

摘要：提出一种小型化带通滤波器结构及其设计方法.该滤波器具有良好的窄带滤波特性和高次谐波抑制功能,其高次谐波抑制特性由谐振加载耦合微带线结构所产生的多个传输零点来实现,其中心工作频率和带宽则由短路短截线特性决定.基于传输线模型和奇偶模分析推导的解析设计公式使得该滤波器的设计变得简单而快捷.采用这种方法研制了一个中心频率为2.4 GHz的窄带带通滤波器,其3 dB带宽为300 MHz,通带最小插损为0.4 dB;在二次、三次谐波频率上具有35 dB的衰减,而四次谐波的衰减也超过20 dB.

摘要：针对计算机断层成像(computed tomography,简称CT)中投影数据与图像重建关系,综述了CT在投影策略方面对重建质量的影响.对不同采样策略获取的不完全投影数据,应用迭代类算法对投影数据进行重建,研究了均匀采样和非均匀采样情况下不同数据结构对重建图像质量的影响.对仿真数据和实际数据重建结果进行分析,同时对不同策略下的投影数据结合其数据分布特点探讨了重建质量优劣的原因.可以为CT重建领域的研究工作者提供全面的采样方法梳理和总结,为当前不完全投影数据获取方式对应的算法改进提供思路,最后对当前研究重点和未来发展加以展望.

摘要：针对舰用橡胶隔振器设计过程中橡胶材料超弹性力学参数匮乏的问题,本文结合弹性力学、超弹性体材料本构模型等相关理论,开展舰用隔振橡胶材料的三种拉伸试验;通过对九种常用本构模型综合拟合分析,选择Yeoh模型作为舰用隔振橡胶材料本构模型;对舰用隔振器进行静态仿真分析和静态试验,验证了所建本构模型的准确性。本文的研究成果可为舰用隔振橡胶材料超弹性力学特性分析、舰用隔振器设计计算等研究提供材料数据和方法思路,具有一定的工程指导意义。

摘要：对于超临界CO_(2)布雷顿循环中的印刷电路板换热器,其复杂结构与工作介质的特殊物理性质将导致集总参数方法出现较大的计算误差。为提升印刷电路板换热器的换热参数的计算精度,本文基于Modelica语言,采取分节点建模方法,开发了印刷电路板换热器的热工水力特性计算程序,对其稳态运行时的换热参数进行了分析。结果表明:印刷电路板换热器的通道内超临界CO_(2)的对流换热系数沿流动方向发生显著变化。与设计值相比,分节点计算程序的最大相对误差小于3%,计算精度相比于集总参数方法显著提升,因此有必要采取分节点计算方法以提高计算精度。研究结果可为超临界CO_(2)布雷顿循环系统中印刷电路板换热器的设计和仿真提供参考。

摘要：北京天文馆的“宇宙灯塔”展项以独特的外部灯塔造型、动态呈现的脉冲星结构模型以及创意的互动模式使得其兼具科学性和艺术性.通过介绍该展项在选题立意、呈现形式、交互方式、传播理念等方面的创新性,希望为国内科技类博物馆互动展项的设计研发提供一定的借鉴.

摘要：The hydrogen evolution reaction(HER)is a promising way to produce hydrogen,and the use of non-precious metals with an excellent electrochemical performance is vital for ***-based transition metal catalysts have high activity and stability,which are important in reducing the cost of hydrogen production and promoting the development of the hydrogen production ***,there is a lack of discussion regarding the effect of carbon components on the performance of these *** review of the literature discusses the choice of the carbon components in these catalysts and their impact on catalytic performance,including electronic structure control by heteroatom doping,morphology adjustment,and the influence of self-supporting *** not only analyzes the progress in HER,but also provides guidance for synthesizing high-performance carbon-based transition metal catalysts.

摘要：受限于运载火箭的包络尺寸,航天器体装式辐射器的散热面积有限,为进一步提高大功率航天器的系统级散热能力,提出了基于单相流体回路的可展开式热辐射器的热控方案。建立热辐射器的热分析模型,通过肋参数选取、红外辐射影响分析、工质选用对比等方法,完成可展开式热辐射器的设计优化,提高辐射器的散热效率及散热能力,为可展开式热辐射器的在轨首飞应用奠定基础。结果表明,在地球同步轨道航天器的恶劣外热流条件下,单幅辐射器的散热能力可达254 W/m^(2)以上,采用多幅可展开式热辐射器的方法,可有效解决航天器散热能力不足的问题。