Web服务计算组合流程QoS验证

在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。

面向概率服务组合系统的需求描述

高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息概念,p LSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了p LSC语言的图形表示方法,并展示了p LSCEditor编辑工具用于图形化编辑随机场景.

甲骨刻辞词性标注语料库系统设计与实现

使用计算机辅助甲骨学研究,建设甲骨刻辞词性标注语料库是必不可少的一项基础性工程。现在还没有现成的甲骨刻辞词性标注语料库,因此,有必要设计和实现甲骨刻辞词性标注语料库系统。这个标注系统结合人工标注、机器标注和人工审核,循环作业,快速、高效地建设甲骨刻辞语料库。

利用JAAS实现的Kerberos协议安全单点登录模型

单点登录(Single Sigh-On)是为解决传统方式下访问资源时的登录问题而提出的一种身份权限验证技术。文中首先指出安全的单点登录的必要性和迫切性,然后对Kerberos协议进行系统分析,并在此基础上提出一种用JAAS实现的基于Kerberos认证协议的安全单点登录模型,通过此模型实现了应用程序与Kerberos机制的结合,并在很大程度上减轻了应用服务器的负担。

利用N-元模型构建甲骨卜辞词元库的研究

准确识别甲骨卜辞词元是使用计算机技术正确切分与处理甲骨卜辞信息的关键。当前,在甲骨学研究领域没有专门的甲骨卜辞词元库,自动、高效、科学、动态地构建甲骨卜辞词元库非常重要。依据甲骨卜辞特点及拥有的大量甲骨卜辞资源,提出基于N-元模型的Bi-gram模型构建甲骨卜辞词元库的技术方法。实验表明,将统计计算语言模型用于甲骨卜辞的词元库的构建具有很强的实用性和可操作性。

基于工作过程的《数据库应用》课程教学改革

目前,大多数高职《数据库应用》课程教材均按传统课程的学科体系来编排,先原理,后模块,再进行系统整合,而教师也按教材顺序进行教学,造成学生学习困难大,兴趣低,教学效果差。而打破这种序化,按照工作过程的顺序进行数据库课程教学,是凸现高职教育理论与实践结合的突破口,本文就此做一些探讨。

基于阈值筛选模糊分簇的WSN数据稳定汇聚算法

为改善当前WSN数据稳定汇聚过程中难以动态筛选最佳簇头节点及数据传输过程中节点内部竞争过度导致数据传输抖动的问题,提出一种基于阈值筛选模糊分簇的无线传感网数据稳定汇聚算法。在分簇过程中基于模糊思想形成分簇阈值,根据阈值水平高低进行网络结构的初始化,利用剩余能量水平进行簇头节点的周期轮换;在簇头节点确立后,综合考虑剩余能量及与Sink节点间物理距离,定义数据汇聚准则,簇成员通过该准则将数据传输至控制中心节点,完成整轮数据稳定汇聚过程。仿真结果表明,与当前WSN数据汇聚算法相比,该算法可改善网络负载水平,增强网络数据分组投递性能,减少网络控制开销。

利用Matlab对甲骨文视频输入材料预处理研究

要对甲骨文材料进行信息化研究,输入甲骨文材料是必不可少的一项工作.对于原始象形的契刻文字甲骨文,当前的各种输入法都存在不可解决的弊端,通过视频设备输入甲骨文材料无疑是一种非常理想的解决方案.利用矩阵计算工具Matlab对甲骨文视频输入材料预处理时的关键技术,归一化,灰度转化,去噪,二值化,细化等进行了研究.实验证明利用矩阵计算工具Matlab进行预处理比其他处理方式方便、快捷、灵活、高效,可以为随后的视频材料甲骨文字识别做好准备工作.

反应式软件形式化系统研究系统分析

从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路.

工业实时数据库系统的研究与设计

为了提高中小企业管控一体化程度,统一反映企业各个工业现场实时运行状况,设计工业实时数据库成为实现工业现场网络与企业管理网络相结合的关键所在。论文介绍了一种基于VC++和Delphi的实时数据库系统的开发方法,提出了利用动态链接库实现实时数据库系统核心,并给出了数据模型和接口的实现,同时引入了空间替换法滚动存储多批次历史数据的方法,利用该方法设计的工业实时数据库系统具有全面的开放性和灵活性。

使用机械分词与特征扫描实现对甲骨卜辞的切分

依据甲骨文语法及甲骨文词典对甲骨卜辞进行切分,是建立甲骨文语料库实现计算机辅助甲骨文考释的前提和基础.针对甲骨卜辞的切分,采用机械分词与特征扫描相结合的中文分词技术对200条比较完整的卜辞进行切分实验,将只使用机械分词和结合了特征扫描的两种方法进行比较.结果表明,采用机械分词与特征扫描相结合,实现甲骨卜辞的切分的正确率和效率都较高.

数据库课程的教学改革与发展

文章结合教学实践,对现在高校数据库教学中存在的知识讲解孤立化、片面化等问题提出了改革建议,目的是使教师的教与学生的学更好地融合,更有利于学生掌握数据库理论与实践知识。

虚拟引擎的基本构成及其若干渲染算法研究

虚拟引擎是构成虚拟现实应用的重要工具,不同的应用需求所要求的虚拟引擎的性能会有差异,其中提高画面显示速度和质量是其关键的技术。本文系统介绍了虚拟引擎的基本框架及其所包含的基本功能模块,并以渲染模块为重点,讨论了其所使用的若干关键算法,在实际的工程应用提供一定参考。

一种实现持久层的新方法

基于J2EE的多层WEB应用开发过程中,持久层的设计是一项重要的工作。本文讨论了目前主流的持久层实现类型的优缺点,并提出一种使用数据库存储过程来实现持久层的新方法,最后通过一个具体实例证明了该方法的可行性和优越性。

基于LSC的形式化验证方法

调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.

基于概率模型检验的Web服务系统可靠性分析

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.

《软件工程》线上线下混合式一流课程的建设

针对《软件工程》课程优质一流课程建设目标,思考线上线下混合式教学中存在的普遍问题,从线上教学资源的建设开始,介绍省级线上线下混合式一流课程的建设内容,包括教学过程设计、翻转课堂的落地、以教材为根据地充分利用网络资源、多模态考核方式,为一流课程建设提供可执行方案。

数字化甲骨刻辞基础词典的构建

使用计算机辅助甲骨学研究,构建数字化甲骨刻辞基础词典是一项必不可少的基础性的工程。目前,在国内外还没有现成完善的数字化甲骨刻辞基础词典,本文根据甲骨刻辞词语所属类别进行了分类统计,构建了数字化的甲骨刻辞基础词典。该数字化词典不仅具有常规纸质词典所包含的数据信息,还具有实时词性词频统计功能和开放性。

大数据分析技术在历史航行路线可视化中的应用

随着大数据分析技术的不断发展,船舶航线线路的规划与分析的计算速度得到了质的提升。伴随船舶航线规划的可视化,传统算法无法很好将大数据分析技术分析结果转换为可视化数据进行输出。因此,研究大数据分析技术在历史航行路线可视化中的应用。通过大数据分析技术建立历史航线模型,同时对模型数据的传输信道进行优化计算,保证可视化数据转换过程中的读取稳定。采用DHZA可视化转换对模型数据进行转换输出,实现从架构上的稳定对接与转换。实验证明,大数据分析技术在航线可视化输出中具有一定作用。

用Python实现从XMI到SMV的程序转换器

在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.