退出
我的积分:
中文文献批量获取
外文文献批量获取
袁红亮; 胡义;
中国电建集团西北勘测设计研究院有限公司;
空气动力场; 尾流模型; Meteodyn WT;
机译:验证风力涡轮机尾流模型,重点是动态尾流曲折模型
机译:基于混合模型的软件可靠性测试数据生成方法
机译:风电场测试数据以及风电场输出的地形和尾流模型评估
机译:水动力湍流尾流的模型和全尺寸预测,包括模型尺寸验证。
机译:基于定量连续模型的DNA混合物解释开源软件的开发和验证
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:基于组件模型的虚拟软件平台的生成方法,使用该模型的软件平台体系结构的验证方法及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。