【摘 要】
：
针对公路养护规范长期存在表述不够明确、与实际情况不符等问题,提出了引入数理逻辑改善规范严密性的设想,并重点考察了一阶谓词逻辑、公理系统及论域、合式公式、永真式、解
【机 构】
：
上海城投高速公路运营养护管理中心;
论文部分内容阅读
针对公路养护规范长期存在表述不够明确、与实际情况不符等问题,提出了引入数理逻辑改善规范严密性的设想,并重点考察了一阶谓词逻辑、公理系统及论域、合式公式、永真式、解释、赋值等概念,之后列出规范与数理逻辑相联系的6个特征,尤其是与公理系统三大特征和合式公式解释的永真性的紧密联系,据此表明引入数理逻辑的可行性,随后举规范存在的若干典型问题及其不利影响为例,分析其根源是不符数理逻辑规则。最后探讨了应用,指出可靠性、完备性、独立性在规范中的意义,阐述了总则的公理化、术语中对论域的澄清和划分,给出了规范逻辑结构图的示例,指出了确保谓词变元解释永真的两种途径。
其他文献
建立了基于傅里叶域锁模(FDML)扫频光相干层析(OCT)系统的数值模型,通过对FDML光源中的组件进行建模,利用分步傅里叶法求解非线性薛定谔方程,研究了滤波器带宽对光源强度噪声
地铁运行有两种方式:柔性接触网和第三轨,在轨道和列车车体间的电压会升至90～130V。此外,考虑到接触网掉落搭接在站台门的可能性,站台门需要对于搭接风险下的大短路电流进行泄
学生初学色彩静物临摹会有不尽人意的表现，对此教师要学会“容错”，面对学生在学习过程中出现的错误、问题，要以正确的方式方法帮助学生纠正错误。
阐述检察机关在适用非法证据排除规则的重要作用及存在的司法困境,并拟设计具体的操作程序,增强检察机关在非法证据排除规则中发挥检察监督作用的可操作性。
改革开放30多年以来,中国城市婚姻正面临着一场巨大的挑战,离婚率逐年攀升。观念变革、社会流动日益频繁、个人享乐主义的盛行、越来越简化的离婚程序、妇女社会地位的提高、
目的探讨青藤碱注射液关节内注射对痛风性关节炎的治疗效果。方法选取健康3个月龄2.2～2.5 kg雄性大耳白兔50只,留空白对照A组10只,剩余兔随机平均分为B、C、D、E实验组,每组10
金属矿山的总体安全形势较为严峻,伤亡事故和伤亡人数在逐渐增加,因此对存在的安全隐患进行安全管理尤为重要。传统的管理技术和手段落后,很难适应矿井灾害事故的复杂多变条
本文首先对舰船通信和通信对抗一体化系统及效能简析,进而对系统效能用蒙特卡洛法评估。
英语参考书有各自的正误信息,正误句并列及各句首相对应的正误信息符号是其基本表现形式。英语参考书的正误信息一般是语言学信息,正误信息范畴设定大同小异,正误词典的词条
深入推动习近平新时代中国特色社会主义思想＂进课堂、进教材、进头脑＂是高校思想政治理论课的重要任务,＂进头脑＂是＂三进＂工作的核心和目的。人类命运共同体思想作为马克思主义理论