Gorenstein内射模上严格的Mittag-Leffler模

本文介绍了Gorenstein内射模的类GI上的严格的Mittag-Leffler模,并用余挠对证明了GI-投射模在Gorenstein内射模的类GI上的严格的Mittag-Leffler模的一些同调性质。

关于模糊严格偏好关系的传递性

给定一个模糊关系 ,Ovchinnikov和 Roubens引进了非常一般的模糊严格偏好关系定义 ,本文将详细讨论该偏好关系的弱传递性 ,一致性 。

基于改进图像法的换流阀严格无源宽频建模

换流阀作为直流输电的关键设备,在实际运行中要承受交流系统中的各种过电压(雷电波、特快速暂态过电压等)。这些过电压信号的频域范围较宽,最高可达数十甚至上百MHz。通过仿真手段研究这些过电压对换流阀的危害很有必要,而常用的仿真软件(EMTP、PSCAD)中的元件只能用于10 k Hz以下的仿真,因此需要建立换流阀的宽频电路模型且该模型适用于EMTP和PSCAD仿真。文章首先利用矢量网络分析仪对换流阀各组成部分的宽频特性进行了测量;然后利用改进图像法分别建立了其宽频等效电路模型;最后利用EMTP的扫频功能将所建模型的宽频特性与测量结果对比,验证了所建模型的准确性。同时该方法能够保证所建电路模型各个元件参数都为正数,即保证了所建模型严格无源。

模糊全区间序导出的T-S弱序及严格T-S弱序

以可加的φ-模糊偏好结构为基础,研究由模糊全区间序结构导出的T-S弱序及严格T-S弱序。首先,我们证明了在一个模糊全区间序结构中,大偏好及严格偏好的右迹均为T-S弱序。其次,通过严格偏好关系P及大偏好关系R给出普通偏好结构下两个严格弱序Q_1及Q_2的等价形式,并据此进行模糊化,在(T,S,N_φ)是一个De Morgan三元组及T是旋转不变t-模的情况下,通过对模糊全区间序结构进行详细讨论,从而得出Q_1及Q_2均为严格T-S弱序。

赋Orlicz范数的模函数空间的单调性

模空间是经典Lebesgue和Orlicz空间的推广。在模空间引入Orlicz范数,研究赋Luxemburg范数模空间与赋Orlicz范数模空间的单调性。首先证明了模空间中Luxemburg范数与Orlicz范数是等价的,且赋Orlicz范数模空间是Banach空间,其次证明了赋Orlicz范数模空间是严格单调的,最后给出了赋Luxemburg范数模空间是严格单调的充要条件。

具有未建模动态的自适应神经网络动态面控制

对一类具有未建模动态的严格反馈非线性系统,提出一种自适应神经网络动态面控制方案.该方案将动态面控制方法扩展到具有未建模动态的严格反馈非线性系统的控制器设计中,拓展了动态面控制方法的应用范围.利用动态面控制方法引入的紧集来处理未建模动态对于系统的影响.利用Young's不等式,提出两种自适应参数调节方案.与现有研究结果相比,有效地减少了可调参数的数目,放宽了动态不确定性的假设,无需虚拟控制增益系数导数的信息.通过理论分析,证明了闭环控制系统是半全局一致终结有界的,且跟踪误差收敛到原点的一个小邻域内.

基于导模共振效应的宽带宽透射型滤波器的设计与优化（英文）

基于导模共振理论,设计了一种工作中心波长位于632.8nm的宽带宽透射型滤波器.根据瑞利异常理论公式,计算得到瑞利波长所在的光谱位置,从而证明异常现象对滤波器的带宽产生了拓宽作用.为了优化宽带宽滤波器的结构参数,利用严格耦合波理论通过计算不同参数条件下的光谱,分析了结构参数和材料对于透射光谱在带宽和峰值效率方面的影响,选取其中最佳的结构参数数值和材料,得到峰值效率为90%、带宽为95nm的透射光谱.该宽带宽透射型导模共振器件在显示和成像领域有潜在的应用价值.

光通信C波段硅基导模共振窄带滤波器的模拟

结合严格耦合波理论和遗传算法对C波段硅基导模共振滤波器进行了模拟分析。从模拟结果出发详细讨论了光栅周期、填充因子、光栅深度和入射角度对滤波器反射特性的影响。导模共振对光栅周期、填充因子、光栅深度和入射角度都有很高的敏感性,利用这一特点可以设计性能优异的硅基滤波器件。导模共振滤波器的共振波长峰值反射率达到了98.9%,峰值半高宽小于密集波分复用(DWDM)0.8nm的要求。

Banach空间点态凸性模

文中引入了点态凸性模的定义,讨论了点态凸性模取值与相关几何性质之间的关系, 研究了点态凸性模取值的特点,并在一些经典空间中给出了点态凸性模的计算与估计．

基于导模共振效应的自支撑超灵敏生物探测器

基于多层平面波导理论,采用自支撑共振光栅,提出了一种应用于生物探测领域的超高准确度传感器.理论计算表明,本文提出的生物传感器,其探测准确度于共振光栅的周期成正比,接近基于共振效应传感器的理论极限.采用单层共振光栅的归一化色散方程,计算了色散曲线随探测介质折射率的变化关系,从而证明了其探测准确度.此外,基于此共振光栅结构,设计了工作在近红外和中红外波段的生物探测器,分别应用于液体(1.3～1.7)和气体探测,折射率的分辨能力在近红外波段可以达到1×10-5,在红外波段优于1×10-6,能满足绝大多数生物材料的探测.相比于传统的基于导模共振效应的共振传感器,本文提出的生物传感器,其探测准确度有一至两个数量级的提高.

广义逆多项式模的相伴素理想和素子模

讨论了广义幂级数环 [[RS,≤ ]]上的广义逆多项式模 M[S]的相伴素理想和素子模 ,指出它们与环R上模

单符号变异L系统的图形建模

D0L系统生长的结果一般是自我严格相似 ,是一种典型的分形 .对于现实中非严格的自我相似性现象建模时 ,一般要采用随机L系统 ,但是随机L系统难以保证生长的结果与原D0L系统的结果之间有强相似性 .本文在D0L系统的生长基础上 ,引入单符号随机变异的生长模型 ,以解决理想形态生长与现实之间的差异 ,扩展L系统的表达能力 .

基于导模共振效应的多通道窄带滤光片的设计

基于导模共振效应设计了几种多通道窄带滤光片,并利用严格耦合波法分析其光谱特性。在设计的单层滤光片的基础上增加第一层高折射率缓冲层,当厚度为523.8 nm和689.2 nm时,得到双通道和三通道的反射峰,在此基础上增加第二层厚度为768 nm的低折射率缓冲层,得到四通道的反射峰。另外,通过调节单层滤光片的入射角度得到对称的双通道反射峰。

Hilbert双模的乘子双模

引进了A－BHilbert双模X及其乘子M（X）的定义，通过对Hilbert双模的研究，成功地得到了乘子M（X）作为M（A）－M（B）Hilbert模的结构．

反射型和透射型导模共振滤光片的设计

本文设计了中心波长为1315 nm的反射型和透射型导模共振滤光片,并利用严格耦合波法分析了其光谱特性。首先设计了中心波长1315 nm单层反射型导模共振滤光片,但由于覆盖层和基底层的折射率不匹配,使得远离中心波长处的反射率偏高,引入减反射层设计后,中心波长两侧的反射率明显降低。其次设计了中心波长1315 nm的透射型导模共振滤光片,分析了光栅层厚度对中心波长位置的影响。用严格耦合波法计算表明,设计的反射型和透射型导模共振滤光片具有优良的光谱性能。

一种面向嵌入式实时软件的需求建模语言

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。

CTCS-3级列控系统规范建模与验证

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。

基于模糊蕴涵的分配性方程

研究函数方程组I(x,T(y,z))=T(I(x,y),I(x,z)),I(x,y)=I(N(y),N(x))的解,其中T:[0,1]2→[0,1]是一个严格三角模,I:[0,1]2→[0,1]是一个模糊蕴涵算子和N:[0,1]→[0,1]是一个强否定。在I除了在点(0,0),(1,1)不连续的假设下,获得了满足这个函数方程组解的完全刻画。

基于优化模型的萃取精馏过程设计方法

针对萃取精馏过程设计自由度多且过程复杂的问题,提出系统性的萃取精馏过程经济性优化设计方法。该方法通过文献及数据库检索列举出多种备选萃取剂并基于分离工程的理论知识进行筛选,选择合适的热力学模型与实验数据回归模型参数以表征体系相平衡。全流程的优化通过在通用代数建模系统(GAMS)中建立严格的广义析取规划模型(GDP)来实现,并用精馏塔的经济模型计算设备及操作费用,以年均费用最低为目标函数,对塔的设计变量和操作参数同时进行数值优化。以醋酸-水的萃取精馏分离为例,结果表明该方法可明显降低醋酸生产能耗和生产费用,较传统的单一变量灵敏度分析法有明显优势。

连续T—模族{T_p(x,y)}

本文给出了一类连续T-模T_p(x,y),探讨了它的性质及一些结论。