论文部分内容阅读
讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分类.
模糊时序逻辑的语义及其广义重言式
【摘 要】
：
讨论了时序命题逻辑系统MPTL模糊化的问题,给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念,并讨论了广义重言式的分类.
【机 构】
：
辽宁师范大学数学学院
【出 处】
：
辽宁师范大学学报：自然科学版
【发表日期】
：
2004年2期
其他文献
本研究以荒漠优势植物红砂(Reaumuria soongorica)1年生幼苗为研究对象,采用开顶式生长箱(Open top chambers,OTCs)模拟CO 2浓度变化(350和700μmol·mol-1),研究了降水
秦的立国一般认为是秦襄公被封为诸侯时，但从秦的发展来看，秦的立国经历了一个过程。从非子到襄公，秦的实力不断增强，控制的地域不断扩大，到文公时，形成了地域性的秦国。在这个过程
在CAGD中,常遇到有理B样条曲线、曲面光滑拼接问题,但目前却鲜见有关有理B样条曲线、曲面光滑拼接问题的讨论.研究了两条三次均匀有理B样条曲线G2光滑拼接的充要条件,同时,为
用吸收液采集废气样品,顶空进样,采用气相色谱法测定进样气体中吡啶的含量。用DB-FFAP毛细管色谱柱分离,氢火焰离子化检测器测定。优化的试验条件如下:①采用多孔玻板吸收瓶采集样品;②吸收液的体积为45mL;③采样流量为0.5L·min~(-1);④样品在4℃下,7d内完成分析;⑤吸收液的pH大于12;⑥加入3g氯化钠调节吸收液离子强度;⑦顶空温度为80℃,顶空平衡时间为30min。吡啶的质量浓度在
从广东省的3种园林植物（红背桂、洋紫苏和马缨丹）上，采集了根结线虫病标本，对其病原采用形态特征的光学显微镜和扫描电镜观察进行分类鉴定．其中，马缨丹根结线虫病病原是花生根结线
该文通过不同玉米秸秆还田模式处理,对玉米生育期、收获前田间指标调查及产量进行了分析,试验结果表明不同玉米秸秆还田模式对玉米播种质量等提供了理论依据。
广义圈是一个简单图G＝(V,E),其中点集V＝V0∪…∪Vn-1,|V0|＝…|Vn-1|,边集Euν|u∈Vi,ν∈Vi+1,i=0,…n-1,i+1= mod (n).证明了广义奇圈可以分解为t个同构因子的充要条件是t可以