■ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p 1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题.     

Struts应用的安全问题研究

对Struts应用的安全问题进行了分析和研究，通过实现Filter接口和扩展TextTag类建立了一种不影响系统性能、适应性广且能同时对web资源进行页面级和属性级安全控制的模型．在具体实现中，运用了web．xml配置文件和自定义的SecurityHelper接口．     

混合有限元方法的一个应用

一个非协调矩形混合有限元方法应用于二维空间的定常Stokes类型的特征值问题的数值解,并且给出了特征对的最优误差估计.     

劳动经济学教学体会

结合从教经验,从多个方面阐述了如何将劳动经济学的教学过程变得更能为学生接受。     

基于DEM电子地图的三维量算模型

针对普通电子地图中很难对地图要素进行三维量测的问题,提出了基于DEM的电子地图的概念。它实现了三维的DEM和二维的电子地图的垂直集成。两者优势互补,不仅极大地提高了电子地图的空间表现能力和量算水平,还大大地扩展了对DEM的应用潜力。探讨了用格网DEM与电子地图的集成方法,重点探讨了在基于格网DEM的电子地图上进行三维量算的数学模型。     

高等学校教学实验室开放的研究

文章探讨了实验室开放的内涵，认为实验室开放可以分为课程体系开放和课外开放两大类，课程体系开放受益面是全体学生，课外开放有利于学生个性发展，并对实验室开放实施策略进行了粗浅的探讨。     

板料成形过程中拉延筋抗力的实验测试

针对理论计算拉延筋抗力的复杂性 ,借助一套拉深实验测试系统 ,以盒形件拉深过程为研究对象 ,提出了一种通过实验方法简便测试拉延筋抗力的方法 ,即通过测定有、无拉延筋前后的总拉深力可以简便地计算出拉延筋抗力的大小 .将实验结果与数值模拟结果进行了对比计算 ,表明试验方法得到的结果与数值模拟的结果相吻合 ,说明了实验方法的正确性 .     

分光光度法测定饮料中的碘

本文利用碘-淀粉蓝色络合物在λ=580nm具有强吸收特性,用干灰化法处理饮料样品,以分光光度法测定饮料中微量碘,方法的特点是高灵敏度(ε=7.86×104 L mol-1cm-1)、高精密度、线性范围适宜(0～2.0g/ml)相关性好(相关系数r=0.9996)、方法简便易行等,可广泛应用于饮料中碘含量的测定。     

Progress in study on metalloporphyrin mimicking metalloenzymes

The development of research on metalloporphyrins, which are used as model compounds for some metalloenzymes, is reviewed, including the survey of oxygen binding of heme, the catalytic oxidation of cytochrome P450, the molecular recognition to amino acid esters, the self-assembly and self-aggregation of metalloporphyrins.     

基于MapBasic的油气管线风险评价模块的实现

风险评价是油气管线管理信息系统的重点之一,在参考国内外风险评价的参考体系后,建立了油气管线风险评价的计算方法及评价模型,运用MapInfo提供的二次开发语言MapBasie编程实现了管线的风险评价模块,并最终得以验证．该风险评价模块编程的实现,可诊断出油气管线的“健康”状况,做到预知性维护管理,实现了管道运行维护管理的科学化．