论科技进步和经济发展中的知识产权机制

描述了知识产权机制在科技进步和经济发展过程中的重要作用;知识产权机制是促进和保障技术进步和经济发展的重要法律机制;以及在完善知识产权法律制度的过程中,需处理好知识的生产与促进知识的传播和利用的关系以及遵循国际规范与适当保护本国利益之间的关系两方面问题.     

下一代网络(NGN)规划实例

NGN技术在我国的通信领域有着广阔的发展前景，对该项技术进行了相关的描述，并给出了实际应用案例。     

铁路枢纽与城市交通系统的整合研究--成都铁路枢纽为城市服务的实施方案

结合铁路的供给特性和我国城市化进程及由此产生的对交通运输方式的需求特点，提出铁路业应全面参与到大城市综合交通运输系统中来。据此，对铁路与大都市区综合交通运输系统的整合进行了概念界定、数学描述和流程分析。并对成都铁路枢纽参与成都大都市区的交通运输进行了方案探讨。     

饱和砂土中的地铁圆形衬砌隧道地震响应分析

研究目的:将多屈服面动本构模型引入土体动力有限元计算,在实际工程中,验证其正确性和合理性.研究结论:多屈服面动本构模型在描述土真实特性方面具有适用的普遍性和应用的灵活性;以往采用单屈服面模型进行计算是偏于安全的.     

老163单元地质建模研究

老河口油田桩106地区在2000年以后,通过砂体描述追踪,在桩106块北部预测了多个河道砂体,部署了老斜163、老168等8口探井。由于该地区储层变化快,油水关系比较复杂,因此导致开发效果较差,目前采出程度仅1.1%综合含水就达54.1%,因此有必要对该区进一步开展小层对比、储层、沉积相及油层分布特征等方面的综合地质研究工作,应用油藏工程方法及数值模拟以充分挖掘该地区的开发潜力,实现开发效益最大化。     

一种新型的舰载指控系统分析方法

本文简要介绍P网技术可以有效准确地描述指控系统的工作过程和系统内部的信息关系、OMT技术可以有效地对P网进行计算机语言上的描述,从而指出两者的完美结合可以成为指控系统效能分析和仿真的有力工具。     

形式化方法应用于计算机联锁软件的安全验证研究

铁路信号系统中的联锁系统对安全性要求极高，仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化，得到具体的安全需求后输入带归纳功能的布尔可满足问题（SAT）约束求解器进行验证，通过覆盖所有的实例、所有周期以及每个周期所有的状态空间，保证了验证方法的完备性。     

漫谈因果图、故障树、流程图的绘制

故障分析是一种思维活动，这个思维活动可以用语言描述，可以用文字描述，也可以用图形描述。简单故障采用语言和文字就可以进行描述．复杂、疑难故障则采用图形描述比较方便。图形描述的方法有因果图分析法、故障树分析法和流程图分析法。这些方法对于维修人员制定检查方案、与同行进行讨论交流都带来极大方便，可以说图形描述是故障诊断的另外一种语言。     

基于SCADE的测速定位系统模型设计

针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题，提出了基于SCADE的测速定位系统模型设计，介绍SCADE需求建模以及模型验证方法，分析了一种测速定位模型；在SCADE平台上建立了测速定位系统的模型，通过仿真与验证，证明模型完全满足测速定位的系统需求与安全性。     

壳体设计原则在SCM变速器中的应用

介绍了壳体设计的一般原则和国外的一些设计方法在SCM变速器中的应用.针对实际开发项目中壳体的技术设计,作了较为详细的描述,提供了变速器壳体设计的一些经验数据,还阐述了壳体材料选择和结构工艺性.