退出
我的积分:
中文文献批量获取
外文文献批量获取
罗玲; 段振华;
西安电子科技大学计算理论与技术研究所,710071,西安;
西安电子科技大学ISN国家重点实验室,710071,西安;
π演算; 时间相关移动并发系统; 形式化建模; 推演;
机译:带余数的尾部演算,无限阶移动平均的尾部扩展应用,随机停止的求和以及相关主题
机译:基于分数演算理论的考虑频率相关参数的多导体输电线路系统的宽带建模和瞬态分析
机译:基于广义扩展理论的线性时变系统(线性算子)的时频传递函数演算(符号演算)[综述]
机译:基于UML形式化的构造型推演算法及其在地理信息系统中的应用
机译:对时间序列数据进行快速且可扩展的相似性和相关性查询。
机译:信标演算:一种灵活简洁的生物系统建模的正式方法
机译:基于UML形式主义的刻板印象推演算法及其在地理信息系统中的应用
机译:移动机器人视觉系统的并发算法
机译:通过分析多个语音单元帧并对时间和空间相关性进行建模的基于段的语音识别设备和方法
机译:使用膜演算为自动化系统的动态协调逻辑建模的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。