计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术,在程序切片技术提出的30年来,得到了很快的发展。本文主要介绍了程序切片的基本概念,程序切片的种类、算法以及用途。     

双金属复合板爆炸焊接窗口研究

对双金属复合板爆炸焊接窗口进行了研究,对现有的流动限、声速限、下限和上限计算方法进行了总结与修正.采用VC + + 6.0开发出了爆炸焊接窗口计算程序,绘制了钛-钢复合板的爆炸焊接窗口.结果表明,双金属爆炸焊接窗口的计算方法是准确的,爆炸焊接窗口计算程序能够直观、准确、迅速地绘制出流动限、声速限、下限和上限曲线,为工程中确定爆炸焊接动态参数提供了方便.     

浅析侦查程序中无罪推定原则的完善

无罪推定原则是现代刑事司法程序中保障人权的基础性原则,被推定无罪是犯罪嫌疑人、被告人的一项权利。我国初步确立了该原则,但是在刑事诉讼立法上对该原则尚有一定的保留,在司法实践中也未全面地贯彻实施。本文试图在论证完善无罪推定原则的必要性的基础上,提出若干具体的可行性措施。     

里砖外木模板支设施工工法

本文对里砖外木模板支设施工工法进行了论述.     

面向工程教育认证Web前端技术课程建设——以微信小程序为例

面向工程教育认证的应用型本科类软件工程专业课程建设的需要,提出了We b应用开发课程群中主干课程We b前端技术的建设总体方案,本方案以微信小程序实践教学过程为案例,探讨了面向工程教育认证课程建设的四类角色(参与课程学习的学生、课程群建设的教师、参与课程群建团队成员和校内培养课程师资队伍),提出了课程资源建设、课程案例...     

非线性强增生算子方程解的迭代逼近定理

设1〈P≤2,X是实P-一致光滑的Banach空间,T：X→X是强增生算子．研究了用带误差的Ishikawa迭代程序：（xn＋1）=（1-αn）xn＋αn（f-Tyn＋yn）＋un, yn=（1-βn）xn＋βn（f-Txn＋xn）＋υn,n≥0,）来逼近方程Tx=f解的问题,其中x0∈X,｛un｝｛υn｝是X中的有界序列,｛αn｝,｛βn｝,是[0,1]中的实数列．在无需假设条件αn→0之下,证明了,当T连续时,迭代序列{xn}强收敛到方程Tx=f的唯一解。     

论公益信托设立

公益信托设立是相关当事人依照信托法律规定的条件和程序设立公益信托的行为,公益信托设立像其他民事法律行为一样会发生一些法律上的后果。公益信托设立要遵守法定的条件和程序,明确的公益目的、确定的信托财产、不特定的受益人以及经过批准的合格受托人是公益信托设立的法定条件;指定信托文件、提出设立公益信托的申请、进行审查批准和移交信托财产是公益信托设立的必经程序。     

VFP6．0程序中结构的自动更新

阐述说明在VFP6．0中用程序对数据库结构进行修改。     

郑州工业技术创新的灰关联分析

以技术创新为内在机制的发展模式是促进经济增长方式转变的有效途径。本文应用灰色关联分析方法对郑州工业技术创新进行了综合分析，并提出了相应的政策建议。     

论我国无独立请求权第三人法律制度的不足与完善

本在我国民事诉讼法的基础上，就司法实践中的关于无独立请求权第三人法律制度中存在的问题及如何完善作了有益的探讨。