基于神经网络融合模型的源代码注释自动生成

注释可以有效提高源代码的可读性、帮助开发者理解软件功能，对于软件的维护和演化起着关键作用. 当前源代码注释自动生成方面的研究存在一定局限，一是没有深入挖掘词法信息；二是没能很好的融合词法和语法信息. 因此，提出了基于神经网络融合模型的源代码注释自动生成方法，该方法利用编码器 解码器神经网络框架深度表征源代码的词法信息，结合基于语法树挖掘到的语法信息，使用融合机制形成更加全面的功能语义编码向量用于注释自动生成. 通过在公开数据集上进行实验，该方法在BLEU4、METEOR等评价指标上均优于对比的模型，验证了方法的有效性.     

一个拼音汉字自动转换系统的设计与实现

给出了拼音汉字转换的定义，并建立了一个带调拼音词句到汉字语句的自动转换系统。它由五个部分组成，自动分词模块，词法分析模块，句法和语义分析模块，语义修饰模块和显示模块。其中句法分析是系统的核心，在比较各种方法的基础上选择了扩充转移网络模型，使ＡＴＮ的优点和音字转换的特点得到较好的结合，测试结果表明，系统的正确转换率达到９７％。     

LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

圆柱形静电分析器的数值模拟

对美国DMSP系列卫星载60°圆柱形分析器的性能进行了数值模拟:以同时过松弛迭代法解Laplace方程,得到分析器内的势分布,由荷电粒子在分析器势场中的运动轨道以及传输概率的MontCarlo积分得出分析器的各种响应和几何因子．变动与分析器几何相联系的输入量,计算机程序可移用于其它圆柱形分析器.      

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.      

开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

融合语义信息的视频摘要生成

视频摘要任务旨在通过生成简短的视频片段来表示原视频的主要内容，针对现有方法缺乏对语义信息探索的问题，提出了一种融合语义信息的视频摘要生成模型，学习视频特征使其包含丰富的语义信息，进而同时生成描述原始视频内容的视频摘要和文本摘要。该模型分为3个模块:帧级分数加权模块、视觉-语义嵌入模块、视频文本描述生成模块。帧级分数加权模块结合卷积网络与全连接层以获取帧级重要性分数；视觉-语义嵌入模块将视觉特征与文本特征映射到同一空间，以使2种特征相互靠近；视频文本描述生成模块最小化视频摘要的生成描述与文本标注真值之间的距离，以生成带有语义信息的视频摘要。测试时，在获取视频摘要的同时，该模型获得简短的文本摘要作为副产品，可以帮助人们更直观地理解视频内容。在SumMe和TVSum数据集上的实验表明:该模型通过融合语义信息，比现有先进方法取得了更好的性能，在这2个数据集上F-score指标分别提高了0.5%和1.6%。      

双重模态文本引导的图像修复算法

为解决现有图像修复算法因缺乏足够的上下文信息导致修复大面积破损时效果差且修复结果不可控的缺陷，提出了双重模态文本引导的图像修复算法。引入文本标签作为修复的控制引导，确保修复结果的整体与区域一致，并增加修复的可控多样性。设计双重模态掩码注意力机制提取破损区域的语义信息；通过深度文本图像融合模块加深生成器中的文本图像融合过程，并应用图像文本匹配损失最大化生成图像与文本之间的语义相似度；采用投射鉴别器训练生成图像与真实图像增强修复图像的真实性。在2个带有文本标签的数据集上进行定量和定性实验，结果表明：生成的修复图像与引导文本描述一致，可根据不同的文字描述生成多样的结果。     

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

图像描述生成任务旨在基于输入图像生成对应的自然语言描述。现有任务数据集中大部分图像的描述语句通常包含少量常见词和大量罕见词，呈现出长尾分布。已有研究专注于提升模型在整个数据集上的描述语句准确性，忽视了对大量罕见词的准确描述，限制了在实际场景中的应用。针对这一问题，提出了基于动态语义记忆网络(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%，相较于基准方法提升明显。      

一种基于P2P网络的语义Web服务发现机制

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制主动监测拓扑节点,和利用节点簇之间的分裂与聚合机制来保证该模型的有效性和性能.最后通过对原型系统的实现证明了该机制的合理性与有效性.      

附加准直器的带顶盖静电分析器的数值模拟

对准直器限定视场的带顶盖的1／4球分析器的物理特性分析了数值模拟，相应的模拟程序是在修改裸分析器模拟程序后发展起来的。新程序了准直器引起的分析器结构配置的变化，且被应用于一个带准直器的分析器样本，产生了传输函数和几何因子的模拟结果。     

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

用于火星探测的电子分析器定标

用于火星探测的电子分析器采用了带偏转板的同轴圆柱形静电分析器, 该传感器方案在满足性能指标的同时实现了小型化. 利用法国空间辐射研究中心(CESR)的电子源, 对电子分析器两个传感器通道的静电分析器因子、能量分辨率、偏转板偏转因子、 方位角分辨率和极角分辨率进行了定标. 给出了上述参数的定标结果, 并对结果进行了分析. 结果表明,仪器的能量范围、能量分辨率、方位角视场及角度分辨率等参数均优于指标要求. 定标结果为电子分析器在轨数据处理和分析以及在轨运行参数设置提供了依据.      

Java源代码字节码剽窃检测方法及支持系统

提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.     

基于频谱分析仪的相位噪声测量探讨

利用频谱分析仪测量相位噪声虽然操作方便、成本低,但是在测量过程中有诸多不确定因素,本文对这些因素进行分析梳理,为测试人员提供一种分析方法。     

基于依存句法的图像描述文本生成

现有图像描述文本生成模型能够应用词性序列和句法树使生成的文本更符合语法规则，但文本多为简单句，在语言模型促进深度学习模型的可解释性方面研究甚少。将依存句法信息融合到深度学习模型以监督图像描述文本生成的同时，可使深度学习模型更具可解释性。图像结构注意力机制基于依存句法和图像视觉信息，用于计算图像区域间关系并得到图像区域关系特征；融合图像区域关系特征和图像区域特征，与文本词向量通过长短期记忆网络（LSTM），用于生成图像描述文本。在测试阶段，通过测试图像与训练图像集的内容关键词，计算2幅图像的内容重合度，间接提取与测试图像对应的依存句法模板；模型基于依存句法模板，生成多样的图像描述文本。实验结果验证了模型在改善图像描述文本多样性和句法复杂度方面的能力，表明模型中的依存句法信息增强了深度学习模型的可解释性。      

基于SIMION软件的空间等离子体探测器的数值仿真

空间等离子体探测器采用带偏转板的柱形静电分析器作为传感器,具有大于320°探测视场,可探测约10eV～30keV的热等离子体。利用SIMION软件采用均匀随机抽样建立粒子源的方法仿真探测器的基本特性参数:静电分析器因子、能量分辨率、偏转板因子和偏转角。仿真结果与实测结果吻合很好。静电分析器因子的仿真与实测结果偏差为3.2%,能量分辨率仿真与实测结果偏差为1.5%,偏转角-偏转板因子的关系式与实测结果的相关系数为0.999 4。仿真结果可以有效地应用于该类仪器的设计和定标过程中。     

基于光电脉冲的取样示波器上升时间校准实验研究CSCD

介绍了基于光电脉冲的取样示波器上升时间校准方法,设计组建了实验系统,对带宽为30GHz、50GHz取样示波器的上升时间分别进行了校准,并根据该方法建立了校准装置。对实验结果进行比较分析后,显示高斯型光电脉冲适用于具有高斯响应的取样示波器上升时间的校准。