事关苹果的"面子问题"

前有iPod，后有iPhone4，然后是后浪推前浪的iPad2……，当那些“i”字打头的名字招摇过市，拿着它们就俨然成了“Fashion”的代名词。俗话说，好马还得配好鞍，为“苹果”配上相得益彰的保护、清洁工具，这·步可是不能省的!要享受充满创意的酷炫生活，就得好好保养咱们的“苹果”，让它不论何时都能以最好的面貌示人!     

揭秘IT白领生存之道：巧妙用面子赚钞票

翻盖手机为什么受欢迎 你知道翻盖手机为什么在东北亚地区尤其是中国流行吗？恐怕很少有人想到,原因之一是与中国人爱面子有关系。     

关于框架公理及框架问题解决方案准则的研究

基于情境演算理论并结合积木世界的示例,对框架公理作了介绍和研究,同时也简单介绍了框架问题解决方案的准则。     

音乐领域本体的建立和分析

音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识。本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容。我们给出两个判断类间关系一致性的算法并分析其性质,还探讨了基于公理的知识的一致性。     

连接依赖的蕴涵问题及其推导公理系统

本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一系统的合理性和完全性。     

解决商务智能的“面子”问题

在过去的十年间,商务智能(BI)应用的出现使得存在于系统中的数据被转化为具有价值的信息。BI软件可以从企业分散在各处的数据源和互不兼容的应用中访问数据,并以报表、表格、图示等形式将数据转化为具有价值的业务信息。     

基于DFL的自主学习子空间的公理体系研究

动态模糊逻辑理论是一种新的有效处理动态、不精确、不确定、含糊信息的理论,自主学习历来是教育和心理学家共同关注的一个重要问题,也是当前机器学习领域研究中的一个热点问题.自主学习公理体系研究是自主学习理论及应用研究的基础.利用动态模糊关系,建立自主学习子空间的公理体系.该公理体系由几个相互独立的非常简洁的表达式构成,进一步深化了动态模糊和自主学习理论.     

AFS理论的模糊聚类

提出了基于AFS（Axiomatic Fuzzy Set）理论的模糊聚类分析算法（FCA_AFS）,并且给出了聚类有效性指标。该指标能够判断合理的聚类数,而且能给出达到最高准确率的参数值。与其他算法比较： FCA_AFS算法主要通过模糊概念及其逻辑运算求出描述每类特征的模糊集,然后用这些具有确切语义的模糊集来确定每个样本归属的类。规避了其他模糊聚类算法涉及的复杂优化问题,同时不需要事先给出聚类数。在著名数据集—Iris、Wine、Wisconsin Breast Cancer的应用说明该算法实用、有效。     

“环保”不该只挂在嘴上 致广大IT厂商，消费者的一封公开信

亲爱的朋友们： “环保”有什么意义？如果突然问起这个问题，可能回答者会一时语塞。 如果用朴素的思想来解释，可作如此解读：我们中国人讲“盘古开天地”，老外讲“上帝创造世界”，不管怎样，既然是祖宗留下的东西，自然不能糟蹋。但是，“环保问题”为什么如此严峻，如此让人痛心呢？     

程序正确性证明方法研究

介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。     

大国“追溯”

时至今日，全球环境问题分析家莱斯特·R·布朗1995年在《谁来养活中国》中提出的“粮食短缺论”依然令人警醒，当中国人用占世界不到10％的耕地养活了占世界20％多的人口，回答了这一“威胁论”以后，中国的粮食安全问题，     

略论人的素质的形成与发展

在实施素质教育的大背景下 ,提出了如何正确理解人的素质及其素质教育 ,论述了知识、能力与素质的关系 ,对人的素质的形成和发展进行了分析 ,阐述了影响人的素质发展的基本因素     

面子工程不能少

夏季是很受欢迎的季节,男人喜欢它是因为能看到很多美女,女人喜欢它是因为能摇身一变成为美女,恐龙喜欢它是因为终于有脸之外的东东可以拿出来展现了……夏季是展现美丽的绝佳时刻,大街上许多打扮相当提神儿的MM都有自己的美容良方,护肤品自然必不可少,而美容美体的护理工具也是秀美丽的重要资本哦。这次我们就来看看MM要打造面子工程,都得需要点啥用具。     

面子里子——梅花汤圆O2O行记(上)

忆当年小幸福艺圃,被称为苏州人的园林,一般外地来苏州旅游的人都会到拙政园、留园这些地方,很少有人到艺圃。这里甚至都不通公交车,需要步行到文衙弄才行。关于艺圃,有兴趣的朋友可以上网搜索她的资料,确实是一个有意思的去处。大部分时候,这里游客非常稀少,这个五亩地的地方,水面占了四分之三以上,春雨茶社就在边上,老式的暖水壶泡上当地的碧螺春,     

抗击全球饥饿

饥饿：人类健康的头号杀手 “抗击全球饥饿”其实是世界粮食计划署的口号。看到这个标题，大多数人会想，咱们虽然常年被房子、车子、票子问题所困扰，但至少还能吃饱肚子吧，饥饿问题貌似已经远离我们很久了。     

OWL本体建模中约束公理的应用

本体建模的难点在于概念的定义和概念间关系的描述，OWL中的约束公理正好是解决这个难点问题的强有力方法。约束公理是OWL语言中最核心的部分，通过约束公理可以更完整更明确地定义本体模型，使所建立的本体模型能满足最小本体承诺规则。该文以W3C提供的酒本体为例子，结合工程实践，描述了如何利用OWL的约束公理，完善和准确定义本体中的概念。     

基于模态逻辑D公理系统的Conformant规划方法

2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架.将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式.构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程.并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.     

基于寻找可满足2SAT子问题的SAT算法*

可满足问题（SAT）是一个NP-Hard问题。提出了一种求解SAT的新算法（FFSAT）。该算法将SAT问题转换为寻找一个可满足的2-SAT子问题。SAT问题虽然是NP完全问题,但是当所有子句长度不大于2时,SAT问题可以在线性时间求解。使用2-SAT算法-BinSat求解2-SAT子问题,当它不满足时,根据赋值选择新的2-SAT子问题。实验结果表明,采用本算法的结果优于UnitWalk。     

基于推理信息的本体模块化方法

本体模块化在本体推理和复用等应用中有着极为重要的作用.怎么样将本体划分成小的模块是最基本的问题,目前本体模块化的工作主要集中在本体复用的目的上.在这篇文章中,我们提出了一种基于推理信息的本体模块化方法,该方法以提高推理的性能为目的.在基于同一最小推理集合内的公理之间内聚性将会增强的合理假设下,我们的模块化方法通过分析每次推理的过程,得到推理的最小推理集合,然后增强最小推理集合内公理1之间的内聚度,最后根据内聚度将本体划分成模块.在评估阶段,我们首先使用训练公理划分本体,然后通过测试公理来调查本体推理性能提高的程度.根据训练公理和测试公理所属范围的不同,我们使用了三组实验:训练公理和测试公理限定在同一较小范围,训练公理和测试公理不限定范围,训练公理和测试公理的范围实现三次不同的改变.实验的结果尤其是符合实际应用情况的实验三的结果证明了基于推理信息的本体模块化方法的有效性.     

让企划案更有面子

任何一份企划案在完成后，一是要提交给上级审核，此时它将展示你的工作能力，二是提交给客户或执行人，这时它展示的是公司的形象。因此，一份完整的有吸引力的企划案，除了要有充实的内容外，精心设计的外包装也是不可或缺的重要因素，所以首先要给企划案做好面子工程（如图1）。