旗帜照片处理工具哪个好?网友:人工处理超贴心!
通过这款软件,用户可以轻松在头像上添加旗帜,满足当前流行的潮流需求。软件提供了超多在线人工服务,用户可以直接对想要处理的图片进行处理,将旗帜P上去,解决问题的速度非常快。
2024年03月08日查看详情 >图片格式在线转换JPG的有吗?网友:确实好用!
这个图片格式在线转换JPG平台可谓是非常好用,它看起来就具备功能强大,支持多种不同类型的转换,而且没有太多限制,可以最大程度地保留图片的颜色、质量等细节。通过这样的工具,用户可以完整地保存那些美好的瞬间,让日后回忆时依然感受到当时的美好。
2024年03月08日查看详情 >怎么把图片缩小成200k以下免费?网友:真的是理想选择!
幸运的是,市面上有一款优秀的图片压缩软件,它能够在不添加水印的情况下,帮助用户将图片压缩到所需的大小。这款工具提供了一个简单易用的操作界面,使得图片压缩变得轻松快捷。如果你正在寻找怎么把图片缩小成200k以下免费的方法,这个软件将是你的理想选择。它们不仅能够有效减少图片的文件大小,还能确保压缩后的图片在各种场合下都能满足使用需求。
2024年04月24日查看详情 >怎么把图片缩小成200k以下免费?网友:处理后确实能够达到需求!
市面上有一款出色的图片压缩软件,它能够在不添加水印的情况下,帮助用户将图片压缩到所需的大小。这款工具提供了一个简单易用的操作界面,使得图片压缩变得轻松快捷。如果你正在寻找怎么把图片缩小成200k以下免费的方法,这个软件将是你的理想选择。它们不仅能够有效减少图片的文件大小,还能确保压缩后的图片在各种场合下都能满足使用需求。
2024年04月24日查看详情 >怎么把jpg改成icon
怎么把jpg改成icon?最近有许多小伙伴在咨询怎么把jpg转换成icon,今天就来给大家讲讲怎么把jpg改成icon的方法,相信会帮助到大家哦,一起来看看吧。
2022年08月05日查看详情 >怎么修改图片尺寸大小
你知道怎么修改图片尺寸大小吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量修改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年04月28日查看详情 >修改图片大小在线
怎么修改图片尺寸大小?想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,需要批量修改图片大小在线工具时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年08月16日查看详情 >怎么批量修改图片尺寸
怎么修改图片尺寸呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年04月28日查看详情 >怎么修改图片大小
当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么修改图片大小,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年12月17日查看详情 >怎么修改图片大小尺寸
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎么修改图片大小尺寸的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片大小尺寸软件工具就很重要了。
2022年12月07日查看详情 >照片压缩jpg格式免费手机软件哪个好用?网友:怪不得能赢到这么多好评!
要判断照片压缩jpg格式免费手机软件哪个好用,有几个关键因素需要考虑:软件是否完全免费、压缩效果的质量、是否提供多种压缩级别选择,以及是否能够在不损失图片质量的情况下减小文件大小。这款软件以其卓越的压缩性能和用户友好的界面在市场上赢得了好评。它提供了多种压缩选项,用户可以根据个人需求选择最合适的压缩级别,同时在压缩过程中,该软件还能保持图片的清晰度,避免了因压缩而造成图片变得模糊的问题。
2024年04月23日查看详情 >教你线上图片怎么转换格式
图片是我们日常中经常会接触到的,比如照片就是图片的一种,图片的格式有许多中,单单照片就有jpg跟JPEG的区分,在上传资料的途中我们经常会看见对图片格式的要求,如果是要求jpg的,就一定要上传jpg的格式才能上传,虽然jpg跟JPEG的照片看不出什么变化,但在要求上传的格式是无法通用的哦,那么我今天就来教你线上图片怎么转换格式。
2021年05月28日查看详情 >相片换背景用什么免费软件好用?网友:怎么能不试试这个!
2024年03月18日查看详情 >图片压缩到200k以内怎么操作?网友:就喜欢这样的处理速度!
与逐张使用图像编辑工具进行压缩的传统方法相比,专业的图片压缩工具提供了一个更高效、更简便的解决方案。掌握这款工具的使用,您将能轻松应对各种图片压缩任务,甚至帮助他人解决类似需求,赢得他们的赞誉和尊重。通过这款工具,轻松解决不知道图片压缩到200k以内怎么操作的问题。
2024年04月11日查看详情 >电脑怎样修改图片大小
电脑怎样修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么修改图片大小,没关系,小编今天就给大家带来一款十分好用的调整图片大小软件,可以简单快速的修改成你想要的尺寸哦。
2022年12月10日查看详情 >你知道怎么转换图片格式吗?
今天来给大家讲讲图片格式转换的方法,当我们需要将图片的格式转换成另一种格式的时候,大家通常是用什么方法来转换的呢?我们都知道图片的格式有很多种,要说起来可能还有一些大家都没听过的格式,当遇到比较陌生的格式时,要转换成我们平常见到的格式,这就需要用到图片格式转换器了,下面就来给大家讲讲吧。
2022年03月18日查看详情 >怎样批量修改图片大小
你知道怎样批量修改图片大小吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量修改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年12月05日查看详情 >照片怎么更改图片尺寸
怎么更改图片尺寸呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年06月08日查看详情 >怎样自定义更改图片尺寸
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎么更改图片尺寸的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片尺寸工具就很重要了。
2022年06月16日查看详情 >什么软件修改图片大小
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道什么软件修改图片大小,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的更改图片尺寸的软件工具就很重要了。
2022年10月30日查看详情 >电脑怎么修改图片大小
电脑怎么修改图片大小?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么修改图片大小,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年12月12日查看详情 >图片怎样修改图片大小
图片怎样修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道图片怎样修改图片大小,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年11月24日查看详情 >heic图片怎样转换成jpg,苹果heic图片批量转换
说到HEIC格式不晓得大家熟不熟悉,使用苹果手机的小伙伴肯定很熟悉吧?不知道也没关系,下面我们先来了解下heic图片怎样转换成jpg。
2022年11月22日查看详情 >怎样在电脑上更改图片尺寸
怎么更改图片尺寸呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年05月30日查看详情 >怎么样修改图片大小
怎么样修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么修改图片尺寸,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年12月23日查看详情 >图片格式在线转换jpg免费软件哪款手机也能用?网友:操作起来相当简单!
这款图片格式在线转换器是一款免费且易于使用的图片处理工具,兼容众多图片格式,尤其擅长处理JPEG格式。该软件拥有一个直观的用户界面,使得用户可以快速地进行图片格式转换。此外,工具还提供批量处理功能,使用户能够一次性转换多个图像文件。它具有跨平台特性,可在各种操作系统上运行,包括智能手机和电脑。
2024年03月27日查看详情 >怎么在电脑上修改图片大小
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎么在电脑上修改图片大小的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的图片尺寸在线修改工具就很重要了。
2022年11月09日查看详情 >pdf转换成jpg手机上怎么操作比较简单?网友:这下工作效率提升不是一星半点!
使用这款软件进行批量图片处理时,请注意以下几点:首先,在将PDF转换为图片时,选择合适的图像格式和质量至关重要,这可以确保在保持阅读体验的同时,减少图片文件的大小。其次,您可以选择性地转换文档中的特定页面,而不是整个文档,这有助于节省手机存储空间。此外,软件还提供图片压缩功能,进一步优化文件大小。这款软件几乎包含了办公所需的所有功能,使得“pdf转换成jpg手机上怎么操作比较简单”这一问题可以轻松解决。
2024年04月12日查看详情 >怎样在电脑更改图片尺寸
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎么更改图片尺寸的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的更改图片大小工具就很重要了。
2022年06月08日查看详情 >电脑上怎么修改图片大小
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道电脑上怎么修改图片大小的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片大小的软件就很重要了。
2022年11月24日查看详情 >图片格式在线转换jpg免费软件哪款手机也能用?网友:支持这么多种设备真贴心!
这款图片格式在线转换工具是一款免费且用户友好的图像查看和转换软件,支持多种图片格式,尤其擅长处理JPEG格式。软件拥有一个简洁明了的用户界面,使用户能够轻松快捷地完成图片格式转换。此外,该工具还提供批量处理功能,允许用户同时转换多个图像文件。它具有跨平台兼容性,可在各种操作系统上运行,包括手机、电脑以及在线网页端。
2024年03月27日查看详情 >照片怎么压缩到100k以内不失真?网友:能够有效的处理到合适大小!
为了实现照片怎么压缩到100k以内不失真的目标,建议使用一款专业的图片压缩工具。这款工具能够高效地处理大量图片,并支持批量压缩操作,提供了多种压缩级别供用户选择。用户可以根据自己的具体需求,选择不同的压缩设置,既可以保持图片的高清晰度,也可以优先考虑压缩效果。使用该工具处理后,图片将被有效压缩至用户期望的大小范围内。
2024年04月22日查看详情 >怎么修改图片大小改为20k
你知道怎么修改图片大小改为20k吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量改图片大小时,使用改图片大小的软件工具无疑是最好的办法,下面就给大家推荐一下。
2022年12月05日查看详情 >你知道怎么批量修改图片的尺寸吗?
你知道怎么修改图片尺寸吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量更改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年03月29日查看详情 >怎样修改图片大小尺寸
怎样修改图片大小尺寸?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎样修改图片大小尺寸,没关系,小编今天就给大家带来一款十分好用的改照片尺寸的软件,可以简单快速的修改成你想要的尺寸哦。
2022年12月07日查看详情 >怎样更改图片尺寸要保证清晰
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎样更改图片尺寸要保证清晰的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片尺寸的软件工具就很重要了。
2022年12月13日查看详情 >怎么更改图片大小200k以下
你知道怎么更改图片大小200k以下吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要图片大小在线调整工具时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年08月16日查看详情 >什么手机软件可以修改图片尺寸
你知道什么手机软件可以修改图片尺寸吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量手机修改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐手机修改图片尺寸app。
2022年08月09日查看详情 >用什么软件可以修改图片大小
怎么用什么软件可以修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年08月18日查看详情 >图片怎么批量修改图片大小
图片怎么批量修改图片大小?当很多图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么批量修改,没关系,小编今天就给大家带来一款十分好用的图片大小批量修改器,可以简单快速的修改成你想要的尺寸哦。
2022年08月18日查看详情 >jpg是什么的简称?
jpg是全名是jpeg JPEG(全称是Joint Photographic Experts Group)是常见的一种图像格式,它由联合照片专家组开发并命名为"ISO 10918-1",JPEG仅仅是一种俗称而已。
2022年09月19日查看详情 >照片怎么压缩到100k以内不失真?网友:这几种预设压缩都很不错!
为了实现照片怎么压缩到100k以内不失真的需求,小编推荐使用一款专业的软件。这款软件能够高效地处理大量图片,支持批量操作,提供了多种压缩选项供用户选择。用户可以根据自己的需求选择不同的压缩模式,既可以保持图片的高质量,也可以优先考虑压缩效果。经过该软件处理后,图片将被有效压缩至用户期望的大小范围内。
2024年04月22日查看详情 >在线批量修改图片大小
怎么批量修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么批量修改图片大小,没关系,小编今天就给大家带来一款十分好用的在线批量修改图片大小工具,可以简单快速的修改成你想要的尺寸哦。
2022年08月17日查看详情 >tif文件怎样转换成jpg批量处理?网友:是个高效又用户友好的工具!
tif文件怎样转换成jpg批量处理?TIF文件以其卓越的图像质量而受到青睐,但它们通常文件体积较大,不利于网络传输和存储。相较之下,JPG格式得益于其较小的文件尺寸和广泛的应用兼容性,成为网络上共享和处理图像的优选。要完成TIF到JPG的批量转换,我们需要一款既高效又用户友好的工具。幸运的是,小编找到了一款满足这些条件的软件,它不仅操作简单,还适合初学者快速掌握。利用这款软件,您可以轻松实现多个TIF文件到JPG的批量转换,同时保持图像质量不受影响。
2024年04月11日查看详情 >用什么软件可以更改图片的大小
用什么软件可以更改图片的大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么更改图片的大小,没关系,小编今天就给大家带来一款十分好用的可以更改图片大小的软件,可以简单快速的修改成你想要的尺寸哦。
2022年12月24日查看详情 >JPG压缩到指定大小怎么弄?网友:这也太人性化了吧!
如今,人们对图片的应用越来越普遍,许多证件照片都可以自行上传,但是很多用户对于JPG压缩到指定大小怎么弄这一操作并不了解。专业的图片编辑软件虽然功能强大,但上手难度较高,因此需要借助一款能够直接指定大小的JPG压缩软件。
2024年03月11日查看详情 >jpg图片怎么压缩大小?支持批量处理效率更高!
jpg图片怎么压缩大小?通常,小编会使用图片处理软件来完成这项任务。虽然直接修改图片工具非常方便,但它不支持批量处理。幸运的是,这款软件允许我们直接导入整个文件夹进行批量压缩,让图片处理变得轻松高效。在这个过程中,图片质量没有显著下降,而文件大小却大幅度减小。
2024年03月22日查看详情 >heic格式怎么转化
.Heic图片是一种高压缩率的文件格式,相比jpg有更高的压缩率以及更清晰的效果,目前广泛应用在苹果iOS以及部分安卓手机上。但相对而言,Heic并没有比jpg更普及,所以有时候会遇到当你把Heic图片发给朋友的时候,朋友打不开,或者无法发送的情况。但是,别着急!我们有解决heic格式怎么转化的办法,请接着往上看。
2022年10月28日查看详情 >什么软件可以修改图片大小
当我们的图片太大需要修改一下尺寸时,该怎么办呢?什么软件可以修改图片大小呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的修改照片大小的软件推荐,可以简单快速的修改成你想要的尺寸哦。
2022年08月17日查看详情 >JPG图片压缩工具安卓版无水印的有吗?网友:解决空间存储问题很有效!
这个应用提供了免费版本,尽管可能包含一些基础功能,但对于日常使用来说已经绰绰有余。而且,免费版本的应用在压缩图片后不会添加任何水印,让用户可以在不支付额外费用的情况下,享受到无障碍的图片压缩服务。这不仅帮助用户节省了存储空间,也保证了分享和传输图片时的专业外观。
2024年04月10日查看详情 >摘要: 如果你正在寻找图片压缩到200k以内免费批量的处理方法是啥,那么有一款免费软件值得一试。这款软件特别之处在于它的批量处理能力,可以一次性处理大量图片,显著提升了工作效率。同时,它在压缩图片时注重保持图像原有的清晰度和质量,确保压缩效果理想。
摘要: 对于pdf转图片高清免费的方法哪个好用的方法,个人喜好可能因人而异。但小编推荐使用这一款特定的软件,它能提供批量转换功能,支持输出JPG、JPEG、PNG等多种图片格式,整个界面设计得用户友好,减少了操作步骤,使得新手也能迅速掌握。
摘要: 要解决照片如何压缩到10k还清晰度高的需求,使用专业的图片压缩软件是明智之举。这个软件提供多种压缩设置,让用户根据具体需求自由选择。即便大幅度减小文件大小,也能尽力维护图片的清晰度。
摘要: 针对dng怎么转换成jpg图片这一转换需求,用户可以借助一系列专业的格式转换工具。这些工具的设计旨在简化操作,即使是对技术不熟悉的用户也能轻松上手,快速完成DNG至JPG的转换任务。值得一提的是,这些工具不仅局限于DNG,还支持GIF、CR2等多种图片格式,提供了全方位的图片处理和管理解决方案。更妙的是,它们支持批量处理,对于需要批量转换大量图片的用户来说,无疑节省了大量时间。
摘要: 为了实现怎么把照片转成pdf格式这一需求,用户可以借助这款专为图片转换设计的软件。软件操作简便,无需深入学习,即可快速完成从照片到PDF的转换过程。用户只需选择所需的PDF模板,一键导入图片即可,整个转换过程既直观又高效。值得注意的是,这些软件在处理图片时,能精准地保留图片原有的画质。
摘要: 怎么把照片的jpeg格式转换成jpg格式?大家应该会发现有些网站对图片格式有一定的要求,所以我们在上传图片文件之前,需要将图片的格式进行转换后才能顺利上传。那你们知道图片格式转换工具有哪些吗?下面我就来给大家介绍jpeg转换成jpg步骤,有兴趣的小伙伴就来看看吧! jpeg转jpg有在线操作和客户端操作两种方法,下面我们来逐一详细的讲解一下。
摘要: 图片格式怎么转换jpg?图片转换格式是非常常见的操作之一,特别是将图片转换成JPEG格式(.jpg)。在本文中,我们将讨论几种应用程序来帮助你完成这个任务。
摘要: .jpg是使用JPEG格式压缩的图片文件最普遍的扩展名格式。JPEG( Joint Photographic Experts Group)即联合图像专家组,是用于连续色调静态图像压缩的一种标准,文件后缀名为,jpg或,jpeg,是最常用的图像文件格式。
摘要: 图片怎么转换为jpg?格式转换工具咱们分享过不少了,针对各种图片格式、视频的都有。今天咱们要分享的是一款老牌格式转换工具,格式工场的绿化版。它支持多种图片格式的转换。下面一起看看吧
摘要: 怎么把图片格式转换JPG?很多人在日常处理图片的时候经常会遇到显示图片格式不正确、打不开等情况。为什么呢?因为图片实际上有很多种格式,用于不同的显示环境。如果不选对格式,图片可能就不好处理。怎么把图片格式转换JPG?今天带来2个方法教你如何进行图片转换。
摘要: 对于pdf转图片高清免费的方法哪个好用的方法,个人喜好可能因人而异。但小编推荐使用这一款特定的软件,它能提供批量转换功能,支持输出JPG、JPEG、PNG等多种图片格式,整个界面设计得用户友好,减少了操作步骤,使得新手也能迅速掌握。
摘要: 要解决照片如何压缩到10k还清晰度高的需求,使用专业的图片压缩软件是明智之举。这个软件提供多种压缩设置,让用户根据具体需求自由选择。即便大幅度减小文件大小,也能尽力维护图片的清晰度。
摘要: 针对dng怎么转换成jpg图片这一转换需求,用户可以借助一系列专业的格式转换工具。这些工具的设计旨在简化操作,即使是对技术不熟悉的用户也能轻松上手,快速完成DNG至JPG的转换任务。值得一提的是,这些工具不仅局限于DNG,还支持GIF、CR2等多种图片格式,提供了全方位的图片处理和管理解决方案。更妙的是,它们支持批量处理,对于需要批量转换大量图片的用户来说,无疑节省了大量时间。
摘要: 为了实现怎么把照片转成pdf格式这一需求,用户可以借助这款专为图片转换设计的软件。软件操作简便,无需深入学习,即可快速完成从照片到PDF的转换过程。用户只需选择所需的PDF模板,一键导入图片即可,整个转换过程既直观又高效。值得注意的是,这些软件在处理图片时,能精准地保留图片原有的画质。
摘要: 针对jpg图片格式怎么弄成文件形式这个问题,用户可以依赖于一些专业的图片转换软件。这些工具以其强大的功能著称,能够轻松地将JPG图片转换为PDF或者其他文档格式。转换过程极为直观,用户只需将图片导入工具,然后从预设的选项中选择PDF作为目标格式。此外,这些工具还支持批量处理模式,对于需要批量转换图片的用户来说,无疑节省了大量的时间和精力。
合作伙伴