退出
我的积分:
中文文献批量获取
外文文献批量获取
董杨鑫; 郑建宏;
400065,重庆,重庆邮电大学,通信与信息工程学院;
技术的MMC卡; OpenVera; RVM; 验证模型;
机译:生态学中基于个人的模型的面向上下文的模型验证:一种用于验证定性,组成和定量特征的层次结构方法
机译:基于分散的基于SSI的信用评分数据的可验证凭证证明生成和验证模型
机译:预测模型的发展与验证,估算了现代统计学学习方法的10年全导致死亡风险:基于大量的基于人口的队列研究和外部验证
机译:支持基于模型的开发,具有明确的规格,正式验证和正确搭建的嵌入式软件
机译:一种使用模糊模拟隔离基于规则的模糊模型和定量模型之间的不一致知识的模型验证方法
机译:可重复小型细胞肺癌预后模型的开发与验证:基于大量的基于人口的队列研究和外部验证
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:使用符号模型验证器(smV)进行基于模型验证的实践问题研究
机译:基于人工智能级模型验证的基于人工智能类模型验证的编码课程的方法,装置和计算机程序
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:使用基于策略的模型到模型的转换和验证技术的基于服务的流程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。