通过汇编语言理解函数调用的内在机理

汇编语言是一种面向计算机硬件的符号化的机器语言,通过对汇编语言的学习可以加深对计算机内部原理的理解。文章借助汇编语言详细分析了高级语言中计算机实现函数调用的一些技术细节,包括调用过程中计算机做了哪些具体动作。实践表明,借助汇编语言有助于理解函数调用和堆栈的关系以及函数调用的内在机理,进而加深对一些相关算法和高级语言的理解。     

一种静态的 Java 程序函数调用关系图的构建方法

在程序理解中,函数之间的调用关系是程序理解研究的重要内容。一个函数往往代表了一种具体功能或问题求解的实现,构建出函数调用图有助于对程序的理解。以JAVA语言为研究对象,介绍了几种函数调用图的构建方法,并比较了它们的优劣性,并在此基础上提出了一种函数调用图的构建方法     

面向危险函数调用的多粒度影响分析方法研究

针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从变量粒度和路径粒度分析变量变更对危险函数调用的影响。通过静态分析源代码,提取变量定义、引用及依赖关系信息、危险函数调用信息和函数调用关系等内容;构建变量依赖关系集合,对变更变量进行数据拓扑分析,结合变量在栈内的分布规律,获取变量影响域;结合函数调用关系信息建立变量影响分析模型,获取路径影响域;根据变量影响域和路径影响域获取变更变量对危险函数调用的影响。实验结果表明,此方法界定变量变更对危险函数调用的影响更加精准。该方法可理解性和可用性较高,能够有效提高软件回归测试的精度和效率。     

利用属性文法对程序中的副作用进行检测

表达式是程序的基本组成单位.在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用.表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃.首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测.     

VB和C混合编程的实现

在大型程序开发中，混合编程技术用的非常普遍。之所以要用到混合编程，最主要的原因就在于提高软件的运行效能，在程序设计语言中，每种程序设计语言的功效是各不相同的。VB、VC这样的高级语言是面向介面编程的，而对C语言这样的中级语言来说，可以面像底层的编辑，同时又可以面像高级程序，是个很好的语言桥梁。     

C程序单元级依赖性分析

程序依赖性分析是软件分析的一个基本内容,目前的相关工作大多集中在语句级的分析方面。人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架。本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析,并提出单元依赖图表达这些关系。基于此图,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。     

SOCKET通信程序模型抽取及可靠性验证

形式化方法是验证并发系统可靠性和安全性的重要手段。对高级语言开发的并发系统自动抽取的模型进行 形式化验证是模型检测技术领域中的一个研究热点。鉴于socket函数调用顺序不正确产生的运行时潜在问题(内存 泄漏、死锁、边界数据丢失等),针对顺序结构的socket程序,通过描述Promcla消息数据结构和通道,构建socket函数 的Promcla模型,定义socket函数到Promcla映射规则,提出socket函数调用序列抽取算法及目标Promcla模型生成 算法,用线性时态逻辑(LTI.)刻画socket函数调用顺序应满足的性质,开发基于SPIN的socket通信程序分析系统。 实验结果表明,该系统能有效检测socket通信程序的运行时潜在问题。     

C语言与C＋＋中函数间的数据传递

在高级语言程序的函数调用过程中,数据传递是一个极为重要而又特殊的问题。它直接影响程序的功能。 在c和c++中,可以使用参数,返值和全局变量在函数间传递数据。 一、调用函数通过参数将数据传递给被调用函数 在使用参数传递数据时,可以采用两种不同的方式: 直接传递参数的值给被调用函数,即将实际参数的值拷贝到被调用函数的形式参数中,称为值传递调用;传递实际参数的地址给被调用函数,称为地址调用。     

基于符号执行的软件静态测试研究

文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果。该方法支持基于C语言文法的程序规范性检查,便于代码质量度量。利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量。     

在VC程序中实现最大化窗口

我们有时期望,自己编的程序的主窗口在一开始就是最大化的窗口,在不同的语言中有不同的实现方法。当我们用VC编程时,不同版本的VC又是不同的。 1.在VC 4.0以前的版本中 若是多文档(MDI)程序,则在CWinApp::InitInstance()函数中的pMainFrame_>ShowWindow(m_nCmdShow)函数调用前将变量CWinApp::m_nCmdShow设为SW_SHOWMAXI_     

一种混合均值聚类算法的实现

从K-Means聚类算法和FCM算法混合运行的角度来探讨聚类问题,针对FCM算法初始化隶属度矩阵的随机性问题,提出了一种混合均值聚类算法。在混合算法运行过程中,利用前者的聚类结果信息来初始化后者的初始中心,依此来计算FCM算法初始隶属度矩阵,通过FCM算法的运行,最终实现数据集的聚类目的。实验结果表明该混合均值算法比单纯使用FCM算法效果好。     

基于JavaScript的变量作用域的辨析

变量作用域（scope）是JavaScript脚本语言编程过程中令编程人员困扰的问题，通过对两种变量的特性从不同角度进行分析试验．讨论了如何控制变量作用域的有效方法。     

基于遗传粒子群的永磁低速直线电机优化研究

本文以改善电机效率和降低永磁低速直线电机制造成本为优化设计目标,把单台电机造价和电机电磁推力的比值作为目标函数,由于目标函数的优化变量多,参数间相互约束,目标函数复杂等特点,因此本文采用遗传粒子群算法对永磁低速直线电机进行优化设计,通过对两种设计仿真结果对比证明了该算法在提高电机电磁性能,降低制造成本方面有明显的优越性。     

引入虚拟变量的时间序列分解法在卷烟销量预测中的应用

时间序列分解法依据时间序列的长期特征和季节性特征对未来进行合理预测,但处理季节因素时,在我国会受到传统节日的影响．以时间序列分解法为基础,将中国传统节日设定为虚拟变量,构建基于时间序列分解法和虚拟变量的改进模型．通过虚拟变量估测传统节日对序列的影响,对传统方法进行适用性改进．在对某省卷烟90个月总销量预测的算例中,改进后的预测方法能够提高预测精度,有利于企业据此合理安排生产销售计划．     

基于交流电机的电惯量控制系统算法研究

电惯量技术即是用电动机按照一定的控制算法输出力矩和转速来模拟机械惯量的方法。目前出现的各种电惯量模拟方法,基本都没有考虑电动机各个变量之间的耦合作用,使得电惯量系统的动态性能和鲁棒性不佳。本文在建立基于惯性式汽车制动器电惯量控制系统模型的基础上,用交流电机作为驱动电机来模拟机械惯量,并针对交流电机变量之间没有解耦的问题,利用内模解耦控制算法对电惯量系统进行多变量解耦控制。文中用MATLAB软件对系统进行了仿真研究,仿真结果表明,解耦后系统的快速性、稳定性、鲁棒性比不解耦系统的性能有明显改善。     

具有模糊资金需求的银行卡网络决策模型

在分析国内银联网络资金需求情况的基础上,采用模糊变量表示各银行现金和非现金需求的不确定性,建立了以银行卡网络成本最小为目标的决策模型。当资金需求刻画为三角模糊变量时,模型可转化成清晰等价形式,因而可以采用传统的优化算法求解;当资金需求刻画为一般模糊变量时,应用混合智能算法求解。最后,给出一个案例,在不同的置信水平下仿真计算,结果表明模型是有效的。     

基于ActiveX控件的Visual C＋＋与组态王通信研究

研究了在组态王提供的KvTcpipClientOcx ActiveX通信控件基础上,实现Visual C＋＋读取和设置组态王变量信息的方法,可以达到实时通信的目的.以行车中的轴旋转控制为测试背景,首先介绍了组态王系统设计及变量的设置,接着讲述了VC工程的建立和组态王通信控件的添加方法,最后给出了VC与组态王通信的代码具体实现方法.此方法与传统的DDE和OPC等方法相比开发更加便捷,适合新系统新开发软件的利用.在Visual C＋＋的基础上,可以在数据处理、报警监视等多方面实现组态王功能的拓展.     

可伸缩复合材料悬臂梁的非线性动力学建模及分析

首先,根据Reddy给出的考虑高阶剪切效应的层合理论,气动弹性活塞理论,利用Hamilton原理,对考虑采用基于活塞理论的一阶非线性气动力和面内参数激励的联合作用下的轴向可伸缩复合材料悬臂梁进行非线性动力学进行建模,得到其偏微分动力学控制方程.然后对控制方程无量纲化,利用Galerkin方法对控制方程进行了截断,得到三个可反映可伸缩悬臂梁横向振动的无量纲形式的常微分非线性动力学方程,只要选取适合的复合材料及其相关参数,使用数值方法就对模型在外伸和回收过程中的相关振动特性进行了分析.     

整体数据存储技术在EMTDC快照功能中的应用

介绍了EMTDC软件快照功能的基本原理,提出了一种基于数据整体存取技术实现EMTDC仿真模型快照数据存取功能的方法。该方法以应用程序为单位构造成员变量结构体,以结构体为单位对快照数据进行存储空间的分配和恢复,以页面为单位进行数据的刷新,不需要区分单个变量的数据类型,也不需要为每个变量分别添加快照功能的处理代码,有效地提高了程序代码的开发效率和执行效率。     

混合算法求解随机期望值模型

目标函数中由于受到一个或者多个随机变量的影响,求解期望值难度增加。因此,提出一种有效的求解期望值模型的混合算法。利用随机模拟计算期望值,RBF神经网络对目标函数进行逼近,差分进化算法寻优,从而形成求解随机期望值模型的混合算法。最后,通过仿真实验说明算法的有效性。