摘要：可信计算平台的远程二进制证明方案确保了该平台的完整性,通过这种方法平台可以向远程方证明其可信性.然而这种二进制证明方案却存在很多缺陷,其中一个主要问题就是泄露了关于平台的(软、硬件)配置信息,这导致很多隐私问题的出现,例如差别化服务及匿名性破坏等问题.因此针对在可信计算环境下传统二进制证明中所带来的平台配置信息泄露等问题,提出了一种新型的基于属性证明方案(property-based attestation,PBA).该方案具有属性证书状态校验机制灵活、方案整体计算代价小及随机预言模型下可证安全等特点.利用本地验证者撤销的技术,设计了方案的模型,定义了方案的安全性,给出了方案的具体构建,并在随机预言模型下对该方案进行了安全性证明,证明其满足正确性、证明不可伪造性及配置隐私性等安全性质.最后将提出的PBA方案与现有PBA方案在计算代价和证明值长度方面分别进行了比较,比较表明该方案同时具有实用、高效的特点.

摘要：为增加粉尘防护设施设计的针对性,提高粉尘防护设施评价的可靠性,以煤巷综掘工作面为例,分析了煤巷综掘工作面原始粉尘浓度的影响因素,采用LMBP神经网络对煤巷综掘工作面的粉尘浓度进行预测。结果表明:预测值误差在±10%以内,预测结果可靠,为其他作业场所原始粉尘浓度预测及其他职业病危害因素浓度(强度)预测提供了一种方法;依据原始粉尘浓度预测值,可对粉尘防护设施进行系统设计,采用神经网络对职业病危害浓度(强度)进行预测,可使职业病防护设施设计更具有针对性。

摘要：为了解决复杂油田沉积微相传统模拟算法无法体现油藏连通性的特性,在对传统建模方法综合分析的基础上,利用FILTERSIM算法,对Stanford V沉积相进行了实际建模,并在建模中结合了地震数据,将模拟结果与SNESIM算法进行了比较。研究结果表明,在河流相储层建模中,该方法能够在较少的内存占用下实现与SNESIM算法相近的模拟效果,同时FILTERSIM算法还具有时间复杂度低、可以模拟连续参数等优点。

摘要：面对高质量城市建设和乡村振兴需求,建筑的智能建造与工业化日益成为装配式建筑产业升级的重要抓手。建筑机器人智能建造装备的批量定制生产能力能够有效应对装配式建筑大批量、柔性的生产需求。定制开发的机器人工具端为灵活高效的建造工艺体系奠定了基础;机器人智能感知与反馈技术提高了生产系统对多样化的复杂建造任务的适应能力;基于计算设计平台的机器人控制软件直接将几何逻辑转译为建造逻辑,推动装配式建筑设计与建造一体化发展。文章以木构建筑的机器人装配式建造为例,诠释面向批量定制的装配式建筑数字建造技术体系的内涵。

摘要：针对河流生态修复工程方案设计与实施过程中的复杂性,以及对多尺度、多来源、多类型等海量数据的需求,提出了采用空间数据引擎ArcSDE集成关系数据库Oracle的模式,应用地理信息系统GIS的线性参考系统与动态分段技术,以永定河为例,构建一个以河流生态修复相关数据信息为数据源的空间数据库。该方法不仅为永定河生态修复模拟评价与综合决策系统提供了有效的数据支撑,同时也为确定河流生态修复工程方案提供了一个有效的辅助工具。

摘要：针对多径条件下,FBMC/OQAM系统采用分散式导频结构的信道估计算法存在导频功率开销过大的问题,提出一种基于双导频的功率优化信道估计算法(DDP with FFT)。在传统双导频信道估计(DDP)的基础上,主动引入相位模糊,降低传输导频对的功率消耗,利用多径信道能量集中的特点,对引入的相位模糊进行估计,进一步保证信道估计准确度。理论分析和仿真结果表明,提出的优化算法可以有效降低导频功率开销,实现高精度信道估计性能。

摘要：为克服FBMC/OQAM系统存在峰均比(PAPR)较高的问题,提出一种多数据块优化的部分序列传输(IPTS)与载波预留(TR)联合的算法。根据FBMC/OQAM符号的重叠特性,在传统的PTS算法上进行多数据块优化,结合新型相位因子,在不增加边带信息的条件下保证较低的PAPR,联合载波预留(TR)算法进一步抑制系统PAPR。理论分析和仿真实验结果表明,IPTS-TR联合算法具有更优的PAPR性能。

摘要：川东北海相储层具有(超)深、高温、高压、含H2S/CO2特征,恶劣的井下工况使生产套管服役环境异常苛刻,易出现套管磨损、变形、泄露、破裂等事故,在有盐岩层等特殊地层存在时失效风险更大。从高温高压含硫气井复杂工况出发,分析了井深、H2S腐蚀、高温、盐岩层等特殊地层对生产套管设计的影响,浅析了管具下入、固井等对生产套管设计的特殊要求,提出了高温高压含硫气井可采用尾管固井后回接、增加管柱壁厚以及上大下小的复合套管柱结构,以降低上部管柱的应力水平、解决高强度与抗硫能力要求间的矛盾,此外,系统提出了高温高压含硫气井套管强度设计的方法,在川东北HBT1f3气井成功现场应用,对高温高压含硫气田生产套管安全经济设计具有重要的借鉴意义。

摘要：针对移动网络(NEMO)应用在代理移动IPv6网络(PMIPv6)域中系统总开销较大并且中心锚点可能过载的问题,提出了一种基于位置更新与数据转发分离的移动网络优化机制。该机制引入专门负责位置信息管理的新实体,充分利用架构中各实体上的绑定缓存消息,优化信令流程,实现控制平面和数据平面的有效分离。性能分析结果表明,该方案降低了系统总开销,提升了系统可靠性。

摘要：为实现民航旅客不文明行为信息与规则自动匹配,提出一种将胶囊网络与门控循环单元结合的民航旅客不文明行为信息与规则自动匹配的方法。充分利用文本语义信息,进行文本相似度的计算,有效解决传统方法在民航旅客不文明行为信息中存在繁杂、无用信息的干扰导致效率低且需大量人工成本的问题。通过在两个公共数据集和民航旅客不文明信息数据集上的实验,验证了该设计的准确性和有效性,为民航旅客不文明行为信息与规则的自动匹配提供了方法支持。