摘要：高级量测体系(AMI)是智能电网系统测量、接收、存储、分析和操作用户消耗数据的基础。消费者(智能电表)和公用事业之间的通信和数据传输需求使AMI的安全性显著下降。并且,随着大量新型智能采集终端的接入,以及多种通信方式、通信协议的应用,用电信息采集系统面临的网络攻击越来越频繁。系统目前侧重于采集终端的上线率和通信信道的连通性,缺乏相应的安全防护措施。针对以上问题,设计并实现了虚拟蜜网在用电信息采集系统上的部署方案,解决了传统蜜网硬件资源浪费的问题。同时设计数据控制算法对数据包进行检测,有效解决了攻击流量的控制问题。最后,进行了渗透攻击测试,并结合蜜网的三大核心功能对实验结果进行了分析,结果表明本方案可以有效检测到攻击。

摘要：矩阵是数学中最重要的概念之一,欧氏空间上的变换理论是对涉及到矩阵的系统进行分析的基础。形式化验证中的定理证明方法基于数理逻辑,是确保系统设计正确的有力方法。使用高阶逻辑,在定理证明器HOL4中添加矩阵变换理论定理库,将会提高HOL4对涉及矩阵的系统建模和验证能力。形式化包括矩阵初等变换、矩阵相似和合同变换、矩阵正交化、矩阵的秩、矩阵的迹、特征值及特征多项式等定义和定理,并根据相关定理对豪斯霍尔德变换性质进行验证。形式化所做工作均已做成定理库。

摘要：结合渝沙高速公路共和隧道地应力量测资料,通过调整多种组合的侧压系数,获得隧址区山体多组地应力。将每一组侧压系数下获得的测试段地应力,利用横观各向同性弹塑性本构模型对测试段层状岩体进行计算,并将计算的结果与实测结果对比分析,确定出隧址区山体合理的侧压系数,从而得到了隧道轴线方向的初始地应力大小和方向,研究表明,隧道轴线初始地应力与隧道的埋深和地形地貌有关,靠山侧初始地应力大于靠河侧,最大初始地应力主要集中在埋深500-1 000m,即K41＋500-K43＋000里程段,最大初始地应力为19.7MPa,与水平面的夹角为-71.58°。这为隧道设计和施工提供了重要的基础资料。

摘要：为解决教学痛点问题,实现混合式教学目标,文章首先构建了面向初、中、高阶学习者的渐进式混合教学模式。其中,初阶学习者采用“知识讲解+情景体验+SPOC复习”的形式,中阶学习者采用“SPOC学习+案例研讨+同伴学习”的形式,而高阶学习者采用“SPOC学习+团队协作+技能实操”的形式。随后,文章设计了面向低、中、高阶学习者的混合式教学步骤。最后,文章以“风景园林简史”课程为例,介绍了面向初、中、高阶学习者的混合式教学模式的应用情况,并分析了其教学效果满意度和学习效果。文章的研究对于满足学生的差异化学习需求、培养学生的高阶学习能力、开展混合式教学设计的理论研究与实践均具有积极意义。

摘要：楼兰地区新发现一枚斗检封,该斗检封为红铜质,斗形,铸文释读为"官律所平"。对于丰富楼兰时期文字、书法、印玺艺术、文书程式等研究提供了珍贵的实物资料。斗检封所在周围的地理环境与周围散落的其他文物及楼兰周边遗址地理分布情况表明,楼兰先民的生产生活类活动可能主要集中在楼兰古城的东、南、西部区域,而大型的祭祀、宗教等活动主要集中在楼兰北部区域。斗检封所在位置应该是在楼兰通往外部的一条重要交通线上,"张千人丞印"附近可能是某一级官府所在地且周围环境利于人类生存。这对于认识楼兰时期古丝绸之路的位置以及楼兰古城周边生业环境状况能够提供重要参考。

摘要：为了实现对精馏分离实验过程的三维情景化交互仿真模拟,提出了一种基于Virtools技术的、以虚拟人物为引导的,全场景、开放式、三维沉浸交互式虚拟精馏实验室的构建方法。该软件以板式塔实验为考察对象,依据精馏分离理论建立了分离预测数学模型并以此为构建基础,通过对功能模块、实现的关键技术以及三维沉浸感提升方法的研究与设计,采用编写及优化程序实现了物系选择、多参数调节、监控评价和色谱检测等功能,计算了不同条件下沿塔气液组成和温度分布,完整地模拟了精馏分离和馏出液检测全过程。

摘要：多肽药物有特异性好、生物活性高和不良反应少等优点。随着多肽合成技术的日益完善,为了解决多肽口服生物利用度较低的问题,多肽口服给药技术成为热点研究方向。多肽药物口服给药系统的设计有三个关键点:提高多肽抗酶解能力、帮助多肽通过黏膜屏障以及促进多肽药物吸收。目前不少多肽药物口服制剂已在临床试验阶段并获得上市许可,在口服多肽药物开发中许多技术展现了良好的临床应用前景。文章介绍了目前口服多肽药物应用技术的机制和特点,综述近年来发展的新型口服多肽临床应用。

摘要：在饱和土地层中建设了大量的工程项目,由于安全和防卫的需要,这些重要的工程必须考虑爆炸应力波荷载的作用,研究饱和土中爆炸应力波传播特性有着重要的意义。基于应力波传播理论,初步分析了爆炸荷载作用下饱和土介质的变形特性、压缩特性和强度特性;采用有效应力动力分析方法,推导了爆炸应力波在饱和土介质中传播的有效应力运动方程。研究结果可以为饱和土介质中建筑设施的抗爆安全评估提供理论依据。

摘要：针对整装和分系统可用度同时需要验证的问题,假设单系统可用度、可靠性和维修性试验方案都已知,以试验样本量确定方法为研究重点,以同时验证整装和分系统的可用度、平均故障间隔时间和平均修复时间等3个指标参数为设计要求,提出了一种定数截尾试验方案。该方案包括2种试验方式。2种试验方式都能够完成对整装和分系统3个指标参数的验证。

摘要：根据电网负荷混沌性的特点,提出一种基于模糊支持向量的核回归方法进行电力系统的负荷预测。同时提出多参数同步优化策略,增强了该方法的实用性和有效性。从理论上分析了小样本条件下,可以有效避免过学习的原因,该方法不需设计网络结构,降低了对实验人员经验的依赖程度。选取实际负荷时间序列数据,通过与神经网络法进行对比实验,结果显示出该方法的优越性和适用性,具有较好的实用价值和应用前景。