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和法锥映射进行扰动,对Φ的广义变分不等式的解进行精炼,进一步提出稳定解和法锥稳定解的定义,并证明其存在性结果。     

一种匹配目的端模式的异构数据交换

XML已成为异构数据库之间进行数据交换的工业标准,但由于XML与数据库以及数据库之间模式的差异,须解决模式转换的问题.针对以往异构数据库之间数据交换灵活性差、实现困难等问题,利用对象/关系数据映射和对象与XML数据绑定技术,提出一种以目的端持久类作为源端生成XML数据交换文档的绑定类的方法,得到完全符合目的端模式的XML文档.该方法易于解析和存储,有效解决数据交换过程中模式不匹配的问题.     

基于网格资源可用度的元任务映射算法

针对Min-Min启发式算法没有充分考虑网格的异构特性,导致资源负载不均衡的问题,提出一种基于资源可用度的启发式映射算法,在元任务与资源映射过程中,先计算资源对元任务的可用度,然后将元任务划分为优先映射与次优先映射两部分,再对这两组元任务分别应用经典Min-Min算法进行映射.采用仿真软件模拟网格异构环境,在元任务与资源一定的情况下,分别模拟这两种算法的元任务与资源的映射过程,得到这两种情况下的任务完成时间.实验结果表明,基于资源可用度的启发式算法在异构的网格环境中任务完成时间更短.