形式推演相关论文
在多级安全数据库中,各种对象的安全标记随着数据库状态的变化而动态变化.系统根据标记生成规则库对各种对象进行标记.论文根据更......
引入了语言真值格值一阶逻辑系统Lv(n×2)F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真......
在多级安全数据库中，各种对象的安全标记随着数据库状态的变化而动态变化。系统根据标记生成规则库对各种对象的进行标记。论文根据......
自动阅卷评分是大规模计算机考试的必然选择，而数学类主观题涉及运算符号、运算步骤、解题方法多样等问题，其自动评分一直制约着考试......
