电阻阵红外景象投影仪非均匀性校正方法学

电阻阵红外景象投影仪是红外成像制导系统和前视红外系统等红外探测系统性能测试、评估和系统动态仿真的重要装置。但是其严重的辐射非均匀性限制了它的应用范围。因此,必须要进行校正。本文对非均匀性校正的方法学进行研究,综述几种有效的校正方法及其实施过程。     

胶体果胶铋中游离铋测定方法的建立

目的：建立一种新型胶体果胶铋中游离铋测定方法,为游离铋的含量进行进一步控制提供检测指导。方法：采用火焰原子吸收法测定胶体果胶铋中游离铋的含量。检测波长为223.1 nm,灯电流为10.0 mA,狭缝宽度为0.7 nm,燃气流量为2.2 L/min,燃烧头高度为7 mm。结果：游离铋在10～30 ug/mL范围内浓度与吸光度呈良好的线性关系(r=0.9991),其检测限为0.05 ug/mL,平均加样回收率为101.9%(n=9,RSD=1.7%);3批样品中游离秘的含量分别为1.473%、1.180%、1.282%,均符合拟定标准规定(限度为不大于10%)。结论：本法经方法学验证,可用于胶体果胶铋中游离铋的检测和质量控制。     

清洁发展机制让高压传输电网SF6气体减少排放

根据《联合国气候变化框架公约》和《京都议定书》,华北电网有限公司利用清洁发展机制（简称CDM）和UNFCCC-EB AM0035方法学,开展电网SF6气体减排项目的应用开发工作。核心技术是按照AM0035方法学研究基准线排放量的确定,控制项目排放的各种技术办法和管理措施,以及可行有效的监测手段。本文论述了加强华北电网SF6技术监督检测中心建设,严格控制运行、检修设备过程中SF6气体排放的措施;对生产运行、检修维护所用的SF6新气实行统购、统检、统售的“三统”信息技术管理模式;加强运行设备中SF6气体泄漏监测工作;制定华北电网有限公司SF6减排技术标准和管理办法。     

Mathematica在横向程序变换中的应用

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换,以两类不同的递归程序变换的抽象模式为例,本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式,然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制,在ＶＢ５．０的环境下实现它们的应用。     

软件过程中的范型研究

为实现软件工程的目标,有必要研究软件开发过程。论文规范了软件开发方法学、软件过程范型、模型和编程范型等概念;讨论了软件过程中各种范型之间的关系;研究了选择范型的原则和机制。本研究有助于软件实施。     

HPLC法测定阿昔洛韦凝胶的有关物质

目的:建立阿昔洛韦凝胶有关物质的测定方法。方法:采用Agilent SB-C18色谱柱(4.6×250 mm,5μm);以水为流动相A,甲醇为流动相B,进行梯度洗脱,柱温35℃;检验波长为254 nm。结果:辅料不干扰测定;特定杂质鸟嘌呤与主峰分离良好;向供试品溶液中加入特定量的杂质,各杂质峰与主峰分离良好,鸟嘌呤的线性方程分别为A=63.8424C-6.8454相关系数r=0.9933,线性范围为0.007～1.68μg;阿昔洛韦的线性方程为A=75.0092C-0.3026相关系数r=0.9998,范围为0.0127～2.4μg;鸟嘌呤和阿昔洛韦的定量限分别为0.0025μg和0.013μg;检测限分别为0.00201μg和0.0039μg;鸟嘌呤的平均回收率为99.82%,RSD为0.19%。结论:经方法学验证,所建立的方法专属性、线性、准确度、重复性好,本法适用于阿昔洛韦凝胶有关物质的测定。     

极限编程的实践与特点

软件开发经过多年的发展,其方法层出不穷,归结起来主要可分为重方法学和轻方法学。本文主要介绍轻方法学中的一个重要方法——极限缟程．着重讨论极限编程的实践和特点。     

软件工程与CASE发展综述

首先介绍了自60年代末期以来软件工程中采用的结构化方法、面向对象方法学、实体关系方法、面向事件方法、形式化方法以及近年来多种方法的结合研究,然后介绍了自80年代中期以来软件工程中采用的CASE技术的发展情况,最后指出今后的软件工程应该是“方法学＋CASE技术”的结合,并且很有可能在今后的软件工程中,CASE技术将占据主导地位。     

覆盖率导向的WTB控制器功能验证方法

随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本文详细介绍了在验证方法学VMM指导下,基于IEC61375-1标准的规定,设计分层次的验证环境,对绞线式列车总线控制器进行RTL和参考模型联合仿真的功能验证技术.通过可重用VMM库和随机化函数及基于断言的验证方法,编写高效、可重用的验证平台,以提高验证效率和覆盖率.实验表明,采用覆盖率导向的验证方法可有效地减少验证工作量和验证时间,提高验证质量.     

基于开放源代码的硬件设计方法研究

可重用性是当今超大规模集成电路设计的必要元素。与传统的封闭源代码付费IP相比,开源硬件以共享设计文档和IP模块的方式为硬件设计的重用提供了更加彻底有效的解决办法。基于开源硬件的SoC设计方法以其开放性和灵活性正被越来越多的设计者所接受并付诸实用。该文对开源硬件的相关概念、意义、面临的问题及发展前景进行了较为详细的介绍,并以开源处理器的设计作为实例,对基于开源硬件的设计流程进行了深入的探讨。