【摘 要】
：
为满足大規模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、
论文部分内容阅读
为满足大規模软件开发的需要,自动化成为软件工程迫切的要求,并贯彻到软件设计、开发和维护的各个阶段.提出一种以可计算函数为基础的程序理解方法,最大程度地识别函数功能、验证组件安全属性,实现对二进制代码的理解,以精简的函数表达式和并发赋值形式展示函数理解结果,提高人工阅读程序的效率.实验表明生成并发赋值语句的数量、时间与软件代码大小成线性关系,并得出了经验公式.
其他文献
讨论了形如P3nU～P4非连通并图的优美性,用构造性的方法给出了P3nU～P4的优美标号.并证明P3n U～P4是交错图.
采用波函数展开的方法研究了非完好界面条件下圆球形夹杂对弹性波的散射。以非完好界面的弹簧模型为基础，通过适当选取弹簧常数，研究了法向和切向界面参数对纵波和横波不同的散
以4A分子筛为载体,制备了一系列KOH/4A分子筛催化剂(Cat-n,n=10,15,20,25,30,35),其结构经IR和XRD表征.考察了KOH负载量及焙烧温度对其催化性能的影响.结果表明,Cat-30(负载
利用KTiOPO4(KTP)材料非线性系数d33对应的二阶非线性0-类准相位匹配,理论上设计构造了一种周期极化KTiOPO4晶体(PPKTP),当晶体温度为20℃时,晶体准相位匹配格子的周期为10.7
三能级Upper-ladder型系统中,在旋波、慢变振幅近似下,求解了考虑驱动场相位扩散后的系统密度矩阵运动方程,并给出了这个三能级梯型系统稳态线性解析解.利用对密度矩阵运动方
利用拉曼光谱分别对Bi4Ge3O12(BGO)晶体以及BGO:Pb(0.02 wt%),BGO:Al(0.02 wt%)进行了分析研究。测得的拉曼光谱显示,掺杂晶体对比纯的BGO晶体,在某些特征峰处,相对强度发生
时滞均值回复θ过程用于描述受时间延迟影响的利率、波动率等金融特征,本文利用随机时滞微分方程理论证明了过程在1/2≤θ
为了提高TiO2的光催化性能,用溶胶-凝胶法制备了掺杂稀土元素的RE(RE=La,Ce,PR,Nd)/TiO2催化剂,并对其进行表征.通过光催化消除甲醇气体为模式反应,研究了催化剂的催化性能.
综述了三(8-羟基喹啉)铝(Alq3)的5种结晶相(α,β,γ,δ和ε)的制备方法以及这五相之间的相互转变。阐述了Alq3的两种异构体(fac-Alq3和mer-Alq3)的相互转变和存在条件,研究
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7