面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

L—凸空间中的Ky—Fan极大极小不等式

在较为广泛的L—凸空间中利用转移紧闭值，得到了一个关于λ—转移紧上(下)半连续泛函的新的Ky—Fan板大板小不等式，同时给出了与其等价的几何形式。这些定理概括和推广了许多相关结果。     

内固定加带血管肌蒂骨瓣移植治疗股骨颈骨折

目的:研究提高股骨颈骨折愈合率、降低股骨头坏死率的治疗手段 方法:采用切开复位、中空加压螺纹钉、骨圆针内固定加带旋股外侧动脉升支和阔筋膜张肌蒂髂骨瓣植骨治疗股骨颈移位骨折 结果:术后随访1～9年共46例,发生骨折不愈合3例、股骨头缺血坏死4例,其他无严重并发症 根据X光片和功能恢复情况分析:优24例(占52.17%)、良15例(占32.61%)、可3例(占6.52%)、差4例(占8.70%),功能恢复满意率为91.30% 结论:带旋股外侧动脉升支血管和阔筋膜张肌蒂髂骨瓣移植给缺血的股骨头引入血供,能促进股骨颈骨折愈合,减少股骨头缺血性坏死和骨折不愈合     

模糊综合评判理论在高师课堂教学质量评价中的应用

应用模糊综合评判理论和方法,对16名任课教师的课堂教学质量进行了综合分析与评价,其综合评价结果与实际教学情况相符。     

基于区间值的模糊聚类分析

分析了原有模糊聚类分析中存在的问题，提出了基于区间值的模糊聚类分析方法．该方法用区间值表示各个对象对于每个因素状态的隶属度，在获取了每个对象对于每个因索的特征值后，将其转化为[0，1]上的区间，然后直接在区间的层次上求各个对象间的相似度，在如此求出的相似矩阵的基础上，直接得出聚类的结果．该方法用区间值表示各个对象的属性值，可以更接近于每个对象的客观、真实情况，从而可以更大程度上保留信息．     

一种新的固定滞后最优Kalman平滑器

基于带相关噪声系统的一种最优Kalman滤波算法,应用白噪声估计理论和射影理论,提出了一种带白噪声估值器的固定滞后最优Kalman平滑器。它可递推实现,一个仿真例子说明了其有效性。     

一类拟总体列紧算子逼近的正则值

给出了关于算子T的拟总体列紧算子定义，讨论了这类算子逼近的正则值，得到了关于算子T的拟总体列紧算子列与其逼近算子正则值之间的关系。     

基于DSP的心电监护仪的设计

介绍了一个以DSP芯片为核心的心电监护系统。该系统实现了DSP代替PC，系统体积小，并具有较大容量的存储能力，而且采用了混沌的分析方法——分数维值(FD)对信号进行了分析。     

微波辐射处理活性炭—吡啶溶液的实验

以活性炭、吡啶溶液为研究对象。考察了微波辐射时间、微波功率、活性炭用量、吡啶溶液初始溶液浓度、pH值等因素对微波处理活性炭、吡啶溶液的影响。实验结果表明：微波辐射处理后的活性炭对吡啶的吸附具有明显的高效率，3．5min去除率即可达60％以上；而不用微波辐射处理的活性炭对吡啶的吸附，50min后，去除率才达70％。微波辐射使活性炭孔隙结构发生了明显的变化．增强了其对吡啶的吸附能力．     

对三点自交法构建分子标记连锁图谱的改进

对三点自交法构建分子标记连锁图谱进行了改进，使分子标记连锁图谱构建更加精确，并结合F2群体的有关数据进行了模拟计算，证实该方法的可行性，结果表明改进的方法比原有方法更加有效。