一类自适应松弛算法的算法模型

对于一类自适应松弛算法,本文提出了一个算法模型。在一些通常的假定下,证明了该模型生成的序列的收敛性定理。     

技能映射通过析取模型诱导的多分知识结构

基于程序性知识的评估,提出由项目自身的状态结构诱导多分知识结构的方法,以建立适用于问题解答的多分评估体系.首先,根据各项目的解答或操作步骤设定响应值集,通过项目状态转移函数定义项目状态空间;然后,用操作程序表示技能,由过程函数导出析取的技能映射;最后,讨论技能映射通过析取模型诱导的多分知识结构.结果表明：技能映射通过析取模型诱导的多分知识结构是多分知识空间.     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。     

良定Hadamard问题的统一研究

本文给出了良定Ｈａｄａｍａｒｄ问题的一个统一定理。     

分形编码中的最优压缩映射

提高传统分形压缩编码的性能。方法将分形变换编码建模为一个不等式约束条件下的非线性规划问题,将压缩射条件作用到最优射的求解过程中,得到全局意义上的最优压缩映射,给出了该模型及相应的求解算法,对算法收敛性,初始点选择等问题进行了讨论。     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与空间的关系以及间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件。     

凸度量空间中广义压缩映射的公共不动点

利用刘立山提出的集值映射和单值映射的次相容性条件,给出了完备凸度量的空间中集值广义坟缩射存在唯一公共不动点的一个充要条件和一个充分条件。     

终周期双峰映射拓扑熵的计算

利用符号动力学的揉理论,讨论双峰映射拓扑熵的计算．对于具有重要意义的终周期揉序列对,给出了决定其拓扑熵的揉行列式的解析表达式．     

关于狭义拟仿紧空间的两个问题

利用狭义似仿紧空间的等价刻划,给出一个非狭义拟仿紧的正规弱θ－加细空间,此外还证明了强完备映射的逆保持狭义拟仿紧性。这两个结果分别回答和部份回答了蒋继光提出的两个问题。