基于Joeq编译器的软件分析及其应用

Joeq编译器是一款开源虚拟机和编译器框架,已经被越来越多的研究人员使用,然而使用Joeq编译器进行软件分析研究的相关文献还很少,而软件分析在软件开发、测试和维护等软件工程活动中起着重要的作用.在Joeq编译器的基础上研究典型的软件分析技术的实现,如访问者模式分析、类层次分析、控制流分析、数据流分析和负面效应分析等,给出了详细的实现方法.这些软件分析技术在设计的重构工具Lock2Lock中进行了实现,在这些软件分析技术的辅助下,Lock2Lock可以实现从同步锁到可重入锁(或读写锁)的自动转换.     

一种AR互动大屏开发中的透明视频播放技术

为了更好地实现AR互动大屏开发中透明视频的播放,提出在Unity 3D中实现透明视频的播放技术:首先使用AE软件制作带Alpha通道的视频,接着使用C#语言编写可播放透明视频的Shader,最后在Unity 3D中开启摄像头实现互动大屏的视频播放。测试结果表明:既能够看到透明视频中的真实世界,又能够看到虚拟的影像,从而实现了AR大屏互动。     

显示屏图文转发器的设计

给出了显屏图转发器的硬件电路、软件编程，该装置结构简单、功能可靠，实现了微机ＣＲＴ图画面向显屏的传送。     

基于工业PC和PLC技术的专用数控系统

为了在汽车锁生产中实现大规模钥匙加工,设计并实现了一种基于工业PC和PLC技术的全自动专用数控系统。该系统是一个分布式的全自动专用数控系统．采用工业PC为主控系统,利用PLC控制机械手系统、检测开关信号、通过DIO接口与主控PC进行通讯。采用面向对象的软件设计方法,运用有限自动机模型,研制了系统控制软件、产品数据管理软件。该系统性能稳定可靠,已在汽车锁专业生产企业得到应用。     

分布式多线程模拟屏控制服务器的研制

模拟屏控制系统是调度自动化的重要人机接口,为解决实时数据服务器与分布式模拟屏之间一对多的不匹配通信问题,研制了一种多线程通信服务器。利用Java多线程和RMI远程调用的分布式技术,从硬件接口、通信规约、软件编码与工程应用等方面,进行了关键通信服务过程的交互控制设计实现和运行测试研究。该多线程通信服务器已作为分布式模拟屏控制系统的核心模块,在铁路电力调度中心牵引供电远动系统工程中投入了实际应用,在工程现场取得了良好的效果。     

基于J2EE的OEM节点锁的设计和实现

本文首先介绍了OEM软件产品中节点锁的概念和目前中间件技术J2EE的发展概况，然后阐述了OEM节点锁的体系结构，并着重分析了基于J2EE的OEM产品节点锁的设计原理和Java多线程技术，最后给出了应用实例以表明其有效性。     

多屏显示技术在高校实验室建设中的应用

本文首先引入多屏拼接技术, 然后详细介绍了接发列车模拟训练系统、车站调度模拟系统的系统基本原理;对两套系统的显示需求进行分析;采用软件与硬件相结合, 构建系统的多屏拼接硬件平台, 对拼接方案进行对比分析.     

Linux下进行带Xinerama扩展的多屏显示的应用与开发

扩大显示桌面的有效方法之一是多屏显示,它不同于以往的双头显示技术,后者在每个显示设备上都显示相同的内容.在Linux操作系统下为了使用这一技术,在硬件设置好之后,需要配置XFree86以便启用带Xinerama扩展的多屏显示.作为一种适合于应用程序开发的工具,Qt实现了多屏显示的配置开发.实现的用于显示IC版图的程序,印证了多屏显示技术的优势.     

广东地震台网多屏拼接显示系统架设实例

随着我国国民经济的高速发展,对地震监测提出了更高的要求,要求地震台网更快、更准地做好地震速报。在地震台网,地震监测信息和震情数据的直观显示、统一控制,新的大屏拼接技术、信号切换技术、图像拼接处理技术等的应用,为多屏拼接系统的实现创造了条件。该文介绍了广东台网新建的一套智能化多屏拼接显示系统,其系统克服了单一、独立的画面,实现了地震台网实时监控、结果显示、交互分析统一显示,分道放大缩小的功能。     

电动汽车电子机械制动系统的研究与设计

介绍了一种电动汽车电子机械制动系统的总体设计方案,该设计方案包括系统、硬件、软件和机械部分的设计、关键模块单元设计以及关键问题分析.采用基于滚珠丝杆的非自锁机构与电磁的自锁机构实现的电子机械制动器,可以实现行车制动和驻车制动.通过硬件和软件的冗余设计增加了系统的可靠性.该系统与传统液压制动系统相比,具有结构简单、安装方便、环保、操作灵活、舒适、稳定可靠等优点.     

UG二次开发技术的研究

UG软件是美国EDS公司开发的一套集CAD／CAM／CAE一体的通用软件,用户必须在此基础上进行 二次开发,才能满足专门模具设计的需要．本文探讨UG二次开发技术,重点研究通过VC编程调用UG／ OPEN API函数设计模具的技术．     

嵌入式internet接入的一种方法

在工业制造行业,采取廉价的单片机或MCU接入Internet已成为产生新经济的重要组成部分。本文对当今主流的四种嵌入式Internet接入技术进行比较,提出了一个新的方案,并从硬件和软件两个方面实现该方案。     

基于元模型的软件框架技术研究

近年来,软件重用作为一种新技术越来越引起人们的重视,已成为提高软件生产率,解决软件危机问题的一个重要途径。本文通过对软件系统框架共性的总结,建立了可通用的框架元模型,然后在此基础上借鉴框架开发的经验实现了一种可扩展、可定制的软件框架系统。     

舰船推进系统图形建模仿真技术

介绍了舰船推进系统仿真的特点，并发展了图形建模和模块化模型库仿真技术。由于显示清晰直观，该技术使不懂软件的专业人员也能直接进行仿真。最后用实例说明了某舰柴燃联合动力装置的仿真过程。     

基于DSP的FIR数字滤波器的实现

可编程DSP(digital signal processor)是一种能够快速进行数字信号处理的特殊微处理器,而数字滤波器是DSP的基本应用之一.通过介绍利用DSP技术,采用线性缓冲区和带移位双操作寻址的方法实现FIR滤波器的设计.目前所见文献,多数为滤波器的模型设计,所得结果只是在MATLAB等实验环境下模拟仿真完成,带有很大的局限性,而FIR数字滤波器可在TMS320C5402 DSK系统板上实现,保证了仿真和实现结果的一致性.     

基于Internet视音频节目监控系统的设计与实现

Internet中传播非法的视音频节目的情况越来越多.笔者给出了一个如何对其进行监控的软件系统的设计方案,然后重点讨论了视音频节目的检索技术和分析方法,并较详细地给出了系统的实现过程.     

厚凸透镜成像仿真模型的设计

厚凸透镜是由两个折射面形成的有一定厚度的光学透明体,文章利用软件技术对厚透镜成像进行了数字化设计,建立了开发该模型的数学模型,并对核心模块进行了程序开发,创建了一个可以交互控制的厚凸透镜成像仿真模型,该模型能在系统参数改变的情况下很好地仿真模拟厚凸透镜的成像．     

一种基于数据处理的脚本语言设计与开发

在飞行试验型号任务中,通常采用各种数据处理软件进行数据采集、解码、单位转换、计算等。通过实践检验和积累,相关数据处理软件就会固定下来;随后发现很难再次高效运用它们。简述了脚本语言和试飞数据处理的结构和过程,提出利用脚本语言进行数据处理的自控模式。用户通过编写脚本代码,运行解释器就可控制数据处理软件进行自动、连续操作。模拟试验表明,该方法可有效提高型号试飞数据处理速度、降低出错率、保障质量安全。     

打磨机器人中图形变换技术

介绍了汽轮机缸体表面数控随形打磨机器人控制软件中的图形变换技术。用齐次变换矩阵实现了三维空间曲面在屏幕坐标上的任意轴测投影变换，为使用者提供了直观形象的加工工况和加工进度信息；用二维图形线性变换技术，为使用者提供了统一的数控编程格式，并实现了三维曲面的二维加工方案；用图形非线性变换技术成功地解决了多自由度控制点坐标的变换以及磨头姿态调节和恒压力磨削等难题。其数学方法已经过实际运行的验证是行之有效的。     

网络教学中屏幕图像的实时传输

随着教学改革的深入和计算机技术与应用的发展,多媒体网络教学成为传统教学模式的发展方向。本文分别从屏幕图像的采样获取、压缩、颜色选择、传输四个方面,为交互式多媒体网络教学系统的实现提供了很好的技术支持。针对屏幕传输问题,给出动态屏幕图像截取快速算法,相比整屏截取,提高了屏幕图像传输效率,使教学过程更加流畅;相比现有的多媒体网络教学软件,该系统能够实现负载均衡,适应较大规模应用。