面向人脸验证的可迁移对抗样本生成方法

在人脸识别模型的人脸验证任务中,传统的对抗攻击方法无法快速生成真实自然的对抗样本,且对单模型的白盒攻击迁移到其他人脸识别模型上时攻击效果欠佳。该文提出一种基于生成对抗网络的可迁移对抗样本生成方法TAdvFace。TAdvFace采用注意力生成器提高面部特征的提取能力,利用高斯滤波操作提高对抗样本的平滑度,并用自动调整策略调节身份判别损失权重,能够根据不同的人脸图像快速地生成高质量可迁移的对抗样本。实验结果表明,TAdvFace通过单模型的白盒训练,生成的对抗样本能够在多种人脸识别模型和商业API模型上都取得较好的攻击效果,拥有较好的迁移性。     

基于互联网的快速3D户外动画创作展示平台

为实现快速的3D交互展示内容制作,利用WebGL图像引擎设计了基于互联网的快速3D内容展示创作平台。互联网创作平台的主要3D功能包括多媒体内容导入和关联、3D模型配置、3D动画自动生成、画笔地图绘制等。互联网创作平台利用WEB服务器和PHP,支持瘦客户端的3D内容创作和HTML应用生成。经本项目联合参与单位的实际应用,交互动画设计师在没有程序员参与的条件下能够顺利完成交互3D内容创作和3D动画内容快速生成。本创作平台为互联网3D展览展示提供了简便的设计方案和新的设计模式。最后,在调整本创作平台的部分功能后能够满足城市紧急救援方案3D交互推演和3D动画生成、战术方案3D交互推演和3D动画生成、互联网3D虚拟展馆制作、室内外建筑展示内容制作。     

基于XML的代码自动生成技术在软件开发中的应用

针对航天测控工程监控软件的功能及开发维护过程中遇到的通用性差、接口依赖型强、代码复用率低、开发效率低等问题,提出了基于XML的数据关系描述技术和代码自动生成技术。能够自动生成针对各分机的数据结构类、数据处理类和分机界面。工程实践证明,应用该技术可以实现软件代码的快速开发,具有开发周期短、适应性强、可靠性高的特点。     

一种基于高阶Markov使用模型的测试用例自动生成方法

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。     

特定领域建模方法和代码生成的研究

特定领域建模（Domain-Specific Modeling ,DSM ）提高了软件的抽象水平,DSM 用模型表示用户的需求,然后通过生成器,直接把模型中的信息提取出来并转换成代码,实现了代码的自动生成。研究了特定领域建模语言、生成器和领域框架,总结了M etaEdit＋下实现DSM的一般过程及其使用的相关技术,并介绍了代码生成的具体过程。基于M etaEdit＋,实现了电子万年历的元建模和领域建模,并通过提出的深度优先遍历的代码生成算法,实现了电子万年历代码的自动生成。     

基于MDA的软件开发方法的研究

传统软件开发模式由于其最终生成产品是程序代码,难以适应需求的快速变化,软件开发过程中不可避免地出现非标准化与非自动化的问题。为了解决上述问题,在介绍MDA开发过程的基础上,探讨了平台无关模型和平台相关模型的定义、映射和转化等,并将MDA开发方法和传统软件开发方法进行了分析比较。以决策支持系统为例,描述通过MDA进行软件开发的过程。结果显示,基于MDA的软件开发方法能够由软件模型指导自动生成软件成品,降低了系统的开发成本与设计效率。     

周向MEFP战斗部参数化建模技术研究

战斗部作为整个导弹系统的毁伤元素,周向MEFP战斗部结构复杂,参数较多,合理建模非常重要。采用CATIA的CAA/C＋＋技术进行二次开发,实现了周向MEFP战斗部参数化设计,给出了基于特征的参数化建模流程,利用程序驱动法可以快速生成三维模型,生成的模型可用于后继的有限元分析,方便了战斗部的研制工作,有效地提高了设计效率。因此本文将基于特征参数化建模方法引入了战斗部的建模设计。     

一种基于JavaEE平台的ERP系统研究与设计

随着信息技术的快速发展和计算机应用的不断深入,传统两层体系架构的ERP系统暴露出越来越多的缺点,已不能满足当今社会的需要。研究并设计了一种基于JavaEE平台的三层体系架构的ERP系统,给出了简要的实施方案。     

基于MDA/PIM的组件自动生成技术的研究

分析了传统模型驱动构架(MDA)PIM层的UML模型缺乏严格的语义而不能自动转换到PSM层的不足,并针对目前基于MDA的组件开发过程中存在的问题,利用了基于组件的开发(CBD)和MDA的优势特征,结合两者对软件的复用性和自动生成的特点,提出了把UML profile应用到MDA/PIM层的组件设计中,从而实现了UML profile构建的PIM层模型自动转换到PSM层模型的需求,并在最后生成可执行的代码,达到了组件自动生成的目的.     

基于深度学习的医学影像报告生成研究综述

阅片是放射科医生日常的一项艰巨任务.实现医学影像报告自动生成就是为了缓解并辅助放射科医生快速准确进行疾病诊断和治疗方案制定的,同时减轻他们撰写报告的负荷.目前基于深度学习的医学影像报告自动生成的研究是当前的热门课题.文章对医学影像报告自动生成现有的主流方法及研究成果进行了总结和讨论,分析了该研究主要使用的网络模型和建模...     

基于XML的JavaEE在企业级应用系统的研究与应用

针对传统的紧耦合Web系统模式存在的问题,提出一种符合JavaEE规范的、松散耦合的多层分布式系统,利用XML来分离UI层、控制层、业务逻辑层和数据持久层。系统配置、数据传输以及层次之间的接口全部由XML来实现,并将其应用到Web应用系统——XJW中。该框架的优点是减轻了部署人员工作难度以及降低了网络开销。     

A dynamic approach to controlling high-level synthesis CAD tools

In this paper, we present a novel model of CAD tool control that can be used in the constraint-directed control of high-level synthesis tools. To enable this control we introduce the concept of a design space reasoning mechanism. We formally describe a statistical based, machine learning process that automatically generates the tool control knowledge necessary to drive the design space reasoning mechanism. The representation of this tool control knowledge in the form of a fuzzy, linear differential, qualitative model is described. Finally, the experimental results obtained using the Magellan system are presented     

THERMODEL: A Tool for Thermal Model Generation, and Application for MEMS

This paper presents a tool and a method for the generation of reduced order thermal models, in order to assure modeling the effect of the package on the thermal behavior of the packaged device. The method is generic, and can be based either on the simulated or on the measured thermal transient response of the real packages. It is based on the generation of the time constant density spectrum of the thermal response function, from which we automatically generate a reduced order thermal model in the form of an RC ladder network model. Beyond presenting the generic methodology experimental results are also presented, based both on the simulation and measurement of MEMS elements and packages.     

大气气溶胶飞行时间激光质谱仪实时数据采集处理系统

自行研制了一台大气气溶胶飞行时间激光质谱仪(ATOFLMS),它可以实时地对气溶胶单粒子进行物理和化学特性分析,是大气气溶胶研究和测量的一个有力工具.该仪器在运行过程中将产生海量的实验数据,对这些数据的实时、自动处理、提取有价值的信息是整机系统的关键之一.我们基于面向对象的技术为它开发了配套计算机软件MS-ACS,该软件能够自动地实现气溶胶单粒子的粒径和化学成分信息的实时采集、分析和存储功能.     

电能量计量计费小主站系统设计

为了实现发电厂对电能量的自动抄表、计量结算与发电考核等功能,本文介绍了针对电厂厂站的电能量计量计费小主站系统的体系结构以及系统功能实现技术。该系统的数据模型是建立在电力计量对象的基础上,以CJHJ为开发工具,同时采用了C/S＋B/S多层体系结构,在设计模式上采用了先进的MVC设计模式。该系统集数据自动采集、统计、考核于一体,可方便实现与电厂办公自动化系统数据交换。     

The SURE approach to reliability analysis

The SURE computer program, a reliability-analysis tool for ultrareliable computer-system architectures, provides an efficient means for computing reasonably accurate upper and lower bounds for the death state probabilities of a large class of semi-Markov models. Once a semi-Markov model is described using a simple input language, SURE automatically computes the upper and lower bounds on the probability of system failure. A parameter of the model can be specified as a variable over a range of values, thus directing SURE to perform a sensitivity analysis automatically. The program provides a rapid computational capability for semi-Markov models useful for describing the fault-handling behavior of fault-tolerant computer systems. The only modeling restriction imposed by the program is that the nonexponential recovery transitions must be fast in comparison to the mission time. The SURE reliability-analysis method uses a fast bounding theorem based on means and variances and yields upper and lower bounds on the probability of system failure. Techniques have been developed to enable SURE to solve models with loops and calculate the operational-state probabilities. The computation is extremely fast, and large state-spaces can be directly solved; a pruning technique enables SURE to process extremely large models     

基于版权保护的软件工程双语教学平台制作研究

根据软件工程双语教学实际需求,利用国际化技术开发了基于JavaEE规范的软件工程双语教学平台。在开发过程中把自主版权的ppt格式课件利用iSpring或Macromedia Flash Paper软件转换为flash格式课件。或是把部分教学资源直接制作为Flash动画后发布到应用服务器,用户下载后只能浏览不能任意修改,有效的保护了数字教学资源的版权和原创性。该网站提供集语音视频教学、自主学习、在线测试、交流互动等功能于一体的网络版多媒体教学资源共享平台,为软件工程课程双语教学提供强有力的支持。     

Performance Monitoring and Assessment of Embedded HW/SW Systems

Performance assessment of embedded HW/SW systems built with various types of VLSI components, i.e. heterogeneous multi-processor architectures, is important to help the development of complex real-time applications. To design such a tool, two issues must be solved: the gathering of relevant information simultaneously on several components without disturbing the application behavior, display of the performance results in a way that can be easily interpreted by designers. This paper presents a significant solution for the two above issues. We first describe what the goal for designers is and what kind of applications are concerned. Then we describe the principle of collecting an event trace and the technique to evaluate the selected performance indexes. The monitoring technique, based on a specific ASIC, is non-intrusive and allows our tool to capture real-time event occurrences from software tasks, and even from hardware functions implemented in ASICs. Each event is automatically time-stamped, collected and processed in real-time to evaluate the performance indexes selected by the designer. We also describe the display tool which clearly shows the results to the designer according to different representations. This technique and the associate real-time performance analyzer are integrated in a complete development process based on the MCSE methodology.     

面向JavaEE Web应用系统的性能诊断策略

JavaEE Web应用系统的复杂性极容易导致性能问题,其中服务器端是性能问题产生的主要根源。针对服务器环节,基于"由外而内,由表及里,层层深入"的基本原则,提出一种系统化的性能诊断思路和流程,从用户视角、资源视角和组件视角逐层深入,分别从用户事务、系统资源、Web资源和页面组件4个层次阐述性能诊断的策略,为同类系统的性能诊断工作提供参考。