基于递推技术的算法设计方法的应用研究

算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。     

扩展的RBAC模型在政府机关中的应用

针对RBAC模型的不足,在研究了传统RBAC模型的基础上,对RBAC模型进行了扩展,引入特征类别、特征实例等相关概念,给出了模型的形式化描述,并对模型进行了分析.扩展后的RBAC模型可以有效的减少角色、权限的数量,降低授权管理的复杂度,减轻访问控制的管理工作量.然后给出了扩展后的RBAC模型在电子政务中的应用实例.最后对模型的优缺点进行了进一步讨论.     

一种基于不变量的工作流协同模型分解方法

现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxed soundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.     

循环函数法在回热系统中的局部定量计算

根据等效焓降法在热力系统计算时的特点,推导了循环函数法在回热系统中的局部定量计算方法,导出了回热系统局部定量计算的几个重要结论.最后,通过实例计算对所得结论进行了验证.验证结果表明,该方法在回热系统局部定量计算过程中具有简洁、准确、概念清晰等特点,适合推广.     

不同条件下锦橙皮渣果胶的黏度分析

以传统酸提取法从榨汁后锦橙皮渣中提取的果胶为研究对象,研究在不同果胶质量浓度、温度、pH值、蔗糖质量浓度、NaCl浓度和钙离子浓度条件下,果胶溶液的黏度随剪切速率的变化情况。结果表明:锦橙皮渣果胶溶液是典型的假塑性非牛顿流体,随着温度的上升,果胶溶液的黏度不断下降,在100℃条件下,果胶溶液表现出了牛顿流体的性质。在较高和较低pH值环境下都会导致果胶溶液黏度的下降。果胶溶液的黏度随着蔗糖质量浓度和钙离子浓度的增加而增大,而随NaCl浓度的增加先增大后减小。     

基于改进2DCNN的高光谱遥感图像处理研究

针对传统遥感图像处理中的时间成本和人工成本高、效率低等问题,以提高遥感高光谱图像分类中的处理速度、精度,降低参数量为目标,提出改进的2DCNN模型En-De-2CP-2DCNN.首先,使用1DCNN、2DCNN与3DCNN在Pavia University HSI数据集上分别进行分类实验,对比分析各自优缺点.其次,在保持较快的处理速度和不增加模型参数量的前提下,选择2DCNN为基础模型,参考SegNet的Encoder-Decoder结构,融入双卷积池化思想进行基础模型改进,同时优化学习策略.结果表明:En-De-2CP-2DCNN模型F1为99.96％,达到3DCNN的同等水平(99.36％),较改进前(97.28％)提高2.68个百分点;处理速度(5 s／epoch)和1DCNN位于同一量级,快于3DCNN(96 s／epoch);参数量(2.01 MB)较改进前降低了1.54 MB,虽高于3DCNN(316 KB),但远低于1DCNN(19.21 MB).En-De-2CP-2DCNN模型在处理速度和参数量方面的改进,有利于进一步实现移动端的轻量化部署.     

一个高性能Key/Value数据库XDB的设计与实现

传统SQL数据库在管理大数据、性能和扩展性等方面的不足使得其不能胜任如大规模数据挖掘、商务智能及社交网络等应用场景,而NoSQL数据库由于其在上述应用领域优良的特性近年来得到很快发展。本文在分析现有开源NoSQL数据库产品Kyoto Cabinet和Tair的不足基础上,设计并实现了一个高性能的Key/Value数据库XDB。XDB分段流水并发处理Key/Value请求,并采用一致性算法保证在并发环境中对Key/Value记录读写的相关性,在随机写入和顺序写入实验中,相比于Kyoto Cabinet,XDB的性能分别提高6倍和15倍。     

VBSQA Process Simulator:一个基于"价值"的软件过程仿真工具

传统的软件过程是基于"中性价值"的,它们通常因为不能适应变化而导致项目失败.为此,Boehm提出了基于"价值"的软件工程,将"价值"引入到软件工程中,从而产生了基于"价值"的软件过程.VBSQA就是一个以WinWin螺旋模型为基础的基于"价值"的软件过程框架.本文介绍的VBSQA Process Simulator是一个基于用对象网对VBSQA过程建模的过程仿真工具,它为用户在使用VBSQA软件过程框架建立软件过程的工作当中提供过程可视化、验证及仿真VBSQA软件过程的功能,从而有效地缩短了VBSQA的学习曲线.     

A mobile-agent-based approach to software coordination in the HOOPE system

Software coordination is central to the construction of large-scale high-performance distributed applications with software services scattered over the decentralized Internet. In this paper, a new mobile-agent-based architecture is proposed for the utilization and coordination of geographically distributed computing resources. Under this architecture, a user application is built with a set of software agents that can travel across the network autonomously. These agents utilize the distributed resources and coordinate with each other to complete their task. This approach' s advantages include the natural expression and flexible deployment of the coordination logic, the dynamic adaptation to the network environment and the potential of better application performance. This coordination architecture, together with an object-oriented hierarchical parallel application framework and a graphical application construction tool, is implemented in the HOOPE environment, which provides a systematic support for the de