摘要：针对液体推进系统的联合仿真演示需求,基于模块化建模思想,根据守恒方程和状态方程,应用AMESim开发了通用液体火箭发动机组件模块库并建立了推进系统仿真模型,利用Simulink和LabVIEW开发了仿真控制模块和视景仿真模型,搭建了全系统联合仿真环境与平台。结合某型火星环绕器推进系统的任务要求以及具体构成,实现了该火星环绕器推进系统全系统全过程的联合仿真和仿真结果可视化,并依据地面试验数据对系统仿真模型的可靠性进行了验证。结果表明,组件仿真结果最大误差不超过5.6%,推力最大误差不超过1.29%;视景模型可以对发动机各部件的实时工作状态进行显示,更加直观地展示仿真结果。联合仿真平台可以有效实现推进系统模型、控制以及可视化的集成,加快仿真速度,缩短系统的设计周期,降低系统设计复杂程度,在提高模型通用性的同时降低研发成本,提高了液体火箭发动机设计水平。研究内容为空间飞行器推进系统的研究与未来发展提供了有益参考。

摘要：固液火箭发动机的喷管一般采用被动热防护结构形式,为了满足固液火箭发动机200s长时间工作的要求,采用碳陶复合材料、钨渗铜高温合金和高硅氧酚醛树脂等设计了三种喷管结构方案。首先基于固液火箭发动机的燃料热解模型和化学反应模型,计算分析了固液火箭发动机的燃烧流场;随后结合烧蚀反应机理,建立了喷管瞬态热传导和烧蚀仿真模型,对喷管热防护材料内部的传热特性进行了计算分析。开展了相应的地面热试车试验,对仿真结果进行了验证。同时对三种不同方案喷管结构的传热特性进行了仿真计算,分析了固体药柱内径在工作过程中变化对喷管传热性能的影响,发现药柱内径会改变燃烧火焰层结构,进而影响喷管壁面的温度分布和热流分布,热流密度在喷管喉部位置达到最大值。

摘要：为保证输送系统流量供应的稳定性和准确度,设计了一种新型可调汽蚀文氏管并提供了设计思路,其具有设计简单、线性度好、流量调节范围广等优点。通过理论分析,对该新型可调文氏管的流量计算公式进行了推导,获得流量与行程的关系式。最终选用较小的针锥全角、较大的喉部直径、截断针锥等操作,有效地提高了可调文氏管的线性度。对该可调文氏管进行了水试试验,通过不断调整针锥行程,获取了流量与针锥行程的对应关系。试验结果表明,本文设计的可调文氏管满足10:1的流量调节比要求,同时在超大流量调节比下依旧能够保证较好的线性度,可以作为流量调节器。

摘要：与传统计算平台相比,移动平台拥有大量涉及用户隐私的私密信息.随着Android移动平台日趋流行和应用商城模式的普及,如何保护用户隐私这一安全性课题日益受到关注.本文发现当前Android日志系统存在泄漏用户隐私数据的安全性风险,设计并实现了一个基于静态信息流分析的Android应用程序检测工具LogMiner,用于辅助应用商城在应用发布时的安全性检测工作.LogMiner对200个Android应用程序进行检测,成功分析177个应用,平均每个应用分析时间为4.3分钟,其中33个应用中存在日志安全性隐患,占总数的18.6%.这一结果表明现实生活中的Android应用程序的确存在着这类安全隐患.最后,本文对现有日志系统提出了改进方案.

摘要：引用计数机制是现代软件中一种常见的内存管理技术.引用计数错误往往会导致内存泄露、释放后使用(useafterfree)等严重的安全问题.现有致力于提高引用计数安全性的工作都依赖于对引用计数的字段进行识别.然而,由于类似于Linux等软件系统的代码十分复杂,在代码中识别出引用计数字段是一项十分困难的工作.传统的基于代码模式匹配的引用计数字段识别方法一方面存在需要专家经验总结规则,人工开销大的问题;另一方面存在总结的模式无法覆盖所有情况,召回率较低等局限.针对这些问题,发现与字段有关的代码行为以及字段的名称可以用来表征这个字段的特征,帮助识别引用计数字段.基于这两个层面的特征,设计了一种基于多模态深度学习的引用计数字段识别方法,并面向Linux内核实现原型系统.测试数据表明:该原型系统的精确率、召回率分别为96.98%和93.54%,而传统的基于代码模式匹配的方法没有识别出任何引用计数字段.此外,在Linux内核上发现61个引用计数字段使用不安全的数据类型,并对其中21个向Linux内核社区提交数据类型转换补丁以提高引用计数字段的安全性,其中6个已经被合并到Linux内核代码主分支.

摘要：就刑事附带民事公益诉讼而言,尽管各级检察机关进行了一系列有益尝试,但囿于司法解释相关规定过于原则,缺乏实操性,在实践中仍存在许多问题.下一步需要在案件办理过程中,继续探索完善“两检并行,双管齐下”的科学办案模式,并在总结实践经验的基础上完善顶层设计,明确在不盲目扩大惩罚性赔偿金适用范围的情况下,刑事罚金与民事惩罚性赔偿金可以同时适用,以及检察机关作为公益诉讼起诉人时无需提供诉讼担保等,为刑事附带民事公益诉讼的发展保驾护航.

摘要：In this paper, numerical analysis of GaSb （Eg = 0.72 eV）/Gao.84Ino.16Aso.14Sbo.86 （Eg = 0.53 eV） tandem thermopho- tovoltaic （TPV） cells is carried out by using Silvaco/Atlas software. In the tandem cells, a GaSb p-n homojunction is used for the top cell and a GalnAsSb p-n homojunction for the bottom cell. A heavily doped GaSb tunnel junction connects the two sub-cells together. The simulations are carried out at a radiator temperature of 2000 K and a cell temperature of 300 K. The radiation photons are injected from the top of the tandem cells. Key properties of the single- and dual-junction TPV cells, including I-V characteristic, maximum output power （Pmax）, open-circuit voltage （Voc）, short-circuit current （/~sc）, etc. are presented. The effects of the sub-cell thickness and carrier concentration on the key properties of tandem cells are investigated. A comparison of the dual-TPV cells with GaSb and GalnAsSb single junction cells shows that the Pmax of tandem cells is almost twice as great as that of the single-junction cells.