云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

建设性改革WTO的中国方案

正2018年11月23日,中国商务部副部长兼国际贸易谈判副代表王受文公开阐述了中国关于世贸组织(WTO)改革坚持的三个基本原则和五点主张。12月12日,中国、欧盟、加拿大等12个WTO成员将关于争端解决机制的联合提案提交至WTO总理事会,并在会议上发表联合声明,敦促尽快启动上诉机构成员遴选程序。早在2017年年底在阿根廷布宜诺斯艾利斯召开的第11届WTO部长级会议上,美国、欧盟、日本发表联合声明,正式启动WTO系统性改革的谈判。     

浅谈对艺术教育的理解与认识

在了解艺术教育的现状及发展方向的基础上,分析研究多媒体技术在艺术教育中的表现及网络互动艺术多艺术教育的影响。     

"那"的指称和替代作用在情景中的形式化解释

针对情景对话内容中含有指示代词“那”的语句及与其直接相关的情景 ,首先分析“那”的语义及语用 ,给出逻辑形式 ,并运用情景理论 ,包括情景形成原则及相关公理和推论等 ,在其逻辑形式中加入上下文关系 ,然后根据焦点移动及情景锚定原则 ,分别对情景对话中的“那”的指称和替代作用进行了有效的解释     

联合模拟网络编码和压缩感知的数据传输方案

基于模拟网络编码和压缩感知的思想,提出传输链路上的节点可进行同时传输以降低传输所需时隙开销,设计了一种在链状拓扑中的联合模拟网络编码和压缩感知的传输方案.基于分簇压缩感知方案可有效减少传输量的思想,提出了将无线传感器网络划分为簇,在簇间采用联合模拟网络编码和压缩感知传输方案的模拟网络编码分簇方案.与传统的压缩方案相比,该方案降低了传输量,节省了节点能耗,且减少了传输所需时隙开销,提高了系统吞吐量.     

IKE协议中基于预共享密钥验证的主模式研究

IKE协议已成为因特网上最具应用前景的密钥交换协议.简要介绍IKE的工作机制之后,对其消息交换的全过程给出了安全性分析.针对现有协议存在的不足,对基于预共享密钥验证的主模式交换过程给出了新的改进模型,提出了身份散列载荷的概念以及进行两次认证的思想,保护了预共享密钥的安全,进而也增强了抵御中间人攻击和DoS攻击的能力.最后,结合freeS/WAN源代码,修改和增加了相应的函数,将改进思想融入其中.     

废水处理中PH值的在线监控系统

根据酸碱滴定曲线本身非线性的特点，提出了分段式非线性变增益PID控制算法，在C Builder中用软件设计了该PID控制器，通过组态软件(King View)和该PID控制器的动态数据交换(DDE)以及可编程控制器(PLC)建立了PH值在线监控系统。通过对带有时滞的PH值中和反应过程进行数字仿真研究，控制结果表明该控制系统具有鲁棒性强、响应速度快和控制精度高的优点。     

管理信息系统中用户权限管理的实现方法

针对管理信息系统的应用模式,讨论了如何根据不同的应用模式选择信息系统的权限管理方法.并在已有权限管理方式的基础上提出根据应用程序中各个功能模块使用的数据库实体来定义具体用户的数据库访问权限,同时将应用系统的模块权限和数据库系统权限有机的结合起来,从而达到简便、准确、高可用的信息系统权限管理方案.     

工业用PET及PA纤维模量-应变曲线的分析

通过拉伸试验数据得到应力—应变曲线和模量-应变曲线可以更全面地反映纤维的力学性能。PET及PA的模量—应变曲线都是明显的双峰曲线。结合拉伸过程中PET纤维内部结构的变化解释PET纤维的特征模量—应变曲线，并讨论如何提高持续使用应变范围的模量问题。PET模量—应变曲线上的第一个模量峰为初始模量，标志着无定形区缠结网的破坏；无定形区蜷曲大分子伸直时模量较低，导致出现模量低谷；由于伸直的缚结大分子模量较高，出现了第二个模量峰。     

一类具有混合边界条件的半有界弦振动初值问题求解方法

研究了一类具有混合边界条件的半有界弦振动初值问题的求解方法,对初始位移函数ψ（x）和初始速度函数ψ（x）做适当延拓,给出了满足延拓函数条件的公式,并利用达朗贝尔公式对该问题求解．对于类似的非齐次方程问题,可先将非齐次方程转化为齐次方程,然后借助本方法求解．