利用格蕴涵代数找出所有滤子的算法

格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构．本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法．并举例说明该方法的有效性、可行性．     

Probabilistic normed Riesz spaces

In this paper, the concepts of probabilistic normed Riesz space and probabilistic Banach lattice are introduced, and their basic properties are studied. In this context, some continuity and convergence theorems are proved.     

模糊Petri网在车电系统总线故障诊断中的应用

针对车电系统总线故障现象和故障原因之间存在复杂模糊关系而无法实现快速故障诊断这一难题,提出采用模糊Petri网(fuzzy petri net,FPN)建立车电系统总线的故障诊断分析模型,并给出了相应的形式化推理算法;以某型车电系统总线为例,分析比较了各种故障原因的可信度;分析表明:所建模型有效地描述了车电系统总线故障现象和故障原因之间的模糊关系,能够实现故障的快速诊断,该模型可以作为车电系统总线快速故障诊断的理论支持工具。     

3维楔形阴极场致发射模型

分析了场致发射的物理机理,在3维Yee网格模型的基础上导出并实现了场致发射的发射条件,并引入Pade网格算法加密尖端网格。以一个楔形阴极场致发射模型为例得到了场致发射的伏安特性曲线,并且在高电压时得到了3/2次方的空间电荷限制流。同时为了解决粒子数与网格的巨大引起的计算量大的问题,引入了消息传递机制并行算法,得到3.0以上的并行加速比。     

Riesz代数上的d-模(英文)

本文引入了Riesz代数上d-模的概念.利用正算子理论讨论了可交换的Riesz代数上的d-模的二次共轭空间的d-模结构,并且研究了由格同态算子或区间保持算子产生的主理想上的特殊d-模.     

基于时分复用和窄波长扫描激光的长距离光纤布喇格光栅传感系统

提出了一种通过提高长距离光纤布喇格光栅传感系统容量,从而实现多传感点参量测量的新方法.采用时分复用、窄波长范围扫描激光方式,将多个中心波长相近的低反射率光纤布喇格光栅放置于系统的不同位置,构成准分布式光纤传感系统,实现了多个传感点参量的同时测量.同时提出了采用掺铒光纤和喇曼混合放大方法来延长传感距离.在系统的中间加入一个喇曼泵浦进行喇曼放大以此补偿光纤布喇格光栅反射的信号,系统末端的掺铒光纤利用前面喇曼泵浦剩余的泵浦功率产生自发辐射光并放大传感信号,使得整个系统的传感距离延长.实验证实:将三只中心波长均在1580nm附近,反射率均小于4%的光纤布喇格光栅,分别放置在系统的不同位置,在200km处获得了15dB的信噪比,反射信号明显;并且在200km处的静态应变和温度实验中,线性度均达到了0.999以上.     

“三网合一”技术高峰论坛

会议内容：抢抓武汉有望成为国家首批“三网融合”试点城市的契机,以“三网合一”带来的机遇与挑战为主题,探讨如何有效整合各类网络资源,提高我国信息产业的整体水平,为社会经济网络化、数字化创造条件,形成新经济具有业务融合能力的网络基础设施,为国内外的通信、广电和互联网行业的专家和业内人员提供一个交流、研讨平台,以更好地促进产业优化、技术融合与产业融合。     

度量空间的序列覆盖边界紧映象(英文)

本文主要讨论了度量空间的序列覆盖边界紧映象.用序列商、序列覆盖或1-序列覆盖的纤维边界紧或有限来刻画具有sn网或弱基的空间.主要结果如下:(1)度量空间上的序列覆盖边界紧映射是1-序列覆盖映射;(2)空间X是度量空间的序列商边界紧映象当且仅当X是snf-第一可数空间;(3)空间X是度量空间的序列覆盖边界紧S映象当且仅当X有点可数sn-网.     

含幺逆半群的半格的同余对

本文利用一族含幺逆半群的同余对刻画了其半格的同余对,并给出了含幺逆半群半格的正规同余对族的格与其标准同余对的格之间的同构关系.     

幂格的理想与素理想

研究了幂格的理想和素理想,建立了格的理想与格上幂格的理想的一种联系,获得了格的理想(素理想)与它的商格的理想(素理想)之间的关系。