面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

企业战略研究方法论的综合集成与创新——概念框架与初步的理论假设

基于系统概念与系统方法论的新进展 :系统隐喻、系统方法论的系统体系及“全面系统干预”,提出了对企业战略各学派的研究方法论 (简称企业战略研究方法论 )综合集成与创新的总思路、概念框架及初步的理论假设 ,以克服企业战略研究方法论在实践中遇到的困难.     

国外创新生态系统的研究进展与理论反思

国外创新生态系统的理论研究进展迅速,具体应用初见端倪。在梳理国外创新生态系统研究新进展的基础上,理清创新生态系统作为企业间协作环境和创新型商业环境的概念框架,剖析创新生态系统在智慧专业化、智慧城市两个领域的具体应用,对创新生态系统理论前瞻进行反思,辩护创新生态系统之所以成为一个独立概念的合理性及其可能条件。     

岩体粗糙单裂隙流体渗流机制的实验研究

岩体的天然裂隙结构与渗流行为异常复杂,岩体裂隙渗流机制与定量描述一直是岩土、矿业、地质、石油及天然气工程高度关注的难点问题．为了探究岩体粗糙裂隙的渗流机制和粗糙结构的影响,本文通过岩体单裂隙物理模型的水渗流实验,利用Weierstrass-Mandelbrot分形函数和PMMA材料制作了不同分形维数粗糙单裂隙的物理模型,利用高速摄相机记录了粗糙裂隙水渗流的全过程,分析了水渗流性质随裂隙粗糙性的变化规律及粗糙结构对渗流机制的影响,阐述了粗糙结构中水渗流的流动阻力构成,建立了水流阻力与裂隙粗糙性关系的分形模型,提出了粗糙单裂隙分形等效渗透系数和计算公式,为理解和定量描述岩体粗糙单裂隙渗流性质及其与裂隙结构之间的关系提供了实验依据和参考．     

太湖流域台风与梅雨遭遇概率分析

台风与梅雨遭遇的可能程度及其后果对太湖流域设计暴雨调整、洪水资源利用方案制定与防洪实时调度决策具有重要意义.基于现有研究成果对遭遇现象产生过程的描述,选择＂台风影响太湖流域的时间＂与＂入梅时间＂和＂出梅时间＂分别作为刻画台风与梅雨现象的指标,依据1954～2009年台风与梅雨同步数据资料,在确定上述3个变量分布函数的基础上,给出了台风与梅雨遭遇的概率表达式;针对表达式的复杂性特点和求解需要,综合对比阿基米德copula函数族中3个函数的适应性后,以Gumbel Copula作为连接函数构造了台风与梅雨遭遇的联合分布函数;进而采用数值积分与蒙特卡洛2种方法对表达式（台风与梅雨遭遇的概率）进行了求解,最后对计算结果的合理性进行了分析.     

输电线路覆冰形状自动识别与参数描述方法

为实现输电线路覆冰形状分类识别和参数化描述的全自动过程,针对现有研究中冰形定义不准确、描述不统一的不足,提出一种基于偏心椭圆方程的常见冰形统一参数描述方法,该方法考虑了覆冰表面不对称性和导线扭转的影响.对于不规则的真实覆冰,建立了冰形自动化识别系统,通过内点法计算最优冰形参数,并采用预先学习的支持向量机模型对识别结果进...     

汉语成语中的空间量研究

成语中的空间量有大与小、客观与主观、明确与模糊、具体与抽象等种类;在一条成语中,空间量常与其他某一种量(物量、时间量、动量或程度量)搭配;成语描写空间量具有显著性与隐蔽性、静态性与动态性、借具体的空间量表达抽象的空间量、属性相同的或相反的空间量配用、空间量形成对比等特点;空间量具有语义、语法和语用等作用;抽象空间量的表达得力于隐喻;成语描写空间量有词汇、语法和修辞三大手段。     

概念设计产品表示模型研究

给出设计特征、功能转换传递元等概念,对FTU的结构表示和FTU的结构组合进行了描述.在已提出的概念设计产品基于原型构件-原型接合的层次P/T模型的基础上,建立了带能量流动关系的概念设计产品P/T模型.采用有向图来表示FTU结构单元之间的能量流动关系,从而建立起完善的概念设计产品结构模型.     

基于UML的武器装备体系需求描述

为克服用户和分析设计人员间的交流障碍,保证武器装备需求的正确性和可操作性,在给出武器装备体系需求分析过程的基础上,分析了利用UML对武器装备体系进行需求描述的方法和步骤。以海上目标监视与打击体系为例,给出利用UML中的用例图、类图、活动图、协作图对体系顶层需求进行描述的方法。结果表明利用UML进行需求描述可确定为满足需求所需的关键系统及其相互关系,描述过程完整、易于理解和操作。     

基于数据场联合PRI变换与聚类的雷达信号分选

基于脉冲描述字进行雷达信号分选时,传统聚类算法需要预先人工设定聚类中心和聚类数目。针对该问题,提出一种基于数据场理论联合脉冲重复间隔(pulse repetition interval,PRI)变换与聚类的雷达信号分选新方法。首先,依据数据场理论,基于势值大小实现干扰点剔除,而后利用PRI变换算法进行PRI估计,依据PRI估计值将归一化脉冲描述字数据预分类,进而以各类数据集中心间的欧氏距离小于辐射因子为准则进行类别合并,自动得到初始聚类中心和聚类数目,最后通过改进K-Means算法完成聚类分选。仿真实验表明:所提方法能够应对存在频率捷变,重频参差、抖动、参数交叠、局部脉冲丢失的复杂信号环境,分选正确率明显提升。