基于对称三层架构的Petri网仿真工具开发

设计了一种Petri网建模工具.针对该工具的特点定义了一种新的分层体系结构—对称三层架构,采用该架构设计了该工具的体系结构和核心类;对该工具进行了验证.结果表明:通过该工具,可以以图形化的方式建立、分析和仿真Petri网模型.     

多维不确定性XML数据模型的研究

不确定海量数据存储与记录的广泛应用及其在XML上的扩展,使XML的关联事件概率的数据模型研究成为研究热点,以描述复杂事件的概率数据模型为目标,在当前已有概率模型的基础上,提出了多维不确定概率模型空间的概念,基于多个概率模型进行统一建模,并把单维XML概率节点引申到多维空间,进而定义了统一的空间查询方式,为复杂概率数据建模和查询优化提供了一种新颖的理论方法。     

利用Pi演算实现对服务交互流程的设计

Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。     

水文井孔抽水试验微机多功能监测系统

介绍了微机多功能监测系统的主要功能和技术参数,系统的组成,参数检测原理及试验应用情况。     

一种基于MUI的跨平台移动应用开发方案

随着移动互联时代的高速发展,越来越多的开发者致力于用移动开发技术开发出低成本、高品质的APP.基于HTML5的跨平台移动开发技术,给出一种利用MUI框架、Ajax技术、5+Runtime就可方便快速地开发跨平台移动应用的方案.既改善了HTML5开发Web APP无法调用平台资源的问题,又比使用原生开发技术周期短,使开发者在不进行原生APP开发的情况下,让用户达到APP的体验效果最接近原生.     

列存储模式下闪存数据库的查询优化算法

固态硬盘的高性能在现有数据库系统中未能获得提升,针对该问题,提出一种连接算法,基于列存储模式,对闪存数据库连接查询进行优化。算法充分利用列存储的存储粒度小和固态硬盘高速随机读的优点,有效克服与闪存的不匹配问题。实验结果表明,与原算法相比,该算法在不同选择率和不同内存条件下的查询时间较少。     

可满足性问题中信念传播算法的收敛性分析

信念传播算法是基于因子图模型的消息传递算法,通过图中的边,将消息从一个结点传递给另一个结点,以高概率地确定部分变量的取值,这种方法被实验证明在求解可满足性问题时非常有效.然而,目前还未对其有效性从理论角度给予解释.通过对信念传播算法的收敛性分析,试图从理论上解释算法的有效性.在信息传播算法的信息迭代方程中,参数的取值范...     

井孔抽水试验参数自动监测仪数据处理软件

介绍了监测仪的主要组成和功能;设计并实现了监测仪软件的数据接收、处理以及S-T和Q-T曲线的显示和打印。     

可伸缩矢量图形(SVG)

SVG是由W3C制定的用矢量描述图形的XML应用标准.他具有可扩充性、动态的、可交互性等优点.SVG支持复杂的事件处理能力,并可以嵌入在XHTML文档中,生成充分集成的高质量的Web页面.介绍了SVG的概念和特点,并描述了SVG文档的基本结构以及基本的SVG形状,最后给出了在XHTML中嵌入SVG文件的方法以及一个完整的文档实例.     

融合信任度的神经网络推荐算法

传统神经网络协同过滤算法存在建模复杂、训练效率不高、数据稀疏的问题,导致推荐精度较低。通过度量用户间的信任关系的强弱来丰富现有的稀疏数据集,添加社交信任这一特征属性提高推荐算法的相关性能,针对项目上下文信息的神经网络协同过滤算法(IFE-NCF)提出一种融合信任度与注意力机制的神经网络推荐算法T-NAMF。该算法将用户-用户之间的信任度值加入到特征向量中并且在神经网络模型中加入注意力机制,增大关键隐式反馈信息的权重,用来缓解社交网络中大量数据信息缺失的问题。在MovieLens-1m和Pinterest-20两个数据集上的实验测试表明,T-NAMF算法与部分基于NCF的经典算法相比,在推荐效果上有明显提升。