西北工业大学基础研究基金(W018101)

作品数：37被引量：179H指数：7
导出分析报告
相关作者：吴艳辉楚武利何华灿张皓光艾丽蓉更多>>
相关机构：西北工业大学西安科技大学西安工程大学河南工业大学更多>>
相关期刊：《力学进展》《计算机仿真》《计算机技术与发展》《计算机工程与应用》更多>>
相关主题：数值模拟泛逻辑轴流压气机压气机离心泵更多>>
相关领域：自动化与计算机技术航空宇航科学技术理学机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多分类器系统的泛组合规则研究与应用被引量：1
《计算机工程与应用》2012年第17期48-52,共5页贾澎涛 何华灿 
西安科技大学博士基金(No.A5030606);西北工业大学基础研究基金(No.W018101)
现有的多分类器系统采用固定的组合算子,适用性较差。将泛逻辑的柔性化思想引入多分类器系统中,应用泛组合运算模型建立了泛组合规则。泛组合规则采用遗传算法进行参数估计,对并行结构的多分类器系统具有良好的适用性。在时间序列数据...
关键词：泛组合规则 多分类器系统 泛组合运算模型 遗传算法 
基于柔性逻辑的智能控制器设计与仿真
《计算机仿真》2012年第2期180-183,244,共5页刘丽 
华北电力大学科研基金资助项目(200812010);西北工业大学基础研究基金(W018101);陕西省教育厅专项科研项目(07JK255)
研究倒立摆复杂系统优化控制问题,传统优化控制要建立精确数学模型,但与实际不符。对复杂系统采用具有认知和仿人功能、适应不确定环境等特性的智能控制方法较传统控制方法更具优势。为此,提出一种柔性泛逻辑学的智能控制模型,具有三个...
关键词：智能控制 泛逻辑学 相关性 倒立摆 
不等权泛平均运算模型研究被引量：1
《计算机科学》2011年第10期215-219,共5页贾澎涛 何华灿 
西安科技大学博士基金(A5030606);西北工业大学基础研究基金(W018101)资助
泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的。鉴于现有的泛平均运算模型描述的是一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指出加权算术平均算子、加权...
关键词：泛逻辑学 不等权泛平均运算模型 广义加权平均运算模型 
基于零级泛与运算的谓词形式系统及其完备性被引量：1
《小型微型计算机系统》2011年第10期2105-2108,共4页马盈仓 何华灿 
国家自然科学基金项目(60273087,60575034)资助;陕西省教育厅专项科研计划项目(2010JK567)资助;西北工业大学基础研究基金项目(W018101)资助
泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词...
关键词：泛逻辑 谓词演算形式系统 泛与运算 
基于共享内存的Xen虚拟机间通信的研究被引量：11
《计算机技术与发展》2011年第7期5-8,12,共5页朱团结 艾丽蓉 
国家自然科学基金(60273087);西北工业大学基础研究基金(W018101);陕西省自然科学基金(SJ08F25)
当虚拟机技术应用在服务器整合等领域时,虚拟机之间的通信会非常频繁,虚拟机本身的通信机制将成为瓶颈。目前,在Xen中不同的虚拟机间进行通信时,不仅通信路径长,而且虚拟机间的切换会造成很大的性能开销。在深入研究Xen虚拟机通信机制...
关键词：虚拟机 通信 XEN 共享内存 带宽 
基于同步和异步时间管理的混合时间管理算法被引量：2
《计算机技术与发展》2011年第7期32-35,共4页龚爱珍 艾丽蓉 王琼 
国家自然科学基金(60273087);西北工业大学基础研究基金(W018101);陕西省自然科学基金(SJ08F25)
基于HLA的并行分布式仿真是目前仿真的一种趋势。HLA的接口规范中定义了六类服务,其中时间管理服务是保证联邦成员之间正确交互的基础。时间管理服务保证了在仿真过程中所发生的事件在逻辑上的正确性,以及所发送的消息在逻辑上的有序性...
关键词：异步时间管理 同步时间管理 混合时间管理 并行分布式仿真 
基于HLA的分布式仿真中负载平衡的研究被引量：2
《计算机技术与发展》2011年第6期119-121,144,共4页王琼 艾丽蓉 龚爱珍 
国家自然科学基金(60273087);陕西省自然科学基金(SJ08F25);西北工业大学基础研究基金(W018101)
随着基于HLA的分布式仿真实现技术的日益成熟,对于仿真的效率和精确性的要求也越来越高。大规模的分布式仿真中,负载平衡成为影响仿真效率和正确性的关键问题,然而HLA本身并未提供负载平衡机制。在对负载平衡问题和HLA深入研究的基础上,...
关键词：HLA 分布式仿真 负载平衡 
谓词形式系统UL_h^-∈[0.75,1]及其可靠性
《计算机科学》2011年第5期178-180,223,共4页马盈仓 何华灿 
国家自然科学基金(60273087;60575034);陕西省教育厅专项科研计划项目(2010JK567);西北工业大学基础研究基金(W018101)资助
对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。
关键词：泛逻辑 谓词演算形式系统 泛与运算 
基于零级泛与运算的谓词形式系统及其可靠性被引量：2
《计算机应用研究》2011年第1期84-86,101,共4页马盈仓 何华灿 
国家自然科学基金资助项目(60273087;60575034);陕西省教育厅专项科研计划资助项目(2010JK567);西北工业大学基础研究基金资助项目(W018101)
对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保...
关键词：泛逻辑 谓词演算形式系统 泛与运算 
谓词形式系统UL_(hε[0.75,1])^-及其完备性
《计算机工程与应用》2010年第34期17-20,共4页马盈仓 何华灿 
国家自然科学基金(No.60273087;No.60575034);陕西省教育厅专项科研计划项目(No.2010JK567);西北工业大学基础研究基金(No.W018101)~~
主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语...
关键词：泛逻辑 谓词演算形式系统 泛与运算 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部