金刚石刀具刃口研抛辅助机构方案设计

随着精密和超精密切削加工技术的发展,对金刚石刀具质量提出了更高的要求,由此对高性能金刚石刀具刃口研抛辅助机构的需求也越来越迫切。为此,在简要分析金刚石刀具刃口圆弧轮廓精度指标对加工精度影响的基础上,结合研抛工艺给出了金刚石刀具刃口研抛辅助机构的要求,并对金刚石刀具刃口研抛辅助机构的总体方案及其微进给机构和微摆幅机构进行了设计。     

基于国际头痛诊断标准的原发性头痛辅助决策系统

针对原发性头痛在我国发病率较高但诊断准确率较低的问题,提出了一种将文本化的国际头痛诊断标准转换为计算机可执行推理的临床知识建模和知识库构建方法,该方法首先将基于诊断标准绘制的诊断思维流程图转换为规范化的临床知识表达模型,再将临床知识表达模型通过规则映射技术转换为计算机推理诊断所用的规则,形成知识库。并以此为基础开发了覆盖完整头痛诊断流程的原发性头痛辅助决策系统。临床评估显示,该系统可正确识别出91.3%的偏头痛、87.2%的紧张型头痛和90.0%的丛集性头痛病人,对常见的原发性头痛具有较高的诊断准确率。     

一种水下群机器人路径规划算法的形式化研究

为了增强基于遗传算法的水下群机器人路径规划算法正确性的说服力,使用定理证明对其进行形式化研究,给出算法在定理证明器HOL4中的形式化模型。基于算法形式化的一般步骤,首先对算法的设计进行了详细的分析,指出算法设计的核心步骤与建模难点。在此基础上建立了总体形式化建模框架,然后对其进行化简,得到种群初始化、选择、交叉三个核心模块。接着给出模型中要用到的基本数据类型的形式化描述,并分别对三个模块进行形式化描述,最终得到算法的形式化模型。通过证明与模型相关的97条性质,说明了模型的合理性及有效性,在此模型的基础上,可以完成对算法的形式化验证,同时还能拓展HOL4的应用范围。     

基于信息系统开发视角对数字化校园建设的研究

阐述了数字化校园建设的必要性,并从信息系统管理的角度分析了数字化校园建设的内涵和发展阶段,结合江苏商贸职业学院数字化建设现状,探讨数字化校园建设给信息技术类专业带来的机遇与挑战。     

一种特殊卫星推力器矢量测量方法

常规卫星推力器的总装精度测量是通过经纬仪系统准直测量立方镜工装实现的.某卫星上出现了一种带有一个135°拐角的特殊推力器,受其结构及安装位置的限制,使用常规的经纬仪,现有的精度测量软件和立方镜精测工装无法直接测得此特殊推力器在卫星坐标系下的角度.设计了一种新型精测工装,并提出了基于该精测工装的特殊卫星推力器矢量的测量方法.该测量方法已经过验证和认可,并应用到后续型号的此种特殊推力器矢量测量工作中.     

中西方宗教雕塑不同视觉风格影响及溯源

雕塑是人类最早的艺术活动之一,宗教雕塑是雕塑艺术的重要组成部分。西方宗教雕塑注重写实,中国宗教雕塑注重写意;西方宗教雕塑真实生动、细致入微,中国宗教雕塑整体概括、气势恢宏。中西方宗教雕塑不同视觉风格的形成有着复杂的形而上和形而下的原因。就内因而言,是宇宙观、审美心理、情感表达方式等方面的差异,从外因而言,是哲学和自然科学、安放环境、外来文化、材料及处理等不同。追溯中西方宗教雕塑视觉风格的成因将有助于中西方的人文交流与文明互鉴。     

Stability analyses of vertically exposed cemented backfill:A revisit to Mitchell's physical model tests

Mitchell's solution is commonly used to determine the required strength of vertically exposed cemented backfill in mines. Developed for drained backfill, Mitchell model assumed a zero friction angle for the backfill. Physical model tests were performed. Good agreements were obtained between the required strengths predicted by the analytical solution and experimental results. However, it is well-known that zero friction angle can only be possible in terms of total stresses when geomaterials are submitted to unconsolidated and undrained conditions. A revisit to Mitchell's physical model tests reveals that both the laboratory tests performed for obtaining the shear strength parameters of the cemented backfill and the box stability tests were conducted under a condition close to undrained condition. This explains well the good agreement between Mitchell's solution and experimental results. Good agreements are equally obtained between Mitchell's experimental results and FLAC3 D numerical modeling of shortterm stability analyses of exposed cemented backfill.     

NAM流程体系在汽车造型设计中的应用

汽车造型设计是一项重要、复杂且繁重的工作。本文首先简要叙述了安徽江淮汽车公司自主研发的NAM(Now And Me)流程体系的基本概念和结构。接着,基于NAM流程体系的指导思想,将汽车造型设计细分为四个阶段、7个关键节点。最后,以江淮汽车为例,详细阐述了汽车造型设计完整过程中的步骤、关键节点和注意事项等。以此说明NAM流程体系是一种从概念到产品的研发流程管理技术,具有普适性和推广性,可延伸到其他行业用于指导多种工业设计过程。     

考虑载荷动态分配机制的多状态系统可靠性建模及优化

多状态是现代制造装备和复杂工程系统的典型特征。由于多状态系统可靠性理论能反映系统服役阶段状态的复杂衰退规律,近年来受到了广泛的关注和深入的研究。然而,现有的大部分关于多状态系统可靠性理论的研究均假设系统中单元之间的失效规律是相互独立的。但在实际工程中,多种因素所造成的系统单元间失效规律的相关性问题不可避免,故考虑多状态系统中单元载荷的动态变化对单元失效规律的影响,利用马尔科夫模型对存在载荷动态分配机制的多状态系统进行可靠性建模和可靠度计算,分析系统的组成结构和单元的载荷动态分配策略对系统可靠度的影响规律,并在此基础上提出两层遗传算法对多状态系统的结构和载荷分配策略进行联合优化。     

基于数字图像处理的平原城镇河网分形特征研究

城镇河网分形特征反映了城镇水系分布密集度、城镇河网水面率与水系连通程度,对预测城镇水文趋势、旱涝抵御能力、水系及地貌演变等具有指导意义。本文以苏州吴江桃源镇河网为研究对象,基于数字图像处理技术,采用盒计数法和Sandbox法对桃源镇河网的分形特征进行定量分析。结果表明:盒计数法和Sandbox法均较好地揭示了该地区河网分形特性,分维值分别为1.4085和1.7442。盒计数法12个标度下的栅格边长和非空盒数关系曲线呈外凸状,揭示了该地区分形规律随标度减小而减弱的特征;以5个随机点和形心为控制点,采用Sandbox法对河网骨架分形进行计算,揭示了不同点控制区域分形维数的差异性。Sandbox法分维较盒计数法精确,原因为盒计数法受到最小标度、分形体不规则性和边界效应的影响,因此可采用盒计数法的定性判别与Sandbox法的定量计算对城镇河网分维综合评价。桃源镇河网分形特征说明了该区域地貌平缓且土地被河网分割严重,其河网分维受制于河道离散、土地破碎与城镇化发展的矛盾。