巧用PS切片让网页活色生香

在网络技术飞速发展的今天,网页设计技术越来越成熟,而时间显得越来越宝贵。如何在同等网速下,让网页更快地下载而且让它的效果不变甚至更好呢?Photo Shop+Dream Weaver的组合可以给你一个完美的答案,PS切片能让网页活色生香。首先是设立站点和图片文件夹,设置好跟踪效果图;然后是设置和优化切片;接着是借助Photoshop切片建立Dream Weaver表格;最后收尾和检查。整个过程只需四步,的确省却了设计者的很多麻烦,并且让网页生色不少。本文根据实际情况,将设计思路做了个汇总,把PS切片在网页设计上的妙用表达出来。     

Photoshop中切片的使用技巧

Photoshop版本在不断地更新换代，新增功能也越来越强大。从Photoshop6.0开始，软件本身提供了很好的Web支持，不再是只停留在图像处理的概念上了，在6.0版本中，其中就新增了图片切割工具（slices），其中包括切片工具和切片选取工具（调整所切分的切片）。选择切片工具后，在选项列中有三种样式设定：[正常]：以拖移方式决定切片比例。[约束长宽比]：可以设定切片高度与宽度的比例。例如：如果要建立宽度为高度两倍的切片，将宽度输入为2，高度输入为1。[固定尺寸]：输入整数的像素值，可以指定切片的高度和宽度。在要建立切片的区域上…     

一个分层切片工具模型

程序切片技术在程序调试、测试、程序理解、逆向工程和软件维护等方面有着广泛的应用。程序切片是一组可能影响到在程序中某个点i的某个变量v的值的语句或谓词的集合。而(v,i)被称作切片准则。这里v也可以是一组变量。自从Mark Weiser提出切片的概念,随着程序依赖图、系统依赖图的出现,传统程序的切片技术已走向成熟。1994年以来,面向对象的程序切片逐渐成为研究的主流。A.Krishnaswamy利用一种面向对象的程序依赖图(OPDG,Object-Ori-ented Program Dependence Graph)来计算面向对象程序的语句切片,但是OPDG不能表示动态绑定等问题。D.Liang,L.D.Larsen和M.J.Harrold扩展系统依赖图来计算面向对象程序的切片,在一定程度上解决了动态绑定和对象参数的问题。这些切片方法都是基于依赖图的,而构造OO程序的依赖图是一件非常复杂的工作,而且构造过程中容易出错,这会导致切片的结果不正确,造成前功尽弃。李必信提出了分层切片的思想,利用逐步求精的方法来得到面向对象程序的切片。     

网页制作新工具

一、3DGIF Designer 2.2让你轻松制作3D网页动画 3DGIF Designer是个只有1.7M的软件,它能轻易作出高品质的3D动静态影像,让你用在网页上来强化视觉效果。3DGIF Design-er可以让你自制或在现有的JPG、GIF、BMP、AVI动静态图上加入3D文字与图形,制作出     

网页减肥工具大观

如何才能使自己制作的网页更受人欢迎？除了页面的布局结构、色彩的设定、翔实丰富的内容之外控制网页自身的体积大小（字节数）也是十分重要的。应该使网页的体积、网页内的图形图象的体积尽可能小、以确保人们在光临你的网站时能快速进人。因此对网页文件及插入网页内的图象文件进行减肥是很有必要的。下面就为你介绍一些实用方便、效果较好的工具及其使用方法。 网页文件减肥工具 在编辑制作网页的时候有许多不必要的元素产生如ＨＴＭＬ文件中的注释、标签、空格、换行符等等,无形中增加了网页文件的体积。用手工清除这些元素实在是一件…     

ImageReady3.0的图象切割与切片操作

图象切割是ＩｎａｇｅＲｅａｄｙ ３．０为适应图象的网上传输提供的重要功能。图象切割后通常被分为几个部分即切片（ＳＩｉｃｅ），这样图象下载时可以自动进行部分图象的逐次下载，计浏览者逐渐地看到图象效果。如果图象个分成儿部分，而是一次性地下载，浏览者就要等待较长的时间才能看到图象，而网上的测览者通常缺乏耐心，所以他们往往会因“等不及”或“等得不耐烦”而离开当前网贝。对网站而言，这样就有可能失去潜在的顾客。图象切割是挽留网页浏览者的一种有效手段。 另外， ＩｍａｇｅＲｅａｄｙ ３．０还允许我们为切割后的儿部…     

网页制作工具大全

如何制作出精美的、令人赏心说目的网页,除了精心策划、细心选材等等工作之外,选择一款适合自己的网页制作工具也是必要的。ＦｒｏｎｔＰａｇｅ９８作为微软家族成员,它秉承了一贯的优良传统：功能强且全（既可以进行最简单的个人主页制作,也可以进行繁杂的网站管理）,简单易学,界面友好,真正是一个任何人都能够使用、并作出专业水准的工具。尤其ＦＰ９８是ＦＰ９７的后继,而后者是前几年最流行的网页制作工具,当比它更优秀的ＦＰ９８推出之后,人们就自然而然的接受了它。微软的习惯是能想到的全部替用户想到,并且做到,让用户直…     

网页制作工具大比拼

静下心来看一看,如今的网页制作工具真可谓日新月异,突飞猛进,它们不仅要紧紧追随Netscape和Microsoft颁布的最新HTML标签(Tag),还要能够处理各种交互表单、多媒体、插入文件、Java Applets以及脚本(Java ScriptS和VBScript)。在准备写这篇横向测试文章之前,笔者又重新整理了一下硬盘中的此类工具软件,发现目前用于网页制作的工具软件真是玲琅满目,从早期的     

PhotoShop在网页图像处理中的应用

图像是网页中重要的要素之一,关系到网页的整体视觉效果,影响着网页的打开速度.对网页中图像元素的处理是网页制作中的重要环节.PhotoShop是一款优秀的图像处理工具,广泛应用于图像处理与合成等设计领域,在对网页图像处理方面也表现出独特的优势.根据实践,阐述利用PhotoShop对网页图像格式处理、GIF透明背景、全景合成、批处理图片的应用技巧.     

Web Application Slicing in Presence of Dynamic Code Generation

The computation of program slices on Web applications may be useful during debugging, when the amount of code to be inspected can be reduced, and during understanding, since the search for a given functionality can be better focused. The system dependence graph is an appropriate data structure for slice computation, in that it explicitly represents all dependences that have to be taken into account in slice determination.Construction of the system dependence graph for Web applications is complicated by the presence of dynamically generated code. In fact, a Web application builds the HTML code to be transmitted to the browser at run time. Knowledge of such code is essential for slicing. In this paper an algorithm for the static approximation of the dynamically generated HTML code is proposed. The concatenations of constant strings and variables are propagated according to special purpose flow equations, allowing the estimation of the generated code and the refinement of the system dependence graph.     

JavaScript静态切片工具

程序切片是一种传统的程序分析方法：通过去掉无关代码,获取可能影响某行代码的子集。程序切片在程序理解、软件测试和程序调试等众多领域有着广泛的应用。随着互联网技术的发展,JavaScript语言得到广泛应用,但针对该语言的切片工具非常有限。本文针对JavaScript语言的特殊性,提出一种基于程序依赖图的JavaScript程序切片算法,并基于WALA程序分析框架实现了该切片算法。试验结果表明,本文的切片算法可以得到较为理想的切片结果。试验中切片平均大小约为原程序代码的70%,较手工切片仅有约19%冗余。     

并发程序切片原型系统的设计与实现

并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片。     

考虑实时栈信息的静态切片工具

为了提高静态切片精度,本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测,找出那些确定没有执行的方法或语句,设计并实现考虑实时栈信息的Java程序静态切片工具.实验结果表明,该切片工具进一步减少搜索空间,可以提高普通静态切片方法的精度和效率.     

面向移动设备的网页切割研究与设计

移动手持设备因其屏幕小,有限的计算及存储能力而不便浏览普通Web页面;另一方面,对于PDA、手机用户,本着用户个性定制以及降低费用的原则也有必要对现有Web页面进行“裁减”。就以上问题,提出一种面向移动设备网页切割的解决方案：首先对半结构化的HTML文档进行结构化处理,接着基于DOM规范将HTML转化为DOM树并对其噪音清洗,然后对网页进行基于内容和基于链接的分块并对分块结果按照分层和用户定制的思想进行切割、重构,最后在开源项目HTMLParser基础上开发了原型系统并对系统执行效率和切割效果进行了评估。结果表明该方案切实可行,具有可观的应用价值。     

Syntax-Directed Amorphous Slicing

An amorphous slice of a program is constructed with respect to a set of variables. The amorphous slice is an executable program which preserves the behaviour of the original on the variables of interest. Unlike syntax-preserving slices, amorphous slices need not preserve a projection of the syntax of a program. This makes the task of amorphous slice construction harder, but it also often makes the result thinner and thereby preferable in applications where syntax preservation is unimportant.This paper describes an approach to the construction of amorphous slices which is based on the Abstract Syntax Tree of the program to be sliced, and does not require the construction of control flow graphs nor of program dependence graphs. The approach has some strengths and weaknesses which the paper discusses.The amorphous slicer, is part of the GUSTT slicing system, which includes syntax preserving static and conditioned slicers, a side effect removal transformation phase, slicing criterion guidance and for which much of the correctness proofs for transformation steps are mechanically verified. The system handles a subset of WSL, into which more general WSL constructs can be transformed.The paper focuses upon the way in which the GUSTT System uses dependence reduction transformation tactics. Such dependence reduction is at the heart of all approaches to amorphous slicing. The algorithms used are described and their performance is assessed with a simple empirical study of best and worst case execution times for an implementation built on top of the FermaT transformation system for maintenance and re-engineering.     

程序切片技术在并发程序模型检查中的应用

模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则．并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。     

二进制代码切片技术在恶意代码检测中的应用研究

恶意代码检测技术作为网络空间安全的重要研究问题之一,无论是传统的基于规则的恶意代码检测方法,还是基于机器学习的启发式恶意代码检测方法,首先都需要自动化或人工方式提取恶意代码的结构、功能和行为特征.随着网络攻防的博弈,恶意代码呈现出隐形化、多态化、多歧化特点,如何正确而有效的理解恶意代码并提取其中的关键恶意特征是恶意代码...     

一种面向对象程序的过程间切片算法

程序切片是一种程序分析技术，它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序，过程间切片作为图形可达性问题时，需要扩展过程内切片所用的程序依赖图（PDG）成系统依赖图（SDG），然后利用两阶段图形可达性算法计算比较精确的切片，目前程序切片技术的研究以面向对象程序切片为主，文中讨论了一种合适面向对象程序的分层切片方法，并综合分层切片方法和两阶段图形可达性算法提出了一种简化的计算面向对象程序过程间切片的算法。     

一种基于Java程序分层模型的方法内切片生成算法

程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。