帐篷映射归宿的完整性探析

应用三进制方法完整地研究了帐篷映射的动力学特性．当初值x0=0，1时，经帐篷映射迭代后的最终归宿为x∞→0；当x0 [0，1]时，x∞→-∞．当x0∈（O，1），x0为有限位小数时，x0→0或-∞；当x0为循环小数时，x∞将处在周期轨道上或趋于-∞；当x0为不循环小数时，x∞将处在混沌轨道上或趋于-∞．     

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

凸单叶调和映射的Fréchet可微泛函的极值问题

借助一种变分方法 ,研究了凸单叶调和映射上具有 Fréchet可微泛函的极值问题 ,得到极值函数的必要条件。     

度量内向性条件下多值压缩映射的不动点

首先给出了度量内向映射新定义，进而证明了多值压缩映射一个新的不动点定理.它从新的角度改进与推广了文献[3]和[4]中某些重要结论.     

电压反馈型正激变换器中分岔与混沌现象的研究

研究了电压反馈型正激变换器的分岔与混沌.基于功率变压器的简化模型,建立其离散映射模型.在此模型的基础上得到以变压器的初次级匝比为分岔参数的分岔图,根据此分岔图分析了正激变换器混沌出现的途径.然后在PSpice中进行仿真实验,得到了电容两端电压和电感电流的时域波形图及其相图,获得了与数值仿真一致的电路仿真结果.     

B-值多线性映射的有界型核定理

讨论了取值于一般的Banach空间（不必须是自反的）的有界型多线性映射的核定理．     

多认证机构的属性加密方案

通常情况下,用户所具有的属性集合由不同的认证机构负责分配和认证。针对这种情况,提出了一种多认证机构的属性加密方案。在该方案中,将属性全集分成若干个属性子集,而且各个属性子集之间相交结果是空集。对于每一个属性子集,由一认证机构负责监控用户的属性值并分配对应该属性值的密钥。任意发送者可用一属性集合加密信息,而具有该属性集合的用户可以解密已加密了的信息。所提方案满足IND-sSET-CPA安全。     

浅议行政强制执行

行政强制执行是行政法中的一项重要制度,是行政行为正确实施的重要保障。行政强制执行是行政执法的手段和方法。行政强制行为与其它具体行政行为比较,具有自己鲜明的特色。本文全面论述了行政强制执行的内涵、种类和程序,阐明了我国行政强制执行的特点。     

Banach空间中拟严格渐近伪压缩映射族的强收敛定理

在自反的具有K-K性质的严格凸的光滑Banach空间中,构造了一种新的无限族拟严格渐近伪压缩映射之公共不动点的杂交投影算法,在去掉集合C有界性的条件下,证明了公共不动点之强收敛定理成立。所得结果是近期相关结果之改进与推广。     

广义变分不等式解的精炼

主要通过对集值映射Φ的定义域X和法锥映射进行扰动,对Φ的广义变分不等式的解进行精炼,进一步提出稳定解和法锥稳定解的定义,并证明其存在性结果。