简介：出现网是研究Petri网的进程的工具，而出现网的S切又是研究进程的重要概念。讨论S切的基本性质：定义并证明S切M在E的元素e的作用下发生的变换M→u[e]=（u-·e）Ue·以及发生变换的条件。定义并证明S切u在E的元素e的反作用下发生的变换v→v[e-1]=（v-e·）U·e以及发生变换的条件；证明对于任意S切u有u[e][e-1]=u，对于任意S切v有v[e-1][e]=v。证明每一个S切u（≠w1）都能够被某一个e作用，每一个S切v（≠W0）都能够被某一个e反作用。

简介：

简介：对于使用计时拨号方式上网的ADSL用户而言，最在意的恐怕就是确切的上网时间了，一旦超时，所付出的便是高昂的网费。此外，掉线、登录缓慢、响应迟滞等问题也围扰着ADSL拨号用户。那么，有没有一款简单、易用、稳定的ADSL拨号软件来帮助我们呢?

简介：午后的阳光慵懒地躺在7的身上，听着秒针嘀嗒嘀嗒地枯燥重复，她不禁回忆起过往。自从被《数码》杂志用大大的字体印在封面上，她渐渐觉得自己应该回味起一些和这本杂志、和这些数码产品的点滴，毕竟，这是她们一起度过的最好的时光。这是7，与《数码》、与你的故事。

简介：专业机身EOS-1DMarkⅡN机身主体由镁合金制成．明显地提高了坚固性、耐用性和精度。作为顶级的专业机身．EOS-1DMarkⅡN采用了防水、防尘设计。相机的主要机身接缝和动作部件．如快门释放按钮、选择按钮和主／快速控制转轮都采用了硅橡胶来密封。机背的边缘也进行了精心设计．在机身左上部的功能按钮内部也都设计了硅橡胶护套．这样的设计可以保证即使在非常恶劣的环境中也可以顺利使用相机。

简介：110KV供电系统是一种大型煤矿生产企业中主流的供电系统，电源快切装置在该供电系统中的应用可以确保电源的可靠供电。本文从110KV变电站原备投方式着手，从起动方式、切换方式以及合闸方式等三个方面详细讨论了快切装置在供电系统中的应用情况，以期为供电系统快切装置的实际应用提供依据。

简介：你知道键盘和鼠标上哪个按键被敲打的次数最多吗?你能把屏幕上打开的窗口变透明吗?你能让窗口右上角的最小化、最大化和关闭按钮失效吗?你能把键盘上那几个不常用的功能键禁用吗?你能快速启动屏保、显示桌面吗……其实这些看起来不可能的事情只要使用Pitaschio都能实现。Pitaschio收录了大量涉及鼠标操作和窗口管理的有趣、实用的功能,能让你更方便地使用Windows系统。下面就来看看它的妙用吧。

简介：追求简洁、时尚外观设计和操作简便性的一体机并不是只能选择性能较弱的IntelAtom平台或者AMDYukon平台，先前支持多点触控的DELLStudioOne19（S210552CN）以酷睿2双核处理器加NVIDIAGeForce9400独显的组合已经为我们展示了一体机性能提升的空间.

简介：本文主要基于笔者对相关文献研究以及自己多年工作实践情况下,主要就天然气线路工程质量管理工作进行研究,以供广大同行参考。

简介：为了测量高温或其他不宜直接接触的工件,提出了一种基于Canny算子的边缘检测法测量工件的尺寸,该方法通过对原始器件图像的二值化处理,提取工件的轮廓,再进行阈值检测并返回轮廓坐标从而确定工件的相关参数。与传统接触式测量方法相比,该方法能对高温等物体进行测量,同时该方法有测量精度高等特点。理论及计算机仿真表明,该方法切实有效,有良好的应用前景。

简介：十九世纪初,银版摄影法的出现标志着摄影术的正式诞生,而摄影真正走进千家万户则归功于乔治·伊士曼（柯达创始人）,他在1885年推出了第一款胶卷,也就是我们常说的135胶卷,自此人类有关历史的记忆才变得真实、清晰起来。到2010年,影像技术已经全面开始数字化,但是135胶卷作为经典之作,虽然有着保存和冲印上的种种不便,在很多发烧友心目中仍然拥有不可取代的地位。

简介：BenQFP931在外观上延续了这个系列经典的简约设计风格，具有黑色和银黑两种颜色可供选择，FP931的边框仅有16毫米宽，不但从视觉上看起来显得屏幕更大，还可以用它来拼接电视墙，因为边框越窄，屏幕之间的接缝就越小，视觉效果自然也就更好。

简介：捷波的“恢复精灵”可以在硬盘中划分一块很小的区域来备份数据,而且速度快捷,并能将误删除、格式化、甚至重新分区的数据(前提是分区后没有再对硬盘进行操作)进行还原。好东西应该让大家共享,经过动手DIY,笔者的主板(GA-6B×C)也拥有了“恢复精灵”。首先到驱动之家(http://www.mydrives.com)下载捷波630CF主板最新BIOS程序630cf118.bin(含有“恢复精灵”)以及CBROM6.06版,解压缩后放在同一个目录下面,同时将GA-6BXC的BIOS文件6bxc.f4b以及刷写程序Awdflash也拷贝进来。捷波的“恢复精灵”模块在BIOS中的文件名为STDE.DAT,为ISAROM类型的程序模块。在MS-DOS状态下,进入CBROM所在的目录,输入命令:CBROM606.exe630cfl18.bin/isaEXTRACT.回车后STDE.DAT就被提取出来了。

简介：2003年众多新品笔记本电脑上市，一时间令广大消费者目不暇接!客观上任何产品被推向市场，开始接受消费者品评检阅的时候，都会引起各方面的诸多议论。支持和反对的声音交杂在一起不绝于耳，其实产品争议现象的产生是极其正常的事情，因为任何一款产品在产生之初都有其明确的应用定位，细分市场不同

简介：黄钻在玩QQ空间时有很多特有的功能，比如在写日志时拥有醒目灯发光字，但为了这些字，你每个月得出10块钱的黄钻费，真贵。如何让我们非会员也能享受到醒目灯发光字呢？其实很简单，现在就教给大家一个方法，轻松地刷QQ空间醒目灯。

简介：“老公，我的同事们想看咱们五一去欧洲旅游的DV，她们听我说起那高大的埃菲尔铁塔、神秘的德国古城堡和充满幻想的荷兰风车，都羡慕不已，真想让她们赶快见识一下我在米兰的大丰收……”

简介：水平集方法（LevelSetMethod）是一种用于计算曲线演化位置的有效方法。该文针对传统LevelSetMethod进行图像检测中需要重复初始化水平集函数的缺点，研究了不需要重复设置水平集函数的图像检测方法，实验表明，该方法能更好的检测多目标图像轮廓。

简介：本文针对非计算机专业学生的特点，研究了软件应用系统设计课程的教学内容，给出了该课程教学的组织和实施方法。实践表明，所设计的课程教学内容能较好地满足非计算机专业学生学习软件应用系统设计的需求，采用案例教学法取得了较好的教学效果。

简介：当前,我国气田正逐步迈入稳产增压生产阶段,且越来越多的增压站天然气生产都开始应用起了以压缩机为核心设备的增压生产模式,而其运行情况将会在很大程度上影响到了天然气的生产与集输。而且因为天然气具有有毒、易燃、易爆等特点,如若出现火灾�

简介：Carezza（以下简称C）：您好张先生，听闻微软硬件这个财年在中国地区有些新动作，不知能否透露一些详细的资料给我们呢？要不先简单给我们读者简单介绍一下微软硬件事业部吧？