国家自然科学基金面上项目 挑射流冲刷特性及其比尺效应研究(项目批准号:51879129)

<正>长期以来,挑流消能工的设计一直是水利水电工程泄洪消能领域关心的核心问题之一。挑流消能是传统三大消能方式之一,对于以"高水头、深峡谷、大流量"为特征的高坝水利水电工程建设,尤为重要。挑流消能下游河道的冲刷设计,一直是水利水电工程泄水建筑物水力学的重要问题,直接关系到工程的经济和安全。由于来流受几何比尺、掺气、裂散、速度等的影响,下游河道冲刷受水深、模拟材料、床沙粒径等的影响,利用物理模型试验得到的冲刷相关成果,存在显著的比尺效应。本项研究的目标是在     

国家自然科学基金项目 非绕轴对称岩质巷道的收敛约束法及支护优化研究(项目批准号:51769016)

<正>经典收敛约束法以圆形巷道受均匀地应力作用即绕轴对称条件为基础,与实际侧压力系数不等于1、非圆断面等工程实践明显不符,易造成支护结构设计不当。本项目对经典收敛约束法进行非绕轴对称拓展研究,首先构建综合5种因素影响的非绕轴对称围岩特征曲线的理论解答,同时开展室内非绕轴对巷道开挖模型试验,包括两种情况:圆形巷道受不等地应力、直墙圆拱巷道受等值地应力,测得洞壁及     

支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.     

国家自然科学基金资助项目非营利组织与企业间信任的形成及对合作绩效的影响研究(项目批准号:71462026)

<正>非营利组织在发挥多样化社会功能的同时,也面临着"资源"与"能力"的双重约束,对此,非营利组织开始在市场领域中寻求与企业建立合作关系,以此作为它们资源获取和能力提升的重要选择。与此同时,在规范理性和经济理性的双重动机驱使下,越来越多的企业开始寻求与非营利组织建立合作关     

南昌工程学院科研项目介绍 国家自然科学基金项目煤系软岩力学特性及其边坡失稳机理宏细观研究(项目批准号:52068053)

<正>煤系地层软岩边坡遇水极易风化、崩解,是一种工程性能较差的特殊岩体,在降雨条件下这种煤系软岩体极易造成边坡塌方,影响道路通行,部分边坡出现大的垮塌,中断交通,甚至造成车毁人亡的重大安全事故。因此,如何有效的对煤系地层软岩边坡进行科学设计与施工是摆在广大科技工作者和建设者面前的一大技术难题。     

基于案例推理(CBR)的工程造价估算研究

对基于案例的推理的研究方法做了进一步的探讨与分析,并以工程造价估算为主题,就案例表示与组织及应用提出了自己的看法.     

结构逻辑(SL)及其对并行机器的描述

本文首先介绍了结构逻辑(SL)以及其对几种并行模型的描述,然后讨论了并行程序的自动综合和正确性证明。最后用结构逻辑刻划了扩展Petri-网中计算模型并发性。     

基于案例推理的技术研究

从基于案例的推理技术理论出发,在Navinchandra,Bardasz,ZeidI等学者提出设计案例表示方法的基础上,给出一种在CBR系统中采用面向对象的方法进行案例表示的方法,同时,对CBR系统的关键技术案例的表示和案例的组织与检索也做了比较详尽的介绍和讨论.     

基于案例推理的技术研究

从基于案例的推理技术理论出发，在Navinchandra，Bardasz，ZeidI等学者提出设计案例表示方法的基础上，给出一种在CBR系统中采用面向对象的方法进行案例表示的方法，同时，对CBR系统的关键技术案例的表示和案例的组织与检索也做了比较详尽的介绍和讨论。     

基于案例推理的技术研究

从基于案例的推理技术理论出发,在 Navinchandra,Bardasz,ZeidI 等学者提出设计案例表示方法的基础上,给出一种在 CBR 系统中采用面向对象的方法进行案例表示的方法,同时,对 CBR 系统的关键技术案例的表示和案例的组织与检索也做了比较详尽的介绍和讨论。     

基于OBDD的描述逻辑SHOIQ判定算法研究与实现

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定....     

系统辨识(2):系统描述的基本模型

控制是一切科学问题的核心.数学模型是一切控制问题的基础.事物的运动规律用方程描述就是数学模型.不同学科的发展就是建立其数学模型的过程.本文首次把线性动态系统数学模型分为三类:时间序列模型,方程误差类模型,输出误差类模型;详细介绍了线性系统的一些基本数学模型,包括连续系统离散化和模型等价变换,单输入单输出随机系统模型,多变量系统模型,类多变量系统模型,多输入和多输出系统模型(传递函数阵主模型、子模型、子子模型,多输入单输出系统模型,单输入多输出系统模型等).     

国家自然科学基金青年基金资助项目 矿山废水污染河道底栖生物多样性特征及其标志物效应研究(项目编号:51209115)

<正>生物监测由于能对污染物低剂量长期暴露的早期损伤做出预警,能对个体、种群、群落或生态系统水平上的影响作出预报,近年来已成为国内外研究热点之一。鄱阳湖是中国第一大淡水湖,由于其独特的自然地理、水文情势、生态环境条件,繁衍了极其丰富的生物多样性,蕴藏着珍贵的物种基因,是我国陆地淡水生态系统中的重要物种基因库,也是世界六大著名湿地之一。然而,鄱阳湖流域内矿产资源丰富,比如乐安河中下游的德兴铜矿、信江中游的永平铜矿等等,这些矿产在提供资源的同时,也伴随着大     

基于贝叶斯网络推理的项目群风险及其演化研究

本文探讨了集群环境下的群风险问题,从复杂系统理论出发,遵从认识发展的辩证规律,提出了基于"群"视角的风险管理理论框架,并应用贝叶斯网络推理进行了群风险演化分析.同时,结合项目群给出了应用实例,对项目群环境下实现高效的风险管理进行了有益的探索.     

基于OBDD的装配序列自动推理技术研究

根据从CAD系统中直接获得的产品装配模型的数据，来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证，实现了可行装配序列推理的自动化。通过对例子的分析，表明基于OBDD的装配序列自动推理技术是可行和正确的，它为装配体的装配序列的推理提供了一种切实可行的新方法。     

基于OBDD的装配序列自动推理技术研究

根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证,实现了可行装配序列推理的自动化。通过对例子的分析,表明基于OBDD的装配序列自动推理技术是可行和正确的,它为装配体的装配序列的推理提供了一种切实可行的新方法。