基于C++SuperMix库的SIS混频器的研究

基于C++SuperMix软件库对680 GHz接收机中的双槽双超导隧道结(SIS)混频器进行深入模拟研究.在环境温度为4.2 K、本地振荡器(LO)频率为680 GHz、本振功率为100 nW、中频频率中心为10 GHz和中频匹配阻抗为50Ω的条件下,采用二次谐波的谐波平衡法,在0~500 K热噪声源温度下对SIS混频器的输出噪声温度进行建模仿真研究.计算得出:当偏置电压在2~3 mV变化时,SIS混频器的输出噪声温度均小于50 K,表明所研究的SIS混频器具有较好的噪声性能.

一种结合动态链接库信息的崩溃输入分类方法

软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后,分别将CICELY与几种基于程序修复的分类算法和基于软件崩溃信息的流行分类工具进行了比较,实验测试的数据集共计19个项目、42组测试集.在与基于软件崩溃信息的分类工具Honggfuzz, CERT BFF在相同数据集上比较时, CICELY在分类结果的组数上比上述二者减少了2112.89%和135.05%,说明CICELY在同类算法上的实验效果有较大提升,具有更高的精确性.在与基于程序修复的分类算法“语义崩溃分类”用其论文中提供的测试数据集进行比较时, CICELY比“语义崩溃分类”的分组结果差4.42%;在由对应了多个崩溃的测试输入所组成的测试集上实验时,CICELY比“语义崩溃分类”分组的重复度高了3%.但是语义崩溃分类只能对于空指针解引用和缓冲区溢出这两种崩溃输入导致的崩溃进行分类, CICELY不受这样的限制.

基于标准版定制软件开发的复用方法

针对性地研究了基于标准版软件系统进行定制开发的特点。根据开发过程中功能覆盖、数据对象差异、功能逻辑差异、修改规模以及修改分布等特点,并结合生物学点突变过程提出一种综合了模型视图和功能逻辑两种维度的复用方法。在数据模型变化处理中,基于突变点影响的链式传递规律,提出了一种管理范围更广的模型构件复用体系;在功能逻辑处理中,通过逻辑描述特征抽取、业务特征增强、特征语法树构建、复用模块裁剪等处理,构造了一种包含映射关系的可复用片段。在共研企业的运输管理系统开发的实验和开源系统的迭代实验中证明,该复用方法平均生成可用性分别为94.13%和78.62%,平均复用比例分别为70.43%和62.68%,且复用资产库的维护成本可控,可有效用于多批次小规模频繁改动的定制开发。

基于构件库／工作流的可视化软件开发

在研究构件技术的基础上,结合工作流技术提出了一种新的软件开发模式,即通过将可视化的构件库与可视化的工作流编辑系统全面融合实现零编程的软件搭建平台。构件库包含了多层次和多粒度的可视化软件构件集合。工作流以业务流程为核心来组装各种构件以实现可视化的软件开发。论文提出了软件构件运行与逻辑控制分离的思想,通过构件库不同层次构件为用户提供良好的软件扩展性和移植性,通过工作流引擎的流程控制取代程序流程的过程控制实现面向业务的快速软件搭建,并支持任意流程的实时测试。这种软件开发模式拓展了传统软件工程的过程开发方式,能较好兼容自上而下和自下而上的软件工程方法,并能适用于BS/CS开发模式。该模型已在新一代GIS平台——MapGIS搭建平台中得到成功应用。最后分析了该软件开发方法的优缺点。

一种面向对象的可重用库管理系统的模型

研究软件的可重用技术是提高软件生产率、解决软件危机的良好途径．好的重用技术可以带来高可靠、高性能、高质量和高效率的软件新系统．重用是支持软件工程新范型的基本前提．本文介绍了一种支持基于重用的、开放的。

基于过程级编程模型的软硬件协同设计框架

当前动态可重构计算系统对程序员编程不透明,且动态可重构资源难以有效利用。针对上述问题,提出一种基于过程级透明编程模型的软硬件协同设计框架。在该框架内,软件开发人员对软硬件协同函数库进行调用,即可用C语言完成系统功能描述。动态软硬件划分算法在程序运行时进行划分,自动选择并调度需要转换到软件或硬件的库函数,通过动态链接器实时切换函数的运行方式,实现由功能描述到系统实现的自动化流程。

支持软件重用的程序设计语言

本文提出一种支持软件重用的程序语言（重用描述语言）并给出了重用描述语言翻译器的工作原理．该语言是在宿主语言Ｃ＋ ＋ 中引入“重用描述”成分和“装配语句”而形成的．该语言以软件重用部件库为依托，重用描述用于表达用户在程序中对部件的要求，重用描述语言翻译器则分析这些需求，自动在库中查找提出部件来适应用户．使用重用语言开发软件，使得程序员可以方便地重用软件重用部件库中的部件来开发新软件。

玻璃纤维缠绕机结构设计和芯模参数化设计

在机械式缠绕机的基础上,增加了吐丝头的伸缩、回转机构及张力控制机构,研发出一种新型的四轴联动的玻璃纤维缠绕机。通过计算机控制使该缠绕机四轴联动,结合相应芯模的缠绕方法,可方便快速的实现对矩形芯模、压力容器芯模等常用芯模的缠绕。为了减小缠绕过程中各层纤维之间张力的影响,采用阶梯式张力控制施加的方法;为了提高芯模的设计速度,基于Solidworks完成常用芯模的参数化设计,并构建了常用芯模的模型库,实现随时调用想要特征的芯模。

美国近年来图情专业课程设置与教学方式分析

美国图书情报专业教育历史较长,目前发展势头良好,为了探究其内在原因,使我国的专业教育有所借鉴,作者在对美国图书情报学院综合考察的基础上,结合个案研究和亲身体验,从课程设置和教学方式的角度总结和分析了其特点。

航空发动机液压装置特性仿真元件库设计

针对航空发动机数控系统液压机械装置建模复杂,已建模型可重用性较低的问题,提出了按照功能元件分类收录元件模型的方法。建立了AMESim环境下针对航空发动机的液压机械装置元件库,并设定了元件库的模型命名标准和收录规则。使用结果表明:元件库易于维护拓展,元件模型可重用性高;利用元件库方便快速构建不同用途、不同型号的发动机液压机械装置模型,利于使用已有的元件装置模型和数据,有利于航空发动机机械液压装置向系列化、标准化、通用化方向发展。

美国公共图书馆代际项目的发展现状及特点分析

文章通过邮件、电话、当面访谈和实地考察等方式对美国公共图书馆代际项目的发展现状及特点进行了介绍与分析。美国公共图书馆所开展的代际项目数量有限,但类型多种多样。代际项目发起的主要原因是图书馆对社区中存在问题或未满足需求与社区可利用资源的有效匹配,面向人群主要为社区中弱势或服务不足的老年人和年轻人,核心理念是促进二者之间的相互支持并发展互惠关系。代际项目的运作特点包括强调参与者的平等与互惠、给予参与者充分自主权、注重与不同部门和机构间的合作、发起者多为儿童和青少年部门等。文章从年轻人、老年人、图书馆、社区四个层面分析了代际项目产生的影响。

基于VxWorks图形应用编程接口库的设计与实现

针对图形应用编程接口库的图形处理器应用问题,设计一个图形应用编程接口函数库。该函数库基于开放的图形库标准OpenGL,采用3层结构设计实现。应用编程接口管理层管理和封装整个函数库,函数预处理层完成上下文的建立和函数参数的校验,命令解析层将函数参数转换成图形处理器能够识别的指令序列,参数转换完成后调用驱动程序将指令序列传递给底层硬件。以VxWorks为软件平台,对该函数库进行测试验证,结果表明该函数库可以满足图形处理器系统的要求。

Ada95层次库结构与大型软件开发

Ａｄａ９５提出了层次库和后扩库单元的概念并提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充．这些扩充不仅可以减少重编译和重测试，而且也有利于把一个大系统分成若干个子系统进行开发，有利于进行面向对象的程序设计．本文对层次库的概念与设施进行了详尽的介绍。

面向对象的可重用库管理系统

研究软件的可重用技术是提高软件生产率、解决软件危机的良好途径。好的重用技术可以带来高可靠。高性能、高质量和高效率的软件新系统。重用是支持软件工程新范型的基础前提。文章介绍了一种支持基于重用的、开放的、不依赖于具体领域的可重用部件管理系统。

美国公共图书馆代际项目的认知调查

文章调研美国公共图书馆、图书馆行业协会、代际专家和代际组织对公共图书馆代际项目的认知。图书馆界普遍缺乏对代际项目的理解与关注,但未来开展代际项目的倾向明显;代际项目开展的最普遍原因是,基于馆员对社区中存在问题或未满足的需求与社区可利用资源之间的有效匹配;图书馆具有开展代际项目的多元优势;图书馆可开展的代际项目类型多种多样。公共图书馆可从推广代际服务理念、评估社区代际项目需求和条件、探索非相关性老年人和年轻人代际项目、重视并收集积极老年人形象的馆藏资源入手,推动代际项目实践的发展。

美国联邦寄存图书馆计划及对我国的启示

美国政府一向重视政府信息的公开与传播,是最早建立政府出版物寄存制度的国家。美国联邦寄存图书馆计划由国会建立,旨在确保美国公众获取政府信息。联邦寄存图书馆计划的概况包括了发展概况、成员馆概况和组织机构概况。联邦寄存图书馆计划的运作流程包括寄存馆藏的采集、分发、管理、服务及弃用处理。我国可以借鉴美国联邦寄存图书馆计划运作的几点经验。

在MATLAB中运行其他可执行软件的方法

本文结合MATLAB与VC++各自的特点,应用了混合编程技术,详述了在MATLAB上建立一个图形用户界面(GUI)的方法,并以一种伪随机序列性能分析软件为实例,阐述了如何利用Mex将需要保密的核心代码编译成动态链接库,在GUI上直接调用的过程。

程序插装在软件测试中的应用研究

程序插装是软件测试中一种重要的白盒测试技术。介绍了程序插装的基本原理,分析了程序插装的关键要素,研究了插装测试设计的主要内容。针对常用的程序结构,如线性程序、结构化程序、面向对象程序的不同特点,提出了相应的程序插装策略和测试实现方法。在插装测试实践中,根据程序测试的规模、要求等,需要综合考虑程序插装对被测程序性能、执行效率等方面产生的影响,采取优化的插装方法,提高插装测试效果。

E级计划及对美国图书馆活动的影响

本文对美国E级计划的提出背景、主要内容及影响因素进行了阐述,指出E级计划对美国图书馆的影响:推动了图书馆权利;增强了图书馆在弥合数字鸿沟过程中的作用;使图书馆在教育进展中扮演更加重要的角色;提高图书馆的经济价值。

论Ada对DOD国防系统软件开发标准的适应性

Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。