退出
我的积分:
中文文献批量获取
外文文献批量获取
逄涛; 段振华; 刘晓芳;
西安电子科技大学计算理论与技术研究所;
陕西西安710071;
综合业务网理论与关键技术国家重点实验室(西安电子科技大学);
符号模型检测; 时序逻辑; 模型检测器; 嵌入式系统验证;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:使用所需符号估计的仿射投影盲多用户检测器
机译:命题投影时间逻辑的符号模型检查
机译:使用重叠投影进行近似符号模型检查。
机译:在...公式... ...公式... ...公式..中包含相同味道的相反符号双扩散子对射流和大的缺失横向动量的事件中搜索新现象。 。与ATLAS检测器发生碰撞
机译:从线性时序逻辑属性到命题重写
机译:使用重叠投影的近似符号模型检验。
机译:正交调幅信号解调器,具有选择单元,可以从通过将接收到的矢量信号投影到星座图上而获得的符号中选择误差率最低的符号,以及在信号基上最可能跟随的另一个符号
机译:用于管理虚拟模型的自由度的图形界面系统,具有处理单元,其控制模型的所选单元的显示以及在屏幕的一个窗口中指示所选单元的自由度的符号。
机译:在多载波的多输入导频系统中将一个或多个带有符号的方法和装置放置在多载波中。移动台;传输带有符号导频的一个或多个的系统;计算机程序和一组集成电路的产品,用于在一个导频系统中放置一个或多个带符号的多输入多载波多输出(MIMO)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。