高阶逻辑

基于高阶逻辑的复杂结构数据半监督聚类

Semi-supervised Clustering of Complex Structured Data Based on Higher-order Logic

基于高阶逻辑的硬件验证方法

Hardware specification and verification using higher-order logic

该方法以高阶逻辑为规范语言，利用trace模型来描述协议的行为，并假设系统中存在强攻击者和理想加密系统。

Strong spy and ideal encryption are assumed , and trace model is used to define protocols ' behaviors .

基于高阶逻辑系统HOL的数字硬件形式化验证

Formal Verification of Digital Hardware Based on HOL

我们采用Hoare风格的推导方式，使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略。

Our proof framework supports Hoare-logic style reasoning . In addition , we use high-order logic to describe both operational semantics and safety policy .

依照系统生物学观点，建立基因组的网络模型，特别是建立含高阶逻辑的逻辑网络，通过逻辑因果性分析阐述拟南芥生理反应的机理有重要的意义。

From the system biology point of view , it is significant to make clear the reaction mechanism in Arabidopsis by the construction of the gene network model , especially the logic network with the higher-order logic , and the analysis of the causal relationships among genes .