基于Web的形式化方法工具RRTChecker的研究与设计

形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广。本文针对形式化方法RAISE,提出了一种研究和开发基于Web的工具的方法。该方法以原有的RAISE工具为基础,通过Shell管道拦截技术、ASP技术、ActiveX DLL技术及路径重写技术,将工具的所有功能集成整合到统一的、用户友好的Web界面上,用户可通过鼠标在浏览器中进行不同的操作。原有的RAISE工具的所有功能,在基于浏览器的集成化工具中得到全面支持。该方法也为开发其它形式化方法基于Web的工具提供了新思路。

数码暗房Practical Photoshop

使用星光画笔创造星芒效果使用我们的免费星芒画笔让你的夜景摄影作品更加光彩夺目。如果我们的照片中有蜡烛、街灯,甚至是落曰之类的光源,那么接下来本文中给大家介绍的一个小技巧就能马上让它大显光彩,那就是给光源加上星芒的形状。在我们使用f/11、f/16之类的小光圈拍摄夜景照片的时候,就会出现这个迷人的星芒效果。另外我们也可以通过一个叫做星光镜的特殊滤镜给画面强制性添加这个效果,这是一种在平光玻璃上刻有星光状放射线的特殊滤镜,放射线的数量决定了星光的效果。

摄影冷知识知多少?

听说你对摄影知识非常熟悉?恭喜你来对地方了!“摄问”中的10道问题保证问倒你。