基于类型的安全移动计算模型

Agent的迁移和通信是影响移动计算安全性的重要问题,但是已有的移动计算模型缺乏相应的安全机制。针对这一问题,文中讨论了移动计算环境中基于语言的安全技术,同时建立了Confined π计算模型,通过引入类型系统,该模型将Agent迁移和通信的安全问题转换成相应的静态分析特性,然后从静态分析的角度研究了保证Agent迁移和通信安全性的机制。     

基于Qt框架的APV25数据采集系统研究

Qt框架是基于C++的跨平台可视化编程框架。本文采用APV25电子学前端卡、APVDS电子学数字化后端板和基于Qt框架的数据采集软件,开发了具有高通道数、高性能和高集成度的数据采集系统。该系统可跨平台使用并显示实时采样波形。数据采集系统最多可使用16块APV25前端卡、4个APVDS,通过千兆以太网经交换机与计算机连接。通过测试,该系统可在1 024通道下工作并实时显示采样波形,传输速率可达715 Mb/s,且测试中系统能以1.70 kHz的触发率在单次触发连续采样31个点模式下稳定工作。与原系统相比,显著提高了通道数量,简化了系统操作,提高了测量的效率与稳定性。采集系统未来可扩展通道数量为2 048,适用于大面积微结构气体探测器实验。     

宇宙线缪子散射成像模拟与算法研究

本文验证了基于Micromegas探测器的宇宙线缪子散射成像系统进行快速核材料检测的可行性,并对实验室宇宙线缪子成像系统原型进行参数估算。基于Geant4程序开发了用于模拟宇宙线缪子物理过程、传输径迹及Micromegas探测器响应的模拟程序。在模拟数据的基础上,实现并改进了两种主要的宇宙线缪子散射成像算法。根据模拟和成像结果,1 m×1 m成像系统可在10 min内检测到被重元素屏蔽的核材料。10 cm×10 cm成像系统的缪子事例触发率为0.16 s^-1,要获得较为清晰的成像结果,要求探测器位置分辨率达到300 μm,探测器增益为1 000时实际测量事例至少需要20 h。     

稀硫酸浸矿过程氧化铜矿岩力学特性演化规律

为了研究稀硫酸浸矿过程中氧化铜矿岩力学特性演化规律,通过不同浸矿时间下氧化铜矿岩单轴压缩试验,对矿岩单轴压缩破坏下应力-应变曲线、应力特征值和弹性模量等参数的变化规律进行了分析。研究结果表明:随浸矿时间逐渐增加,矿样孔隙闭合点的应力逐渐减小,应变逐渐增大,并且弹性变形阶段应变量显著减小,屈服变形阶段应变量增加,岩石达到峰值强度所需应变量增加;在化学浸矿初期即浸矿时间0～20h,矿样单轴抗压强度降低趋势最为显著,在浸矿80h后单轴抗压强度降低速率逐渐减小;矿岩单轴抗压强度和弹性模量均与浸矿时间呈多项式相关。     

川西甲基卡伟晶岩型锂矿矿床地质特征及成矿机制研究

甲基卡花岗伟晶岩型锂矿床位于松潘-甘孜造山带东缘,在国际国内稀有金属需求大背景下,具有非常重要的战略意义.岩体和矿脉主要侵位于三叠系复理石沉积变质砂岩中,产生一系列的热液接触变质作用,根据矿床地质特征和矿脉产出特征等研究得出,印支造山晚期(稳定期),垂直地壳流动引发底辟作用造成岩浆上涌挤出,导致区域增温引起三叠系复理石...     

一种减少太阳电池细栅遮挡的光伏玻璃设计及其对太阳电池转换效率的影响分析

设计一种表面压花的光伏玻璃以减少太阳电池细栅遮挡.该光伏玻璃设计可适应入射角变化范围为0°～23.5°的情况,为无太阳追踪功能的太阳电池实现减少细栅栅线遮挡效果提供解决方案.对一种栅线设计情况下的光伏玻璃压花设计、厚度要求进行探讨,并采用TracePro软件对减遮挡效果进行光学仿真实验.针对光学仿真实验中光强分布情况,...     

罗汉果夏枯草复合饮料的研制

以罗汉果与夏枯草为主,辅以甘草、淡竹叶、山银花和野菊花研制罗汉果复合饮料。以感官评分为指标,采用单因素试验和正交试验优选罗汉果复合饮料的最佳配方。结果表明:罗汉果复合饮料最佳配方为罗汉果:夏枯草:甘草:淡竹叶:山银花:野菊花的质量比为53.1∶26.5∶3.6∶3.2∶1.2∶1,料液比为1∶55.3 g/mL,ε-聚赖氨酸盐酸盐的浓度为150 mg/L。采用该配方生产的罗汉果复合饮料呈黄棕色,澄清透明,风味浓郁,口感清甜。     

丁香精油的超临界CO_2和溶剂回流萃取及其GC-MS分析

研究了超临界CO2流体萃取技术(SFE)和溶剂回流法萃取丁香精油,所得精油经气相色谱(GC)-质谱(MS)分析。结果显示:溶剂回流法宜采用正己烷为溶剂,最佳工艺条件为:料液比(g∶mL)1∶15、回流温度80℃、回流时间30min;SFE最佳工艺条件为:萃取温度45℃、萃取压力12MPa、解析温度50℃、萃取时间90min。验证试验显示:SFE法收油率达到21.04%,高于溶剂回流法(17.401%),所得精油色泽和流动性较优。经GC-MS分析显示:所得精油的组成相似,但含量不同,溶剂回流法除β-石竹烯的含量略高外,3种主要活性物质丁香酚、乙酰基丁香酚、β-石竹烯的的含量和提取率均低于SFE法提取的精油。SFE法是提取丁香精油值得推广和有前景的一种方法。     

大孔树脂纯化红松松仁膜衣黄酮的抗氧化活性研究

以红松松仁膜衣为原料,采用醇提黄酮,并用大孔树脂纯化,对纯化前后黄酮的抗氧化作用进行测定。采用分光光度法测定其总黄酮纯度;测定红松松仁膜衣黄酮对铁离子的还原能力、DPPH·的清除能力、总氧自由基捕获抗氧化参数(TRAP值)和氧自由基清除能力(ORAC值)。结果表明,红松松仁膜衣黄酮粗提物纯度为32.60%,经HPD-600的大孔树脂纯化后,其纯度提高至69.36%。红松松仁膜衣黄酮对DPPH·的清除能力、ORAC值和TRAP值均高于BHT,黄酮纯化物对铁离子的还原能力高于BHT,黄酮纯化物对铁离子的还原能力、DPPH·的清除能力、TRAP值和ORAC值均显著高于黄酮粗提物。