退出
我的积分:
中文文献批量获取
外文文献批量获取
马华东; 刘慎权;
中国科学院计算技术研究所CAD开放实验室;
北京;
100080;
时序逻辑; 动画描述模型; 动画语言;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:基于Internet的产品设计的基于性能的智能资源描述模型
机译:被监禁成年男性放火枪的犯罪链的描述模型(成年男性放火的描述模型)
机译:面向仿真的动画描述模型
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于线性时序逻辑(LTL)的智能制造系统监控
机译:动画话语中言语幽默的发展 ud(基于XX至XXI世纪的英语动画电影。)(动画话语中言语幽默的演变 ud(基于讲英语 ud的材料XX-XXI的动画电影c。)
机译:基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。
机译:将基于帧的动画转换为基于插值器的动画并渲染动画的系统和方法
机译:交通信息描述模型建立方法,交通信息元素知识库生成方法,交通信息转换方法,交通信息描述模型建立设备,交通信息元素知识库生成设备和交通信息转换设备
机译:用于使USB设备作为事物Internet(物联网)设备的方法和系统,基于事项描述模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。