论文部分内容阅读
研究了I（x,y）=I（x,I（x,y））方程,I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I（x,y）=S（T（n（x）,n（y））,y）,给出了满足方程I（x,y）=I（x,I（x,y））的解。
关于满足I（x,y）=I（x,I（x,y））D-蕴涵的解
【摘 要】
：
研究了I（x,y）=I（x,I（x,y））方程,I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I（x,y）=S（T（n（x）,n（y））,y）,给出了满足方程I（x,y）=I（x,I（x,y））的解。
【机 构】
：
石家庄学院数学与信息科学系,江西师范大学数学与信息科学学院,唐山学院计算机科学与技术系
【出 处】
：
计算机工程与应用
【发表日期】
：
2012年29期
【基金项目】
：
国家自然科学基金（No.60663002,No.61165014）, 河北省高等学校科学研究计划项目（No.Z2011119）, 石家庄学院自然科学基金资助项目（No.10QN004,No.11YB008）
其他文献
化复杂为简单，化未知为已知，化繁为简，化难为易，这就是数学中的转化思想．在立体几何中，平行之间、垂直之间、平行与垂直之间都可以相互转化、传递，从而得到各种位置关系．下面分别举例
图像显示适应面临展示面积受限、长宽比不固定等问题,已经成为多媒体领域的研究热点之一。关键是收缩后能够凸显图像重要区域,保持连续,避免扭曲。提出了一种基于区域轮廓能量的图像显示适应算法,通过对图像的视觉显著度分析,得到符合人类视觉的图像区域轮廓能量分布图。这样,在缩放过程中,删除或复制表示非敏感内容的低能量线,并且在显示图像内容的同时突出图像中的显著区域。实验结果表明,该方法保持了图像中显著目标的原
物理问题的解决与解题思路的角度和方向有着密切的关系，一个实际物理问题的对象、条件和过程往往是复杂多变的，为了使题设条件与已有的物理规律进行有效的对接，我们常常需要对解
绝对值性质定理｜a｜-｜b｜≤｜a ±b｜≤｜a｜＋｜b｜在形式上很简单，但学生不容易理解和运用。有时利用此性质定理进行放缩，解决有关绝对值不等式问题快速而简洁，令人耳目一新，甚至拍手叫绝。1 运
优化算法是脑磁共振(MR)图像配准方法中的重要组成部分。针对目前已有的优化算法,提出了采用小波混合优化算法应用于脑MR图像配准。该优化算法采用小波分解技术实现脑MR图像的高低分辨率分解,在低分辨率图像上采用PSO(粒子群算法)进行优化获得初步配准参数,然后再采用Powell算法进一步精细优化,获得最终配准参数。实验比较结果表明,该优化算法相对于目前一些主流优化算法来说,具有较低的时间代价,较高的优