退出
我的积分:
中文文献批量获取
外文文献批量获取
王海洋; 段振华; 田聪;
西安电子科技大学计算理论与技术研究所;
陕西西安710071;
综合业务网理论及关键技术国家重点实验室(西安电子科技大学);
交替投影时序逻辑; 多智能体系统; 模型检测;
机译:使用APTL的模型检查多主体系统
机译:用于业务模型验证的混合智能决策支持系统的设计原则
机译:基于氯化钠/氯化镍电池的蓄电系统:用于电池电参数评估的数学模型已在真正的智能微电网应用中得到验证
机译:验证多智能体行人模拟器SimTread:通过与测得的流量系数进行比较并将其应用于模型计划
机译:验证番茄开发模型,以将其集成到用于智能温室管理的计算机控制系统中
机译:使用透射检测器和基于模型的剂量验证系统作为VMAT计划的全面预处理QA工具进行DVH分析:临床经验和结果
机译:APTL中的分布式实时系统规范和验证
机译:混凝土桥面板劣化模型的开发和验证:第1阶段:人工智能模型和桥梁管理系统。
机译:基于人工智能级模型验证的基于人工智能类模型验证的编码课程的方法,装置和计算机程序
机译:使用平面波模型的共形表面麦克风阵列声波检测器的信号处理方法,使用平面波模型的共形表面等离子体天线盘形等离子体的共形表面声波,使用平面波模型的共形表面声波图像检测器模型
机译:用于验证人工智能模型的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。