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

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

新派烟台方言单字调的实验语音研究

相对于传统耳听手记的声调研究方法,实验语音学的方法使得声调研究结果更加客观化.烟台方言可以分为老派和新派方言,它们的单字调声调在某种程度上存在着不同.就目前来讲,对新派烟台方言研究相对较少,尤其是实验的方法,几乎还是空白.应用现代实验语音学的方法,侧重整个实验过程和实验数据,测算出新派烟台方言单字调调类最终分为三类,调类与调值分别为：乎声44,上声313,去声42.由于这一结果与传统烟台方言单字调调值有较大差异,故本文对新派烟台方言单字调与传统烟台方言研究结果及普通话也进行了比较,并在此基础上分析了新派烟台方言单字调调值可能演变的原因.新调值还有可能对烟台方言两字组及三字组连读变调模式产生影响.     

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

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

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

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

古典概型问题的数学模型

在古典概型问题中引入了n次随机试验,n维样本点,n维随机事件和n维样本空间等概念,对解决古典概型的应用问题提供了相应的数学模型.     

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

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

双端热透镜Z型固体激光腔图解分析

采用传播圆图解方法研究了具有双端热透镜的Z型折叠固体激光腔的工作特性,得到了谐振腔各腔臂中的光模参数bt1,bt2,b2及光斑尺寸wt1,wt2,w2随激光介质的热动力参数1/ft1及1/ft2的变化关系;结果表明通过合理选择参数可对腔的热稳定范围及基模光斑尺进行调控,其关键参数是对称的第1、3臂的长度l01 f1(或l02 f2),其值越小,腔的热稳定区越宽,同时激光晶体处的基模光斑越小.第2臂中的参数δ对热稳区宽度没有明显影响,但δ值越大,对应的光斑半径wt1及wt2也越大.     

齐型空间上Herz空间中的分数次极大算子

本文主要给出了分数次极大算子在齐型空间上Herz空间中的有界性:设0相似文献   

基于网络的模型库结构表示方法研究

针对现有方法存在的不能表示复杂模型关系以及模型组合与求解自动化程度低的局限性,在对模型库结构表示方式进行比较的基础上,从而进一步分析并提出了数据类型广义匹配的概念,将其应用于模型连接的表示,给出了模型库的网络结构表示的定义及其构造方法。分析了模型组合及模型库必须考虑的元素,并用网络结构表示模型库中元素间的静态连接结构;给出了模型库网络结构的形式化定义,模型间的连接通过引入类型转换实现。从而简化模型之间连接,使模型的连接判断由类型匹配判断转化为模型与转换和转换与模型之间的类型相等性判别,而类型匹配操作则通过转换自动完成。并且在组合模型求解过程中,转换过程也会自动完成,提高了模型组合与求解的自动化。     

中国接骨木属花粉表面纹饰类型的研究

利用扫描电子显微镜对中国接骨木属12种花粉的表面纹饰进行了观察、拍照,总结出中国接骨木属花粉表面纹饰具有两种类型,分别为穴状纹饰和网状纹饰,为中国接骨木属的系统分类提供了可靠的分类依据.