带有规则优先级的主动规则终止性分析

主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。     

从贝叶斯方法看溯因推理

皮尔斯指出溯因或溯因推理（abduction）是不同于归纳和演绎的第三种推理,然而皮尔斯对溯因概念的定义是模糊的,于是便出现溯因悖论：溯因既属于归纳又不属于归纳。本文基于贝叶斯方法对归纳的理解和处理,考察了当代两种典型的消解溯因悖论的路径,即辛提卡区分定义性规则和策略性规则的措施,以及利普顿的IBE理论。指出这两种路径均是行不通的,而贝叶斯方法却可以容纳溯因性归纳和溯因,从而消解溯因悖论。     

飞利浦极智系列231C5TJKFU显示器Win8十点触控完美演绎

提到Win8,自然不得不提MetroUI、触摸、UEFI＋GUID等改变我们使用习惯的崭新一页。近日,飞利浦重磅推出触控力作——极智系列231C5TJKFU跨界触控显示器。在触控显示器中,飞利浦极智系列231C5TJKFU显示器无疑是界内投下的一颗重磅炸弹,IPS广视角触控硬屏,23寸超大十点触控操作。不仅如此,飞利浦触控显示器创新应用win8系统的完美融合,带给万千用户更好的体验之感。     

读编对对碰

果果：无厘头的《新西游》降完妖,帅哥版《三国演绎》登场,接下来是90后版的《红楼梦》热播,《还珠格格》也在紧锣密鼓地筹拍…”琼瑶在博客里说,翻拍有很多新情节哟,因为新版本要有新气象嘛!     

速度翻倍 希捷推出Momentur XT固态混合硬盘

近日,全球投影机领导品牌Epson公司正式发布其最新家用旗舰级产品——EH-TW5500全高清投影机。EH-TW5500拥有200000：1的超高动态对比度,同时兼容Anamorphic镜头,创造出如同电影院般的2．35：1画面,真正做到消除黑边。此外,配合水晶高清技术和Epson独有的邃影技术,其“纤毫毕现”的鲜明效果可以彻底征服追求完美视觉效果的家庭用户。     

LG智护双眸W53／W54演绎炫彩冬季风情

年末将至,国内外贺岁档电影相继上映,为冬季的娱乐世界增加了缤纷多彩。对于爱好影音的娱乐人群而言。拥有一台娱乐应用性能强大的显示器尤为重要．每个精彩瞬间不容错过。LG慧智系列显示器不仅仅具有卓越的画质性能。同时具备护眼技术,能够为漫长而快乐的娱乐时光营造舒适的用眼环境。     

FTF2009演绎飞思卡尔的专注与开拓

以“协作（Collaboration）、创新（Innovation）、灵感（Inspiration）”为主题的新一届飞思卡尔技术论坛（FTF2009）于2009年8月27日-28日在深圳举行。在为期两天的论坛上,飞思卡尔及其合作伙伴为2800余名与会者带来了超过100小时的技术培训课程和70多个产品和技术演示。     

2010年安防产品最新趋势大盘点（上）：数字监控：演绎高清、智能、整合的变奏曲

2009年．是一个比较特殊的年份,在金融危机的冲击下,全世界的所有焦点都聚集到了中国。同样．对于安防行业来说．国内外安防厂商也更多地把注意力集中在中国市场上,不断的攻城掠地。     

电脑迷每期推荐 从《我和你》说起

奥运开幕式上的一曲《我和你》,想必大家记忆犹新。刘欢和莎拉.布莱曼的精彩演绎,将"鸟巢"的气氛推向了高潮。"男女对唱"是一种古老的形式,它将两种不同的音色混合在一起,实现了一种平衡和互补。但就对唱来     

三菱电机耀眼新品演绎可视化制造综合展

2008年10月9—13日,CIMES2008,三菱电机自动化将演绎一场精彩纷呈的“可视化制造综合展”,除了展出最新的CNC、激光加工机、放电加工机产品与技术外,还包括展示三菱电机丰富的FA产品（可编程控制器、伺服系统、人机界面、变频器、低压配电系统、节能检测器等）。最新进入中国市场的三菱电机机器人新产品也将与观众见面。