规则检查相关论文
摘要：论文阐述了类型转换所要遵守的规则，介绍此类问题的表现形式、种类，规则检查时的分析要点，并列举了一则航天型号软件中所发生的案......
在计算机系统中,驱动程序相当于操作系统和底层硬件的交互纽带,其正确性不容忽视。以Linux内核网卡驱动程序为主要分析对象,通过对......
为了提高航班计划正确性和完整性的自动检查和分析能力，在分析航班计划编排特点的基础上，给出了基于有限自动机的航班计划句法检查技......
目前,基于规则检查的BIM模型评估,或者说工程数字化审核在国内外越来越受到重视。然而,相比于国外,我国基于信息技术的BIM模型自动......
建筑的多样化需求带来建筑形象,功能,技术的差异化和市场细分,最终促成建筑设计的专业化发展。在面临建筑设计的诸多诉求下,以几何......
传统表面贴装生产中,制造人员在印刷电路板(PCB)生产之前需要对其进行反复试贴装以确保可制造性。而随着PCB组件复杂性的增强和电......
随着可持续建造理念的提出,一些国家已经出台了绿色施工相关的标准和规范,并以此来指导绿色施工。绿色施工的评价是相关从业人员的......
