符号执行和测试数据辅助生成的实验系统

本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。     

频率合成参数自动测试系统

主要介绍频率合成参数自动测试系统硬件组成及工作原理。通过较详细地介绍频率准确度的表征和频率稳定度的表征来说明测试程序中各参数的计算方法所依据的理论根据，并对主要仪器的诊断程序作了简要介绍。系统采用ＡＳＴ３８６／３３＋ＧＰＩＢ接口板作为系统控制器，ＧＰＩＢ接口板采用成都电子科技大学研制的作为个人计算机辅助测试（ＣＡＴ）工作站的接口板，测试程序采用ＥＳＢＡＳＩＣ语言，该语言是成都电子科技大学在ＧＷＢＡＳＩＣ的基础上，加进了ＧＰＩＢ控制和测试语句而研制的。该语言功能强，尤其对带有ＧＰＩＢ接口的仪器操作特别方便，并可在汉字操作系统下运行，各种曲线绘制程序采用图形语句功能较强的ＱＵＩＣＫＢＡＳＩＣ语言。     

基于动态语义记忆网络的长尾图像描述生成

图像描述生成任务旨在基于输入图像生成对应的自然语言描述。现有任务数据集中大部分图像的描述语句通常包含少量常见词和大量罕见词，呈现出长尾分布。已有研究专注于提升模型在整个数据集上的描述语句准确性，忽视了对大量罕见词的准确描述，限制了在实际场景中的应用。针对这一问题，提出了基于动态语义记忆网络(DSMN)的长尾图像描述生成模型，旨在保证模型对常见名词准确描述的同时，提升模型对罕见名词的描述效果。DSMN模型能够动态挖掘罕见词与常见词的全局语义关系，实现从常见词到罕见词的语义知识迁移，通过协同考虑全局单词语义关系信息及当前输入图像和已生成单词的局部语义信息提升罕见词的语义特征表示能力和预测性能。为了有效评价长尾图像描述生成方法，基于MS COCO Captioning数据集定义了长尾图像描述生成任务专用测试集Few-COCO。在MS COCO Captioning和Few-COCO数据集上的多个量化实验表明，DSMN模型在Few-COCO数据集上的罕见词描述准确率为0.602 8%，召回率为0.323 4%，F-1值为0.356 7%，相较于基准方法提升明显。      

CWZ-GD型光电传感器的原理、特性和应用

简要介绍了CWZ—GD型光电传感器的检测原理并对其输入—输出特性作了详细分析,介绍了其在薄板轧制自动生产线上用于钢带边界位置检测的情况及推广应用前景。     

静止气象卫星系统中的一项关键电子技术——图象信号的同步缓冲

在静止气象卫星系统中,从可见光与红外自旋一扫描辐射计(V1SSR)获得的原始数据首先要进行同步和缓冲,才能送向数据处理中心(DPC)。同步是为了恢复出象点有准确位置的好的图象,并可用来准确测量风速(一项重要的应用);而缓冲是为了数据传输和输入计算机的方便。从正确使用数据的观点看,同步和缓冲是系统中不可缺少的技术。本文介绍Meteosat和GMS两个气象卫星系统中被成功地应用着的同步和缓冲系统(S/DB),并对它们的性能和精度进行了分析。     

三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

电子计算机汉字信息处理中的编码问题和自动识别探讨

目前,解决汉字输入的方法,基本上可以分为两大类。一类是将汉字用人工进行编码,再将编码输入计算机内。另一类是用计算机自动识别汉字,即通过专用设备将汉字输入计算机,然后对输入的汉字自动进行分析、识别,自动进行编码。本文对国内提出的一些编码方法作了一些评价,并提出一种拚音字、词代码,作为汉字人工输入计算机的手段。这种代码具有不受汉字字形变化影响,以及良好的可读性能。当考虑计算机处理文字信息的速度与人工键盘输入汉字的速度不相匹配时,本文还以笔划为基本识别特征,对汉字的自动识别方法进行了一些探讨。     

B—样条函数的一种快速递推法(续)

本文是“B—样条函数的一种快速递推法”一文的续篇。它提出了递推方法的具体计算格式及程序设计,阐明了此法具有计算简便、递推快速和更为直观的特点,为B—样条方法的推广和应用提供了方便。     

应用微型计算机处理涡轮流量计校准数椐

前言涡轮流量计出厂前必须一个个地校准,校准中最麻烦的事是处理数据。用两台机械式手摇计算机,二人同时计算,一天只能处理两个流量计的校准数据。近年来由于微型计算机的运用,我们用BASIC语言编写程序在Z80微型计算机上进行流量校准数据的处理,这就极为方便。用微型计算机处理数据,不仅速度快,而且精度高。本文着重介绍一种我们实际应用的BASIC语言程序。     

陆地卫星主题测绘仪数据的重新采样

<正> 一、前言遥感图象数据的几何校正和投影变换处理,需要为输出图象各网格点上的象元确定灰度值。根据在输入原始图象上相应的映射点周围象元的灰度值,内插确定输出象元灰度值的过程称作为重新采样。这重新采样运算是计算机遥感图象处理中最费机时的一项运算。通常可供采用的重新采样算法有三种:最近邻点法;双线性内插法和三次折积法。其中以三次折积     

基于数值分析的空速-动压信息处理方法

从数值计算方法的角度对大气数据校验系统设计中空速、指示空速与动压、静压转换关系进行研究,提出了一种新的转换方法。在PC计算机和ARM嵌入式计算机S3C2410上进行了模拟仿真,给出了计算程序和分析结果,与传统方法相比,具有转换速度快、程序简捷、精度高的特点,该方法用软件容易实现,可以很方便地应用到其它传感器的研究与设计中。     

基于深度视觉语义嵌入的视频缩略图推荐

视频缩略图作为视频内容最直观的表现形式,在视频共享网站中发挥很重要的作用,是吸引用户是否会点击观看该视频的关键要素之一。一句与视频内容相关的描述性语句,再搭配一幅与语句内容相关的视频缩略图,往往对用户更有吸引力,因此提出一种深度视觉语义嵌入模型来构建完整的视频缩略图推荐框架。该模型首先使用卷积神经网络（CNN）来提取视频关键帧的视觉特征,并使用循环神经网络（RNN）来提取描述语句的语义特征,再将视觉特征与语义特征嵌入到维度相同的视觉语义潜在空间;然后通过比较视觉特征与语义特征之间的相关性来推荐与特定的描述语句内容密切相关的视频关键帧作为视频缩略图推荐结果。在不同类型的网络视频数据上的实验表明,所提方法能够有效地从网络视频中推荐出与给定描述性语句内容较相关的视频缩略图序列,提升视频的用户浏览体验。      

15厘米射频离子推力器—“RIT-15”的实验研究

本文简单介绍了“RIT—15”的工作原理,性能参数计算及实验结果。推力器是用惰性气体氙(Xe)和氩(Ar)作工质,以代替水银。结果表明:推力器可以正常运行,可拔出离子电流为150—220mA,相应的推力达7—14mN。由于用惰性气体运行方便、无毒,所以这是一种有希望的工质,但随之而来的是推力水平和质量效率的下降。这必须通过推力器结构的改进及进一步提高高频发生器的耦合性能来解决。     

反馈严格正实输出的充分必要条件

给出了多输入线性系统具有反馈严格正实输出的充分必要条件，由于这一条件用矩阵Ａ、Ｂ和Ｃ直接给出，所经检查比较方便。     

通信系统的计算机模拟方法

<正> 一、前言计算机系统模拟由于能省时、省钱、快速灵活的预测系统的性能,因此它已被应用于各个领域的系统设计中。用计算机模拟通信系统既利于方便地选择系统的方案,且在方案确定后,结合对模拟中数据的分析和处理,又能使系统各部分的参数最优化。本文介绍和讨论了通信系统的模拟方法,应用这些方法也可用通用语言对通信系统进行模拟,这对只有通用语言的小型计算机模拟一些不大的系统是很方便的。     

美发明卫星呼叫系统

美国某公司发明了一种利用卫星的呼叫系统,呼叫范围为美国的任何一个地方,从而解决了无线电呼叫器只能在20～30公里范围内使用这一问题。人们通过电话把存取的代码、回拨的电话号码等信息输入到华盛顿的中心计算机,计算机立即转换并通过通讯卫星把信息发送     

捷联惯导系统计算机硬件检测原理与实现

介绍一种实用捷联惯导系统计算机结构。主模块与美国SESCO/TITAN公司的SECS86/20模块兼容,检测软件可以检测板上大中规模集成芯片,具有检测全面、准确的特点,从方法与原理上都具有通用性,可以方便地移植到其它类似的机器上。该软件已用于实际系统。     

接口电路中的抗干扰技术

设计两种将星上计算机控制器指令信号输出端与部件输入端连接的接口电路．它能抵抗从计算机控制器指令信号输出端发出的宽脉冲干扰,并能将控制器指令信号变换为部件所需的驱动信号．文中给出一些解析结果,可用来根据抗干扰要求和驱动要求计算接口电路中各主要元器件的参数值．     

航天器自动化测试与航天器测试语言

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.     

智能电感测微仪的研制

智能电感测微仪是一种新型的长度测量仪器。它既可作为一个独立的测量控制系统,又可方便地与各种计算机通讯,作为大型仪器的显示器和控制器。本文将介绍其模拟信号处理电路、智能系统的硬件与软件设计。