摘要：外包XML数据库的查询验证目标是保证XML数据和结构的可信性。为此,设计一种基于RMH树的数据结构,改进现有查询验证算法,对XML数据和结构进行真实性、完整性和最新性的验证,并且使数据的完整性验证具有隐私保护功能。理论分析和实验结果表明,该方案在查询验证效率、存储成本、安全性等方面均优于现有验证方案。

摘要：几何K中心网关部署问题是无线网状网拓扑优化中一个难题,将几何K中心网关部署问题转化为节点K中心问题进行求解是一种可行的方法,但是转化过程产生的大量虚拟节点扩大了网络节点规模,从而降低了求解效率和效果.为了缩减虚拟网络规模,文中结合无线Mesh网络拓扑结构和邻接节点的包含关系,提出了基于拓扑学的替代原理,并分析和证明了该理论的完备性.首先将平面中不可列的节点按连通性分成有限类,并将不同的类视为虚拟节点加入到原来的无线Mesh网络中,形成新的虚拟网络.然后利用多阶替代原理剔除大量的冗余节点,获得一个与原虚拟网络等价但规模很小的替代网络.最后设计了基于替代网络的遗传算法(GASK)求解该问题.实验仿真结果和分析表明,替代原理能充分优化网络结构并缩小虚拟网络规模,基于替代网络的遗传算法能够获得更优的覆盖半径,其求解效果、效率和稳定性均优于传统算法.

摘要：无线Mesh网络中,网关部署直接影响到网络的服务质量,合理的网关部署对网络性能提升具有非常重要的作用.为解决几何K中心网关部署问题,本文以节点和网关之间的路径长度最小为优化目标,提出基于极大全连通子图的中心粒子群优化(Center PSO,CPSO)算法.该算法归结为在给定的网络拓扑中寻找全连通子图,并筛选出功能最完备的极大全连通子图,求得初始中心点位置,然后结合粒子群优化算法,利用这些初始中心点位置对粒子群优化算法进行初始化,引入随机生成的惯性权重,并设计适值函数计算方法,使得算法更容易获得最优解.通过仿真实验,将所提的CPSO算法与其它算法进行对比,结果表明本文所提方法具有更好的优化效果和收敛速度.

摘要：针对目前突发事件的应急通信设备存在的设备笨重、系统集成度不高、无法手持、视频传输能力弱等问题,提出了一种基于Ad-hoc网络的手持式应急通信设备的设计方案。采用TMS320DM365控制芯片和无线通信模块为硬件平台开发平台,以嵌入式Linux为系统软件平台。系统研究了达芬奇技术传输视频原理,并针对手持式应急通信设备节能要求,采用一种改进后节能的AODV路由算法。该设备具有能传输视频、便携式、节能等特点。通过搭建平台对设备进行测试,证明该设计可行性。

摘要：随着人工智能的发展,机器学习技术越来越多地应用于社会各个领域,用以辅助或代替人们进行决策,特别是在一些具有重要影响的领域,例如,信用程度评级、学生质量评估、福利资源分配、疾病临床诊断、自然语言处理、个性信息推荐、刑事犯罪判决、无人驾驶等.如何在这些应用中确保决策公平或者无偏见?如何在这些应用中保护弱势群体的利益?这些问题直接影响到社会和公众对机器学习的信任,影响到人工智能技术的应用与系统的部署.通过系统梳理和全面剖析近年来的工作,对机器学习公平性或公平机器学习的定义及度量进行了解释及对比;从机器学习的全生命周期出发,对不同环节中出现的各类偏见及其发现技术进行了归类及阐释;从预处理、中间处理和后处理三个阶段,对公平机器学习的设计技术进行了介绍和分析;从可信赖人工智能全局出发,对公平性与隐私保护、可解释性之间的关系、影响及协同解决方案进行了阐述;最后对公平机器学习领域中亟待解决的主要问题、挑战及进一步研究热点进行了讨论.

摘要：为了满足高校网络教学平台不断增长的业务量、访问量及数据流量的需求,提出了一种大型网络教学平台架构的设计方案。针对制约网站性能的瓶颈,通过采用缓存技术、集群技术、分布式存储技术对原有网站架构进行优化,并在现有开源软件系统的基础上,实现了一个低成本、高可用、高并发、高可扩的通用架构。实验结果表明,该架构有效提高了系统负载能力及响应速度。

摘要：智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能到感知智能,再到认知智能的发展,智能体已逐步渗透到无人驾驶、服务机器人、智能家居、智慧医疗、战争武器等人类生活密切相关的领域.这些应用中,智能体与环境、尤其是与人类和社会的交互愈来愈突出,其中的伦理和道德问题日益凸显.人工智能应用的伦理风险和挑战引起了人们的普遍关注,伦理智能体是人工智能伦理的重要研究内容.本文从人工智能伦理的工程设计与实现角度,对伦理智能体及图灵测试、伦理智能体的设计范式、伦理智能体的逻辑程序设计、伦理智能体的形式化验证、伦理困境及分析等进行了介绍和讨论.同时,对伦理智能体及设计所面临的挑战和进一步研究方向进行了述评和展望.

摘要：程序分片在程序设计、并行、诊断与测试等方面均有广泛的应用,介绍了一种用遗传算法计算最 小动态分片的算法。将整个程序看成是一个染色体,而每条语句看成为基因,通过现有遗传算法的操作: 选择、变异、交叉等,就可以计算出动态分片,并给出了一个诊断汇编语言的实例。

摘要：本文介绍了一种可堆叠的能简化和扩展SP业务开发的短信接入系统SmsBroker。该系统通过CMPP协议与短信网关相连,实现短信的转发、接入用户的计费及对移动梦网业务的支持。文中给出了详细的系统结构设计及具体的实现技术。

摘要：目前的流式细胞仪有非成像式和成像式两类。非成像式流式细胞仪虽有高吞吐量但无法提供细胞形态学信息;成像式流式细胞仪虽然能得到细胞的形态学信息,但受传统CCD等面阵列成像传感器的帧率限制,吞吐量不高。针对这一问题,提出并设计了一种基于光学相干检测技术的超快流式细胞定量相位成像系统,其有效线扫描成像速度可达100MHz。细胞成像实验结果表明,设计的实验系统可获取高对比度的细胞定量相位图像以及5万个细胞每秒的理论吞吐量。