军事信息系统互操作验证平台研究

军事信息系统互操作性是战场上夺取制信息权和提高作战效能的关键。文章通过研究借鉴美军互操作性评估理论与方法,结合我军信息系统现状,设计了一种互操作验证平台架构。基于统一体系架构的互操作验证平台,将各类验证工具集成互联,提供功能、性能、接口、标准等验证能力,实现验证工具的统一调度、验证脚本的自动执行、验证过程的实时监控、验证结果的直观展现。此外,基于统一的验证工具集成规范,本研究结合项目实践,持续积累和集成各类验证工具,为提升我军信息系统互操作水平提供有意义的参考。

让学生从操作验证走向推理验证经历数学的“再创造”—《圆的面积》的教学实践与思考

数学教育家弗赖登塔尔说：“学习数学的唯一正确的方法是实现‘再创造＇”。笔者以《圆的面积》的课堂教学的实践为例，让学生从操作验证走向推理验证经历数学的“再创造”从三方面阐述：建构基于经验，教师关注学生的活动经验；方法重于结论，要关注学生学习方法的形成；思维源于挑战，要激活学生的思维。

军事信息系统互操作性设计与验证研究

军事信息系统互操作是联合作战中夺取制信息权的关键,同时也是提高作战效能的倍增器。本文通过研究与借鉴美军信息系统互操作性设计与验证的机制、流程与方法,提出了构建适用于我军信息系统互操作性设计与验证的方法及模型,为提高我军信息系统互操作水平提供有意义的参考。

电力系统操作票自动生成系统的设计

阐述电力系统操作票自动生成系统的原理,系统的优化设计,探讨调度操作票自动生成系统的应用,包括拟票方式、验证功能、开票系统的维护、应用效果评估。

药品检验用仪器设备性能验证指导原则和技术标准的探讨

目的为了规范我国药品检验用仪器设备性能验证工作,加快国内药品检验机构在仪器设备质量控制和管理方面与国际先进实验室接轨,符合世界卫生组织药品预认证的相关要求。方法概述了仪器设备性能验证的基本概念和内容,验证工作的必要性,国内外性能验证的基本情况以及差距,探讨了国内药品检验机构开展性能验证的思路和方法,借鉴了北京市药品检验所开展高效液相色谱仪性能验证的经验。结果引进国际先进的4Q模型理论可以帮助国内药品检验机构有效提升仪器设备质量控制和管理水平,开展仪器设备性能验证工作,符合国内外监管机构和权威组织的法规和认证要求。结论尽快制定国内药品检验领域仪器设备性能验证指导原则和技术标准是促进我国药品检验机构和制药企业参加国际合作和竞争的重要技术保障。

民用飞机维修手册验证方法研究

国产民用飞机维修程序存在验证方法不完善的问题,有必要对其验证方法进行研究。根据飞机维修手册技术中的程序类型和程序内容,介绍三种验证方法;在S1000D标准提出的书面验证和操作验证方法基础上,结合国产民用飞机的验证实践与总结,提出维修使用验证子方法和维修专项验证子方法,阐述两类子方法的适用范围;提出评估/模拟验证方法及其四类子方法,并进行实例验证。结果表明:本文提出的民用飞机维修手册验证方法有效,对飞机维修手册验证的开展具有参考意义。

民用飞机技术出版物验证工作探讨

技术出版物是保障民用飞机安全、经济、持续运行的重要技术保障。为了确保技术出版物的内容正确,做到文文相符、文实相符且具有可操作性,必须对技术出版物中涉及的重要数据、限制条件及操作程序等进行书面和操作的验证。该文初步探讨了民用飞机技术出版物验证的验证方法、验证资源、验证工作开展流程及一般原则,并介绍了主最低设备清单验证工作过程,为我国民用飞机技术出版物验证工作开展提供了借鉴。

操作中感悟推理中证明

在小学阶段,对图形与几何的内容教材上大都采取观察、测量、实验等操作方法进行教学,很少涉及演绎推理。如我国各版本教材在教学“三角形内角和”时,都采用了操作验证的方法,具体如图1:那是不是说小学生就不适合用演绎推理的方法来学习这一内容呢?笔者认为,能不能用演绎推理的方法进行教学,关键在于:学生的推理能力达到了怎样的水平?学生能不能想到证明的方法?即使有人想到了,又有多少人能想到?多少人能听懂?等等。

微处理器存储管理单元的功能验证方法

在分析存储管理单元(MMU)验证方法的基础上设计一种验证专用操作系统(VPOS)。采用静态存储管理、静态用例调度和伪中断处理等技术,为编写可执行、可控制的MMU测试程序提供了软件平台。验证表明,基于VPOS的仿真能在早期的软仿真阶段覆盖94%的MMU设计错误,在FPGA验证中覆盖剩余的错误,保证了移植通用操作系统一次成功。

实现Oracle使用Windows身份验证

学习如何配置Oracle数据库服务器以使用Windows身份验证，并解决棘手的安全关系。

浅谈产品过程质量控制

产品质量是企业发展的关键要素,是企业生存和发展的根本所在.它反映了一个企业的综合实力.反过来讲产品质量问题也是影响企业发展的重要因素.那么如何更好的控制产品质量显得尤为重要.

合同能源管理项目审核认定方法的应用分析——新版IPMVP(2012)解读

文章首先对新版IPMVP(2012)进行介绍,重点介绍IPMVP新框架中的"测量和验证(M&V)过程"及新增的"操作认定(Operation Verification)"。然后,比较《指南》与新版IPMVP的异同,以此为基础分析合同能源管理项目节能量审核认定及节能措施操作认定的可行性,并提出一种适合我国合同能源管理项目测量审核认定计划开展的、可操作的实施流程。

中海九华山浮船坞的结构设计

介绍了中海九华山大型浮船坞的结构设计特点。分析了旧油轮结构状况及所改建浮船坞的结构设计详情。对改建后的浮船坞结构强度进行了实船操作验证。

如何让学生自主发现轴对称图形的性质

轴对称图形有一个重要的性质,即对称轴两侧的对应点到对称轴的距离相等。这个性质教学时学生不容易自主发现,我们可以借助正方形、方格纸等材料,通过动态演示、操作验证、应用解释等活动,帮助学生认识这个性质。

浅谈苏教版数学教材中补充材料的文化价值

通过苏教版数学教材中补充材料的文化价值呈现的不同方面:1感受知识引入的必要性,引发学习的原动力;促进学生整合知识、掌握建模的方法;帮助学生理解数学本质,扩大数学视野;引导学生知识的验证操作,培养关键步骤验算的意识;能对学生进行选题指导,引导学生深入调查研究几个方面来阐述数学文化是对数学知识、技能、能力和素质的高度概括。学生学习数学的目的决非单纯的为了获取知识,更重要的是通过学习,使学生接受数学精神和思想方法,将其转化成自己的智慧。