L_n*系统中α-反向FMP和α-反向FMT问题的解

提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题。通过在F（S）中引入一个预序,在Ln^＊系统中,给出了上述问题的解。并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统Ln^＊中建立了反向三I算法的形式化推理机制。

FMP效应与电流变悬浮液在流动场中俘获效应的耦合作用

通过FMP理论对我们实验中的俘获效应加以研究,可得知此过程中粒子的成链结构、粒子倾向(引起堆积形式变化的趋势)以及链状网络结构强度和有限的介电响应时间等信息.给出了电流变响应过程的一般动力学控制方程以及链崩溃时临界的剪切应力值(压力梯度值),及俘获粒子过程中有关结构弛豫时间的求法.

多核实时操作系统TOPPERS/FMP移植研究

详细研究了TOPPERS/FMP针对多核处理器实现的一些扩展功能,包括内核管理与调度、中断管理、处理器间通信以及同步,然后简要介绍了ZYNQ处理器平台的特点,并详细研究了TOPPERS/FMP在ZYNQ处理器上移植,给出移植过程中的关键流程。经测试验证移植成功并且内核功能完善,为以后的工作提供了基础软件平台。

在Poiseuile流场下的FMP效应的动力学

以通过FMP(flow-modified permittivity)效应修正的静电极化模型为基础,采用分子动力学方法,模拟了电流变液在poiseuile流动场下的情况.进而分析了在流场下FMP效应对电流变效应的影响.仿真结果表明:在压力梯度作用下,相对于无压力梯度作用时,电流变液体终态结构有所改变(不规整),并且电流变液体结构演变时间也受到了影响;通过分析不同弛豫时间下,剪切应力与压力梯度的关系曲线,发现电流变效应的强度与粒子极化的弛豫时间关系密切,对于同种电流变液材料,应该有一最佳介电松弛频率.

FMP程序系统的微机化改造和验证计算

为满足某研究项目的需要,对我国原有在CHALLENGE工作站上运行的燃料管理程序系统FMP进行微机化改造,大幅提高了该程序系统的计算速度和程序可移植性。该程序系统中两个主要程序TPFAP-E和CFMP的计算结果与原程序计算结果的比较表明,程序系统的微机化改造非常成功。在此基础上,针对堆芯设计计算报告《秦山300MWe核电厂堆芯第十次换料后续循环换料方案设计》的内容进行4个循环的燃料管理验证计算,主要参数计算结果与原报告的计算结果均吻合得较好,为利用该程序系统开展深入的燃料管理研究奠定了基础。

采用FMP塔盘应对污水汽提塔的堵塞问题

中石化某炼油厂的污水汽提装置存在严重的堵塞问题,通过对不同位置堵塞垢物的组成分析,结果显示:进出料换热器垢物中C元素质量分数为57. 33%,O元素质量分数为16. 23%;塔盘上的垢物中S元素质量分数为40. 38%,铁元素质量分数为25. 08%;塔底再沸器垢物中S元素质量分数为44. 33%,Fe元素质量分数为25. 52%。表明进出料换热器垢物为来自焦化的含碳化合物,塔盘及塔底再沸器垢物主要为无机化合物。采用FMP高效抗堵塞喷射态塔盘技术解决了污水汽提装置的堵塞问题。对污水汽提装置在100%及120%负荷条件下的标定结果表明:净化水中硫化氢平均质量浓度为0. 8 mg/L,氨氮平均质量浓度为16. 6 mg/L,经FMP塔盘处理后的污水可以满足净化指标要求。

一种蕴涵算子下FMP模型的新型反向三I算法

针对Fuzzy推理中提出的"过半可信"原则,证明了RG蕴涵算子满足这一原则,并讨论了RG蕴涵算子下FMP模型的新型反向三I支持算法,新型α-反向三I支持算法,新型α-反向三I约束算法的计算公式,且给予证明。

基于XML的界面模板技术

从一种支持用户界面自动生成的界面模型FMP出发,阐述了界面模板的基本概念并讨论了其各种形式表示。在此基础上,详细探讨了有关界面模板表示形式的转换以及界面模板的检索等技术,最后给出了一个界面模板库系统的体系结构。

中文Frost多维度完美主义问卷的信效度检验

目的:检验中文Frost多维度完美主义问卷(FMPS)信效度。方法:共有1280名大学本科生作为被试填写了FMPS问卷,其1000名被试的数据用于探索性因素分析,另外280名被试的数据用于验证性因素分析。部分被试被要求填写测量焦虑、抑郁、强迫等心理困扰的问卷,作为效标效度检验。结果:中文版Frost多维度完美主义问卷由五个维度组成。各维度的项目载荷在0.45～0.78之间。五个因素(担心错误、条理性、父母期望、个人标准和行动的疑虑)可以解释总方差的53.7%。各维度的内部一致性系数为0.64～0.81,重测信度为0.63～0.82。中文FMPS与焦虑、抑郁、强迫等心理困扰也有显著的相关,其中“担心错误”和“行动的疑虑”与各种心理困扰的相关系数在0.30～0.70之间。结论:中文FMPS的维度结构与其英文原问卷相似,且具有令人满意的信效度,适合在中国文化环境下使用。

基于XML的界面自动生成

为了满足重用性和自动化的需要,从支持用户界面自动生成的FMP模型出发,提出了用XML文档保存所有模型信息的方法以及相应的转换算法;并在此基础上详细介绍了界面生成引擎的设计以及相应的代码生成算法。

桑叶多糖的降糖降脂作用

[目的 ]研究桑叶多糖的降糖降脂作用。 [方法 ]将桑叶水溶部分多糖分离提纯 ,对 2型糖尿病大鼠模型进行降血糖和抑制作用实验。 [结果 ]桑叶多糖具有降低血糖和抑制血脂升高的作用。 [结论 ]桑叶多糖治疗 2型糖尿病具有多项调节作用。

杭州市超细微粒数浓度和粒径分布特征

应用FMPS(fast mobility particle sizer)对杭州市城区和城郊工业园区超细微粒的数浓度及粒径分布进行现场跟踪测量,并对数据进行分析.结果表明:杭州市大气超细微粒在5～500 nm内,主要呈对数双峰分布,峰值粒径多处在10～50 nm间.城郊工业园区的平均总数浓度最高,达4.11×104 cm-3,最高值出现在中午,而城区的峰值粒径区间整体右移,表明超细微粒污染较轻.超细微粒数浓度在上午和下午的上、下班期间出现不同程度上升,夜间浓度普遍降低,但偶有波动.部分工厂有夜间工作情况,故夜晚空气质量的下降也应引起重视.

支持用户界面自动生成的界面模型

为实现软件用户界面的工程设计,论文提出了一种支持用户界面自动生成的界面模型FMP。它利用功能模型(F)和对象模型(M)捕捉与界面相关的功能和数据信息,用交互模型(M)表达这些信息和控制关系。然后依据交互模型的描述,利用表示模型(P)建立内部对象和外部显示元素的对应关系,规划界面布局,从而指导实现用户界面的自动生成。

时空特征局部保持的运动视频关键帧提取

为提高运动视频关键帧的运动表达能力和压缩率,提出柔性姿态估计和时空特征嵌入结合的运动视频关键帧提取技术。首先,利用人体动作的时间连续性保持建立具有时间约束限制的柔性部件铰接人体(ST-FMP)模型,通过非确定性人体部位动作连续性约束,采用N-best算法估计单帧图像中的人体姿态参数;接着,采用人体部位的相对位置和运动方向描述人体运动特征,通过拉普拉斯分值法实施数据降维,获得局部拓扑结构表达能力强的判别性人体运动特征向量;最后,采用迭代自组织数据分析技术(ISODATA)算法动态地确定关键帧。在健美操动作视频关键帧提取实验中,ST-FMP模型将柔性混合铰接人体模型(FMP)的非确定性人体部位的识别准确率提高约15个百分点,取得了81%的关键帧提取准确率,优于KFE和运动块的关键帧算法。所提算法对人体运动特征和人体姿态敏感,适用于运动视频批注审阅。

关于三IFMT问题的若干注记

指出了在经典逻辑学中,M T是M P的等价形式;明确了三I FM T是与三I FM P不同的算法,且三I FM P与三I FM T这两种算法是对偶算法,表明三I算法的两个组成部分在理论上是和谐的。指出了如果在Fuzzy推理中模仿M T而计算FM T的解,则会回到FM P问题。

完美主义心理研究的历史和现状

完美主义 (perfectionism)心理是《心理障碍诊断与统计手册》(DSM -III)的重要的诊断标准之一 ,被认为参与多种心理障碍的形成与发展。但是长期以来 ,对于完美主义心理缺少精确的定义和量化研究。上世纪八十年代以来 ,在欧美的心理咨询和资质优异教育领域 ,这种心理愈来愈被看作是与个体的心理健康及创造力息息相关的人格特质 ,并且已普遍承认这种特质是多维度、多侧面的。本文追溯了完美主义心理研究的历史渊源 。

大学二年级男生的完美主义心理、羞怯与自杀念头的相关研究

目的考察有无自杀念头的学生在完美主义心理和羞怯心理上的差异,以及探索完美主义心理与羞怯的相互关系。方法采用佛洛斯特多维完美主义心理量表和羞怯量表以及自编的自我描述问卷,对270位大学二年级男生的完美主义心理、羞怯和自杀念头等进行调查。结果研究发现有自杀念头者更倾向于追求完美,更为羞怯;同时也发现完美主义的部分维度与羞怯呈正相关。结论大学生的自杀念头、羞怯心理与完美主义有关,需要引起心理咨询和治疗者的注意。

一些模糊推理方法的还原性

给出15个常用模糊蕴涵算子的三I算法,在此基础上讨论由这15个蕴涵算子与CR I算法和三I算法相结合生成的30种模糊推理方法的还原性。

非连续屏障对Rayleigh波宽频散射三维快速边界元模拟

基于单层位势理论,将快速多极子-间接边界元方法(FMM-IBEM)拓展到弹性半空间群桩对弹性波的宽频散射求解,进而研究了Rayleigh波入射下多排桩屏障体系的隔振效果。数值试验表明该方法能够大幅度降低常规IBEM计算所需的存储量和计算量。针对典型算例,讨论了单排桩净距、排桩桩长、场地波速、排桩排数及多排桩之间净距对Rayleigh波的屏障效应。结果分析表明:排桩排数是影响多排桩隔振效果的主要因素,而多排桩之间的排距对隔振效果影响较小;桩间净距和桩长是影响单排桩隔振效果的重要参数,桩距在0.1倍~0.3倍Rayleigh波波长,桩长大于1倍波长时即可取得较好的隔振效果;对于不同的场地,场地土越软,排桩隔振效果越好。对低频波隔振宜采用多排桩进行隔振。

基于模型的用户界面代码自动生成

基于模型的用户界面开发环境(MB_UIDEs)旨在通过使用某种特定的方法给设计人员提供一种更加系统的用户界面开发途径。文章介绍的就是一个新的基于FMP模型的用户界面开发环境。文中主要介绍它的系统机构,代码生成模型,代码生成过程中所采用的技术和算法等。它能够自动地生成交互系统的源代码,当然也包括图形用户界面的源代码。