电力隧道工程建设中的离散时间费用权衡问题

针对工作连续性与资源恒定性两种约束对电力隧道工程的不利影响,建立工作可间断且资源可波动的离散时间费用权衡模型(DTCTP-wr)。通过设计一种双链式整数编码和随机单点交叉算子的改进遗传算法进行求解。通过一个实际的电力隧道建设项目验证算法的有效性,并设置四种情景对工作可间断与资源可波动进行分类分析。研究结果表明：工作间断能够得到比工作连续时总工期更短的方案;资源可波动能够得到比资源恒定时总费用更少的方案;同时允许工作间断与资源波动不仅能够让施工方得到更多可行的方案而且能够为管理者提供总工期和总费用双目标优化的调度方案。     

基于下推系统可达性分析的输出信道信息流检测

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不千涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别抽象为由下推规则表示的存储和匹配操作,通过对标错状态的可达性分析验证程序是否满足终止不敏感不干涉性。演化后的方法支持程序的发散执行,通过上界回退算法找到强制终止首次执行所需的最大输出信道上界。实验说明该方法与现有工作相比具有更高的精确性和验证效率。     

山东栖霞大河崖金矿床包裹体特征研究及矿床成因初探

大河崖金矿床地处华北克拉通南缘的胶辽隆起区,栖霞—蓬莱金成矿带上,其空间产出受台前—陡崖断裂带和岩浆活动制约。为研究该矿床成矿流体特征及矿床成因,本文对其开展不同阶段的包裹体进行岩相学、显微测温、包裹体激光拉曼及S同位素分析。测试结果表明,包裹体可划分为Ⅰ型富液气液两相盐水包裹体、Ⅱ型含CO₂三相包裹体和Ⅲ型纯液相包裹体3类,矿石中的包裹体类型以气液二相包裹体和含 CO₂ 三相包裹体为主。成矿期流体完全均一温度变化范围为216～298 ℃,盐度为3.71%～9.98% NaCleqv,密度为0.80～0.90 g/cm³。成矿晚期流体完全均一温度变化范围为124～181°C,盐度2.41%～5.56%,密度0.91～0.98 g/cm³。表明该矿床属于中低温、中低盐度、低密度的热液脉型矿床。从主成矿期（Ⅱ和Ⅲ阶段）到成矿晚期（Ⅳ阶段）,成矿温度和盐度降低,成矿密度略有升高。矿石中黄铁矿δ³⁴S变化范围为+5.1‰～+6.51‰,与栖霞—蓬莱金成矿带其他金矿床基本一致。显示主要为岩浆硫,成矿物质可能来源于深部岩浆。根据流体包裹体及同位素研究并结合区域地质特征,大河崖金矿床的成矿与白垩世岩浆关系密切,受台前—陡崖断裂带控制,在其次级断裂形成沉淀富集成矿。     

基于加权下推系统优化可达性分析的Java安全信息流研究

信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以支持对标错状态的可达性分析,保证标错状态不可达时对应字节码程序满足无干扰性.在此基础上为提高实际验证效率提出了3种模型优化方法.实验说明方法的可用性、效率、可扩展性及模型优化的实际效果.     

玉木耳多糖对杂粮粥糊化、流变及老化特性的影响

以糯玉米、燕麦、小米、红豆、绿豆、芸豆为原料,玉木耳多糖为稳定剂,研制一款罐装杂粮粥.通过快速黏度分析仪、流变仪、差示扫描量热仪结合Avrami模型对杂粮粥进行测定分析,研究玉木耳多糖对杂粮粥加工过程中糊化特性、流变特性和贮藏期间老化特性的影响.结果 表明:玉木耳多糖添加量与杂粮粥体系峰值黏度、最终黏度呈正相关,与回生...     

棉籽油硬脂和全氢化棉籽油硬脂的组成、热性质和微观结构分析

为扩大棉籽油用途，提高其附加值，采用气相色谱、高效液相色谱、低场脉冲核磁共振分析仪、差示扫描量热仪、X-射线衍射仪和偏光显微镜分析了棉籽油改性后的产物棉籽油硬脂(COS)和全氢化棉籽油硬脂(FHCOS)的脂肪酸组成、甘三酯组成、SFC含量、热性质和微观结构。结果表明：COS主要由不饱和脂肪酸和非三饱和的甘三酯组成，FHCOS几乎全部由饱和脂肪酸和三饱和甘三酯组成；随温度升高，COS的SFC不断降低，FHCOS的SFC在温度高于35℃时开始降低，相同温度下FHCOS的固体脂肪含量(SFC)均高于COS的，COS在结晶和熔化过程中均有2个峰，FHCOS有1个峰，FHCOS的熔化和结晶温度均高于COS的；COS在15℃时无明确的晶型及稳定的结构，FHCOS为二倍链长堆积的β′晶型，结晶体为针状或棒状，结晶聚集体为类似玫瑰花状。因此，以COS和FHCOS代替棕榈油作为生产起酥油、人造奶油、黄油等的基料油具有一定的开发和应用前景。     

D-最优混料设计优化速冻专用油脂乳化剂配方

为解决速冻食品易开裂的问题，对速冻专用油脂乳化剂配方进行设计优化。首先以自制酯交换油脂为基料油，以吸水性和乳化稳定性为指标，对6种常用的亲油性乳化剂进行筛选，并采用D-最优混料设计确定最佳乳化剂配方，然后用该乳化剂配方制备速冻专用油脂，并将自制速冻专用油脂和两种市售速冻专用油脂制作速冻汤圆作应用对比试验。结果表明：以酯交换油脂为基料油的速冻专用油脂最佳乳化剂配方为硬脂酰乳酸钙添加量34.4%、单硬脂酸甘油酯添加量33.8%、大豆卵磷脂添加量31.8%,在此条件下复合乳化剂的吸水性为25.1 mL/10 g,乳化稳定性为93.3%;相比于市售速冻专用油脂，自制速冻专用油脂制作的速冻汤圆表面光滑、裂纹少，冻裂率和冷冻失水率低。因此，优化得到的速冻专用油脂复合乳化剂具备良好的乳化稳定性和持水能力，可降低速冻食品的冻裂率。