论文部分内容阅读
针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三Ⅰ算法上确界计算公式和FMT问题的反向三Ⅰ算法下确界计算公式，并进一步将问题一般化，给出了α-反向三Ⅰ支持算法相应的计算公式．
基于含参量蕴涵算子的反向三Ⅰ算法
【摘 要】
：
针对Hα系统中的含参量蕴涵算子给出FMP问题的反向三Ⅰ算法上确界计算公式和FMT问题的反向三Ⅰ算法下确界计算公式，并进一步将问题一般化，给出了α-反向三Ⅰ支持算法相应的计算
【机 构】
：
聊城大学数学科学学院,聊城大学学报编辑部
【出 处】
：
信阳师范学院学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
山东省自然科学基金资助项目（Y2003A01）
其他文献
《电子质量》读者定位于:消费类电子产业链及新能源、照明企业的技术研发人员、品质管理工程师、测试工程师、采购人员。如果您是上述人士,请您详细填写此表。(本公司保留赠
为解决不可控分布式电源的高渗透率接入而带来的配电网运行的安全性和经济性降低的问题,提出了配电网的有功无功协调优化方法,并构建了配电网的有功无功协调锥优化模型,在IEE
非常感谢您一直以来对《电子质量》的支持与关注,2019年的征订工作已经幵始,我们将一如既往地用我们不断的努力,为您奉上内容更好、可读性更强、对您帮助更大的《电子质量》
日前,是德科技(Keysight)宣布推出最新N9048BPXEEMI接收机。KeysightN9048B PXE EMI接收机从硬件性能上来讲,满足EMI测试的种种要求,同时也满足CISPR16-1-1、MIL-STD-461G军
基于开放式基金的特征，运用单指数模型分析了在风险资产常值相关的情况下开放式基金的最优投资组合，并讨论了不允许卖空的情况下风险资产常值相关时开放式基金的最优投资组合．
引进了仿射伪框架的概念,建立了广义多分辨结构的塔式分解格式,给出了塔式分解格式成立的充要条件.由塔式分解格式导出空间L^2（R）的函数仿射框架展式.
GML(地理标记语言)是基于XML发展而来的行业标记语言,具有XML的所有特征,同时还具有XML没有的空间特征.目前,对XML的查询有比较成熟查询规范—Xquery,扩展XML查询是实现GML查询的最佳途径,在分析现有开放源码XML查询引擎的基础上,选择XQEngine进行扩展,实现了对GML空间数据的本原查询.
今年6月底，笔者有机会到浙江大学参加海南省统战部长业务培训班学习。时值杭州梅雨季节，气温20余度，整天阴天，还下着淅淅沥沥的细雨。24日上午没课，我们四个学员便相约到西湖周围
经过IECEE的现场评估,Nemko现在在美国新增一个CB测试实验室(CBTL)。这是位于洛杉矶地区的QAI实验室。他们获得认可的CB方案测试范围包括IT和A/V设备、医疗设备和测量仪器。Q