首页> 外文OA文献 >CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS

【2h】

CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS

机译：构建验证计划的近似方法的分类

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mihail Dunaev; Andrey Dunaev;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems [J] . Ibrhim Hamada, Khattab Sherif, Elsayed Khaled, Building and Environment . 2020,第Auga期

机译：基于方法的基于方法的校园楼宇自动化系统的最终用户编程规则验证框架
2. An analytical verification test suite for building fabric models in whole building energy simulation programs [J] . Simon J Rees Dongyi Xiao Jeffrey D Spitler ASHRAE Transactions . 2002,第1期

机译：用于整个建筑能耗模拟程序中的建筑织物模型的分析验证测试套件
3. An approximate programming method based on the simplex method for bilevel programming problem [J] . Guangmin Wang, Kejun Zhu, Zhongping Wan Computers & mathematics with applications . 2010,第10期

机译：基于单纯形法的双层规划问题的一种近似编程方法
4. A Verification of the Genetic Programming Method in the Inverse Analysis of Moisture Transport in Building Materials [C] . Jan Koci, Jiri Madera, Robert Cerny International Conference of Numerical Analysis and Applied Mathematics . 2014

机译：建筑材料中水分运输逆分析遗传规划方法的验证
5. SEQUENTIAL QUADRATIC PROGRAMMING METHODS BASED ON APPROXIMATING A PROJECTED HESSIAN MATRIX (UPDATING METHOD, QUASI-NEWTON, NONLINEAR CONSTRAINTS). [D] . GURWITZ, CHAYA BLEICH. 1986

机译：基于逼近投影Hessian矩阵的顺序二次编程方法（更新方法，拟牛顿法，非线性约束）。
6. Building a Patient-Centered Weight Management Program: A Mixed Methods Project to Obtain Patients’ Information Needs and Ideas for Program Structure [O] . Austin Arnold, Erin Holmes, Meagen Rosenthal 2019

机译：建立以患者为中心的体重管理计划：一项混合方法项目以获取患者的信息需求和项目结构构想
7. Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms [O] . Keyur Joshi, Vimuth Fernando, Sasa Misailovic 2020

机译：芦荟：在存在恢复机制的情况下验证近似程序的可靠性
8. Verification Methodology for the DOE-1 Building Energy Analysis Computer Program [R] . Diamond, S. C., Hunn, B. D., McDonald, T. E. 1978

机译：DOE-1建筑能量分析计算机程序的验证方法

CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION PROGRAMS

著录项

引文网络

相似文献

相关主题

期刊订阅