退出
我的积分:
中文文献批量获取
外文文献批量获取
郝国舜; 马世龙; 眭跃飞;
北京航空航天大学;
软件开发环境国家重点实验室;
北京;
100191;
中科院计算所;
智能信息处理重点实验室;
北京100080;
动态描述逻辑; 模态逻辑; 动态逻辑; Tableau算法;
机译:基于位置的粒子系统动态:一种可配置的算法,用于描述从群机器人学的连续材料复杂行为
机译:TRACK:一种用于容错,动态和可扩展的2D网状片上网络路由重新配置的算法
机译:原型设计一种集中式异构无线传感器网络的可扩展P系统启发动态任务分配算法
机译:一种简洁的动态认知逻辑语言
机译:开发一种有效的都会区停泊MCMC算法的建议分布,用于描述油层描述和产量预测的不确定性
机译:一种模糊逻辑语言用于编码生物分子中的多种物理特征
机译:摘要—在本文中,我们描述了分而治之SLAM(D&C SLAM),这是一种使用扩展Kalman执行同时定位和映射的算法
机译:用前馈神经网络的扩展卡尔曼滤波器学习算法描述示踪剂相关性
机译:(54)标题:平面天线阵列和使用其的制造物品(57)摘要:公开了一种平面天线阵列(10)和使用该阵列天线的制品。在一个实施例中,密排天线元件(14)设置在基板(12)上,编号为N,其中N = 3x,并且x是正整数。每个密排天线元件(14)包括基本上连续的光子换能器(16),其布置为具有六匝(20A,20B,20C,20D,20E,20F)的向外扩展的大体对数螺旋(18)。每个向外扩展的大致对数螺旋(18)可以是金色螺旋。作为制品,例如,可以将平面天线阵列(10)结合到诸如蜂窝电话(40)之类的芯片(30)或衣物(50)中。
机译:一种计算机支持的方法,系统和计算机程序,用于提供直观的用户界面和算法,以利用分配算法来创建动态花名册,以利用分配算法来执行工作人员对任务的分配任务
机译:消除风险色轮采用一种直观的方法来描述使用动态色轮的合理性得分(J)。这些色轮还通过数字和描述性术语进行了补充。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。