国家自然科学基金(61003014F020101)
- 作品数：2 被引量：5H指数：1
- 相关作者：江敏徐明迪吴怀广张帆刘楚更多>>
- 相关机构：厦门大学郑州轻工业学院武汉数字工程研究所更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金杰出青年团队项目武器装备预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 带消解的联结主义计算模型
- 2012年
- 神经-符号系统建立是为了将符号逻辑系统和联结主义系统进行统一,以实现符号运算和数值计算之间的对应和转化,因此构造出相应的联结主义系统以适应符号逻辑系统的推理规则具有十分重要的意义。本文以联结主义系统中的核方法(Core Method)为基础,定义了一组网络结构转化规则,通过神经网络自适应结构调整的方法来使核方法满足命题逻辑中归结原理这一经典的符号推理方法。改进的核方法在不仅在数值上与命题逻辑具有对应关系而且在网络结构上也有相似的规则。文章最后提出了关于核方法的神经网络中输入层和输出层的数值迭代规律的猜想,希望能够通过观察变量指派在实数空间的收敛情况来发现该网络对应在符号逻辑系统中的规律。?
- 刘楚江敏周昌乐张俊松
- 关键词：核方法符号逻辑
- 一种基于无干扰的软件动态行为可信性分析方法被引量：5
- 2012年
- 软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。
- 张帆江敏吴怀广徐明迪
- 关键词：可信计算无干扰信息流
