锻造焊接齿坯薄壁受力扇形齿轮的改进

针对航空产品中锻造焊接齿坯薄壁受力扇形齿轮的机械加工，从毛坯、工艺路线、基准选取、加工参数、刀具选择等进行了介绍，重点介绍了关键工序——切制齿轮，为类似零件的加工提供方法、技巧和借鉴。     

弹道跟踪数据融合处理的快速算法

针对弹道跟踪数据融合处理中的大计算量环节研究了快速算法。用样条函数表示弹道参数,建立了多测元的联合观测模型和弹道参数的非线性融合计算模型,给出了弹道参数的求解算法,分析了弹道参数融合计算中的大型矩阵运算问题,利用基础线性代数函数库提高了大型矩阵的运算速度。建立了样条模型计算的非线性约束优化模型,给出了确定样条节点位置的优化算法,通过分析样条模型的计算原理设计了并行算法,实现了样条模型的并行化计算。仿真结果表明,弹道参数融合计算和样条模型计算的效率都得到了显著提高,计算时间减少了65.47%,对缩短数据处理周期有重要意义。     

语言处理的基本运算集

从属性和实体两个角度对语言处理中的基本运算进行了分类研究,系统定义了两级基本运算集:属性派生运算集、实体转化运算集.这些研究增强了语言处理的可计算性,有助于建立更经济的知识处理模式、更通用的信息描述机制.     

当代中国公共政策执行效力探析

提出了一个全新的概念，即政策执行效力。在此基础上，参照关国学者马兹曼尼安和萨巴蒂尔提出的政策执行影响因素，结合中国的现实情况，提出了影响中国公共政策执行效力的四个变量，即党政一把手和基层执法人员，中央、地方关系和人事管理体制，政策形成的程序，执行组织责权清晰程度和组织体系的完善程度。最后，根据当代中国公共政策执行效力与其变量之间的相关关系，提出了推行行政听证和专家咨询制，实施责任追究制，增加地方地府执行政策的灵活性，健全政府组织的咨询、信息评估和反馈系统等政策建议。     

复杂信息系统中单点登录的设计与实现

使用令牌机制,设计了一种适用于复杂信息系统门户平台的单点登录模型,实现了用户的统一身份认证和授权管理。用户一次登录门户就能自动访问所有授权的应用子系统或子模块,方便系统管理的同时有效提高了系统的安全性。最后以某保障信息系统为背景,描述了模型的技术实现。     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

基于电子海图的船舶动态信息显示系统

随着全球经济发展、海事活动的迅猛增加,我国建立了船舶交通管理系统(VTS)、船舶自动识别系统(AIS)等诸多应用于海事管理工作的信息系统.然而这些系统之间彼此独立、数据分散,且通过纸质海图进行标绘,不能为海事工作提供全面、快速、统一的信息支持.针对这一现状,本文设计了一套基于电子海图的船舶动态信息显示系统.该系统融合了VTS、AIS等现有信息资源,通过电子海图显示平台实现船舶动态信息的可视化,并且能够实时查询综合应急信息,有利于海岸、港湾的船舶管理及海上船舶的安全航行,提高了应急指挥的效率.     

概率空间中随机变量序列的一类收敛性问题

作为测度论应用到概率论的一个例子,论述了概率空间中随机变量序列几乎处处收敛和依概率收敛并给出了几个等价命题;研究了随机变量序列的收敛性之间的关系,并给出了证明;探讨了Cauchy基本序列的性质,并作了进一步研究.     

科技在公共安全保障中的应用及启示——基于与发达国家的比较

公共安全保障目标的实现既需要实施有效的公共安全管理,更需要公共安全科技的正确应用。审视发达国家的公共安全管理,可以看到,发达国家十分重视科技在公共安全管理中的作用。我国政府应借鉴其有益的经验,实施公共安全优先战略,提高对公共安全的科学认知,为公共安全提供技术支持,建立健全信息共享的公共安全科研体制。     

机械加工基础课程建设的研究与实践

课程建设是高校教育教学改革的重点，本文针对机类主干技术基础课程——机械加工基础，说明了课程体系与研究价值，论述了课程建设各项研究与实践的完成情况，以求达成正确共识，并进一步提高教学质量。