超订收益模型及其简化

超订是航空公司最早使用的收益管理方法。在传统的单航班超订收益模型上加入商誉风险的考虑，提出一非线性规划的超订收益模型，并根据目前国际航空的实际情况提出该模型的简化公式。该公式在无计算机辅助的条件下也能快速求解单航班的超订数量，且它与非线性规划模型所求得的解的误差仅为6％，为验证决策的可行性提供了便捷易得的途径。     

基于可搜索加密的区块链信息防篡改算法设计

针对传统区块链平台数据保护机制不完善,区块链信息极易被篡改和丢失的问题,提出一个基于可搜索加密的区块链信息保护方案。首先对方案模型和具体加密算法进行设计,并对设计的算法然后对该方案的复杂度和安全度进行分析。基于上述方案和算法,利用Fabric联盟链平台数据,构建一个基于区块链可搜索加密的数据共享系统,并对该系统的整体架构、功能分区进行详细设计。最后,为测试系统的有效性,将搭建测试环境和实验环境,分别对系统功能和设计方案进行测试和实验。结果表明,设计的系统功能均可有效应用,将提出方案与其他经典算法方案进行对比后发现,提出的方案时间效率更高,且都得到了显著的提升。     

DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述

Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。     

带权重谓词的可选事务逻辑及其访问控制应用

逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进行了扩展,提出了一种带权重谓词的可选事务逻辑WT-Logic。首先对WT-Logic的语法、语义进行了说明;然后解释了其评价方法;最后对WT-Logic语言在工作流授权和多方投票机制中的应用进行了描述和示例,说明了WT-Logic的表达力和可应用性。     

可更新Datalog的分布式时态逻辑扩展及应用

针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。     

面向社交网络的多方授权模型

现有的访问控制机制大多局限在用户个人空间内的数据,难以控制个人空间以外的数据,例如用户不能对其在朋友空间中发布的评论进行访问控制,不能对共有的资源进行联合访问控制等。面向社交网络的多方授权模型MRuleSN采用单一所有、多方共有的方法处理所有权问题,采用扩展的w-Datalog规则表达授权,具有更强的灵活性、访问细粒度和表达能力。分析并说明了模型的规则结构、授权语言的语法和语义,最后通过示例说明了该模型的应用和表达能力。     

压缩传感在无线视频监控中的应用研究*

图像采集数据量大是制约视频监控系统向无线化方向发展的主要因素,提出利用压缩传感进行视频图像的采样,为无线视频监控带来一种新的应用研究。为了减少图像稀疏分解过程的计算量和存储量,在匹配追踪算法的基础上,引入量子遗传算法,实现快速的图像稀疏表示。以Fourier矩阵作为压缩传感的测量矩阵,能有效减少测量数据量,并提高重构图像的质量。仿真实验证明,采用压缩传感所得到的测量数据量远小于传统采样方法所获的数据量,突破了传统信号采样的瓶颈,提高了采样效率,最终获取的压缩测量值能够很好地恢复为监控场景。