基于软件接收机的卫星导航信号模拟器性能指标测试

针对卫星导航信号模拟器的性能指标测试评估问题,提出了基于软件接收机的性能指标测试方法;通过分析模拟器性能,包括对动态性能、相位噪声、通道间时延一致性和静态定位精度的综合分析,给出了相应的测试方法和测试流程,并结合卫星导航信号模拟器产生的实际信号对各项性能指标的测试结果进行分析;经测试结果表明,软件接收机可以有效地对卫星导航信号模拟器各项性能指标进行测试,测试结果符合理论预期,满足模拟器性能指标测试评估的需求。     

分布式计算机软件数据整合平台设计

为实现当前经济市场中各应用软件的整合,提高我国各行业间个性化软件的开发能力,加强企业间的科学化系统软件设立,保证企业的高效运行,以及质量和系统维护能力;根据较为常用的分布式计算机系统,提出一种软件数据整合平台的设计;以商用软件整合平台设计为例,以开发模式、服务、技术结构、功能为研究方向,在企业正常运行时,可以实现业务系统功能开发以及门户单点登录,提高企业的个性化系统应用和经济效益;本文根据以上基本需求提出该功能软件平台进行设计,并在实际应用中分析出对于当前企业发展所提供的助力;结果显示,在当前经济发展状况下,有效地使用软件数据整合平台可以很大程度上提高企业的科学化管理和有效的资源分配,使企业在市场竞争中提高经济效益和社会效益。     

基于持续集成的软件度量

软件度量是针对软件开发项目、过程及产品进行数据定义、收集和分析的持续度量化过程;持续集成工具上的的构建工程每天自动完成从版本库更新代码、静态检查、编译、出包、自动化用例测试等任务,在进行集成构建的过程中可以为软件度量提供多种相关的度量数据;结合工作实践,叙述了基于持续集成的软件度量的原理;软件度量管理涉及到的角色;软件度量实现过程;叙述了基于持续集成的两种类型的软件度量指标的定义以及提取方法;最后详细叙述了在软件度量过程中遇到的几个典型案例;工作实践表明在软件的开发过程中做好软件度量工作有助于软件开发部门控制、预测、和改进软件产品的质量与软件开发过程;从而提高软件质量和软件开发效率,降低软件开发成本。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

基于USB的卫星通用化地面测试软件的设计

本文将软件工程中的组件技术引入卫星测试领域,提出了利用测试功能组件构建通用化测试软件的设计思路。首先,对现有卫星型号的地面测试任务做共性研究;其次,总结通用化测试软件的研制需求;然后,进行软件概要设计和详细设计;最后,软件实现。经验证,本文提出的基于USB接口的卫星通用化地面测试软件,通用性强,能较好的满足多个分系统单机设备的测试要求。     

利用量子化学高斯软件辅助工科教学——以能源、环境、化工学科为例

介绍了量子化学高斯软件在能源、环境和化工等大学传统工科教学中的应用,并结合3个具体实例羟基自由基与臭氧的基元反应、一氧化氮与羟基自由基的基元反应和甲酸超临界水气化制氢的反应路径进行了详细说明。实践表明,采用该方法可以使工科生从微观层面去洞悉化学反应的内在规律和本质问题,从而加深学生对“微观化学知识”的理解,激发学生对深层次“微观化学知识”探求的积极性和热情,产生了良好的教学效果。     

OO Software and DataModel of AMS Experiment

The Alpha Magnetic Spectrometer(AMS)is an experiment to search in space for dark matter,missing matter and antimatter scheduled for installation on the International SPace Station(ISS) Alpha.AMS detector had precursive flight in June 1998 on board the space shuttle Discovery during STS91,More than 100M events been collected and analyzed.The detector will have another flight in the fall of year 2003 for more than three years on ISS.The data will be transmitted from ISS to NASA Marshall Space Flight Center(Huntsvile,Alabama)and then to MIT and CERN for processing and analysis,In this report we describe AMS software in particular conditions database and data processing software.     

季铵型阳离子蔗渣纤维素对甘蔗清汁的澄清研究

利用新型的季铵型阳离子蔗渣纤维素作为澄清剂,对甘蔗清汁进行吸附脱色研究.本实验在单因素试验结果的基础上,分别选取纯度提高率和色值降低率作为考查指标,利用SPSS软件进行正交试验的设计和数据分析.通过最佳工艺参数的优化试验,得出如下结论:反应温度为80℃、蔗汁中阳离子蔗渣纤维素复合物的加入量为0.4g/100mL甘蔗清汁、接触时间为40min、pH值8.     

天然气能量计量分析系统性能评价方法及软件

天然气能量计量以天然气单位发热量和体积量（或质量）相乘得到的能量值作为计量单位，是科学、公平、合理的计量方式。开展天然气分析系统现场性能评价，掌握仪器的运行状况，是实施能量计量的前提。为提高计量场站设备评价效率及数字化管理水平，根据GB/T 28766—2018《天然气分析系统性能评价》规定的气相色谱仪性能评价的方法，同时参考JJF 1059.2—2012及ISO 10723:2012，编制天然气性能评价软件，并投入实际应用，结果显示，两个计量场站的体积计量不确定度超出国家标准要求，一台气相色谱仪的现行函数检测组成计算高位体积发热量与真实值的偏差较大。通过现场应用发现，使用评价软件可以节省评价时间，提高评价结果的准确性，保证评价数据的完整性，为能量计量的实施提供数据保障。     

软件规格说明语言GSPEC

本文总结了图形化软件规格说明语言GSPEC (Graphical SPECification language)的设计思想。在对软件规格说明语言进行需求分析的基础上,提出了新的软件功能分解模式以及代数与一阶谓词相结合的抽象数据类型定义方法。该语言具有形象易读、表达力强和正确可靠等特点,现已在IBM PC/AT和SUN-3工作站上实现。