基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

Fuzzy集的基数

关于Fuzzy集的基数，[1]中曾对有限支集的Fuzzy集以及极苛刻条件下的无限Fuzzy集给出过一种定义。但是，正如本文将要指出的那样，该定义是不合理的。本文将从研究Fuzzy映射入手，给出Fuzzy集基数的一般性定义。基于这一定义，不但得到有关基数的大部分结论，而且有其自身的特殊性。     

浅探最终用户动态选择互联网络服务商的制度安排

最终用户动态选择互联网络服务商的制度安排是为了使最终用户能够随时随地在不同的互联网络服务商之间切换，选择最令其满意的互联网络服务。为此需要调整住宅小区计算机局域网络的产权关系，尽可能使得业主拥有该计算机局域网络的产权．笔者不仅提出了四种让业主拥有住宅小区计算机局域网络产权的产权调整模式．还鉴于目前社会现状的实际情况，提出了一种过渡性的折衷方案。     

高压下某些导电高分子色散关系的研究

利用晶格动力学方法,研究在高压下几种导电高分子具有不同晶格链时的色散关系及其曲线的变化.链间耦合作用的减弱使横波与纵波的ω差值相应增大,且在BZ边界处拉开一个间隙,这是维度作用的结果.     

模余代数和Morita-Takeuchi关系

H是Hopf代数,C是H-模余代数。首先利用余积分的概念,诱导C的右H-余模结构,并构造了Smash余积余代数C×H,使C×H作为余代数同构于C H。然后,由C的右H-余模结构诱导C的左H0-模结构,令 C=C/KerεH0C,则C×H与 C有Morita-Takeuchi关系。     

三角形画出来，妙解亮出来

大家知道，三角形中的三角函数问题是三角函数中的一种重要题型，它在各级各类考试包括高考当中经常是“闪亮登场”．该题型旨在考察三角形背景下三角函数恒等变形的能力以及运算能力，它的知识内容往往涉及正弦定理、余弦定理和三角函数中各种常见基本关系、公式等．     

关于《集结号》

关于片名 很难想象一部关于60年前战争题材的作品,如果仍用<官司>的原著小说名,会否也能把票房号角吹得这么响.人对文字的某种视觉、听觉等意象感受很微妙,这种微妙直接关系到你对审美对象的评判.     

新型背投彩电核心电路分析(下)

4.扫描速度(VM)调制电路电子束的扫描速度直接影响屏幕亮度,而且与扫描速度高低成正比关系。传统的方法是通过改变CRT阴极上的调制电压的大小,使电子束流发生变化而产生亮度差来显示图像。但这种方法有一个明显的缺陷,即出现亮度过调时,会引起图像信噪比降低而使图像边缘模糊。     

智能显示战略 推动3C融合——对话WYSE亚太区首席总裁胡伯林

链接:关于WYSEWYSE是全球最知名的网络计算解决方案供应商之一,总部位于美国硅谷。曾连续8年蝉联全球智能网络应用终端市场占有率的第一名,产品占全球市场份额的40%。与Microsoft、Citrix、IBM、HP、DELL、BOE等业内权威公司建立了全球战略合作伙伴关系。其主要应用于智能网络应用终端的产业有:金融、电信、广播传媒、零售、运输、政府、医疗、国防、旅游、能源、教育等行业。2005年初,WYSE开始大规模发展针对新一代网络计算终端的软件和系统开发,并将亚太总部设在北京融科资讯中心大厦。链接:关于智能网络电视WyseSmartNetwork…