沪杭线提速对基建工程的几点思考

结合沪杭线提速，提出基建工程值得思考的几个问题。     

连云港入境集装箱查验模式实行全申报新机制

连云港检验检疫局改革入境集装箱查验模式，实行全申报新机制，从源头上把好人境集装箱安全卫生关，在实现100％查验目标基础上，通关速度由过去2～3天缩短到几个小时。新的查验机制实现了通关效率、把关成效、企业降费与港口周转加快的“四赢”局面。     

铁基粉末冶金导管防锈油

本文介绍了新研制的铁基粉末冶金导管防锈油。这种防锈油不仅能满足铁基粉末冶金导管浸油要求的各项技术指标,而且能提高导管的防锈能力。     

IMPLEMENTATION OF GRADIENT-BASED ESTIMATION OF HMM PARAMETERS

IntroductionIn Hidden Markov Model ( HMM) - basedspeech recognition systems,it is very importanttoset the parameters of HMMs correctly.Conven-tional training algorithms such as Baum- Welch al-gorithm,are based on the criterion of maximumlikelihood( ML) .The strength of Baum- Welch al-gorithm lies in its fast convergence andmonotonous improvement[1] . For other criteriasuch as maximum mutual information,however,such an algorithm does not exist.In this case,acommon resort is a gradient- b…     

基于数字地球的铁路三维空间选线技术研究

研究目的:基于数字地球建立铁路三维空间选线平台.研究结论:系统充分利用了数字地球软件提供的数字地形及高清影像等基础地理信息资源,建立了三维空间选线平台,并在"安康至张家界"、"郑州至万州"等项目中成功应用,应用表明该系统具有以下特点: (1) 实现了从Google Earth中的实时批量提取数字地形与影像数据;(2) 利用Google Earth的KML技术实现在Google Earth进行铁路平面定线,使Google Earth成为铁路的三维空间选线平台;(3) 建立了一个铁路线路及沿线自然环境的属性信息录入和查询机制;(4) 在传统AutoCAD平台下构建了新建铁路线路平、纵、横设计模块,满足铁路线路精细设计阶段的的各种功能,重点解决了纵断面优化问题;(5)实现了铁路设计成果在Google Earth中的三维可视化.     

Process Expression of Security Automaton

Security is an essential aspect for mobile systems. Usually, mobile system modeling and its security policies specification are realized in different techniques. So when constructed a mobile system using formal methods it is difficult to verify if the system comply with any given security policies. A method was introduced to express security automata which specifying enforceable security policies as processes in an extended π-calculus. In this extended π-calculus, an exception termination process was introduced, called bad. Any input which violating a security automaton will correspond to a step of transformation of the process that specifying the security automaton to exception termination process. Our method shows that any security automata which specifying enforceable security policies would decide a process in the extended π-calculus.     

载人潜器非耐压结构多目标优化设计

基于近似模型技术和多目标优化理论开展框架结构优化设计。针对传统优化方法不能实现自动计算和连续优化的问题,采用APDL参数化语言实现了框架结构的参数化建模,并将Ansys与ISIGHT集成搭建了框架结构的优化设计流程。基于试验设计,根据灵敏度分析完成了框架结构设计变量的筛选,通过近似模型的精度分析构建了框架结构响应面近似模型。采用响应面近似模型进行数值计算,使用智能优化算法完成框架结构单目标和多目标优化设计,并将结果与有限元计算值对比,验证基于近似模型优化的准确性。     

机械产品模糊可重构设计原理与方法

为了解决可重构设计理论和方法存在的局限性问题,实现快速设计新产品,在分析设计需求的模糊性、设计域关系的模糊性和设计过程的模糊性基础上,将模糊集理论引入可重构设计中,提出了机械产品模糊可重构设计原理与方法.以350 km/h高速列车转向架总体设计为例,运用质量屋工具构建转向架模糊矩阵,求解出目标参数及其重要度,给出了转向架主要性能参数的隶属度函数,并采用距离贴近度模糊相似度识别.研究结果表明: 300 km/h高速列车转向架的距离贴近度为0.91,与设计目标最相似,进一步通过参数竞争性分析确定出修改设计方向,快速实现了转向架的资源重用和设计创新.      

地铁车辆段控制中心(DCC)综合信息系统研究

通过对地铁车辆段生产调度管理现状分析,研究出了一种地铁车辆段控制中心(DCC)综合信息系统,提高了调度效率和准确率。对该系统的功能、软硬件构成、主要技术性能、主要接口等进行了详细阐述。最后对该系统的实际应用情况进行了简单说明。