数控机床动压主轴的热误差建模技术研究

为了降低加工过程的热误差,提高数控机床加工精度,基于时序相关分析理论与数值计算方法,建立了一种以温度场分布及加工参数为输入的新型机床主轴热误差建模方法.所建模型由热误差模型、主轴动压轴承热特性模型以及主轴热传递模型三部分组成.该方法首先根据时序相关理论建立热误差与温度测点之间的相关模型,再通过灰色相关理论完成关键温度测点位置与数量的优化,同时,基于数值计算与热传导理论,建立了动压主轴系统热特性模型.以一台大型龙门导轨磨床为实验对象,建立了磨床主轴箱热误差预测模型.实验结果表明,所建立的热误差模型具有良好的热误差辨识性能.     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

电磁流体表面推进流场结构特征的数值研究

数值研究了弱导电流体中,具有不同电磁极条带宽度的推进单元近壁电磁力的分布特征和对流场结构的调控效果,并比较分析了不同结构的推进单元体对周围流场推进效果间的差异.采用有限体积法对流场的基本控制方程(Navier-Stokes equation)进行求解.数值结果表明,不同电磁极宽度的推进单元所激发的电磁场场强和流体边界层中电磁力的分布具有类似的变化趋势,但电磁力的渗透深度有差异.电磁极条带较宽的推进单元,其附近电磁体积力具有较好的渗透效果,但其近壁场强较弱.推进单元绕流流场的数值模拟揭示了场强的渗透较深时对推进单元周围流场的影响更加显著.流向电磁力使得边界层流向动能增加,涡量场结构发生改变.推进单元上下表面涡量值出现了正负更替分布的变化特点.     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

开展生态文化教育,推进沙漠化生态治理

分析了目前沙漠化发展现状,提出了生态文化教育在沙漠治理中的重要性:通过爱心活动,加大宣传,增强全社会的关注程度;依靠社会各界力量,参与防沙治沙,开发沙产业,壮大公益事业;在改善沙漠生态环境的同时,提高人们的生态意识和生活水平。     

宁波电子商务产业现状与发展策略

文章就宁波电子商务经济快速发展的现状与优势,分析电子商务产业发展中的大平台、大体系、技术队伍等电子商务发展的瓶颈问题,提出了通过电商运行与管理、电商IT平台与云计算、移动电商、智慧物流与供应、跨境贸易与互联网金融等基础平台与产业体系建设,多部门联动建立产业标准与运行机制,多学科专业复合培养产业技术队伍,推进宁波市电子商务产业可持续发展的策略与建议。     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

胶结充填开采两端固定岩梁模型及梁式断裂分析

考虑采空区胶结体在强度形成区内对顶板的支撑载荷与距离工作面长度呈线性关系,基于垮落法两端固定梁模型,建立胶结充填开采两端固定岩梁力学模型,得到岩梁剪切力、弯矩分布和两端支座反力的表达式;提出充填开采极限跨距概念,从岩梁抗拉、抗剪强度推导出极限跨距表达式;提出充填开采工作面极限推进速度概念,并推导出其表达式。应用模型和概念公式对某矿2414工作面进行计算。研究结果表明:充填开采时,岩梁最大剪切力、弯矩位于煤壁处,与垮落法开采相比,剪切力和弯矩更小;增加支柱(架)的支撑力,可减小岩梁两端剪切力和弯矩;按抗拉和抗剪强度计算充填开采极限跨距分别为24.6 m和85.8 m,胶结体须在12.5 d内形成抵抗上覆岩层载荷的强度;岩梁剪切力和弯矩分布均为非对称性;煤壁处的支座反力、弯矩分别为采空区侧岩梁端2.28和1.49倍;充填开采有利于采空区后部沿空巷道的维护。     

“中国航空学会2009年火箭推进技术学术会议”征文

"中国航空学会2009年火箭推进技术学术年会"拟于2009年8月上旬在云南昆明召开,会议主题是:组合推进技术。会议正在征文,范围包括:组合推进技术进展,火箭推进技术需求分析,液体火箭发动机技术,航空发动机技术,固体及特种推进剂技术,固体火箭发动机技术,冲压发动机技术,火箭推进领域信息化技术,燃烧、流动与传热仿真技术,火箭推进试验技术。     

灰色预测和时序预测的探讨

本文讨论了灰色模型,特别是GM(1,1)模型的特点和适用范围,并将GM(1,1)模型和时序AR(n)模型结合起来(称为组合模型),对我国轻工业产量发展指数等三个项目分别进行了组合模型预测。结果表明,在一般GM模型中引入AR模型可显著提高预测的准确度;在非平稳时序建模中引入GM模型,可作为提取趋势项的另一种方法。文中还从预测的角度将灰色模型和时序模型进行了比较和分析,对“灰”的物理概念进行了初步探讨。