基于虚拟现实的动车组维修性验证系统研究与设计

针对动车组维修性验证方法不足的问题,提出了采用虚拟仿真手段对维修性进行验证的方法;结合动车组系统的特点,对基于虚拟现实的动车组维修性验证系统进行了方案设计,给出了维修性验证具体流程,研究了三维虚拟样机建模的基本方法;虚拟维修性验证系统有效提高了动车组维修性设计效率,缩短了研制周期,是一种实现动车组维修性并行优化设计的有效方法。     

基于故障注入的雷达装备测试性验证试验方法

为将测试性验证工作充分应用于雷达装备中,分析现有测试性验证工作的流程以及方法;现在的测试性验证工作一般采用三阶段评定法:测试性设计核查、试验验证和使用评价,这些方法都是在相应的阶段进行的,得到本阶段测试性验证的结果;对雷达装备采用故障注入的方法进行测试性验证试验,进行故障检测和数据收集处理得出相应的测试性指标参数,用来评定雷达装备当前的测试性水平是否合格并给出接收或者拒收的结论。     

激光与计量基准

激光以它的良好的物理性质（单色性好、方向性强、能量大等）而被广泛应用到科学与技术许多领域。激光应用于计量科学和利用激光变更计量基本单位的定义和复现其定。都为计量科学的发展起到革命性的作用，文章介绍了激光与米定义及其复现，激光与秒定义，激光与国际温标，激光与质量自然基准和一系列激光在计量测试中的应用。     

正确把握“ 种差+属”的下定义方法

基本物理概念的定性定义必须借助于形式逻辑方法. 形式逻辑方法最有代表性的是所谓的“ 种差 + 属”定义方法, 主要介绍了这种定义方法的内容、 分类、 需要满足的规则及其局限性, 并在此基础上研讨了一些物理 概念定义的不妥之处     

等离子体的定义问题

本文首先分析现有等离子体定义的局限性，指出现有定义已不再适用于非中性等离子体及强耦合等离子体情形。最后给出了适合于中性等离子体、非中性等离子体、弱耦合和强耦合等离子体情形的统一的等离子体定义。     

理想气体的定义

理想气体的定义是一个有争议的问题，本文讨论了物理概念定义的形式，并证明可以仅用理想气体状态方程完整地给出理想气体的定义、同时，也对一些有争议的理想气体的定义作了说明和解释。     

应当如何验证椭圆偏振光

指出了《椭圆偏振光直接实验验证的数据处理方法》一文的不足之处，提出了数据处理的正确方法。     

PHM模型的工程化验证方法研究

模型验证技术在故障预测与健康管理(PHM)系统研制中受到高度重视,特别是如何将验证方法在具体的工程应用中体现规范性、系统性、通用性和实用性,已成为亟待解决的技术问题;在分析国内外相关研究现状的基础上,对PHM模型验证方法进行了系统深入的研究,阐述了故障数据获取方法和故障诊断和预测性能指标体系,并以机载诊断模型为例,对PHM模型验证流程作了详细介绍;最后,将此方法应用到了PHM验证平台的设计、开发和具体实现中,充分体现了PHM模型验证方法的工程化特点。     

武器装备维修性验证试验方法研究

近年来,我军开始推行武器装备三级维修保障体系向两级维修保障体系转变的维修体制改革。武器装备的维修性是实施装备两级维修保障体制改革的关键,在生产定型阶段对其进行维修性验证试验很有必要。为了进一步完善维修性验证试验方法,以适应维修体制改革的需求,分别对开展武器装备维修性验证试验工作的时机、内容、方法与流程进行了概述;在分析了当前维修性验证试验方法特点的基础上,重点对维修性验证试验工作中的试验方法的选取、样本量确定及样本分配、故障模拟及注入三个关键技术及研究现状进行了总结与归纳;通过对试验关键技术的研究,分析了当前开展维修性验证试验工作存在的问题,对进一步开展维修性验证试验方法研究的内容及方向进行了展望。     

有效数字的定义及其在数据处理中的应用

本介绍了一种较具适用性的有效数字的定义，并给出了伏安法测电阻时数据处理的合理结果。     

时间触发总线验证技术研究

TTP协议定义了一种高确定性,无冲突,高安全的通信总线,能够满足包括飞行控制等的安全关键实时控制系统的应用要求。时间触发总线验证技术根据TTP协议规范要求,针对研制的节点进行测试,包括基本通信测试、时钟同步、故障注入等不同的测试场景,充分验证被测节点的各项功能、性能。通过这些测试,表明被测节点各项指标都满足研制需求,可用于安全关键实时控制系统。     

也谈虚位移原理中广义坐标的选择

讨论了在应用虚位移原理时选择广义坐标应注意的问题，指出正确理解广义坐标的定义是正确选择广义坐标的前提。     

基于Web服务面向虚拟企业的柔性工作流管理技术

提出了一种基于Web服务面向虚拟企业的柔性工作流管理技术方法。在该方法中，虚拟企业内Web服务的提供企业首先根据为不同业务类型预先定义的标准模板注册其提供的服务，这样在另一个企业工作流过程模型描述的活动的实例执行阶段，活动中定义的Web服务请求可以与Web服务提供企业实现动态的服务绑定和调用，使Web服务提供企业的选择过程能够更准确地执行和完成。基于Web服务面向虚拟企业的柔性工作流管理系统的体系结构如图1所示。工作：疯服务器由过程定义工具和工作流引擎两个部件组成。过程定义工具负责对集成了Intemet上各种Web服务的企业工作流进行过程建模，而工作流引擎根据定义的过程模型规划业务的过程具体执行。事件服务器和事件一触发一规则（ETR）服务器主要通过在工作流的执行过程中各种事件对规则的触发、规则对其它工作流过程的触发以及实时改变工作流过程模型来适应不断变化的业务环境使工作流管理系统具有活动性和适应性。基于约束的代理服务器主要包含注册协调器、查询协调器、约束满足度处理器、成本一效益评估服务器以及注册中心等组件。它一方面作为Web服务的注册中心，另一方面可以被服务请求企业用来发现所需要的Web服务以及选择最佳的Web服务提供企业。Web服务适配器需要安装在每个盟员企业的站点上以便将Web服务进行打包和封装，并通过在Intemet上采用SOAP标准协议来调用。     

牛顿第二定律实验的改进

牛顿第二定律的验证是大学物理实验中的一个基础性实验．它是一个验证性实验，涉及到检验一个物理定律或规律的基本途径和方法．因此对于其实验精度往往有特殊的要求．本文先简要地分析一下现行高校中牛顿第二定律验证实验的方法，然后对其做了一些改进，改进后的实验精简了实验器材，提高了实验精度．     

用循环流体验证伯努利方程

用循环流体验证伯努利方程徐仲坤（长沙工程兵学院４１００７２）一、引言对理想流体伯努利方程作定性验证，以及对文特利体积流量公式作定量验证，通常选用水和空气作流动介质．不言而喻，用水实验时，要求具备恒压稳流的水源；用空气实验时，要动用气泵、储气箱等大型设...     

要掌握物理量定义的方法

建立物理量的目的是通过该量来表征物质或物体的状态或性质，并通过探求各量之间所表征的全部内容，集中地包含在它的定义式中．因此，掌握物理量定义的方法，对物理教学具有重要意义．     

关于标量定义的讨论

通过分析指出，不论是从逻辑学的角度还是从物理学的角度来看，将标量定义为只有大小、没有方向的物理量都是值得商榷的，标量的确切定义应该是可用正实数或负实数来表示的物理量。     

物理教学中的方法教学

中专物理教学的目的,不仅是教给学生物理学中的基本概念和基本规律,更重要的是培养学生分析和解决问题的能力和掌握正确的方法．因此,物理教学中方法教学就显得十分重要．１　物理学中的重要方法１．１　物理模型法此法又名理想化方法,即将具体的物理对象经思维抽象,关注事物的主要方面,忽略次要方面,简化为一种现实生活中不存在的物理模型．如质点,理想气体,点电荷等．１．２　比值定义法物理学中的很多物理量通常是用两个物理量或多个物理量的比值来定义的．如速度、加速度、电流、电场强度、电势等等．这种方法定义的物理量通常…     

基于活性顺序图的形式化验证方法及工具研究

近年来,形式化验证方法在软件开发过程的作用越来越大。如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题。总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。     

基于STD标准的ATS信号组件研究与设计

信号与测试定义（STD）标准从被测对象信号的测试需求出发,以信号的方式描述测试需求,可以为自动测试系统提供更好的程序可移植性。STD标准规范了信号的定义与描述模型,但没有提供具体的实现方法。为了从技术层面上解决测试信号参数传递与测试需求存储问题,分析了STD标准,并根据该标准对信号进行设计,提出了基于STD标准的自动测试系统信号组件设计方案,并以信号激励产生的过程介绍信号组件的交互。以交流AC_SIGNAL信号组件的构建为例,对信号组件的设计方案进行验证。实验结果证明该设计方案切实可行,可为自动测试系统的研究提供参考。