排序方式: 共有57条查询结果,搜索用时 140 毫秒
51.
52.
命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式:最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。 相似文献
53.
54.
<正>近年来,在美国发生的财务造假案导致了安然、世通等跨国大公司的破产,同时也导致了安达信这样一个有着90多年历史的世界级会计师事务所退出了历史舞台。在我国也曾出现"银广厦"、"蓝田股份"、"亿安科技"等坑害中小股民的事件。所有这些事件的发生,在全球引起了各方对民间审计机构诚信问题的探讨,同时也触动了人们对企业内部 相似文献
55.
阴极共沉积Ni(OH)2薄膜在碱淀粉液中的电化学特性 总被引:1,自引:1,他引:0
采用阴极电沉积法在镍基底上制备Ni(OH)薄膜,循环伏安法在1.0mol.dm^-3KOH溶液中测量了薄膜电极的催化析氧特性,沉积Ni(OH)2的薄膜电极比镍基底增加了20mA.cm^-2的析氧电流。在制膜过程中掺杂7%Ce(V/V)得到的复合氢氧化镍薄膜电极在碱溶液中的析氧电流又增加了约20mA.cm^-2,分光光度法和薄层扫描分析法对薄膜进行了成分分析。 相似文献
56.
57.
知识型社会中战略管理的动态与整合研究 总被引:4,自引:0,他引:4
在知识型社会中,寻求战略管理新的动态与整合模式既是企业战略实践的需要,又是构建新的战略管理理论的重要前提.从“知识与服务”入手,探索知识型社会中战略管理的最新动态与最新形态。系统地设计知识战略与服务战略的层次、架构及其整合模式,最后集中研究知识与服务之间的战略互动过程,提出了构成知识与服务互动型战略的三大分战略. 相似文献