现代机床制造业的发展趋向

现代机床制造业的发展趋向［俄］Ｂ．Ｃ．别罗夫著谢光正译近年来俄罗斯的机床制造业虽然存在危机，但却一直注视着世界机床制造业的发展方向。需要的信息是，对于使用者来说，重要的是在选择工艺设备时，在考虑经济条件下。确定与机床制造者的关系。分析表明．同机床制造...     

采用HK模型的防空反导作战网络建模分析

采用HK网络模型对防空反导作战网络进行建模,对网络度分布、集群系数、平均距离的统计特性进行分析。将网络模型与典型树状结构的防空反导网络和基于BA无标度模型的网络进行比较,表明基于HK模型的防空反导作战网络具有较好的集群系数和无标度特性,同时表明改变TF连接概率进行防空反导网络设计具有更好的灵活性。     

工程建设用地综合评价及辅助决策系统的研究

综述了＂工程建设用地综合评价和辅助决策系统的研究＂的研制背景、研究内容和研制意义，并概括介绍了评价指标体系的建立、评价方法数学模型和开发用于建设用地管理和辅助决策的四个软件系统，并简介其今后发展前景     

一致渐近在特征值问题中的应用

利用由Bassom等提出的一致渐近方法研究了具有简单转折点的大特征值问题,得到了大特征值问题的严格的Airy渐近解,它在Stokes线上一致成立;并得到了大特征值的近似表达式.     

肝胆外科临床见习带教的特点及要点

临床见习是医学生从课堂走向临床工作的第一步,对医学生的价值观、责任感,职业选择均有非常重要的作用.西南医院肝胆外科根据本科室见习带教体会,从职业态度、基本功、英文临床应用能力、病历书写及医患沟通等方面对医学生进行训练,培养医学生的临床技能,为将来走向临床工作打下基础.     

干线协调交叉口多相公交信号优先控制策略

针对干线协调交叉口多个相位有公交车到达的情况,为降低公交车延误,建立了以不破坏协调绿波带为前提的多相位公交优先控制策略.在该策略中,提出了“就近原则”以解决多个相位的公交优先申请冲突,对公交优先级别进行排序,并建立了多相位公交优先控制流程;考虑最高优先级别公交车的不同相位属性,采用绿灯延长和绿灯提前起亮两种优先方式,分...     

GA在改善证券市场风险测量精度中的实证研究

应用遗传算法(GA)估计线性GARCH(1,1)模型和非线性EGARCH(1,1)的参数,建立两个模型计算中国证券市场的风险值(VaR).通过对比传统算法和遗传算法的风险值,计算数据显示:线性GARCH(1,1)模型和非线性EGARCH(1,1)模型下,GA得到的风险值均大于真实值,可以解决传统算法中预测精度不高的问题.     

风电叶片模具主管道内残余树脂检测方法的对比研究

风电叶片制作模具主管道为聚丙烯管(polypropylenerandom,以下简称PP-R),叶片制作主要采取真空辅助树脂传递模压成型工艺(Vacuum Assisted resin transfer moulding,简称VARTM),该工艺依靠模具主管道进行抽气并保持模具真空度,一旦管道发生堵塞,将会造成叶片灌注缺陷引起部件报废,PPR管道因用途特殊为非透明管道,而专为风电叶片开发透明管道因成本高不可行。分别采取DR和超声波检测方法检测管道内有无残留树脂,结果表明,超声波方法无环境辐射更容易普及和应用。     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．