Web开发人员的利器:Ruby on Rails

工具发展简史人类的发展就是工具的发展。从石器到木棒和矛,再到火器,我们学会了如何更有效地捕猎。从观看星像到指南针,再到海洋精密计时仪(marine chronometers)和全球定位系统(GPS),我们发现了如何更好地进行导航。从书信到电报,再到电话和互联网,我们将人类通讯的方式进行了革命。人类能够进行创新。我们能够发现解决问     

点亮Web世界

微软（中国）有限公司发布了Microsoft Silverlight2．0。Silverlight2.0是业界通过网络浏览器进行应用和媒体体验开发以及交付的最全面的强大解决方案。在Silvedight1．0的基础上Silverlight20将额增包括．NET Framework子集、内置控件、丰富的样式模板．全面网络支持、．NET语言支持以及DRM等一系列强大的新功能和工具，能够帮助设计及开发人员更好地进行合作，     

从面向对象的应用到Web服务的迁移

通过对Web Service和再工程的研究，提出了一套从面向对象的应用（遗产工程）迁移到Web服务的再通用的再工程过程，针对其核心技术——域包的抽取，提出了解决的方法。     

支持Web Services语义组合的框架IRS-Ⅱ：分析与讨论

Web Services是基于Internet进行分布式计算的基本元素，面向Service的计算将成为未来计算技术发展的趋势。但如何能够自动发现需要的Service资源，提高Web Services组合的智能化程度，是近来的研究热点之一。IRSⅡ首先提出基于任务本体的Service发布、发现和组合方法，可以说是将Service发现和组合从语法的层次提升到了语义的层次。本文首先深入分析了IRS-Ⅱ提出的方法及其体系结构，然后对web Services的智能检索和服务组合的问题进行讨论。     

搜索引擎的Web Robot技术与优化

针对目前如何使搜索引擎快速准确地从庞大的网页数据中获取所需资源的需求，文中对搜索引擎作了概述，重点阐述了搜索引擎的Web Robot搜索器的搜索策略、文档提取以及搜索优化措施，提出了改进搜索引擎的Web Rohot的方法，改进后的Web Robot能够更有效地发现和搜集信息。为搜索引擎进行信息搜集，高效、稳定的Web Rohot保证了为用户提供的网上信息的全面性和实时性。     

DBA管理SQL Server的七个技巧

本文介绍了关于如何使用一些工具和技术的七个技巧。DBA利用它们可以更好地管理SQI Server。 由于SQL Server技术已经发展了许多年，市面上有很多工具和技术可以帮助我们更好地使用它——就是因为数量太多了，所以有些我们可能都没听过。下面介绍七个技巧，我们可以利用其中一些工具和技术，帮助DBA们更好地对SQL Server进行管理。     

IDL—第四代科学计算可视化语言

ＩＤＬ──第四代科学计算可视化语言科学计算可视化技术（ＶｉｓｕａｌｉｚａｔｉｏｎｉｎＳｃｉｅｎｔｉｆｉｃＣｏｍｐｕｔｉｎｇ）是人类科学计算过程中，将计算结果数据转换成图形或图象，实现更好地分析和驾驭信息的有力工具。科学计算的发展历史告诉我们，有效的分...     

OntoRBAC：基于本体的RBAC策略描述与集成

随着分布式安全系统研究的不断深入和发展，基于策略的体系结构已经逐步成为了访问控制系统中的一种主流方法。然而这些策略的定义均建立在特定的语言基础上。如何在异构的系统间进行集成尚缺乏有效的机制。本文提出了一种基于本体的访问控制策略定义机制——OntoRBAC——它完全支持了RBAC96模型，利用本体这个工具，能够为访问控制策略的制定提供更精确、更强大的描述能力，并且可以实现从语义层次上对不同策略的集成。而借助于SWRL（Semantic Web Rule Language），我们定义了多条适用于OntoRBAC的规则来进行对访问控制决策的推理。最后，介绍了这个系统的实现框架。     

Web应用开发工具评测

随着Internet和Intranet技术的发展,越来越多的用户将基于数据库的应用放置到Intranet网及Internet网上。在这种基于Web技术的数据库应用开发过程中,Web开发工具显得越来越重要。目前,Web应用开发工具种类较多,用户选择的范围较宽。究竟哪种工具更适合Web应用的开发与维护呢?我们从工具软件的连接性能、集成性能以及开发效率等方面对目前比较著名的3种Web应用开发工具进行了评测,这些产品分别是:     

PaxosStore中共识协议TPaxos的推导、规约与精化

PaxosStore是腾讯开发的高可用分布式存储系统，现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体，我们称之为TPaxos.TPaxos的新颖之处在于它的"统一性"：它为每个参与者维护统一的状态类型，并采用统一格式的消息进行通信.然而，这种设计方案也带来了TPaxos与Paxos之间的诸多差异，给理解TPaxos造成了障碍.其次，虽然腾讯开源了TPaxos协议的核心代码（包括伪代码与C++代码），TPaxos仍缺少抽象而精确的形式化规约.最后，就我们所知，TPaxos的正确性尚未经过必要的数学论证或者形式化工具的检验.针对这些情况，本文有三个主要贡献.首先，我们从经典的Paxos协议出发，论证如何逐步推导出TPaxos协议.基于这种推导，我们可以将TPaxos看作Paxos的一种自然变体，更易于理解.其次，我们给出了TPaxos协议的TLA+形式化规约.在开发规约的时候，我们发现TPaxos协议描述中存在至关重要但并未充分阐明的微妙之处：在消息处理阶段，参与者（作为接受者角色）是先作出"不再接受具有更小编号的提议"的承诺（Promise）还是先接受（Accept）提议?这导致对TPaxos的两种不同理解，并促使我们提出TPaxos的一种变体，称为TPaxosAP.在TPaxosAP中，参与者先接受提议后作承诺.最后，我们使用精化（refinement）技术论证了TPaxos与TPaxosAP的正确性.特别地，由于已知的投票机制Voting不能完全描述TPaxosAP的行为，我们首先提出了适用于TPaxosAP的投票机制EagerVoting，然后建立了从TPaxosAP到EagerVoting以及从EagerVoting到Consensus的精化关系，并使用TLC模型检验工具验证了它们的正确性.     

数学教学反思记录的操作与尝试

作为一线的数学教师，几年的教学生涯中，感触最深的是：促进自身专业发展与自我成长的核心要素就是进行反思性教学。具体来说：一是反思性教学以探究与解决问题为基本点。在反思教学中．教师不是简单地回想教学情况，而是反思教学的决策和技术以及在教学主体、教学目的和教学工具等方面存在的问题；二是反思性教学以追求教学实践合理性为动力，通过反思发现新问题．从而不断地改进教学过程，把自已的教学实践提升到新的高度；三是反思性教学促进教学发展的过程．帮助教学从习惯性的例行行为中解放出来，从而使教师成为更好、更有效、更富有创见的行家。如何进行反思性教学，我认为最实在的方法是写教学反思。我们无法改变上过的每一节课．但我们有能力有义务上好未来的每一节课。因此，可以从以下几个方面进行尝试反思记录。     

巧用Word XP“自定义”功能

也许你会以为办公软件Word再熟悉、再平常不过了，关于这方面的技巧也写得很多了，不可能再折腾出什么新花样出来。事实上，在使用办公软件的时候，只要能够多琢磨，细想想，或许就能从再平常不过的功能中玩出“惊人”的发现呢。就拿Word XP的“自定义”（打开菜单“工具”的下拉条可以找到）功能来说吧，细细玩味，还真的能够玩出点别的名堂出来呢。     

Windows Server 2003 Web服务器的配置与应用

随着Internet和宽带网络技术的日益发展．很多单位都开始建立自己的Web服务器，因为IIS（即Internet Information Server）的方便性和易用性，经过调查发现它已经成为最受欢迎的Web服务器软件之一。那么如何快速高效的配置好IIS，并充分发挥它的功能，就成了我们的当务之急。     

一种语义Web服务的多层次匹配方法

现有的语义Web服务发现方法大多采用匹配等级来筛选服务，查找到的服务粒度较大，也没有考虑服务质量。对OWL-S语言进行扩展，增加对QoS（服务质量）的描述，提出了五层次三阶段的多层次匹配过程，采用语义相似度进行匹配。实验结果表明该匹配方法能够保证查找的查准率和查全率。     

基于查询扩展的Web链接主题提取算法

HITS（Hypertext-Induced Topic Search）算法被广泛用于W曲链接结构分析，但它很容易产生主题漂移．从语义相关性角度进行分析，发现HITS算法产生主题漂移的原因在于页面被投影到错误的潜在语义基上．提出一种基于查询扩展的超链主题提取算法，利用用户查询日志扩展查询词，构造符合用户需要的个性化根集和基础集合，再利用HITS算法计算Web页面的权成值和中心值．实验结果表明，基于查询扩展的超链主题提取算法可以很好地改善HITS算法所导致的主题漂移问题，更适合于Web查询的需要．     

自己动手打造 全能Web漏洞利用工具

“动力系统文件上传漏洞”和“动网论坛文件上传漏洞”这类Web脚本漏洞最近闹得热火朝天。一些会VB编程的朋友都制作了对应的漏洞利用工具，使得大量的Web网站被攻击。至于如何利用VB来编写工具实现对漏洞的利用，我想很多朋友都希望知道。只有了解漏洞的原理与利用方法。才能够对自己的Web网站进行更好的防御。下面我将带领大家领略全能Web脚本上传漏洞制作全过程。不精通VB编程的朋友也可以轻松制作出一款漏洞利用工具。     

英特尔新任CEO

前不久，英特尔公司新任CEO科再奇（Brian Krzanich）在英特尔信息技术峰会（Intel Developer Forum，简称IDF）开幕式上指出，从数据中心到平板电脑、手机和可穿戴等超移动设备，计算产业各领域正在经历一场激动人心、甚至改变游戏规则的变革。科再奇阐述了英特尔的愿景，描绘了英特尔如何面向各个快速发展的细分市场，在明年及未来几年不断推出新产品的计划，包括全新的更低功耗产品系列，以加快英特尔在超移动设备领域的发展步伐。     

SOLIDWORKS WORLD 2016：创新，一个永恒的主题

创新，是人类社会发展进步的原动力，是一个经久不衰的主题。从第一次制作工具、第一次用火，到种植作物，畜牧，冶金，再到工业革命、数字化革命，人类不断地创新，一步一步地迈上了更高的阶梯。     

OLAM以及基于Web的OLAM

随着数据库技术的发展,数据仓库技术的出现,数据库（数据仓库江的应用工具也从 ＯＬＴＰ发展到 ＯＬＡＰ、ＤａｔａＭｉｎｉｎｇ,直到今天的 ＯＬＡＭ;而 Ｉｎｔｅｒｎｅｔ、尤其是ＷＷＷ技术的兴起与发展,更使基于 Ｗｅｂ的 ＯＬＡＭ成为可能。     

The World浏览器秘技两则

The World（世界之窗）是大家经常使用的一款网页浏览工具，2005年的文萃增刊中也曾收录过该工具。读者反馈非常不错。今天，笔者再给大家带来两则The World的使用秘技．希望能够对大家更好地使用The World有所帮助。