n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

基于损伤原理的搅拌桩复合地基加固区变形分析

对搅拌桩复合地基加固区在柔性荷载作用下的性状进行了分析,将复合地基的沉降分为加固区的压缩变形和下卧层的压缩变形,加固区的压缩变形又分为桩体的压缩变形和加固区桩间土的压缩变形.从受力平衡的角度出发,将加固区的受力状态分为桩体和桩间土的受力平衡,并引入损伤理论将其与传统的计算方法相耦合,建立了以加固区桩体损伤变形为主要因素之一的加固区压缩变形计算模式,并用实例验证了该模型的可靠性.     

厦门港船舶引航系统的设计与应用

根据厦门港及其船舶引航的特点,综合应用差分GPS定位技术、AIS技术、电子海图等先进技术,完成了具有特色的厦门港船舶引航系统的设计,并在厦门港投入使用.经应用表明,该系统的功能强、操作便捷、设备便携性好,能够更加有效地保障厦门港船舶引航的安全.     

天然气水合物相关的Slipstream海底滑坡体速度结构模型反演

针对目前用于建立二维速度结构模型的RAYINVR软件对四分量海底地震仪(OBS)记录的转换横波无法自动反演,建模效率低的问题,采用MATLAB遗传反演算法,对RAYINVR软件进行改进,实现对横波速度结构模型各层和层中区块泊松比的自动同步反演,可以为天然气水合物勘探调查提供泊松比和杨氏模量等重要弹性参数.利用采自Sli...     

局部紧锥上的一类平衡问题

对已有文献中给出的局部紧锥上的平衡问题解的存在性结论作适当改进,通过用一元函数构造二元函数的方法,分别从局部紧锥上的纯量平衡和局部紧锥上的向量平衡两个方面对这些结论加以推广,并用强制条件来代替之前提出的补正性假设,将条件弱化,得到了更普遍性的关于局部紧锥上的平衡问题的结论.     

非线性时滞系统的随机稳定化

本文讨论非线性时滞系统的随机稳定化问题。对于给定的非线性时滞系统，通过引入一个随机噪音项，可得到一个新的非线性随机时滞系统。在给定条件下，对于任意给定初值，可保证该非线性随机时滞系统具有唯一整体解，且该精确解以一般衰减速度几乎处处稳定。     

说“音曰”

＂音曰＂这一训诂术语最早出现在东汉高诱的《吕氏春秋注》中,但历代注疏典籍用例甚少,古今辞书及训诂学著作均未提及。我们根据现有语料对＂音曰＂进行分析,认为它具有注音、释义、破通假、探同源、明连语等作用。通过对这一术语的分析,以期对训诂学研究和辞书编撰工作有所裨益。     

消除增长上限制约的管理对策生成法——-以银河杜仲区域规模养种生态能源系统发展为例

社会经济复杂系统中存在大量增长上限问题,刻画此问题的增长上限基模是由正反馈环、 负反馈环和延迟构成,其中负反馈环存在抑制系统不断发展的制约作用. 针对负反馈环产生制约作用的根本原因是存在起制约作用的负因果链, 首先基于对负因果链所属负反馈环中极大开环的结构特征分析, 遵循极大开环中输入变量改变量小于零的原则生成初始对策集, 接着根据复杂系统发展的多目标筛选得到目标筛选初始对策集, 再根据对策的实际实施条件筛选获得可操作的管理对策集, 然后仿真验证双筛选得到的管理对策的有效性.以银河杜仲区域规模养种生态能源系统发展为例, 基于2008-2010年的历史数据和其他实际信息,建立含七个核心变量的增长上限基模,利用此方法生成三条可操作性的管理对策. 以核心变量为基础,建立六棵流率基本入树,建立仿真模型.然后,定量仿真分析了消除增长上限制约的管理对策生成法的实施效应, 实现了从定性至定量综合有效分析,为实际系统发展提供决策依据,验证了此消除增长上限制约管理对策生成法的有效性.     

试析成人学历教育高素质管理队伍的培养

联合办学日盛的普通高校成人学历教育,为顺应管理信息化和规范化的时代要求,必须构建成教管理者的知识能力新框架和培养新模式,通过营造相互信任的组织氛围和实现制度创新等一系列有效途径,打造一支具有高尚的组织价值观、良好的管理者素质和组织协作精神的高素质管理队伍。     

设计性电路实验教学的探索与实践

针对模拟电路中设计性实验教学的特点,以带音调控制的音响放大器的设计性实验为例,依据模拟电子技术的相关理论,利用Multisim 10设计实验电路并进行仿真验证,得到各部分输出电压波形及幅频特性,再进行实物安装与调试,然后将实验数据与理论值对比,找出出现误差的根本原因并提出了实验室较易实现的改进方法,使得实验的正确性得到了保证.