基于局域波分解的大系统派生模态降维研究

文章分析了当前以平衡与截裁为代表的大系统降维理论,鉴于其内容不尽完善,因此基于系统运动模态的特征,在科技与哲理的辩证分析基础上,建立了大系统派生模态理论和组合降维模型。对于工程实际中的系统响应曲线,提出了基于局域波分解的大系统派生模态提取策略实现系统降维。仿真结果表明,基于模态和图形的协同算法应用简便,并可获得较高精度的降维模型。     

发布订阅系统中Carzaniga匹配算法优化

基于内容的发布订阅系统中应用广泛的Carzaniga算法只支持订阅覆盖,未考虑多个谓词间可能存在的覆盖关系,从而引发事件与订阅较严重重复匹配,降低系统匹配效率,导致系统性能低。针对该问题,该文提出一种改进算法,结合计数法和搜索树匹配策略,利用谓词间的覆盖关系减少重复匹配,划分并行谓词集匹配树加速匹配。实验表明,其进一步减少重复匹配,匹配效率得到一定提高,也提高系统性能和可扩展性,更适用于大规模的发布订阅系统。     

并发系统中谓词行为图的行为时序逻辑表达

行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图, 对于并发转移可以用谓词行为图进行图形化表示, 谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则, 用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。     

基于描述逻辑的模糊软集参数转换算法

通过应用模糊描述逻辑FALC (fuzzy attribute language and complement)表示问题领域和模糊软集参数知识,丰富模糊软集参数的语义;利用描述逻辑的推理能力,通过设计模糊软集转化算法,将原始模糊软集转化为符合查询决策参数语义的模糊软集,提高了模糊软集决策支持能力.     

正弦派生曲线弯道水流结构特征实验研究

探究窄深型弯曲河段三维水流结构,使用声学多普勒流速仪（ADV）对正弦派生弯道水槽中40个断面12160个测点三维水流数据进行加密测量研究,研究结果表明：弯曲岸壁形态改变了水流结构特征,曲率为0断面附近区域为水流动力轴线在左右两岸摆动的过渡区;在左右两岸侧,纵向流速沿程波动分布,波动周期相同相位相差180°,且在凹岸处存在小流速区;各断面存在中心区近底主环流和近岸近水面反向小环流,部分断面近岸近底还出现与中心环流同向的小环流,环流强度最小值出现在各弯段弯顶附近。实验数据可为连续多个弯道数值模拟提供数据验证参考。     

一类对称插值

为了解决一类非多项式插值问题,定义了n阶对称插值基函数的概念,通过它将求解非多项式的插值问题转换为求解多项式的插值问题.由于要求对称条件,这种转换过程具有良好的可操作性.这种非多项式插值问题能够用于最大似然估计量的估计.     

命题逻辑及谓词逻辑推理证明中的化归法

离散数学中的命题逻辑及谓词逻辑在计算机科学中有着广泛的应用。本文，提出了一种用于命题逻辑及谓词逻辑推理证明中统一的方法一一化归法     

基于Multi-Agent的长距离调水系统优化调度仿真研究

南水北调中线工程是长距离调水领域内的复杂系统，整个系统需要考虑包括水、雨、冰、气象、水价和设备运行在内的市场、环境、安全等各种因素，同时各个因素间互相影响、相互制约．所以在模型建立过程中引入基于Agent的人工智能的思想，其中的决策规则采用自然语言中的谓词逻辑，以期能针对南水北调中线工程复杂的状况建立具有自适应、自学习和自响应特点的基于Multi-Agent优化调度仿真模型．     

石家庄国际展览中心双向悬索结构参数化设计

石家庄国际展览中心采用双向悬索结构,结构建模及分析过程中,存在大量的找形及优化过程。为提高工作效率,项目在找形、建模、分析、优化、数据处理等设计过程各环节均采用了参数化技术。通过研发增量式更新和派生式建模技术,避免了项目调整时结构工作不得不重新开始的情况,同时也加快了相似单体的创建速度。参数化技术的研发和应用使项目设计效率发生了根本性的变化。借助于参数化技术平台,设计师得以集中精力于结构的方案比较与优化工作,从而提高了设计质量。本项目的参数化应用说明在高复杂度结构设计中,参数化技术相对于传统设计方式优势巨大。     

CAPP集成框架系统的设计与实现

CAPP集成框架系统可以实现系统信息模型、功能模型及决策逻辑的柔性化和可重配置,该系统由产品信息集成及工艺信息输入子系统、工艺编辑子系统、工艺检索查询子系统、工艺派生子系统、工艺创成子系统、工艺输出子系统、工艺资源维护子系统等组成。实现了CAPP系统的适应性设计和CIMS环境下CAD/CAPP/CAM的系统集成。