针对现有三维CAD工具在自底向上产品设计建模方面存在的不足 ,提出了自顶向下的特征建模方法 ,包括六个层次 ,即功能层、概念设计层、装配层、零件层、特征层和B rep层 .在概念层设计上 ,用三维约束系统建立了自顶向下的设计环境 ,提出了以特征为核心的信息模型解决方案 ,形成了一套完整的特征造型系统 .运用面向对象的分析、设计方法 ,初步实现了一套面向自顶向下设计过程的三维CAD原型系统

基于服务器 /客户模式的的虚拟数控系统体系结构 ,讨论了虚拟数控系统的建模技术和基于VRML的实现方法 ,并指出虚拟数控机床的建模是虚拟数控加工过程仿真的实现关键 .利用VRML语言、分布式对象技术和Java技术开发和建立了基于Web环境的虚拟数控系统原型 ,并对系统的开发平台进行了分析和介绍 ,同时给出了系统的运行实例 .研究表明 ,所开发的系统是可行的和合理的

论述了夹具的封闭性和夹紧点与夹紧域的问题 .定义了自由运动锥 ,用以分析定位元件的布局对工件在夹具上的可达性和可分离性的影响 ,并导出可达性和可分离性条件 .进一步导出了约束锥 ,即自由运动锥的极锥 ,并利用该锥确定夹紧点的位置和形封闭的可行夹紧域

采用三维有限元方法研究了大面积钢板漏磁检测的局部磁化 ,分析了钢板宽度变化对磁化效果的影响 ,论证了局部磁化的可行性 .研究了励磁装置中永磁体磁厚度、磁极面积以及磁化间隙等变化对局部磁化效果的影响 .分析表明 ,永磁体极面积是影响磁化性能的关键因素 ,当钢板内局部被磁化饱和时 ,永磁体厚度和磁化间隙的影响不显著 .根据有限元优化结果设计的大面积钢板漏磁检测的励磁装置在实践中得到了应用

通过对角钢连接在循环荷载作用下节点滞回性能的试验研究 ,分析了顶底角钢连接以及带双腹板顶底角钢连接这两种连接类型的刚度、承载能力和延性特征并讨论了两种连接类型的差别 .从试验中可以得出 ,腹板角钢对连接的承载力有明显改善 ,在计算连接抗弯承载力时应考虑腹板连接的影响

介绍了华中科技大学开发的HRPS Ⅱ型选择性激光烧结设备的体系结构 ,根据选择性激光烧结的工作原理并结合该系统的硬件结构开发了基于NT操作系统下的控制软件 .该控制软件是一种分层的结构 ,各个不同优先级的任务在不同的层面上运行 ,实时性强的部分运行在硬件中断级别上 ,对控制软件的关键性技术进行了描述 .通过试验运行 ,该设备成功地加工出了复杂的原型件 ,证明控制系统开发是成功的

鉴于FDM /SLA快速成形中实现支撑自动生成的关键是实现复杂轮廓层之间的布尔运算 ,提出将复杂的轮廓层之间的布尔运算分解成带有孔洞的多边形之间的布尔运算 .提出了一种基于线段和带有孔洞的多边形之间关系的布尔运算算法 ,并重点讨论了点重合和边重合的特殊情况

通过分析面向快速成形的骨体断层图像固有的特性 ,利用灰度特性对图像自动阈值分割 .先对图像原始直方图进行移动平均修匀 ,再对其进行高斯函数的卷积运算以消除噪声点 ,通过有限次循环 ,获得平滑曲线 .对卷积后的直方图作二次指数平滑处理 ,求得平滑信号的局部极值 ,即可确定最终的阈值 .实验表明 :该方法能快速、有效地分割骨体图像

结合二维Wold分解技术来对遥感图像进行分割 ,将图像分解为确定性随机场和纯不确定性随机场 ,通过调整它们之间的比例关系 ,来加强纹理边缘 ,从而改善马尔可夫标记场模型对纹理边缘过平滑的现象 .实验对城区目标进行提取 ,结果表明本方法的有效性优于纯马尔可夫随机场所采取的分割方法

针对光学图像 ,从光学系统成像机理出发 ,建立了一种图像退化的分层模型 ,指出了造成图像分辨率降低的若干关键因素 (衍射效应、欠采样等 ) .提出了一种用于超分辨率复原的分离方法 ,并引入了级联模板算法 .该方法降低了计算的复杂度 ,实验结果表明了算法的有效性

提出了长波红外图像中近地空中小目标特性抽取的一种方法 .综合考虑小目标自身热源、太阳辐射、目标对外辐射、大气的热传导等因素对小目标温度的影响 ,建立了小目标的热平衡方程 .通过方程推导出了小目标的不变向量 ,在红外图像没有定标情况下 ,能利用多幅不同天气条件下的长波红外小目标图像提取小目标对天气不敏感的特性向量 .还给出了红外小目标特性提取实验的结果

介绍和分析了H .2 6 4采用的新编码技术 ,诸如 1 /4和 1 /8像素精度运动估计 ,可变大小的图像分块 ,多参考帧 ,新的熵编码算法等 .新编码技术的采用使H .2 6 4的编码性能得到大幅提升 ;通过与H .2 6 3编码模型的实验性能对比测试 ,比较分析了H .2 6 4新编码技术的优缺点

论述了采用多元非线性数学模型建立煤性与炉膛性能参数耦合关系体系的方法 ,运用灰色关联分析方法 ,对炉膛燃烧器区域计算壁面热负荷与煤性因素进行关联度分析 ,确定主要影响因素 ,采用不同参数组合 ,运用多元非线性分析方法 ,建立了 6种炉膛燃区计算壁面热负荷的数学模型 ,该模型具备较高精度 ,为锅炉选型提供了一种新的高效、可靠方法

提出了将带微小控制角的有限体积法 (FVM +ISCA)应用于锅炉火焰针孔成像的计算方法 .其步骤如下 :首先选用一合适的常规有限体积法计算出炉膛内的辐射强度场 ,然后根据几何光学确定出进入针孔投射到CCD相机靶面每一个像元上的辐射方向 ,最后由FVM +ISCA逐一计算出这些辐射强度来

分析了波形板气水分离器内二次液滴携带现象的机理 ,得出波形板内二次液滴主要来源于气流剪切液膜和液滴撞击液膜的结论 .基于此建立了考虑二次携带现象的新的碰壁模型 .新模型可以求出反弹后液滴的速度、液滴碰壁飞溅后所产生的二次液滴群的直径、数目、速度和角度 .为建立波形板分离的数值模拟和进一步获得分离效率奠定了基础

以蒸馏水为工质 ,对压力范围为 2 .0～ 4 .0MPa ,质量流量 5～ 1 8kg/h ,间隙为 1mm的环形狭缝通道中的流动沸腾进行了实验研究 ,分析了影响干涸点 (DO点 )的界限含气量及其位置 (Lcr)的有关因素 ,采用多元线性回归分析技术整理试验数据 ,得到了有关干涸区传热特性的经验公式 ,试验结果与计算结果误差为± 1 0 % ,此关系式可以用来预测实验范围内的界限含气量及其位置

采用非交错网格下的曲率时间尺度K ε湍流模型和纳维 斯托克斯方程线求解 ,对宇宙航空用弯掠叶轮和基准叶轮叶道内部三维粘性速度场进行了数值仿真 ,分析了叶轮流道内部通道涡等复杂二次涡系结构的流谱特性及其对气动性能特别是旋转失速的作用机理 .研究表明 :弯掠叶轮流道内通道涡、刮擦涡有效卷吸翼顶边界层低能流体 ,抑制了翼顶部的流动分离和旋转失速 ,有利于失速裕度的扩大 .数值仿真结果为弯掠叶轮的计算机辅助设计提供了改进指导信息

在固定床反应器中惰性气氛条件下应用程序加热方法对典型的溴化环氧树脂基板进行热解试验 ,用气相色谱 /质谱和傅里叶变换红外光谱等方法分析所收集的高沸点液体和气体产物的性质 .结果表明 ,环氧树脂中非溴化树脂结构在热分解过程中发生O -CH2 ,C -C ,C -N键断裂 ,生成苯酚 ,且芳香 /脂肪醚 .环氧树脂溴化部分的热分解中产生 1或 2溴苯酚 ,且脂肪链上包含 1或 2个溴原子的芳香 /脂肪醚 ,证明了C -Br ,C -C ,N -CH2 ,O -CH2 键的断裂

结合仪器分析与吸附模型分析了活性炭纤维 (ACF)和颗粒状活性炭 (GAC)的孔与表面特性 .在不同工况下进行了ACF和GAC的脱硫实验 .结合经典的吸附理论和实验结果论讨论了影响ACF和GAC脱硫性能的因素 .在大量实验数据和数据分析的基础上 ,比较了活性炭纤维和传统的颗粒状活性炭的脱硫性能 ,得出ACF的动态脱硫性能明显好于GAC的结论

从滤波器的工作原理出发 ,分析了梳状线带通滤波器的结构特征 ,推导了抽头式输入输出结构的网络表达式 ,并对其进行简化等效 ,得到了与传统设计中使用的变换器输入输出相等效的表达式 ,用高频结构仿真软件HFSS进行了仿真 ,并通过实例设计 ,验证了此方法的有效性 .

采用半导体光放大器 (SOA)的分段模型 ,根据SOA有源区内载流子的速率方程、光功率的传输方程及半导体光放大器延迟干涉 (SOA DI)装置的传输方程 ,对SOA DI装置实现全光码型变换进行了数值模拟 .当输入为 1 0Gbit/s归零 (RZ)信号脉冲时 ,通过调整SOA DI装置两臂的延迟和位相 ,在SOA DI装置的输出端得到了 1 0Gbit/s的非归零 (NRZ)信号和NRZ信号的反码 .通过数值模拟 ,发现必须合理选取SOA的注入电流 ,从而消除幅度调制效应和码型效应的影响 .为了保证在转换过程中不丢失信息 ,在RZ信号中应当加入适当的冗余码

根据经典的形核和生长理论 ,通过实验分析了深过冷Ni P共晶合金的凝固行为 .实验发现 ,深过冷Ni P共晶合金的凝固组织由粒状的共晶团和棒状的规则共晶所组成 .随过冷度的增加 ,共晶团的组织逐渐细化 ,同时深过冷熔体晶核生长速率很大 ,异质形核在凝固过程中起控制性的作用 .深过冷熔体的单点形核和长大现象作为特例用以描述界面的生长速率对其凝固组织的影响

通过对凝胶时间的测定和红外光谱分析 ,研究了在室温和强碱性条件下 ,有机酯加速酚醛树脂的固化反应机理 .结果表明 :强碱性条件下 ,有机酯对甲阶酚醛树脂凝胶固化的促进作用 ,是通过快速促进树脂分子生成活性中间体亚甲基醌来实现的 ;同时伴有酚羟基的醚化反应 .有机酯分子中羰基碳原子的电正性越大、空间位阻越小 ;羟甲基含量越高 ,甲阶酚醛树脂的凝胶速度越快

利用AFM ,XRD ,UV Vis等手段对Ag+ /ZnO掺杂体系的形貌、平均粒径、吸收光谱进行表征 .研究了苯酚的初始浓度对光催化的影响 .探讨了在紫外光和太阳光下对 4 0mg/L苯酚溶液的光催化降解性能 ,结果表明掺杂后能有效利用太阳能进行光催化降解 ,当Ag+ 掺杂摩尔含量为 2 .0 0 %时 ,反应常数Ksunlight/KUV=1 .78,与掺杂前相比Ksunlight和KUV分别提高 1 5倍和 1 1 .4倍

运用随机线性系统的柯西矩阵及其截断矩阵 ,通过引进随机线性系统左截柯西矩阵和右截柯西矩阵 ,讨论了线性It^o随机系统部分变元的几乎必然强稳定性 ,得出了该系统只依赖于左截柯西矩阵的有界性和右截柯西矩阵的渐近性的各种a .s强稳定性 ,包括强稳定、强一致稳定、强渐近稳定、强一致渐近稳定及强指数稳定之间的等价条件 ,推广了已有文献的结果

对于李雅普诺夫函数的径向无界性证明 ,给出了严格的证法 .同时在激励函数单调递增的条件减弱的情况下 ,给出了两条渐近稳定的定理 ,并给了严格的数学证明 .最后用实例说明前人的工作是基于不同假设条件的 ,而非强弱程度不同的条件

给出了Vague集的基本概念和Vague集多评价模糊决策的概念 ,提出了一个新的基于Vague集距离的多评价指标模糊决策方法 .在这个方法中 ,提出了理想方案的概念和候选方案对满足多评价指标的不确定性的概念 ,利用候选方案与理想方案的Vague集距离来求出最佳方案

将AHP方法运用到层次多目标群决策中 ,确定多层目标准则体系中的目标层和准则层的权系数 ,符合判断指标一致性的需要 ,而对各方案关于各个准则的权重 ,采用模糊语言进行评价 ,满足决策实用性的需求 .结合模糊最大最小集法和上述方法 ,提出了一种带有偏好的模糊多层多目标群决策方法 ,并用算例对其求解过程进行了说明

结合灰色趋势关联度 ,利用数学一般系统理论 ,提出了一般灰色趋势关联系统模型 ,作为该模型的应用 ,对灰色趋势关联分类、灰色趋势关联聚类、灰色趋势关联预测等三种应用方法进行了研究

根据粗集理论 ,给出一些概念的新的形式定义 ,包括决策表、决策表的正区、决策表条件属性的简化、等价关系族对前件Ⅱ型简化等 ,并讨论了几个等价关系 ,包括决策表的正区与等价关系族对正区的等价性 ,决策表条件属性的简化和等价关系族对前件Ⅰ型简化的等价性 ,协调决策表条件属性的简化和等价关系族对前件Ⅱ型简化的等价性等

证明了等价关系族对在前件的交集包含在后件的交集的条件下 ,它的前件Ⅰ型简化和前件Ⅱ型简化等价 ,在前件等于后件的条件下 ,它的前件Ⅱ型简化与等价关系族的简化等价 .进而举例说明这样的等价性的存在 ,致使这三种简化形式相关的定理和性质呈现出较大的相似性

探索性地提出基于建构主义的可视化方法 ,基于建构主义确定可视化目标 ,采用可视化技术对目标进行交互式动态绘制 ,从而产生具有良好认知意义的可视化软件 .其核心在于确定可视化目标和可视化映射模型 .针对可视化对象及其行为 ,就如何基于建构主义依赖可视化目标确定可视化映射模型给出了解决方案 .通过实践 ,总结了可视化软件的评价原则

从新一代网络教育系统解决方案的系统架构入手 ,结合网络教育的实际情况 ,给出了学习内容管理系统 (LCMS)原型系统的体系结构 ,并重点针对标准化内容制作模块、学习对象存储和内容检索与动态发布 3个模块阐述了系统的设计原理 ,提出了基于XML存储和Tamino数据库的实现方法

在研究工具 /代理通信协议标准的基础上 ,结合资源信息的描述技术和基于XML的信息表示技术 ,提出工具与代理通信中消息的XML绑定策略 ,研制出工具 /代理通信应用原型系统 ,该系统完全符合工具与代理通信协议标准对工具、代理及其之间通信方式的描述和定义 ,旨在实现分布式工具、代理通信系统间远程消息的规范化传输 ,探讨其对促进网络教育的规范化、标准化发展的实际作用

提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .测试结果显示这一框架模型对于测试面向对象程序是可行的

针对军事、政府、金融等部门的公文安全分发要求 ,提出了一种解决方案 ,用身份认证卡鉴别用户的合法性 ,用可靠的加密算法对公文进行在线加密 ,利用在线数据仓库的管理形式实现加密公文的分级分发 ,此外还提供了本地文件加密隐藏功能 .整个系统安全性高、独立性强 ,开发成本较低

针对局域网出口经常出现拥塞的现状 ,给出了一种基于侦听机制的网络拥塞控制模型 .该模型将局域网出口状况划分成无拥塞、轻度拥塞、中度拥塞、严重拥塞四种不同的状态 .在出现中度拥塞或严重拥塞时 ,根据所记录的TCP进出流及用户自定义的分类排队策略形成优先级队列 ,实施针对性拥塞控制 ,从而保证在实施拥塞控制的同时不降低重要流量的出口带宽 .本模型所具有的随机接入特点使得能在不对网络结构和协议进行改造的情况下实现局域网出口拥塞控制

根据标准化的CMMI评估方法 ,设计一个基于多Agent的分布式CMMI评估系统 ,分析了该系统的功能、模块结构 .重点讨论了多Agent的能力修改过程和Agent的通信机制 .Agent通过学习 ,能力不断得到提高 ,辅助专家进行CMMI评估

分析了关系型数据库的查询优化问题 ,针对多连接查询提出将遗传算法和爬山法结合 ,从而构造了关系型数据库多连接查询优化问题的混合遗传算法 ,并进行了实验计算 .结果表明 ,用混合遗传算法解决多连接查询优化问题 ,可以发挥遗传算法和爬山法的不同优势 ,从而得到较满意的查询优化性能

在Samuelson生产性政府劳务拥挤模型的基础上 ,利用更一般的生产函数 ,同时也考虑到政府自身的偏好 ,推广了Samuelson模型的基本结果 ,得到维持社会运转的最小税率 ,稳定状态时经济增长率不但由外生的人口和技术增长决定 ,而且也和生产的规模报酬状况有关 ,并对影响均衡税率的参数进行详细的分析 .最后证明经济系统以鞍轨方式收敛到均衡点