基于不变签名和逻辑推理的自动建筑规范符合性检查模型验证

{"title":"基于不变签名和逻辑推理的自动建筑规范符合性检查模型验证","authors":"Jin Wu, Jiansong Zhang","doi":"10.1061/(asce)cp.1943-5487.0001002","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":50221,"journal":{"name":"Journal of Computing in Civil Engineering","volume":"112 1","pages":""},"PeriodicalIF":4.7000,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Model Validation Using Invariant Signatures and Logic-Based Inference for Automated Building Code Compliance Checking\",\"authors\":\"Jin Wu, Jiansong Zhang\",\"doi\":\"10.1061/(asce)cp.1943-5487.0001002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":50221,\"journal\":{\"name\":\"Journal of Computing in Civil Engineering\",\"volume\":\"112 1\",\"pages\":\"\"},\"PeriodicalIF\":4.7000,\"publicationDate\":\"2022-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Computing in Civil Engineering\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.1061/(asce)cp.1943-5487.0001002\",\"RegionNum\":2,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computing in Civil Engineering","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.1061/(asce)cp.1943-5487.0001002","RegionNum":2,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}