退出
我的积分:
中文文献批量获取
外文文献批量获取
贾仰理; 张振领; 李舟军;
聊城大学计算机学院,聊城252059;
北京航空航天大学计算机学院,北京100191;
构件; 交互行为; 形式化描述; 自动机;
机译:基于广义概率自动机的语义计算形式化模型
机译:可移动元胞自动机形式化对粘弹性材料非线性力学行为建模的发展
机译:动态输入/输出自动机:动态系统的形式化组成模型
机译:基于电脉冲和蜂窝自动机的传导的心脏模型的形式化
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:细胞自动机模型作为第一个基于模型的β细胞中胰岛素颗粒转运相互作用机制的评估
机译:基于并发理论的连接主义形式化建模,一种基于自动机和模型检查的方法
机译:基于swarm的系统中突发行为预测的形式化方法
机译:用于电视使用中的行为模型聚类,通过模型聚类进行有针对性的广告以及基于行为模型聚类的偏好编程的系统和方法
机译:行为模型生成设备,行为估计设备,行为估计系统,行为模型生成方法,行为估计方法,行为模型生成程序和行为估计程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。