安全进程代数基础

安全进程代数可以作为信息流安全的基础理论框架。本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型。     

酶催化法合成食品乳化剂的研究进展

食品乳化剂是现代食品工业不可或缺的添加剂。与化学合成法相比,酶催化法合成食品乳化剂具有很多优势,如催化效率高、反应条件温和、产品纯度高、色泽浅且容易分离纯化等。本文介绍了脂肪酸单甘酯、脂肪酸糖酯、丙二醇脂肪酸酯以及失水山梨醇脂肪酸酯四类常用食品乳化剂的酶催化法合成研究进展,对酶催化合成方法、反应媒介的选择及存在的主要问题等方面进行了综述。     

超声波法提取蒲公英中的绿原酸

蒲公英中含有的绿原酸具有抗菌消炎等多种作用,研究并优化超声波提取蒲公英中绿原酸的最佳工艺参数.以蒲公英为原料,通过单因素试验,正交试验和方差分析确定最佳提取工艺.结果表明:超声波提取蒲公英中绿原酸的最佳工艺条件为乙醇浓度60%、pH=2料液比1:14、提取温度50℃、提取时间50 min,绿原酸提取率可达70%以上.     

虚拟指令集的构建及翻译技术研究

利用虚拟指令作为中间语言来构建可重用指令集模拟器是解决模拟器可重用性的重要技术.介绍了可重用指令集模拟器的工作原理,提出了虚拟指令的构建原则和方法,描述了对汇编指令的语义规则,最后举例说明如何从汇编指令的语义描述规则出发,生成与目标指令语义等价的虚拟指令.     

目标代码指令集类型识别中的特征选取

介绍了指令集识别器的设计思想与实现流程。通过对大量二进制目标代码、汇编源代码和反汇编代码的统计研究,基于统计分类方法,提取代码结构中所体现的整体性特征和编程风格中所体现的规律性特征,形成了树形的识别特征指标体系。     

香菇热风微波流态化的干燥特性与机理分析

通过香菇热风微波流态化的干燥特性试验,探讨微波功率、热风功率和振动频率对香菇干燥速率的影响规律;应用低场核磁共振技术(NMR)分析香菇热风微波流态化的水分迁移变化。试验结果表明,热风微波流态化干燥香菇过程按降水速率大小分为预热、恒速和降速3个阶段。干燥速率随微波功率及热风功率的增大而明显加快,振动频率对干燥速率的影响较小。核磁共振结果显示:干燥预热阶段主要脱去自由水,恒速阶段主要是不易流动水与结合水之间的转化并脱去大量自由水,降速阶段是脱去结合水。在香菇热风微波流态化干燥过程中,提高水的流动性并延长恒速阶段干燥时间有利于提高干燥速率。     

新能源汽车维修技术研究

随着绿色发展观念不断深入,人们的环保意识越来越强.而新能源汽车的应用,可以实现对能源的高效利用,减少汽车尾气排放量,而且在一定程度上提高人们的生活质量.由于技术问题,新能源汽车在使用过程中出现了各种问题,大大降低了新能源汽车的性能.文章分析了新能源汽车中常见类型与运行问题,并提出了故障维修方法,旨在推动新能源汽车行业的...     

安全组策略管理

安全组通信的前提是一致的安全策略。组安全策略描述成员的安全目标、能力和需求,进而规定安全组的行为、访问控制参数、密码机制等。本文研究安全组策略的管理,包括组策略的制定、协商以及翻译、执行。在策略生命周期的基础上,依据安全多播组模型,提出组策略管理模型,并描述策略服务器的设计实现。策略的表示采用组安全策略标记语言(GSPML)．能够支持组策略灵活的表示和协商。     

多馈源箱式加热器的微波场均匀性仿真分析

采用Ansoft HFSS仿真软件对多馈源箱式微波加热器,在不同开口位置、不同数量和分段组合的条件下,进行了微波场均匀性的模拟仿真分析研究,得出6只磁控管馈入微波能采用单面开口配置获得的微波场更为均匀,不同磁控管组合馈入微波能来调节微波功率会引起加热器内的微波场分布不均匀,分段组合使得加热器内总叠加的微波场分布均匀。     

铁中间层钛-钢扩散复合界面组织与性能

利用真空扩散焊方法制备了铁中间层钛-钢扩散焊接头,并采用OM、SEM、EDS、XRD、显微硬度和拉伸试验方法,研究了铁中间层钛-钢扩散复合界面组织和性能。结果表明,在900～1050℃、30 min扩散条件下,Fe、Ti原子在界面处发生了互扩散;钛侧形成βTi+α-βTi+αTi组织,钢侧发生脱碳,铁中间层形成柱状晶组织;拉伸强度随扩散温度升高呈现先增加后减小的趋势,900℃、30 min扩散试样拉伸强度最高,达到260 MPa;拉伸断口具有粗糙断裂区、脆性断裂区及二次断裂区特征,并在断口上检测出TiC、FeTi和Fe2Ti相。