基于可生存性规范的软件构件系统恢复的建模与推理

从基于构件的系统在面临各种不同的恶意攻击、系统故障和意外事故时,根据预先定义好的生存性规范为用户提供不同等级的系统服务出发,研究了构件系统恢复中的一些关键问题.其主要贡献是:(1) 提出了基于构件家族和构件安装顺序的服务核表示方法,该方法能够准确表达系统在不同条件下为用户提供能够感知的服务;(2) 建立了基于构件兼容性和构件安装执行的构件系统恢复性质的推理规则,用于判断系统恢复的成功性(新启动的服务能够正常工作)和安全性(原有的服务不会受到损害);(3) 提出了基于投影的构件安装执行的简化算法,为大规模构件系统恢复的性质推理分析提供了支持.利用基于可生存性规范的构件系统恢复的分析流程,可以在实际中系统地应用相应的推理规则.最后通过一个基于构件的移动视频点播MVoD系统来展示所提出的模型与方法的实用性和有效性.     

智能神经网络程序设计语言的研究与实现

将神经网络与逻辑推理统一到面向对象理论中，建立了同时具备神经网络和专家系统特性、融合连接机制和符号机制的智能神经元模型。提出了一种新的程序设计语言——智能神经网络程序语言(NIPL)，实现了神经计算、逻辑推理和数值计算的统一。定义了NIPL的语法，设计并实现了智能神经网络程序设计语言NIPL编译器，从而为开发智能神经网络应用系统提供了有效的手段。     

非抢占优先权轮询系统特性分析

本文讨论的是一种多站点通信系统的优先权链路调度算法，调度模型采用具有非抢占优先权的轮询机制，队列服务采用完全服务方式。文章利用嵌入马尔可夫链和概率母函数方法，解析出了非对称情形下系统的平均周期时间以及一般队列和中心队列的平均排队队长表达式，并利用计算机仿真实验验证了结果的正确性。     

WMFVR身份识别及应用

提出一种身份识别模型WMFVR（加权多特征视频识别）。模型分三层：先验层,建立识别群体视频样本库,通过数据发掘可识别（区分）的视频特征点,如身高、肩宽、人脸等,每个特征点聚类建立特征分布,如按身高聚为高、中、低三类;识别层,在相对静止背景下获取连续图像,检测跟踪运动目标,重建人体三维运动,按时间序列识别各个特征点,结合先验知识库,加权决策识别结果：后验层,根据识别结果,更新视频特征分布,刷新先验知识库。与传统视频身份识别相比,WMFVR充分利用连续动态图像下的视频特征,并引入后验机制,提高了视频识别的可应用性。基于WMFVR设计的视频考勤系统识别率为94．872％,表明在固定场景小范围人群的身份识别中具有良好的鲁棒性。     

复制式协同图形编辑环境中复合Undo操作语义一致性维护研究*

复制式架构下的二维CAD协同图形编辑环境中,用户界面所发出的Undo操作从语义上讲是针对复合操作本身的,但传统的一致性维护算法是基于原子操作的,对Undo操作的支持也是以原子操作为单位的,这样就会导致复合Undo操作的语义不一致性问题。分析了CAD图形编辑环境中复合操作的类型及Undo操作的执行前提,讨论了Undo操作存在的情况下的冲突定义,提出了基于版本分裂机制的冲突解决策略,并描述了复合Undo操作在本地和远程站点的执行流程及主要算法。最后通过实例分析证明了该方法的有效性。     

用基于对象的Java中间件实现校园网网格计算

本文通过对校园网网格计算环境、计算的特殊性等的讨论，提出了通过Java中间件以构建“计算池”的方法来实现“校园网网格”，从而为我国高校构建自身的校园网网格提供了一个可供选择的实际方案。     

基于人工免疫原理的天气预报系统

为了获得较高的天气预报效率，提出了一种模拟生物免疫系统学习机制的免疫学习算法，并应用于天气预报中。定义了抗原和B细胞的表示方法，给出了抗原与B细胞之间亲和力的计算方法，描述了B细胞的克隆、变异、动态演化和记忆细胞的产生过程，建立了基于免疫学习算法的天气预报系统。仿真试验表明该系统同传统的基于神经网络的天气预报系统相比，预报准确率较高，为天气预报提供了一种新的解决方案。     

空间站内部通信网络的一阶特性分析

为了对基于轮询机制的通信系统进行理论设计和性能评价，需要对平均排队队长进行定量分析。本通信系统采用了基于完全服务的非抢占排队优先权轮询机制作为信道共享策略。首先建立了系统分析的数学模型，然后利用嵌入马尔可夫链理论推导出系统的概率母函数。通过对系统一阶特性的迭代计算，最终解析出非对称情形下的平均排队队长表达式，并且利用计算机仿真实验证明了分析的有效性。     

面向私募股权的区块链服务系统设计

为了保护私募股权项目信息的隐私性,且达到追踪交易的目的,结合区块链技术构建管理平台.区块链技术底层使用的加密算法可以为股权项目信息提供隐私保护,智能合约可以提供交易自动化功能.区块链技术在应用过程中产生并发性不高的问题,结合微服务思想,基于以太坊设计区块链服务平台,对区块链相关服务进行功能拆分.将底层的区块链服务平台通过容器化技术构建,并考虑容器状态参数为反馈指标,设计适合该场景的区块链负载均衡算法,实现高可用高并发的效果.     

支持Internet实时多媒体应用的Overlay技术研究

目前出现的大规模（large-scale）的多媒体应用对Internet提出了新的挑战。传统的IP组播（IP multicast，IPM）由于实现技术的复杂性，很难在Internet上推广。相反，基于叠加网络（overlay network，ON）的解决方案则受到各方面的关注。本文针对大规模实时多媒体应用需求，通过建立评价参数模型对ON协议进行研究。尤其时overlay组播（overlay multicast，OM）的QoS控制、可靠性以及可伸缩性机制进行了分析。与IPM相比，OM虽然有性能代价（performance penalty）问题，但是OM能方便、灵活地利用多种高层的功能实现，基于hop-by-hop方式有效地提供E2E（end—to-end）的可靠性和QoS保障，并且较好地支持TCP-friendliness，具有良好的可伸缩性。此外，0M的基础网络（infrastructure／underlay network）无关性，也使其容易在Internet中进行配置。以上特性使得OM成为支持Internet上大规模实时多媒体应用的最具前景的技术．