信息技术专业知识服务系统


信息技术专业知识服务系统 首页 搜索中心 简单搜索

共找到 10242958 个结果。

排序: 每页显示条目数:     热门搜索:querytermfield    1234   
标签云:
缩小搜索结果条件
  • 1
    MiniKanren
    [admin][2013-07-22]
    miniKanren是一类关系型编程语言。miniKanren可以通过给定的关系表达式和计算结果来反向推导,找出符合条件的输入变量的取值组合。程序员可以通过加入关系表达式对输入变量和计算结果添加约束条件。miniKanren通过“搜索树”的办法来搜索所有可能的输入变量。如果搜索空间非常大而且符合条件的结果不存在,miniKanren的搜索有可能永远也不会停止。 evalo是一个用miniKanren写的程序,evalo是以关系表达式为输入和输出的程序。在miniKanren中调用evalo的方法是:(evalo q q)。evalo具有自产生程式的功能。 Dan Friedman的“The......
  • 2
    C++标准程序库
    [admin][2013-07-23]
    C++中的标准程序库是类库和函数的集合,其使用核心语言写成。标准程序库提供若干泛型容器、函数对象、泛型字符串和流(包含交互和文件I/O),支持部分语言特性和常用的函数,如开平方根。C++标准程序库也吸收了ISO C90 C标准程序库。标准程序库的特性声明于std命名空间之中。 标准模板程序库是C++标准程序库的子集,包含容器、算法、迭代器、函数对象等。也有些人使用术语STL代表C++标准程序库。 使用C++标准程序库时,不必加上“.h”。......
  • 3
    Wise Disk Cleaner
    [admin][2013-07-23]
    Wise Disk Cleaner是ZhiQing Soft推出的一个界面友好,功能强大,操作简单快捷的垃圾及痕迹清理工具(磁盘清理),通过系统瘦身释放大量系统盘空间,并提供磁盘整理工具(磁盘重组工具)。它能识别多达50种垃圾文件,可以让你轻松地把垃圾文件从你的计算机磁盘上清除。支持自定义文件类型清理,最大限度释放磁盘空间。通过磁盘碎片整理可以有效地提升硬盘访问速度,从而提高整机性能。配合该公司的另一款注册表清理工具Wise Registry Cleaner效果更佳。 ==产品特色== Wise disk cleaner的主要功能分为以下几个模块: 常规清理:清理系统垃圾文件,上网痕迹(......
  • 4
    Wise Registry Cleaner
    [admin][2013-07-23]
    Wise Registry Cleaner是WiseCleaner.com团队开发一款免费安全的Windows注册表清理优化工具。该免费软件主要功能分为三个模块,第一注册表清理,第二系统优化,第三注册表碎片整理。另外该软件可以与WiseCleaner.com的另一款垃圾清理工具Wise Disk Cleaner配合使用,以最优化电脑性能。 ==产品特色== 该注册表清理工具可以安全快速地扫描注册表无效条目,提供详细信息查看功能,然后用户选择是否清理。 无效的插件以及组件 无效的Windows防火墙设置 无效的路径及文件 已删除文件残留的无效路径及文件 已注册程序残留的无效路径及文件 无......
  • 5
    Ntsd
    [admin][2013-07-23]
    ntsd.exe(NT Symbolic Debugger)是windows2000/xp/2003中的一个功能强大的进程调试工具。在很多情况下,人们用它来结束病毒进程。一般而言,他可以结束除了System、SMSS.EXE和CSRSS.EXE这三个进程与部分杀毒软件进程部分杀毒软件进程拥有内核态的保护机制,而ntsd仅仅基于用户态,故无法将其结束外的几乎所有进程。 ==用法== 首先,ntsd需要管理员权限运行。 结束相应pid的进程命令行如下: ntsd -c q–p XXX 其中XXX代表进程pid,可以在任务管理器中查看 结束相应进程名的进程命令行如下: ntsd -c q......
  • 6
    MonoDevelop
    [admin][2013-07-24]
    MonoDevelop 是个适用于Linux、Mac OS X和Microsoft Windows的开放原始码集成开发环境,主要用来开发Mono与.NET Framework软件。MonoDevelop 整合了很多Eclipse与Microsoft Visual Studio的特性,像是 Intellisense、版本控制还有 GUI 与 Web 设计工具。另外还整合了Gtk Sharp GUI设计工具(叫做Stetic)。目前支援的语言有Python、Vala、C#、Java、BOO、Nemerle、Visual Basic .NET、CIL、C与C++。 ==历史== 在 2003 年......
  • 7
    平衡二叉搜索树
    [admin][2013-07-24]
    平衡二叉搜索树(Balanced Binary Tree)是一种结构平衡的二叉搜索树,即叶节点深度差不超过1,它能在大O符号/O(log2n)内完成插入、查找和删除操作,最早被发明的平衡二叉搜索树为AVL树。 常见的平衡二叉搜索树有: AVL树 红黑树 Treap Size Balanced Tree......
  • 8
    库卡柔性系统制造
    [admin][2013-07-25]
    从1898年Johann Josef Keller和Jakob Knappich在德国建立库卡公司开始,库卡集团至今已有112年的历史。库卡集团跟中国贸易可以追溯到20世纪80年代。至今库卡集团已经在中国市场上活跃了约30年之久。基于对中国市场的关注与重视,德国库卡系统集团于2000年9月在中国上海建立了第一家全资子公司,库卡自动化设备(上海)有限公司。 在2004年7月, 德国库卡系统集团在中国的第二家全资子公司——库卡柔性系统制造(上海)有限公司也在上海青浦工业园区成立了。为了适应不断发展的市场,库卡柔性系统制造(上海)将厂址搬到了上海松江工业园区。在过去的十二年中,库卡柔性系统制造从最......
  • 9
    头戴式显示器
    [admin][2013-07-25]
    头戴式显示器是用于显示图像及色彩的设备。通常是用眼罩或头盔的形式,把显示屏贴近用户的眼睛,通过光路调整焦距以在近距离中对眼睛投射画面。头戴式显示器能以比普通显示器小的多的体积产生一个广视角的画面,通常视角都会超过 90度。 因为对应左右眼的显示屏通常是完全独立的两个显示屏,所以头戴显示器一般都支持立体影像的播放。头戴式显示器通常可以接受交换帧、左右并排、上下并排、双通道DVI 的信号,最新的头戴式显示器可以接受 HDMI 1.4 的 3D 封装格式。 头戴式显示器分为可透光和不可透光两种,可透光式头戴显示器除了可以用于显示画面,还可以让用户看到显示屏之后的图像。这种特性往往被用于增强现实的......
  • 10
    国际财经时报
    [admin][2013-07-25]
    《国际财经时报》(International Business Times,通常被称为IBTimes或者IBT)是全球性在线金融报纸。 目前,IBTimes拥有十三个国家版本并以七种语言发行,宗旨是通过不断扩大的采编网络为全球读者提供及时的商业新闻与分析评论。同时,它所提供的文章涉及时政、金融、文化和观点等多个领域。IBTimes中文网除了提供IBTimes全球站点的中文精选外,还将提供大量原创稿件。 目前在Alexa互联网访问排名中,《国际财经时报》网站在所有金融媒体中名列第六。 == 历史 == 《国际财经时报》成立于2005年,总部设在纽约汉诺威广场7号5楼(原《新闻周刊》在华尔......
  • 11
    电光源
    [admin][2013-07-26]
    电光源,能够把电能转化为光能的设备。 从发光原理上来看,电光源主要包括以下几类: 热辐射发光。如白炽灯和卤素灯泡。 气体放电发光。可以分为低气压放电灯和高强度气体放电灯两大类,其中:低气压发电灯主要有低压钠灯,荧光灯、节能灯;高强度气体放电灯主要有高压汞灯、高压钠灯、金卤灯。 固体电致发光。主要有发光二极管及有机电致发光。 == 常见的电光源 == 白炽灯 萤光管 高压气体放电灯 发光二极管 激光器......
  • 12
    UIQ
    [admin][2013-07-26]
    UIQ(User Interface Quartz)原来叫“水晶用户界面”,是UIQ 科技公司所有的,基于Symbian 操作系统的软件平台。UIQ的本质是一种用户界面层,为核心操作系统提供附加的组件,使通过第三方应用软件来扩充丰富功能的手机的开发成为可能。 == 各版本首发 == UIQ 2.0是通过索尼爱立信P800首发的。 UIQ 3.0是通过索尼爱立信P990首发的。 UIQ 3.1是通过摩托罗拉RIZR Z8首发的。 UIQ 3.2是通过摩托罗拉RIZR Z10首发的。 == 收购史 == 索尼爱立信于2007年2月完成了对UIQ平台的收购。 摩托罗拉于2007年10月从索......
  • 13
    先进先出
    [admin][2013-07-26]
    先进先出(FIFO,first-in, first-out)是处理从队列或堆栈发出的程序工作要求的一种方法,它使最早的要求被最先处理。 在计算机编程中,先进先出(FIFO,first-in, first-out)是处理从队列或堆栈发出的程序工作要求的一种方法,它使最早的要求被最先处理。后进先出(LIFO,last-in, first-out)是另一种方法,它使最新的要求被最先处理,而最早的要求要等到队列(或堆栈)中只有这一个要求时才会被处理。尽管后进先出似乎不公平,但是它却更有效率。一个用后进先出处理的堆栈有时被称为下推或下推弹出式堆栈(或列表)。 功能块: FIFO由6个功......
  • 14
    皮肤 (计算机)
    [admin][2013-07-26]
    计算机软件皮肤或界面皮肤,是指一款计算机软件或网站用户界面的外观和样式。软件皮肤是软件个性化的象征之一。 == 历史 == 人机交互和图形用户界面软件(如Windows操作系统)的诞生,是软件皮肤的源头。其更改桌面图片、界面字体、颜色的功能,就是软件个性化的表现,也引领了未来软件操作界面个性化的发展。随着网络的发展,软件发展的个性化也日渐明显,软件皮肤的出现和发展便是顺理成章。 == 发展 == 软件皮肤不仅影响使用者对软件的印象,而且使用者通过更换皮肤,也会在一定程度上反映使用者的个人喜好,以及对于颜色、形状、风格等等因素的个人倾向。更换皮肤的功能,如今已经广泛地附加在各种网络软件的......
  • 15
    固态照明
    [admin][2013-07-26]
    固态照明(Solid-state lighting,SSL)是指使用固态电子元件,即半导体元件,例如发光二极管、有机发光半导体及高分子发光二极管等作为光源的照明技术。 与使用传统电灯泡或日光灯等光源的照明技术相对。
  • 16
    空间演化博弈
    [admin][2013-07-26]
    空间演化博弈是一种基于细胞自动机的生物数学博弈模型。这一模型通过利用按照博弈规则进行演化的细胞自动机,来获知个体的背叛怎样在未来影响群体的合作-背叛状况。该模型可用于研究细菌、社会等系统模型。 ==基本模型== 模型基本设定如下: 博弈在一个LxL的二维方格阵列上进行; 每个格子代表一个个体,每个格子只与自己为中心的九个格子进行博弈; 格子遵从一个固定的收益矩阵,并执行同步更新; 每个格子按照本次博弈周围九个格子中收益最多的策略(合作或背叛),选取自己下一回合的策略; 使用“周期边界”来避免周期效应。 在这样的基本设定下,通过修改相关参数并适当修改条件,可以得到更复杂的数学模型,用......
  • 17
    无线宽频
    [admin][2013-07-26]
    无线宽频(Wireless broadband),一种无线通讯技术,在广大区域中提供高速的无线上网,或是电脑网络存取。 ==概论== 根据IEEE 802.16-2004标准,宽频(broadband)的定义是指拥有高于1 MHz的瞬间带宽,以及支援高于1.5 Mbit/s的数据量。以无线传输方式,达成宽频的要求,称为无线宽频。 IEEE学会制定了IEEE 802.16,作为无线宽频的标准,最著名的产品是WiMAX。......
  • 18
    洪泛法
    [admin][2013-07-26]
    洪泛法(Flooding)是一种简单的路由演算法,将收到的封包,往所有的可能连结路径上递送,直到封包到达为止。 洪泛法被使用在桥接器上,Usenet以及点对点文件分享等。部分的路由协定也以洪泛法为基础,例如开放式最短路径优先(OSPF)、距离矢量组播路由选择协议 (Distance Vector Multicast Routing Protocol,DVMRP)。无线随意网络也使用洪泛法来进行路由。 ==演算法== 洪泛法的基本原理是,当封包到达某一个节点时,路由器根据现存的连线,将封包复制,往每一个连线上寄送(除了封包进来的连线之外)。这保证了,只要目的地是可以到达的,封包最终一定可以......
  • 19
    相容关系
    [admin][2013-07-27]
    给定集合A上的关系r,若r是自反的,对称的,则称r是相容关系。 例如:设集合A是由下列英文单词组成的集合。 A={cat,teacher,cold,desk,knife,by} 定义关系: r={|x,y属于A,且x和y有相同的字母}。 由定义可知,r是相容关系。其关系矩阵主对角线上的元素都是1,且矩阵是对称的。......
  • 20
    HTC HD7手机
    [admin][2013-07-27]
    HTC HD7(亦被称为HTC舒伯特)是HTC首批搭载Windows Phone 7手机之一,继承HTC HD2,而后也被新款HTC HD7s所取代。 ==描述== HD7在外观上它保有HTC HD2的血统,搭载1GHz高速处理器,以及4.3英寸显示屏 512 MB ROM / 576 MB RAM,内建16GB内存,可惜的是HD7并不支持外插存储卡。 由于搭载Windows Phone 7,导致HTC无法直接加入HTC Sense,因此HTC在HD7上加入了HTC Hub,因此有HTC用户指出,HTC Hub,无法达到HTC Sense的便利性。 Windows Phone 7在Ma......
二次搜索:    搜索

返回顶部