【摘 要】
：
现阶段,机器人嵌入式系统普遍存在封闭、动态演化性差的问题。针对此种情况,着力于机器人嵌入式系统的改进,以机器人与软件人合一机制为基础,搭建了以附体软件人为控制中心的机器人系统架构,重点对合一机制下的附体软件人进行了研究。首先,以机器知行学理论为引导,提出了软件人知行模型和相应的行为规范;然后,构造了附体软件人的体系结构,并以软件人知行模型为基础对其进行了设计;最后,将理论研究工作物化为一种非线性节
【机 构】
：
辽宁工程技术大学软件学院,北京科技大学计算机与通信工程学院,北京电子科技学院
论文部分内容阅读
现阶段,机器人嵌入式系统普遍存在封闭、动态演化性差的问题。针对此种情况,着力于机器人嵌入式系统的改进,以机器人与软件人合一机制为基础,搭建了以附体软件人为控制中心的机器人系统架构,重点对合一机制下的附体软件人进行了研究。首先,以机器知行学理论为引导,提出了软件人知行模型和相应的行为规范;然后,构造了附体软件人的体系结构,并以软件人知行模型为基础对其进行了设计;最后,将理论研究工作物化为一种非线性节点探测机器人进行了应用。实践证明,改造后以附体软件人为控制中心的机器人系统能实现任务的动态、实时更替,且
其他文献
目前存在的大多数基于QoS(quality of service)的Web服务选择方案都忽略了服务之间的关联关系,认为服务之间是相互独立的,使得组合服务的结果与实际有所偏差。为了提高组合Web服务QoS的精确性,考虑到服务之间的关联关系对组合服务质量的影响,分别对服务之间的接口关联、业务关联和统计关联三种关联关系进行研究,提出了一种基于关联度的关联服务集合发现方法,将支持服务关联的选择问题转换为混
简要介绍了下一代光接入网络上构建安全的虚拟专网存在的挑战以及网络编码的特性,重点研究基于网络编码构建安全多虚拟专网的机制。依据提出的机制,多个安全的虚拟专网可以在无源光网络的下一代光接入网络的主要实现形式上独立构建。最后分析了提出的虚拟专网机制,提高了下行数据传输吞吐量。
在基于纠删码技术的云存储系统中,如何选择合适的存储节点来放置经编码生成的多个冗余数据块、有效保证数据的容错性是云存储系统面临的一大挑战。提出的CHGDPS(consistent hash and greedy data placement algorithm based on sets)算法在基于划分集合的思想上,将一致性hash方法与贪婪算法相结合,极大地减少了数据传输时间。实验结果表明,该算法
旁路转换缓冲器(TLB)是内存管理单元中加速虚拟页号到物理页号转换过程的核心部件。基于程序连续页面分配访问的局部性特征,提出一种基于连续页面归并回收的TLB地址映射框架。在基于两路组相联结构的Main TLB基础上,设计一个用于合并回收页面的RTLB,当Main TLB由于地址映射块冲突发生替换时,检查Main TLB中是否存在与旧翻译信息的虚拟页号(VPN)、物理页号(PPN)都连续的表项,并临
针对传统加密方案中密钥管理困难的问题,提出了一个新的通过指纹管理密钥的密钥绑定方案。该方案通过BioHashing方法得到用户指纹特征的二进制序列,对得到的序列执行一个改进的洗牌算法进行置乱,最后通过Fuzzy Vault方案将特征值与密钥进行绑定。仿真分析表明,利用Fuzzy Vault方案的容错机制和BCH码的纠错机制,该方案可以在保证指纹信息安全的情况下正确恢复密钥。同时,改进的洗牌算法实现
针对正交频分复用系统对同步偏差的敏感性,设计了两种同时具备频偏估计能力的新训练序列,并给出了相应的定时尺度函数和频偏估计函数。利用训练序列的共轭对称性及部分数据的运算符号相反的特性,进行相关运算得到定时估计值和频偏估计值。理论分析和仿真结果表明,新训练序列的定时尺度非常尖锐,且不受循环前缀长度的影响;在加性高斯白噪声环境下,定时估计均值和均方误差均为零,实现了精确的定时同步;新频偏估计函数在保持了
为了满足现代电子商务和电子政务的高性能需求,提出一种高效的分级群签名方案。方案通过对椭圆曲线签名方案进行改进,避免了耗时的模逆、模乘运算,并减少了一次点乘运算,提高了签名和验证算法的效率。在此基础上构造了一个高效的群签名方案,引入消息等级表,提出了一个基于椭圆曲线的高效分级群签名方案。经分析表明,该方案大大缩短了分级群签名和验证的时间,与现有方案相比,具有更高的效率和安全性,同时具有椭圆曲线密码体
针对现有的基于物理干扰模型的数据聚集调度近似算法具有较高的延时问题,提出了一种改进的传输能量固定的数据聚集调度近似算法。该算法首先根据节点的通信半径构造一个网络通信图,然后在该通信图中构造一棵数据聚集树,使节点根据数据聚集树分层进行数据调度。在数据调度过程中,首先将整个网络划分为若干个圆形区域,然后对各个区域进行着色,最后对颜色相同的区域同时进行节点的数据调度。理论分析表明,该算法的延时上界为(X
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法。以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果
针对如何在自私性移动机会网络中进行高效的数据转发,提出了基于节点社会合作度的转发机制。该算法通过研究用户运动的社会特性,利用经济学中的节点信任等级的方式解决网络中存在自私节点的问题,并通过综合评价节点的用户相似度、信任度和缓存等信息,选择社会合作度大的中间代理进行数据的转发,使信息始终沿着网络中社会合作度高的方向传输。仿真结果表明,该机制可以有效提高消息的传输成功率,相对降低网络延迟,减小网络资源