一种基于BLP模型的安全Web服务器系统

针对基于Web的通信存在的弱点，提出了安全Web服务器的概念，并以此为目标，提出并实现了一种基于BLP形式化模型的安全Web服务器系统。

基于属性的访问控制模型

利用受限数据库为理论对访问请求、属性权威、策略和判定过程的抽象描述，给出了一个基于属性的访问控制模型，讨论了模型中访问请求、属性权威、策略和判定过程之间的关系，给出了一个访问控制判定过程可终止的一种特定条件。

基于模糊评价的分组密码随机性评估模型

检测评估是研究密码算法安全性的重要技术手段.随机特性是其中重要而实用的测评内容.针对密码算法的随机性,已有多种不同的检测方法,但是对繁杂的随机性检测结果,尚不存在一个完整实用的量化评估体系和模型.选择分组密码为实例,研究了对密码算法随机性的量化评估.根据分组密码的设计准则,提出一个分组密码随机性的评估指标体系,以模糊多准则决策为基础给出了一个实用的分组密码随机性评估模型.该模型采用模糊数学中的隶属度函数方法,对随机性检测结果进行模糊化处理,能够反映出随机性的连续和渐变特点,有效解决了单纯的阈值方法造成的评估信息丢失问题.该模型的优点是实现了对分组密码随机性的量化评估,为密码算法的综合评估提供基础.同时,给出了对单个指标和属性的通用的评估流程,因此,该模型也可稍加修改和扩展,应用于其他类型密码算法的随机性评估中.

一种基于移动Agent的复合Web服务容错模型

现有的Web服务容错侧重于通过扩展Web服务标准来提供容错能力.由于Web服务标准体系本身不断发展变化,并且标准之间的兼容性问题依然存在,使得这些研究成果的可实施性较弱.文章提出一种基于移动Agent的复合Web服务容错模型--MAFTM模型,从系统层次而非标准层次来解决复合Web服务的容错问题.首先说明基于移动Agent的工作流与复合Web服务的关系.在此基础上,给出MAFTM模型,包括故障类型、复制机制、"exactly once"语义和一致性算法,并证明MAFTM模型的正确性.

基于改进网络模型的大时滞网络拥塞控制算法

　随着对网络拥塞控制的深入研究,出现了许多有关网络流量的控制理论及网络模型.Misra等人于2000年基于流体流(fluidflow)理论提出的模型被研究人员广为采用.但模型在推导过程中的一些近似却使得模型对网络行为描述不精确.本文对此从理论和实验结果两方面进行了详细分析,并对原模型进行了改进.基于改进的模型,把一种PID(ProportionalIntegralDifferential)及类PID设计方法用于AQM(ActiveQueueManagement)控制器的设计.对比仿真结果表明,该算法具有更好的性能.

一种基于XML的复合事件模型及其订阅语言

基于内容的Pub／Sub系统能够为大范围软件集成提供松耦合的、可扩展的集成能力，越来越引起人们的重视．现存的方法主要集中在对单一事件的匹配，缺乏对复合事件模型及其订阅语言的研究．针对此问题，文章给出一种基于XML事件的复合事件模型及其订阅语言，该模型包括事件时序逻辑模型和事件复合模式，并扩展了XML—QL语言得到复合事件订阅语言EXML—QL支持事件复合模型和模式；最后，依据该订阅语言的特点构造复合事件匹配算法，给出该算法的分析和验证．

UIDT:一种基于摄像头的用户界面模型

为了弥补WIMP界面模型对视觉交互描述的不足,提出一种基于视觉交互的用户界面模型.首先在分析和总结视觉交互过程的基础上,以活动理论为基础,提出一种以用户为中心、面向任务和基于事件驱动的用户界面模型;然后描述了该模型的组成结构及其相互关系;最后给出了一个基于此模型的视频手势交互系统实例.实验结果表明,该模型能够有效地支持视觉交互设计,使用户界面满足可用性要求.

基于PLSA模型的文本分割

文本分割在信息提取、文摘自动生成、语言建模、首语消解等诸多领域都有极为重要的应用·基于PLSA模型的文本分割试图使隐藏于片段内的不同主题与文本表面的词、句对建立联系·实验以汉语的整句作为基本块,尝试了多种相似性度量手段及边界估计策略,同时考虑相邻句重复的未登录词对相似值的影响,其最佳结果表明,片段边界的识别错误率为6·06%,远远低于其他同类算法·

一种基于角色访问控制(RBAC)的新模型及其实现机制

文中对基于角色访问控制（ｒｏｌｅ－ｂａｓｅｄ ａｃｃｅｓｓ ｃｏｎｔｒｏｌ， ＲＢＡＣ）研究中的两大热点——模型的建立和实现进行了较深入的研究，提出了一种新的ＲＢＡＣ模型——ＮＲＢＡＣ模型．这一模型除具有全面性外，比之已有的ＲＢＡＣ９６ 模型还具有接近现实世界和形式统一的优点．针对ＮＲＢＡＣ模型的实现，文中又提出了一种新的ＲＢＡＣ实现机制——基于时间戳和素数因子分解的二进制双钥－锁对（ ＴＰＢ－２－ＫＬＰ）访问控制方案．它不仅能很好地克服已有ＲＢＡＣ实现机制存在的缺点，还兼备了对锁向量修改次数少和发生溢出可能性小的优点．

一种基于XML的工作流过程模型的设计和实现

1.引言面对数字经济时代带来的不断增长的竞争压力,企业逐步寻求新的商业运作模式以适应这种变化。随着信息技术和Internet技术的迅猛发展,为适应这种变化提供了条件。企业不再满足于孤立、零散的办公自动化和计算机应用,而是需要综合的、集成化的解决方案。作为一种对常规性事务进行管理、集成的技术,工作流管理系统(Workflow ManagementSystem,WMS)的出现是必然的。如何建立企业业务过程模型是工作流管理系统的核心问题。

软件项目资源优化调度研究

信息技术的不断进步使得软件产品的应用领域不断扩大，同时软件产品的规模也在迅速膨胀。软件产品的开发模式已由最初的手工作坊式开发逐渐转变为大规模的工程化软件开发。这使得资源调度问题逐渐成为软件项目管理的核心研究内容之一。 软件项目与传统工业项目相比具有如下两个显著特点：其一是软件项目对人力资源能力的依赖性非常高；其二是软件项目在开发过程中具有的不确定性因素较多，也就是风险较高。这两个特点决定了传统工业调度方法不能很好地适用于软件项目管理，同时也为软件项目资源优化调度问题研究提出了新的挑战。需要根据软件项目的特点研究适合的资源调度方法为软件项目管理工作提供支持。 本文的研究工作旨在通过对软件项目的结构进行分析和描述，在建立软件项目核心要素模型的基础上，考虑软件项目高人力资源能力依赖性和高风险性两大特征，由人力资源能力和风险作为驱动因素，对软件项目中人力资源和项目缓冲两大核心资源进行优化分配和调度，以提高软件项目的资源利用效率和软件项目执行的稳定性。本文的主要贡献有： （1）建立了软件项目资源优化调度研究框架QMMT和项目核心要素模型PTHR。 QMMT研究框架由问题驱动(Question Driven)，模型描述(Model Description)，方法研究(Method Research)和工具验证(Tool Validation)四个模块构成。四个模块之间既存在顺序关系也存在信息反馈机制，框架具有良好的适应性和可扩展性。实践表明，QMMT研究框架对研究软件项目资源优化调度问题具有良好的指导作用。本文中涉及软件项目资源优化调度的多个研究问题均遵循QMMT研究框架。 通过对软件项目所包含的各个要素及要素之间的关系进行定义和描述，我们建立了软件项目核心要素模型PTHR。模型对软件项目的四个要素：项目（Project）、任务（Task）、人力资源（Human Resource）、风险（Risk）以及四个要素之间的关系进行了形式化定义和描述。PTHR模型涵盖了软件项目的核心要素并具有良好的可扩展性，可以为资源优化调度中具体问题的分析、算法的设计、流程的安排以及工具开发提供底层支持。PTHR模型是本文后续方法中相关系列子模型的基础模型。 （2） 提出了软件项目中任务-人员匹配的三维匹配模型3D-THM和基于3D-THM模型的任务人员优化分配方法。 任务人员匹配是人力资源调度的基础。3D-THM（3 Dimensional model for Task Human Matching）模型通过对人力资源的技术能力、性格能力和职业规划进行描述，以及对任务的技术能力需求、性格能力需求和职业规划需求进行描述，设定相应的多因素匹配算法，为任务-人员的全面优化匹配提供支持。实验表明，3D-THM模型较好的描绘了软件项目中任务-人员优化匹配问题，能够体现软件项目的高人力资源能力依赖性。模型实例化后所得到的匹配方法和相应的原型工具可为软件项目资源优化调度以及软件过程建模提供人员优化匹配支持，能够提高项目管理人员的工作效率，提升项目人员对任务分配的满意度。 （3） 提出了基于人员可用性的人力资源调度方法。 在对任务人员进行优化匹配的基础上，通过综合考虑人力资源能力和工作时间实现了基于人员可用性的人力资源调度方法。方法结合软件项目的结构特征，建立了任务人员可用性约束模型THACM（Task Human resources Availability Constraints Model）。基于THACM模型实现了在给定资源集合、任务集合下的人力资源自动分配和项目进度的自动安排。方法可有效解决采用矩阵组织结构的企业所面临的低资源可见性问题，协助其提高人力资源的利用效率。 （4）提出了基于任务优先级的抢占式人力资源调度方法PP-HAS。 在对人力资源可用性进行考虑的基础上，为了解决多项目环境下常见的资源冲突问题，我们提出了基于任务优先级的抢占式人力资源调度方法PP-HAS（Task Priority Based Preemptive Human Resource Scheduling Method）。方法首先建立了综合考虑进度、成本、质量三方面因素的基于价值的任务优先级模型VBTPM（Value Based Task Priority Model），将该任务优先级模型与过程Agent技术结合，通过设计支持抢占的人力资源调度流程，实现了多过程Agent协商下的人力资源优化调度。方法通过抢占和再计划实现了人力资源的动态高效利用，能够为资源冲突的解决以及项目的再计划工作提供决策支持。 （5）提出了风险驱动的软件项目缓冲资源分配方法。 项目缓冲的合理分配是降低风险对项目进度造成影响的重要手段。我们在软件项目资源调度方法中加入对风险因素的考量，基于软件项目中风险的特征，建立了简化的风险模型RRM（Reduced Risk Model）。基于RRM模型提出了风险驱动的项目缓冲分配方法，旨在软件项目的执行效率和稳定性二者之间进行权衡。模拟实验的结果表明，相对于传统关键链项目管理理论中尾部集中的项目缓冲分配方法，风险驱动的项目缓冲分配方法能够在确保对项目平均执行工期产生较小影响的同时，显著降低项目执行时计划变更的发生频率。该缓冲分配方法与项目模拟工具可以帮助项目经理确定合适的项目缓冲时间长度以及缓冲分配方案，进而提高软件项目计划的可信性和执行的稳定性。

Effects of point defects on lattice parameters of semiconductors

A model for analyzing the correlation between lattice parameters and point defects in semiconductors has been established. The results of this model for analyzing the substitutes in semiconductors are in accordance with those from Vegard's law and experiments. Based on this model, the lattice strains caused by the antisites, the tetrahedral and octahedral single interstitials, and the interstitial couples are analyzed. The superdilation in lattice parameters of GaAs grown at low temperatures by molecular-beam epitaxy can be interpreted by this model, which is in accordance with the experimental results. This model provides a way of analyzing the stoichiometry in bulk and epitaxial compound semiconductors nondestructively.

Asymmetric dark current in double barrier quantum well infrared photodetectors

Asymmetric dark current and photocurrent versus voltage characteristic in the Double Barrier Quantum Wells (DBQWs) photovoltaic infrared photodetector has been studied. A model based on asymmetric potential barriers was proposed. The asymmetric potential thick barrier, which due to the Si dopant segregation during growth makes a major contribution to the asymmetrical I-V characteristic, calculations based on our model agree well with experimental results. This work also confirms the potential use of this DBQWs for infrared photodetector with large responsivity and little dark current under negative bias.