基于时间窗反馈机制的动态P2P信任模型

现有的信任模型在识别不诚实反馈、惩罚恶意节点的策略性动态改变行为和激励机制等方面存在不足。为了解决这些问题,提出了一个基于时间窗的局部信任模型TW-Trust,统一考虑了信任、信誉与激励三者的内在关系,同时考虑了时间因素对信任计算的影响。使用直接信任、历史信誉、差别信誉、滥用信誉、相似度和激励效用6个参数来计算网络节点信任度,并通过反馈控制机制动态调节这些参数,提高了信任模型的动态适应能力。仿真实验结果表明,TW-Trust较已有模型能更好地处理恶意节点策略性动态变化行为和不诚实反馈对系统的攻击,能更好解决相似度计算中的稀疏性问题,在信任计算误差和事务失败率等性能指标上有较大提高。

一种对等计算安全性的时间自衰减信任管理算法

面向对等计算的信任度评估提出了一种新的信任管理量化算法,该算法解决了已有算法不能很好解决的信任时间衰减特性和节点联盟等问题,系统地对目前有代表性的网络信任评估算法进行了总结和分析,并对当前相关的国内外研究热点作了分类,同时给出了信任相关的一些定义以及算法应该考虑的问题,并提出一套完整解决问题的算法.定义了信任时间矫正函数、域信任矫正函数、信任值校准函数和准确度函数,并构造了信任时间矫正算法与域矫正算法,通过推导说明本算法具有良好的时间衰减性、历史经验相关性、新入节点奖励特性和联盟特性,同时给出了一般性的信任自然衰减曲线和8种典型特征域的系数变化范围.通过实验评价了算法的正确性和有效性,并和Azzedin算法进行比较,表明提出的算法效率和准确性有了显著的提高.

基于周期时间限制的多机器人自主委托协作模型

提出一种基于周期时间限制的多机器人自主委托协作模型,目的是解决传统算法在任务撤销、失效限制方面的欠缺,并在灵活性和可控性之间寻求平衡.它可以有效地对委派任务的机器人进行控制,但又不会因为执行过于严格的委托约束而造成策略定义和模型构造方面的困难.该多机器人协作模型解决了现有多机器人分工协作模型中对时间限制缺少支持的问题,并给出了一个支持临时性限制、时序依赖限制和传播限制的委托协作模型.使用周期时间、使用次数、有效期限来控制临时协同,用推导规则来控制协作间的时序依赖,用委托深度来限制委托权限的传播.给出了模型的形式化描述.

异构多机器人协作系统研究进展

异构多机器人系统可以发挥单一结构机器人在某个领域的优点而达到整体的最优配置,机器人的功能和接口协议对协作系统影响很大.IGRS协议是我国在信息设备协作领域中惟一的国际标准,为异构多机器人协作提供了有效的支持.对国内外相关研究进行系统地归纳和总结,找出需要解决的问题,并在课题组研制的多种机器人平台上,从3个方面阐述了基于IGRS协议的异构多机器人协作系统:异构机器人的定位、通信以及感知方案;异构机器人协商策略和分组方案;机器人的功能分类和规划,提出了细粒度可控的任务委托分配方案.

深度学习降维过程中的信息损失度量研究

深度学习是当前智能识别、数据挖掘等领域最重要的研究方向,通过组合低层特征,形成更加抽象的高层表示属性类别或特征,以发现数据的分布式特征表示.数据降维是深度学习过程中最为常见的一种过程,通过降维,能够去除数据间的相关性,便于提取更为有用的数据特征,提升识别率,加快识别速度.数据降维过程中,必然导致数据信息的损失,如何统计运用这个信息损失,目前还少有相关文献进行研究.通过对栈式自编码器深度学习算法进行研究,提出一种深度学习降维信息损失度量方法,将香农信息理论运用到降维信息损失度量中,计算深度学习降维过程中信息损失量,并研究其与算法性能的关系,为深度学习算法的改进提供数据支撑.

多移动机器人的智能协作与导航

论文将从应用角度设计机器人智能协作和导航系统。主要技术包括:利用多MobileAgent模型实现多移动机器人的智能协作;设计KQML(知识查询和操作语言)来实现移动机器人的交流;利用GSM(移动通信系统)网解决多移动机器人的通讯问题;基于GPS(全球定位系统)、GIS(地理信息系统)系统实现导航。该研究结果适用于广域的DAI(分布式人工智能)领域和AIS(自主式智能系统)。

“物联网技术与应用”课程规划与共享资源建设

以"物联网技术与应用"课程为切入点,从课程的特色入手,在知识体系、教学环节、实践环节以及考试环节四个方面讲解该专业的课程规划,给出方便该专业资源共享的课程网站建设方案及实施现状。

机器人组成原理课程规划

从社会需求的角度出发,以提高学生就业实践能力为切入点,通过与相关专业比较,探讨并提出建设一门具备"智能科学与技术"专业特色的核心课程——机器人组成原理,并从知识点拆解、教学环节、实践环节和考试环节来规划课程建设,同时对讲义与教材的内容也进行了一定的规划。

电子政务系统数据交换和数据挖掘的模型研究

电子政务系统在我国才刚刚起步,我们必须开发新的技术来完善电子政务系统的安全技术。本文从两方面讨论了电子政务系统:1.用cngXML建立标准交换条件;2.借助数据挖掘技术作出明智的电子政务系统决策。该方法已用于北京市某些行政管理区的电子政务系统中。

基于移动Agent的GSM短消息查询系统

介绍了以移动Agent作为模型建立GSM的短信息实现远程的信息查询、查询系统数据库的设计及应用服务器的建立。研究结果可以用作各部门的人员调查、基于短消息的信息点播。系统的特点是系统扩展性好、廉价方便，并已经在塔里木石油集团得到使用。

“智能科学与技术”本科专业软件实践类课程建设探讨

"智能科学与技术"专业从2004年国内开始招生至今,全国已有不少高校设立此专业。我校2007年开始招生,该专业的本科生将在2009年下半年进入专业课阶段学习。本文从社会需求的角度出发,以提高学生就业实践能力为切入点,探讨软件实践类课程的课程设计、教学方法、教材建设以及考试方式。

一种基于TPM匿名证书的信任协商方案

为促进分布式网络环境中跨安全域的信息共享与协作,需要一种合理有效的信任协商敏感信息保护机制.可信计算组织(Trusted Computing Group,TCG)专注于从计算平台体系结构上增强其安全性.基于可信计算的匿名证书机制提出一种新的信任协商方案:匿名证书信任协商ACTN(anonymous credentials based trusted negotiation),良好地解决了跨安全域的敏感信息保护的问题,可以有效地防止重放攻击、窜改攻击和替换攻击.使用一个硬件模块TPM进行隐私信息保护,并通过TPM模块提供可靠的匿名证书和平台认证.定义了ACTN的模型以及模型中的匿名证书,详细说明了匿名证书的基本参数以及匿名证书的创建方法,讨论了策略的安全性、委托机制以及证书链的发现机制,同时设计了协商节点的框架以及协商过程.通过实验并与Trust Builder和COTN协商系统进行比较,表明系统具有良好的稳定性和可用性.最后指出相关的一些未来研究方向.

我校物联网工程专业建设探索

本文介绍了物联网的诞生背景和重要战略意义以及专业特点、目标和就业,并从课程的设置角度详细介绍了专业必修课程。我校物联网工程专业设定了三个方向的选修课:物联网软件与服务、物联网感知与控制和物联网传输与网络。本文还介绍了课程列表和实践环节的总体安排。

隐马尔可夫模型实现复杂数据挖掘

利用隐马尔可夫模型(HMM)对多媒体数据库进行复杂数据挖掘,复杂数据挖掘要解决的难题就是音频和视频识别。在建立音、视频识别算法的基础上,构造出符合HMM的识别方法。实验证明该系统声音的识别率最高达到96.67％,视频中特征值的检测率可达87.81％。

“青教赛”后的思考

根据自身教学体会和参加第七届北京青年教师教学基本功比赛(理工A组)的经历,将教学能力分解成讲授、演示、互动、创意及风格5个技能点,据此对比赛和授课进行分析,同时对教学思路等作了探讨。教学比赛作为青年教师教学技能培养的一个有益补充,是提高教学能力的重要途径,也为青年教师互相交流教育理念、切磋教学技艺、展现职业风采、共同学习提供了平台。

基于PCR检测机制的时间自校检平台访问控制算法

基于可信计算技术提出了一种平台访问控制算法,该算法解决了传统算法不能很好提供可靠平台身份验证的问题.基于可信计算技术中平台配置寄存器PCR提出了一个具有时间自校验功能的引用信任代理RTA模块,并将它引入到提出的框架中.给出了它在系统中的层次位置,同时指出了该模块包括的3个主要部分以及它们的功能.框架可以保证平台协议交换的可靠性,并能保证检测环境提供信息的可靠性.指出了该算法如何加强平台访问控制和应用程序的安全性,并说明了该算法如何增强角色访问控制RBAC和对等网络计算的安全性以及设计安全操作系统的网络可信路径方法,最后提出了相关的一些未来研究方向.

面向移动计算安全的空间时间信任管理研究(英文)

支持时间和空间的信任管理对于无线与移动网络计算中控制资源访问非常重要,上下文信息在授权决策中也越来越显示出其重要性。为解决移动计算中交易时限问题和位置划分问题,提出了一种空间时间感知的信任管理方案,定义了交易时间限制函数和位置划分函数,对交易时间进行有效的限制,当交易超过给定的结束时间后,则放弃交易;同时对空间属性进行细分,有效地提高了算法的执行效率。给出了算法的框架、时间校正函数、空间域校正函数,并且推导了算法的几种特性:时间衰减特性、新节点奖励特性和网络节点联盟特性。实验表明交易时间限制和精确的位置划分有助于效率的提高。

一种面向网格计算的分布式匿名协作算法

基于TCG提出的可信计算技术为网格协作安全性提出一种匿名分组身份验证算法,该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题.算法使用一个硬件模块TPM解决远程的身份验证,并通过TPM机制可以提供可靠的匿名验证和平台认证功能.算法中所有涉及的验证过程都是基于匿名机制实现的,除了实现匿名验证机制以外,算法还提供一套完整标记恶意网络实体的方法.提出了网格计算中虚拟分组的匿名认证平台架构,并在此架构基础上分成5步实现匿名验证算法,然后说明了算法在一种对等计算平台的应用实例,与GT2,GT3,GT4以及信任管理进行安全性的比较,并设计一个实验评价其性能.

面向冶金工业4.0的学科交叉实践课程建设

在工业4.0背景下,以本校冶金工程和物联网工程两个专业为依托,从解决冶金制造企业生产流程标准化的角度,对实验课(实习)内容设计、效果评价等方面进行跨专业学科建设探索与改革,加深学生对各项专业知识的理解,加强对当前信息技术前沿发展趋势的了解,提高问题总结能力、资料搜集整合能力、沟通能力和组织能力,提高实践创新能力。