PCI-E图像采集系统的WDF驱动程序设计

介绍了一种基于WDF模型的PCI Express红外图像采集系统的驱动程序设计。分析了WDF模型的框架结构及驱动程序设计流程,重点讨论了基于自行研发的PCI-E图像采集卡的WDF驱动程序开发,主要包括硬件访问、DMA传输及中断通知等内容。经测试,该驱动程序能稳定、可靠地工作。     

一类广义I类不变凸半无限规划的对偶性

对几个Is类和广义Is类不变凸性的情形，研究了半无限规划的对偶性，给出了一些弱对偶、强对偶和逆对偶定理。     

双连续C半群的Vornonvskaja型逼近问题

基于局部凸拓扑τ的Banach空间上双连续C半群的定义及性质,借助于双正则核这一工具,研究了双连续C半群的表示形式,给出了双连续C半群Vornonvskaja型逼近定理。     

关于广义Baskakov算子的高阶点态导数

讨论广义Baskakov算子借助Ditian Totik光滑模给出的高阶导数的特征刻画,统一了点态和整体的2种结果.     

A和B是k-集压缩映射方程x∈Ax+λBx在锥中的可解性

设X是一实Bomach空问,DX是含0点的一有界开集,KX是一个锥.在≠φ时=int K),我们证明了一个关于方程:x∈Ax十λBx可解的新结果(定理2),其中A和B是k-集压缩映射,这个结果的一个特别情形,即A≡0时回答了Petryshyn在提出的一个开问题.文中定理1和3分别是A+B和A在D∩K上的不动点指数为0新的结果.     

关于两个距离空间和两个2-距离空间的不动点

本文证明了一个关于两个距离空间的不动点定理,它类似于 Brian Fisher的一个结果,然后推广所得结果到两个2-距离空间。     

ON A LINEAR EQUATIONS METHOD OF NONLINEAR POLYNOMIAL EQUATIONS-SOLVING

A method for solving nonlinear polynomial equations is given which avoids theappearance of redundant factors as in the previous characteristic set method developed bythe present author. The new method seems thus to be of much higher efficiency than theprevious one. It has the further advantage that numerical data may be inserted at willeither at the outset or during the procedure so far removal of factors by divisions may beavoided.     

解型线性双层规划的对偶规划

讨论了解型线性双层规划的对偶规划问题,利用Lagrange对偶规划的思想,建立了解型线性双层规划的Lagrange对偶规划,并证明了基本对偶定理.     

凸函数两个推广类的性质

引进了凸函数的两个推广类CΩ（λ,α）和CΩ＊（λ,α），并研究了CΩ（λ,α）和CΩ（λ,α）中函数的系数估计、畸变定理，以及函数属于CΩ（λ,α）和CΩ（λ,α）分别应满足的表达形式，同时也给出了这两个函数族关于实数λ的包含关系．