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

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

试论5E教学模式在中职英语教学中的运用

"5E"教学模式指的是体验(Engagement)、探究(Exploration)、解释(Explanation)、拓展(Elaboration)和评价(Evaluation)五个环节。该文结合中职英语课堂教学实践,对这一教学模式进行实例探讨,并提出5E教学模式对中职英语教学的启示,促进教学目标的实现。     

基于扫描数据零件轮廓特征自动识别的方法

主要研究基于扫描数据自动识别零件轮廓特征的方法与技术．首先给出了零件轮廓特征自动识别的工作流程，然后提出了零件轮廓特征自动识别的原理与算法，最后通过具体实例验证了本方法的优点及可行性。     

XML技术在电子商务中的应用

介绍了电子商务和三层分布式数据库应用的结构，对XML应用于电子商务的技术特点进行了分析．通过一个实例探讨了XML在电子商务中的应用．     

工艺规划系统中动态模式分类的研究

提出了工艺规划系统中动态模式分类（pattern classification）的概念，介绍了模式分类判定树和动态模式分类的基本原理，并对动态模式分类的聚类质量标准进行了研究。动态模式分类是基于实例归纳（case based reasoning,CBR)的自动分类过程，具有自学习和自完善的功能。     

一种改进的基于效用理论的TOPSIS决策方法

提出了一种改进的TOPSIS决策方法.该方法更多地融合了决策者的主观意愿:用决策者对属性的效用评价代替方案的原始属性数据;用模糊数替代精确值反映决策者对效用值的理解模糊不确定性;同时关注决策者对最佳决策方案属性效用的综合性、均衡性考虑.最后,通过对一个具体决策实例的分析,验证了方法的合理性和有效性.     

一种二元决策图底事件排序的新方法

故障树分析(Fault Tree Analysis, FTA)是对系统进行可靠性分析的一种有效方法.而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram, BDD)又是其中最有效的方法之一.由于BDI)的节点数在很大程度上依赖于输入的底事件的排列次序,所以从故障树到BDD的转换过程中,需要先对底事件进行排序.而如何对底事件进行有效的排序则成为一个重要且未完全解决的课题.本文提出了一种新的底事件排序法--相邻底事件优先法.其基本思想是利用故障树的相邻关系来给其赋予不同的排序优先级.该排序方法所具备的特点包括:其底事件排序过程是静态的,但在BDD的构造过程中,能动态地对已经排序的底事件进行筛选,同时它还支持在BDD的不同分支采用不同的底事件排序方法.实验证明,与现有的最优方法相比,相邻底事件优先法可有效提高75%的故障树的BDD转化效率.     

不可“滥杀无辜”,揭开进程的神秘面纱

进程虽不被大多数人所了解,但它却是使用计算机的必须;了解和掌握进程的相关知识,对我们更好的管理和使用计算机起到事半功倍的作用。     

企业分形分布的判定和应用

尽管分形企业的概念得到了广泛的认同,但企业分布是否是分形这一关键问题一直未得到解决.本文采用行政区划国家标准建立了两个行业的δ-覆盖,并基于信息维数的定义,定量验证了企业分形分布的猜想,并测定了两个行业的分数维数.在此基础上将分数维数与嵌套区域秩序方法相结合,提出一种新的分形分布拟合方法FDF.经实际检验,FDF相比传统的方法,在所需数据量小、稳定性强、适应重点区域等方面,具有显著的特点和优势.最后,本文将该方法应用到一个调度实例问题,不仅给出了跨企业调度的优化范围,而且证明本文方法可以广泛应用于各类依赖于空间分布的企业协同研究.     

变时滞神经网络指数稳定性条件

基于时滞细胞神经网络(DCNNs)在图像处理等领域的广泛应用,有关它的研究引起了越来越多学者和专家的关注.早期DCNNs稳定性的结果大多由网络权矩阵的分量构成的代数不等式来表示.运用Lyapunov-Krasovskii泛函的方法,研究了DCNNs的指数稳定性,所得充分条件以矩阵的(半)正定形式出现,在实际应用中更加便于验证.与文献中的结果相比较,所得判据适用范围更广.