一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.     

中国京剧艺术符号解析及延伸应用

本论文以京剧文化为对象,从分析符号学理论系统与京剧艺术的本质联系开始,重点阐述了京剧作为国粹存在的价值,京剧艺术中符号特性的表现以及京剧艺术符号的意指关系。并结合北京奥运的时代背景,初步探讨了北京08奥运背景下进行京剧文化的创意设计。     

浅析设计中的“双子”符号与“双子”现象

本文通过对语言文化、传统艺术和现代设计中出现的"双子"符号与"双子"现象进行了分析、归类,对"双子"符号在设计领域的运用做了阐释。为设计者提供了一些基础概念并使其更好地理解和利用"双子"符号,充分发挥"双子"效应,使设计作品更多的与人产生共通与交融。     

一种符号管理的新模型

该文首先对传统符号管理模型进行分析,指出它们的优点与不足;然后提出栈－散列表符号管理模型,并给出相应的数据结构和实现算法;最后讨论该模型的优点和进一步研究     

“中国符号”群英会

本期刊登的10幅(组)获奖作品,不是在某一个城市现场选拔而出,也不是搜狐网络月赛评选而得,它们是"我的中国符号定向邀请赛"的获奖作品。本次定向邀请的50名摄影师友,来自全国20个城市,他们都是2007年首届"寻找中     

CAD点状符号与TrueType符号模型对比、转换与分析

从数据结构、存储方式两方面对比CAD点状符号与TrueType符号的符号模型,提出两者间的转换方法,设计出符号的双向映射机制。利用该方法进行符号转换实验,针对转换前后符号出现的数据量变化、变形以及信息丢失等问题进行了详细分析,实验结果表明,该方法能够实现CAD点状符号与TrueType符号之间的转换,有助于符号之间的共享。     

“我的中国符号”颁奖典礼嘉宾云集

2008年12月21日,《数码摄影》读考年会暨“我的中国符号”全国摄影大赛颁奖典礼,在位于北京前门西大街的老舍茶馆隆重举行,颁奖活动邀请了摄影圈众多知名专家以厦尼康等各大摄影器材厂商,和多年来与《数码摄彩》合作甚密的各省市的摄影组织及众多的杂志忠赛读者。武术、变脸、浓郁的中国风味,掀起了现场热烈气氛,     

符号模拟

符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端,依次计算每个结点的布尔函数,直到在电路的输出端得到由这些初始符号变量组成的布尔表达式,并判断其是否具有所期望的特征。该文介绍了符号模拟的发展过程、基本技术及其所面临的BDD爆炸问题,并对消除该问题的两种技术：近似值法和参数方法,进行了讨论。介绍了具有一定自动机处理能力的符号轨迹评价方法。     

巧用“■”符号设计视窗图标

曾几何时，WinXp视窗图标在眼前闪现的那一时刻，笔者的心也突然一起闪动了起来，多么想自己亲手设计这样的视窗图标呀！笔者在首次设计图标时，用了填充图形再进行扭曲变形的方法来设计的，可是使用扭曲滤镜难以作出波浪效果的扭曲图形，制做出的视窗图标效果很不理想；在多次的摸索之下，笔者有了使用“■”文字符号来设计WinXp视窗图标的成功经验，下面就是笔者介绍的具体做法：1、运行Photoshop程序，打开Photoshop7.0的主操作界面，在该界面的菜单栏中单击“文件”菜单项，从弹出的下拉菜单中选择“新建”命令，新建图象的宽度为500…     

Jacobi符号求值算法的改进

介绍Jacobi符号的定义及相关性质定理,引入并证明Jacobi符号求值算法,在此基础上提出一个改进的Jacobi符号求值算法.     

统计与结构结合的工程图纸符号识别方法

提出一种统计识别与结构识别相结合的符号识别方法,以识别工程图纸中的各种符号,并达到了很好的识别效果。     

中文输入法“软键盘”在符号编辑中的妙用

在一般的文本编辑中，一些常用符号（如 １、２、３、《、》、［、］、｛ 、｝等）可通过ＰＣ键盘来输入，其它特殊符号的输入就需要另寻它途了。以Ｗｏｒｄ９７为例，特殊符号的输入通常就是以“插入”菜单栏中的“符号”命令来实现的。若执行此命令就会弹出“符号”对话框（图１）。 在该对话框中，“符号”选项的“子集”下拉菜单中提供了三十一种符号选项，真可以说是无所不包了！可是“面面俱到”往往会带来一些麻烦。由于调用该命令的程序较大，若运行了其它较大的程序，调用它需花更长的时间，甚至会导致死机；而且要从繁杂的“符号…     

“情感的栖息地”--论中国传统建筑中的装饰文化符号

建筑是一首哲理的诗篇。无论在西方还是在东方都承载着人们对于森严的宗法与礼教的“背叛”和温鐾浪满的生存智慧的阐释。中国传统民族文化是中华文化的重要载体。其技艺之美、身心和谐与容变的生存智慧的丰富的文化意蕴都给世人以独特的文化启蒙。     

参评“我的中国符号”断想

北京奥运会,四川大地震……对中国来说,2008年是最难忘的年份,也是最值得自豪的岁月。中国,从来没有像今天这样引世人瞩目,人们以极大的热情重新审视、发现中国,不仅关心她的体育、灾情,而且对她的历史、文化和一切都产生浓厚兴趣。因此,《数码摄影》杂志今年以我的中国符号为命题发起摄影创作竞赛,不仅拍摄素材丰富,而且满足了世人对中国的关注,释怀了国人2008年特有的爱国情绪。这次群众性影赛既符合国情民意,又顺应历史潮流,相信会在我国摄影界产生深远的反响。     

NURBS的符号矩阵表示及其应用

本文应用符号推理技术,给出了获得NURBS符号矩阵表示及其从符号矩阵自动转换成数值矩阵的算法.应用该算法使NURBS的计算简单且易于理解。     

文字符号的图形化初探

作为信息传播媒介的文字符号在当前信息日益图形化的历程中,逐步被调整其视觉形象,使得文字符号视觉特征更具有时代气息,这触发了文字图形本身的视觉巨变,为视觉信息多元化提供了新的探究方向。     

即时符号——超文本和即时会话中使用的象形表意符号

通过对即时符号(原文)的技术性知识和历史性知识进行研究,为艺术设计学科相关的创作提供适度的理论参考。在首次给出即时符号、私人即时符号、共用即时符号概念的基础上展开论述。剖析它与网络语言的关系、基本特征、私人性至集体性转变等技术性知识。同时,即时符号作为人们用于沟通的非文字符号,通过论述进一步纵向的剖析,揭示它的历史来源、创作实例和未来新的可能性。     

网络符号让沟通变得更生动

人类很早以前就学会用符号来记录事件,传递信息,表达情感,人类创造符号并赋予它们意义,符号的这些特定的意义又作用于人们的生活,人类创造符号的过程就是文化发展的过程。网络符号是基于网络媒介进行传播的一种特殊符号,是在科技高度发达的网络时代背景下产生的,它具有多样性,随意性,时效性,时代性等特点。它与人们的生活密切相关,是人们满足个性化要求的产物,随着信息时代的到来与蓬勃发展而发展,本篇论文就将对这种特殊的网络语言进行系统的归纳,分类,阐述它的价值,演变过程及对未来生活的影响等。     

网络符号在产品设计中的应用探析

以文具设计为例,分析青少年的生活习惯,指出网络符号是青少年交流的重要工具,能反映他们的喜好,进而根据符号消费理论,制定产品设计策略并进行设计实践,探索符号在产品设计中的应用路径。启示设计师在消费社会,要平衡产品、符号、消费者之间的关系,要挖掘消费者潜在的符号需求。