MFC消息截获技术的研究及在Windows编程中的应用

消息驱动是Windows下运行程序的核心。Windows下的菜单、对话框、控制等是接收用户输入消息的主要途径。其中，用户使用菜单可以在众多的程序选择中进行选择，但是它们全是事先安排好的静态菜单。本文利用MFC（Microsoft Foundation Class Library)的消息截获技术实现一种在程序运行期间动态增加菜单项的功能。     

无线网中基于ECC的认证和密钥交换协议

为适应密码技术在无线通信中的应用要求,Aydos、Mangipudi等人以椭圆曲线密码为基础,分别提出了适用于无线通信网络的身份认证和密钥交换协议.而研究发现,这些协议中仍存在中间人攻击、服务后否认、假冒攻击等安全隐患,且不能提供前向保密性.为此,本文提出一个安全的身份认证和密钥交换协议,经验证说明该协议不仅能防止上述安全隐患,而且执行效率更好,适于为无线通信环境中用户端与服务器间进行相互认证,建立一个双方共享的会话密钥.     

一种基于层次切片的软件错误定位方法

提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低.     

基于岩石可钻性指标的地层界面识别理论与方法

岩石可钻性指标是石油、矿山及地质部门广泛用于钻头选择和制定生产定额的重要参数,但现行可钻性指标的定义及参数获取的实验方法还存在许多问题. 通过分析,重新定义了岩石的可钻性,提出了以单位能量下的穿孔速率作为可钻性指标的新概念;基于钻进过程中有效轴压、转速、穿孔速率和可钻性指标间的耦合关系,建立了可钻性指标的计算公式. 同时,对新的可钻性指标在地层识别中的敏感性进行了分析,阐述了可钻性指标在地层识别中的物理意义. 研究表明,新的可钻性指标克服了传统可钻性指标在判层中存在的盲区,并可实现沿钻孔剖面的连续判层.     

浅谈执行难的解决对策

长期以来,民事执行难问题一直是司法实践中的一大难题,我国的执行工作举步维艰,不仅是法院需要迫切解决的问题,而且也成为一项严重的社会问题。相当一部分生效法律文书得不到及时有效的实现,既妨碍了当事人合法权益的实现和满足,又使得司法的权威性和公正性受到挑战和损害．甚至造成社会不稳定因素的产生。究其原因,有很多。为了更好的保障当事人合法权益的实现,树立司法权威,需要制定一系列的对策来解决执行难的问题。     

在公正和效率的两端——论对行政强制执行模式的选择

行政强制执行模式一般取决于行政强制执行的性质,各国皆以其对行政强制执行性质的理解和其所倚重的价值理念建构行政强制执行模式。我国本着＂公正优先,兼顾效率＂的价值理念实行双轨制的行政强制执行模式,但是这种模式不仅造成了理论上的错位,而且与设想之初的价值理念相悖,基于此有必要对行政强制执行模式重新作出选择。     

复杂断块油藏残余地层格架的建立及油层细分方法

海拉尔盆地是大庆油田勘探开发的重点地区,由于该地区在地史时期内经历过多期强烈构造运动,使该断陷盆地分割性强,地层往往呈残余状态.应用陆相层序地层学原理和地震相、沉积相、岩石相及测井相研究资料,对海拉尔盆地贝尔凹陷南一段内部层序界面进行了识别,并对地层缺失层段进行了确定和恢复.结果表明,南一段沉积过程中经历了3次湖泛作用和1次沉积转换作用,相应地形成了3个稳定泥岩段及1个由进积到退积的沉积转换面.通过基准面旋回变化过程中沉积湖泛面和转换面的追踪对比所建立的南一段残余地层等时地层格架,可以使目的层段内的油层组划分对比具有等时性,所建立的标准剖面可用来有效识别不同成因类型的地层缺失和缺失厚度.     

地震高分辨率非线性反演在薄互储层识别中的应用

将地震高分辨率非线性反演方法应用于地震频带窄、主频低和信噪比低的鄂尔多斯盆地鄂北区块地震剖面的反演,获得了品质高和分辨率高的地震反演剖面(速度剖面).应用这种高分辨率反演剖面对鄂北区块的薄互层进行了有效而可靠的划分和精细追踪,并展示出砂体的分布特征和砂体厚度变化特征.在这种高分辨率反演剖面上可拾取出最小厚度为4.0 m的砂体,最小误差为2.3%.在鄂北区块的应用表明,地震高分辨率非线性反演方法及其反演剖面对详细研究薄互层具有独特的功效和作用.     

最优执行与信息价值

信息是影响金融市场运行的重要因素之一,为了更好地理解信息对交易行为的作用,该文把信息引入到最优执行分析当中,使用逆向动态规划的方法求解模型,给出了执行成本以及最优交易策略,并分析了最优交易策略以及不同参数对执行成本的影响。在一定条件下,当期股票价格上升时参与者反而会买入更多股票。执行成本随着信息影响系数(信息的自相关系数)γ(α)的增加而增加,当γ、α较小时,由最优执行节约的成本更多;而当γ、α较大时,由信息节约的成本更多。给定永久性价格影响系数λ较小时,随着收敛速度ρ的增加,执行成本节约的变化趋势是先增加、后减少,呈现倒"U"型。结论显示最优交易策略能够降低执行成本,而信息能够明显地降低执行成本。     

支持软件预取的缓存WCET分析

许多高性能嵌入式处理器都引入了多级缓存、硬件预取及软件预取等机制,为使支持软件预取的硬实时任务具有执行时间的可预测性,提出一种支持软件预取的缓存WCET分析方法. 该方法对多级缓存抽象解释模型进行了软件预取语义扩展,分析了软件预取对任务的最坏情况下性能和能耗的影响. 实验结果表明,该方法能够对支持软件预取的多级缓存行为进行有效分析;同时软件预取优化技术可使某些访存缺失较大的硬实时任务WCET平均减少22.9%,能耗平均降低24.1%.