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

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

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

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

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

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

谈公共图书馆公益性讲座的专业化发展道路

阐述了图书馆讲座工作的核心价值和定位,介绍了公益性讲座的作用,指出公益性讲座要走以人为本和专业化道路.     

以科学发展观探索山西煤炭企业的可持续发展

运用科学发展观的理论分析了煤炭企业在可持续发展过程中存在的问题,指出应通过落实科学发展观使煤炭企业在以人为本的前提下,统筹人与自然的和谐发展,进而达到煤炭企业的全面、协调、可持续发展.     

关于p-一致光滑Banach空间中非自映像的Reich公开问题

在p -一致光滑的Banach空间(1相似文献   

论大中小学德育有效衔接的概念与标准

构建大中小学有效衔接的德育体系,是《国家中长期教育改革和发展规划纲要（2010-2020年）》明确提出的战略任务。大中小学德育衔接存在纵向衔接和横向贯通两个维度,与大中小学德育一体化、整体构建大中小学德育体系等概念既有联系又有区别。大中小学德育衔接是否有效,应以是否形成了一个整体的德育体系和网络为形式标准,以是否很好地实现了德育目标、对实现培育＂四有＂新人是否产生合力与合力大小为实质标准。     

浅议高职院校图书馆的建设

分析了高职院校图书馆办馆理念的创新,指出在信息化时代高职院校图书馆应提升核心竞争力,以提高文献资源的利用率和信息服务质量.     

映射法与Klein-Gordon方程新的精确解

运用映射法,结合辅助方程,利用计算机代数系统Mathematica求出了非线性Klein-Gordon方程的一系列新的精确周期解,补充了前面研究的结果.这些精确解可在极限情况下(m→1)退化为孤波解.该方法简化了求解过程,并可以用来求解其他的非线性演化方程,如Schrǒdinger方程、KP方程等.     

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

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