青鸟C++程序理解工具

程序理解是软件开发过程中一项重要活动,为了保证该活动的准确性和高效性,有理解工具的半自动支持是关键的。青鸟Ｃ＋＋程序理解工具（ＪＢＰＣＴ－Ｃ＋＋）支持用户的多样需求,辅助多种理解策略,为用户理解程序提供了很大帮助。该文概要介绍了青鸟Ｃ＋＋程序理解工具（ＪＢＰＣＴ－Ｃ＋＋）的设计目标和原则、体系结构以及基本功能。     

基于神经网络和侧翻时间算法的轻型汽车侧翻预警

为实现车辆侧翻精确预警,建立了三自由度侧翻模型和基于侧翻时间(TTR)算法的侧翻预警算法。在此基础上引入仿生智能神经网络,提出基于多状态参量修正的NN-TTR侧翻预警算法。选取典型车辆状态参数组合对传统TTR进行修正分析,并利用Matlab/Simu-link与Carsim联合仿真平台对侧翻预警算法进行验证。结果表明,基于NN-TTR的轻型汽车侧翻预警算法能够有效提高侧翻预警精度,为主动防侧翻控制奠定良好基础。     

地方旅游人才培养模式若干问题的探索

扬州是中国首批历史文化名城和中国优秀旅游城市，旅游业发展迅速，这对旅游人才的培养既是机遇又是挑战。在结合扬州职业大学旅游专业办学经验的基础上，探讨了地方旅游人才培养模式的若干问题，提出了一些值得探讨的话题，为旅游专业人才的培养提出了一些可行的建议和意见。     

面向对象软件度量工具体系框架研究

该文首先从系统分析、模型创建、度量计算以及结果表示四个方面讨论了面向对象软件度量工具的体系框架,然后介绍了度量工具信息库的设计,并就若干度量模型实例,对信息的覆盖范围做了统计分析。     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

基于B语言的UML形式化方法

分析了目前主要的UML形式化方法及特点，提出了基于B语言的转换方法B2F(B-Based Formalization)，通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证，并详细分析了基于B2F方法的UML类图的形式化，证明了该方法的可行性。     

基于USB的高带宽数据交互研究与实现

USB由于其众多的优点而得到了广泛的应用，但是当它应用于高带宽数据通信时会出现丢包现象，实际传输速度与期望传输速度相差甚远。本文对这种情况进行了一些研究与试验，找到了这种现象的原因并实现了一种解决高带宽数据传输的USB接口方案。     

非正交多脉冲调制信号的非相干MMSE多用户检测

本文介绍了在同步高斯信道中对NMM(非正交多脉冲调制)信号的非相干MMSE多用户接收机。我们首先建立伪线性调制系统，然后用检测线性调制信号的方法来检测NMM信号。文中介绍了GLRT(Generalized Likelihood Ratio Test)判决器，并对MMSE接收机的性能进行了分析，其分析方法与分析针对NMM信号的解相关接收机性能是类似的。     

液液萃取-气质联用法测水中有机污染物的方法探析

本文主要采用液液萃取工业废水样品,并用GC-MS进行定性和定量的鉴定,该方法提高了水体中半挥发性有机污染物的监测效率,对保护水环境具有重要的意义。     

室内外消防合用稳高压系统在实际项目中应用

根据GB 50016-2006建筑设计防火规范,结合某山地建筑的具体特点,分析采用室内外消防合并的稳高压消防给水系统的优点、系统设计要点以及需采取的技术措施,对今后同类项目具有一定指导意义。