王华
- 作品数：8 被引量：9H指数：2
- 供职机构：西北工业大学更多>>
- 发文基金：北京市自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术哲学宗教经济管理航空宇航科学技术更多>>
- 陕西省财政支出管理制度创新研究
- 加强财政支出管理是陕西省财政管理的主要内容,也是实现稳固、平衡陕西财政战略目标的重要手段,这一主题已融入陕西省建设西部经济强省的发展进程中.现阶段,陕西省财政支出'法制化'管理,即在建立规范有序的公共财政运行机制方面,改...
- 王华
- 关键词：财政支出
- 文献传递
- 辩证逻辑的数学化趋势被引量：2
- 2007年
- 本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。其次,简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》,及在纲要指导下建立的《标准命题泛逻辑学》要点,指出该逻辑系统在包容各种辩证矛盾的同时,有效地排除了逻辑矛盾。文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会,希望引起大家的注意。
- 何华灿艾丽蓉王华
- 关键词：人工智能数理辩证逻辑泛逻辑学
- 控制系统可靠性冗余分配方法、装置及系统
- 本发明公开了一种控制系统可靠性冗余分配方法、装置及系统，所述方法包括基于控制系统的可靠性分析模型，以及各功能执行模块的失效率数据，计算出在规定服役时间下的控制系统可靠度；其中，所述可靠性分析模型是通过将控制系统转换成由若...
- 张燕超王华李向东杨雨钱冯蕴雯薛小锋任清华
- 控制系统可靠性冗余分配方法、装置及系统
- 本发明公开了一种控制系统可靠性冗余分配方法、装置及系统，所述方法包括基于控制系统的可靠性分析模型，以及各功能执行模块的失效率数据，计算出在规定服役时间下的控制系统可靠度；其中，所述可靠性分析模型是通过将控制系统转换成由若...
- 张燕超王华李向东杨雨钱冯蕴雯薛小锋任清华
- 西安爱生技术集团公司发展战略研究
- 在我国的无人机行业中，西安爱生技术集团公司(西安无人机研究发展中心)是极具实力的一个实体。公司在无人机领域取得的辉煌成果得到了国家的极大重视和鼓励，1995年被国务院发展研究中心确认为中国最大的无人机科研生产基地，并选入...
- 王华
- 关键词：航空工业无人机企业战略管理SWOT分析
- 文献传递
- 命题泛逻辑学的包容性研究
- 该文的研究结合国家自然科学基金'经验知识推理理论'(60273087)和北京市自然科学基金'不精确推理理论研究'(4032009)进行,主要是研究命题泛逻辑学对其他命题逻辑的包容性,即根据泛逻辑学的生成规则,可以直接生成...
- 王华
- 关键词：泛逻辑二值逻辑三值逻辑模糊逻辑
- 文献传递
- 泛逻辑学原理及其应用研究
- 何华灿张小红艾丽蓉王华薛占熬罗敏霞付利华马盈仓王万森
- 该课题在国际上率先提出泛逻辑概念和泛逻辑学研究纲要，为深入研究泛逻辑学奠定了基础。第一个建立了命题泛逻辑学，给出了它的基本形式演绎系统，部分证明了它的可靠性和完备性。应用成果有泛逻辑神经元、泛逻辑控制器、分形与混沌逻辑、...
- 关键词：
- 关键词：泛逻辑学
- 论第2次数理逻辑革命被引量：4
- 2006年
- 人工智能理论危机暴露了经典数理逻辑的局限性,各种非经典数理逻辑的大量涌现表明,第2次数理逻辑革命已经开始.为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展,为人工智能提供新的逻辑理论基础,提出了第2次数理逻辑革命的总纲领:实现部分辨证逻辑的数学化,建立可包容各种不确定性、矛盾和演化的柔性逻辑学;根据总纲领和逻辑学4要素,提出了革命的若干具体纲领,并指出当前最重要的任务是建立柔性命题逻辑学,它是建立整个柔性逻辑学的基石.根据纲领建立了柔性命题逻辑学,表明它可包容或生成各种命题逻辑.
- 何华灿何智涛王华
- 关键词：泛逻辑学不确定性人工智能理论
