论汇编语言显示内存数据的实现问题

在用汇编语言编程时,经常会碰到要求按某种格式来显示内存中数据的问题。通常做法是将要显示的数据转换为ASCII码后,再调用相关的中断来显示。文章论述了在汇编语言程序设计中,常用的几种进制的数据显示问题,并给出了编程实现方案。     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

软件重用控件技术在地铁仿真系统中的应用

对软件重用技术进行了研究,报告了控件技术的现状.为了能简单实现控件的跨平台,并且能简单得利用控件代码实现升级,需要开发可重用控件.提出了跨平台的软件重用控件技术,其中包括控件的移植、升级和组装技术.并以其在地铁信号仿真系统中的应用为例做了具体阐述和进一步分析,指出了以上方法的优点和存在的缺陷及处理方法.软件重用控件技术在一定程度上体现了组态化软件思想的优越性.     

基于滤噪微分器的四旋翼飞行器控制

在飞行器的控制中, 角速率反馈可以提高控制系统的动态特性, 但速率陀螺价格昂贵, 且随运行时间的增加其性能会不断下降. 对此本文提出了一种基于滤噪微分器的四旋翼飞行器滑模变结构控制律. 该控制律使用的反馈信号仅由角度传感器得到, 而无需角速率传感器. 控制律中的角速率信息由王新华等设计的有限时间收敛的微分器得到. 本文通过数学证明, 给出了当测量信号中含有噪声时该微分器的理论跟踪误差上界. 仿真以及对四旋翼飞行器滚转姿态的控制实验验证了微分器的抑制噪声作用和控制算法可行性.     

基于遗传算法的航空发动机性能曲线逼近

绘制性能曲线是检验航空发动机是否合格的重要工作步骤.利用标准性能曲线板手工绘制往往具有较大的作图和读数误差.变换标准曲线的数值计算方法会带来变换计算量大,求解Y值复杂的问题.求解过程中变换测量点,求出平移和旋转量后,反向变换标准曲线获得实测曲线.通过对平移和旋转量进行编码,采用遗传算法实现了性能曲线逼近.     

自适应遗传算法在服装生产流水线平衡问题中的应用

将自适应遗传算法应用于服装生产流水线中,利用自适应遗传算法能够自动给出比较合适的交叉概率、和变异概率,显著提高了搜索效率,同时改进了遗传算法的搜索能力的特点,解决并行制造中的流水线平衡问题。针对某款运动上衣的生产工艺进行仿真,结果表明了该算法的有效性。     

改进的自适应阈值区域图像分割方法在飞机目标识别中的应用

阈值分割是图像分割的常用方法。本文提出采用基于改进的自适应阈值区域分割方法,提高了对飞机目标遥感图像的分割效果。结果表明,该分割方法具有针对性,比传统方法具有明显的优势。     

关于“汇编语言”课程双语教学的实施与探索

本文依据作者开展"汇编语言"课程双语教学的实践,从教材选取、实施策略、实验设计、综合考评等方面提出了开展该课程双语教学的一些方法。     

在Win32汇编语言环境下开发网络通讯功能

采用Win32汇编语言实现了一个基于TCP／IP协议的网络通信功能。程序开发及运行结果表明,与传统汇编相比,在Windows操作系统下的Win32汇编具有高级语言的优点,能够以最灵活的方式调用系统封装函数,软件开发效率大为提高;与高级语言相比,Win32汇编应用程序占用内存资源少,运行速度快,保留了传统汇编的优点。     

Insights into virus capsid assembly from non-covalent mass spectrometry

The assembly of viral proteins into a range of macromolecular complexes of strictly defined architecture is one of Nature's wonders. Unraveling the details of these complex structures and the associated self-assembly pathways that lead to their efficient and precise construction will play an important role in the development of anti-viral therapeutics. It will also be important in bio-nanotechnology where there is a plethora of applications for such well-defined macromolecular complexes, including cell-specific drug delivery and as substrates for the formation of novel materials with unique electrical and magnetic properties. Mass spectrometry has the ability not only to measure masses accurately but also to provide vital details regarding the composition and stoichiometry of intact, non-covalently bound macromolecular complexes under near-physiological conditions. It is thus ideal for exploring the assembly and function of viruses. Over the past decade or so, significant advances have been made in this field, and these advances are summarized in this review, which covers the literature up to the end of 2007.