基于角色的安全工作流模型

针对在文档开发和管理方面存在的问题,设计与实现基于Docbook规范的文档格式转换工具.该工具将文档中自定义的可扩展标识语言(XML)和HTML文件转换为符合Docbook规范的文件,通过XSLT转换为其他格式的文件,实现将自定义标签的XML文件自由转换为多种格式的文件,从而提高文档开发和管理的效率.     

图形用户界面的回归测试方法研究

对图形用户界面(GUI)进行回归测试是一项困难的工作,因为当GUI的结构稍作修改则可导致大量的测试用例不可再用.给出一种GUI的回归测试方法,介绍该方法的思想及GUI回归测试器模型.由于该方法可对GUI修改前所用的测试用例进行选择、修复,使之变为可再用的测试用例,因此可以减少开销,提高GUI的回归测试效率.     

网络流算法的分析及研究

为了改善网络的性能,提出了一种网络流的分析方法,流量控制与某个发送方和接收方之间的点到点的通信量控制有关,即解决网络中出现快发慢收的问题,还受到通信线路容量的限制.网络的流量问题是一个网络传输中的重要问题,这里给出的算法可以解决实际问题.     

回归测试中基于值谱比较的偏离根定位法

在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。     

一种改进的GUI测试框架DART

针对当前的图形用户界面自动化测试中存在的局限性,提出一种每日自动回归测试（DART）框架的改进方案。研究DART流程、事件流图,包含了事件关联图的方法,实现对事件流图的优化,并采用权重选择法对DART方法进行改进,使之成为一种高效、简洁的自动冒烟测试框架。     

距离法求语言特征主成分

语言特征成分的数量决定了成分对语言特征的影响度.作者把影响度视作距离,建立了一个数学模型,通过距离判断来求取语言特征主成分.     

面向DTN无线传感网移动节点的动态资源调度模型的研究

资源调度是无线传感网络中移动节点的核心和富有挑战性的问题。如何提高移动节点资源使用率并取得最大利润是服务商的最终目标。通过非强占优先权排队G/G/1模型,满足不同等级数据QoS,利用线性分段函数使系统成本最小。进而基于成本函数和收益函数模型,求出不同级别信号动态分配比例,从而得出用户与服务商都满意的结果。结果表明,动态资源调度系统,不仅能够保证不同级别数据的QoS要求,也可使服务提供商的利润最大化。     

Maximality and totality of stable functions in the category of stable bifinite domains

This paper studies maximality and totality of stable functions in the category of stable bifinite domains. We present three main results as follows,o

1. (1)every maximum-preserving function is a maximal element in the stable function spaces;
2. (2)a maximal stable function f : D → E is maximum-preserving if D is maximum-separable and E is completely separable; and
3. (3)a stable bifinite domain D is maximum-separable if and only if for any locally distributive stable bifinite domain E, each maximal stable function f : D → E is maximum-preserving.

     

构式语法理论中的部分能产性问题研究

本文通过对认知构式语法中部分能产性概念的解读,分析了决定构式部分能产性的主要因素。构式的部分能产性是建立在范畴属性归纳的基础上的,统计优选作为间接负面证据提供了构式能产的客观依据,可进入某个特定构式的新成员必须具有可激活的语义因子,涉及构式的强制性制约,包括构式准入与构式赋义两个方面。