pdf怎么转成jpg格式的文件?网友:效果出乎意料的好!
为了解决pdf怎么转成jpg格式的文的需求,我们可以利用一款功能强大的软件。它具有超快的转换速度,操作简单,附带图片注解,用户可以轻松上手。转换后的图片不会出现模糊问题,同时软件还支持格式互相转换,批量处理功能也非常强大。如果你有PDF转JPG的需求,不妨试试这款软件,相信它会给你带来意想不到的便利和效果。
2024年04月25日查看详情 >这款jpg转icon软件,打工人必备!
今天来给大家讲一个小知识,那就是jpg转icon图标,经常处理图片的朋友会遇到这样的问题,想要将图片转换成多个格式的图片,大家也知道,图片的格式有很多种,不同格式的用途也不同,所以,设计师在设计图片的时候,往往需要设计多种格式,那么jpg转icon软件你知道怎么转换吗?下面就一起来看看吧。
2022年11月22日查看详情 >jpg转icon的技巧
大家都知道icon是一种图标图片,和一般的图片相比,尺寸小体积也小,如果让我们将一张图片缩成icon的大小很容易就会压缩图片画质,所以要将jpg图片转icon图标,还是得用专业的图片格式转换软件,今天就来给大家讲讲jpg转icon图标的方法,相信会帮助到大家哦,一起来看看吧。
2022年04月29日查看详情 >便捷办公秘诀-jpg转icon的技巧
今天来给大家讲一个小知识,那就是jpg转icon的技巧,经常处理图片的朋友会遇到这样的问题,想要将图片转换成多个格式的图片,大家也知道,图片的格式有很多种,不同格式的用途也不同,所以,设计师在设计图片的时候,往往需要设计多种格式,那么jpg转icon图标你知道怎么转换吗?下面就一起来看看吧。
2022年11月23日查看详情 >图片转扫描件怎么弄?网友:还能直接更改需求设定!
通过使用这款软件,您可以轻松地解决图片转扫描件怎么弄的问题,无论是单张图片还是批量处理,都能满足您的需求。同时,软件还提供了丰富的设置选项,如分辨率、色彩模式等,以便您根据具体需求调整转换效果。
2024年04月27日查看详情 >pdf转jpg在线转换免费不花钱的有吗?网友:用过了体验感极佳!
pdf转jpg在线转换免费不花钱的软件来了,在这里能够进行免费的图片格式转换,当然了PDF也完全没有问题,超高效的处理还可以保证内容清晰度高不会出现失真的的问题,只需要将想要修改的内容导入到当中,然后选择JPG方式导出,然后就能够直接将文件转换成功了,PDF还可以设定指定也页数不需要全部转换也没有问题。
2024年03月15日查看详情 >曾经有一份jpg转bmp教程摆在我眼前,我没有珍惜
jpg转bmp格式其实很简单,只是很多人都不知道方法,所以看到这个问题的时候就会觉得很难,但是对于经久职场的朋友来说,这就是小菜一碟,想要将jpg格式转bmp格式,只要学会运用工具很快就能解决,那么有什么好用的转换工具吗?小编今天就来给大家推荐一款,一起来看看吧。
2022年03月15日查看详情 >一分钟搞定jpg转icon!
大家都知道icon是一种图标图片,和一般的图片相比,尺寸小体积也小,如果让我们将一张图片缩成icon的大小很容易就会压缩图片画质,所以要将jpg图片转icon图标,还是得用专业的图片格式转换软件,今天就来给大家讲讲jpg转icon图标的方法,相信会帮助到大家哦,一起来看看吧。
2022年04月13日查看详情 >说说jpg转icon的方法
大家都知道icon是一种图标图片,和一般的图片相比,尺寸小体积也小,如果让我们将一张图片缩成icon的大小很容易就会压缩图片画质,所以要将jpg图片转icon图标,还是得用专业的图片格式转换软件,今天就来给大家讲讲jpg转icon图标的方法,相信会帮助到大家哦,一起来看看吧。
2022年05月05日查看详情 >图片怎样修改图片大小
图片怎样修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道图片怎样修改图片大小,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年11月24日查看详情 >怎么修改图片尺寸大小
你知道怎么修改图片尺寸大小吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量修改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年04月28日查看详情 >修改图片大小在线
怎么修改图片尺寸大小?想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,需要批量修改图片大小在线工具时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年08月16日查看详情 >怎么修改图片大小尺寸
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎么修改图片大小尺寸的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片大小尺寸软件工具就很重要了。
2022年12月07日查看详情 >怎么修改图片大小
当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么修改图片大小,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年12月17日查看详情 >怎么把图片转成pdf格式的文件且无水印?网友:真不错不用会员也能用!
若您想了解怎么把图片转成pdf格式的文件且无水印,这款软件将是您的理想选择。它支持多种图片格式,包括但不限于JPEG、PNG、BMP等,确保了不同来源的图片都能够顺利导入并转换成PDF格式。该软件的用户界面直观易用,用户无需进行复杂的设置即可快速完成转换,且在整个转换过程中,您的PDF文件不会被添加任何水印,保证了文档的清晰度和专业性。更值得一提的是,该软件提供了大部分功能的免费使用,您无需支付额外费用或成为会员即可享受这些便利。
2024年04月24日查看详情 >png怎么换jpg?试试这样操作,三秒轻松转换!千万不要错过!
png怎么换jpg?在图片的保存中,有很多种格式,但有些软件却限定了只能用jpg.格式,那么转换格式便是一个大问题。今天介绍的是png转jpg转换器。
2022年12月17日查看详情 >jpg转icon在线转换
大家都知道icon是一种图标图片,和一般的图片相比,尺寸小体积也小,如果让我们将一张图片缩成icon的大小很容易就会压缩图片画质,所以要将jpg转icon图标,还是得用专业的图片格式转换软件,今天就来给大家讲讲jpg转icon的方法,相信会帮助到大家哦,一起来看看吧。
2022年02月25日查看详情 >怎么批量修改图片尺寸
怎么修改图片尺寸呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年04月28日查看详情 >一分钟搞定png转jpg!
当需要将png转jpg格式文件时,我们可以用什么方法来进行转换呢?其实格式转换的方法有很多,想要简单快速处理这个问题,那么还得看专业的图片格式转换器,小编今天就来给大家讲讲png转jpg文件的方法步骤吧,需要的朋友快快收藏起来。
2022年03月14日查看详情 >什么软件修改图片大小
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道什么软件修改图片大小,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的更改图片尺寸的软件工具就很重要了。
2022年10月30日查看详情 >png转jpg在线免费的哪款好?网友:这个平台就能直接处理!
png转jpg在线免费的哪款好?在众多图像格式中,PNG和JPG无疑是最受欢迎的两种。它们各自具有独特的优势和局限性。PNG格式因其高质量图像而受到好评,尽管文件大小相对较大,但清晰度更高;而JPG格式则因其较小的文件尺寸而适用于文章和网页,便于嵌入和分享。要在这两种格式之间进行转换,您可以尝试使用这个在线图片格式转换工具。
2024年03月27日查看详情 >怎么把jpg改成图标文件
怎么把jpg改成图标文件?大家都知道icon是一种图标图片,和一般的图片相比,尺寸小体积也小,如果让我们将一张图片缩成icon的大小很容易就会压缩图片画质,所以要将图片转换ico工具,还是得用专业的图片格式转换软件,今天就来给大家讲讲怎么把jpg改成图标文件的方法,相信会帮助到大家哦,一起来看看吧。
2022年12月08日查看详情 >bmp照片怎么改成jpg?看一下这几个简单转换方法
BMP和JPEG都是图像格式,BMP是一种没有压缩的格式,而JPEG是一种有损压缩的格式。BMP格式占用的存储空间通常要比JPEG大,因为它不进行压缩处理。当我们需要将一些BMP格式的照片转换成JPEG格式时,可能还需要调整图像质量和大小。接下来介绍bmp照片怎么改成jpg的方法。
2023年08月30日查看详情 >怎样自定义更改图片尺寸
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎么更改图片尺寸的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片尺寸工具就很重要了。
2022年06月16日查看详情 >怎么把图片转成pdf格式的文件且无水印?网友:不用花钱就能用真不错!
如果您想了解怎么把图片转成pdf格式的文件且无水印,这款软件将是您理想的选择。它支持多种图片格式,包括但不限于JPEG、PNG、BMP等,确保了不同来源的图片都能够顺利导入并转换成PDF格式。该软件的用户界面直观易用,用户无需进行复杂的设置即可快速完成转换。在整个转换过程中,您的PDF文件不会被添加任何水印,从而保证了文档的清晰度和专业性。更值得一提的是,该软件提供了大部分功能的免费使用,您无需支付额外费用或成为会员即可享受这些便利。
2024年04月24日查看详情 >怎样批量修改图片大小
你知道怎样批量修改图片大小吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量修改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年12月05日查看详情 >pdf怎么转成jpg比较简单?还是这个一学就会!
pdf怎么转成jpg比较简单?小编通常会选择使用这款高效的图片格式转换工具来完成这个任务。过去,我们需要经历复杂的步骤和耗时的过程,但这款软件的转换速度非常快,能够完整地保留原始内容的格式。它非常适合日常处理格式转换问题,并且支持批量处理功能。只需将整个文件夹导入软件,并选择所需的JPG格式,即可轻松实现PDF到JPG的转换。
2024年03月22日查看详情 >png怎么转换jpg?这些方法值得一试
在生活中,我们经常都会用到图片的png格式和jpg格式,我们png怎么转换jpg呢。下面就为大家分享png转换jpg在线。
2023年01月05日查看详情 >照片怎么更改图片尺寸
怎么更改图片尺寸呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么#other#,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年06月08日查看详情 >png怎么转icon?快来试试这个超好用的方法
今天给大家分享一个图片格式转换工具,它就是我拉网旗下出品的一个软件,是一款专业的图片格式转换器,能够帮助我们将多种格式的图片进行转换,操作简单,上手容易,只要几步就能轻松的将png转icon,有需要的朋友可以试试看,下面以png怎么转icon例给大家演示一下。
2023年06月19日查看详情 >怎么样修改图片大小
怎么样修改图片大小呢?当我们的图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么修改图片尺寸,没关系,小编今天就给大家带来一款十分好用的图片处理工具,可以简单快速的修改成你想要的尺寸哦。
2022年12月23日查看详情 >不懂就问,png转jpg怎么做?
当需要将png转jpg格式文件时,我们可以用什么方法来进行转换呢?其实格式转换的方法有很多,想要简单快速处理这个问题,那么还得看专业的图片格式转换器,小编今天就来给大家讲讲png转jpg文件的方法步骤吧,需要的朋友快快收藏起来。
2022年03月14日查看详情 >全能PDF转换助手是免费的吗?网友:这下不用花钱也能用了!
全能PDF转换助手是免费的吗?在职场中,我们经常需要处理各种格式的图像和文档。面对格式不兼容的问题,重新创建文档并不是最有效的方法。这时,全能PDF转换助手就能大显身手,它能帮助我们轻松地将PNG格式的文件转换为JPG格式,实现真正的格式变换,而不仅仅是简单地更改文件扩展名。
2024年04月09日查看详情 >jpg转bmp的方法,你学会了吗
小编今天来给大家讲讲jpg转bmp格式的文件的方法,相信还有很多人不知道怎么jpg转bmp的,没关系,当你看到这篇文章时,那么你很快就会知道了,方法十分的简单,有需要的朋友快快学起来吧,一起往下看。
2022年12月02日查看详情 >怎样批量转png为jpg
png图片格式更适合编辑操作,由于png图片属于无损压缩,这方便相比于有损压缩的jpg格式更受美工小伙伴们的喜爱,但是png图片的内存占用普遍高于jpg图片。
2022年12月01日查看详情 >jpg转换成pdf用什么软件好?网友直呼:确实值得一试!
如果你正在寻找jpg转换成pdf用什么软件好?那么这款多功能的图像处理工具绝对值得一试。它不仅支持多种图像格式的转换,而且操作界面直观,转换过程迅速,即使是初学者也能快速上手。你只需将需要转换的JPG图像导入软件,选择PDF作为输出格式,即可启动转换过程。软件的批量处理功能还能让你一次性处理多张图片,大大节省了时间。
2024年04月25日查看详情 >怎么修改图片大小改为20k
你知道怎么修改图片大小改为20k吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量改图片大小时,使用改图片大小的软件工具无疑是最好的办法,下面就给大家推荐一下。
2022年12月05日查看详情 >你知道怎么png转jpg吗?
png图片格式更适合编辑操作,由于png图片属于无损压缩,这方便相比于有损压缩的jpg格式更受美工小伙伴们的喜爱,但是png图片的内存占用普遍高于jpg图片。
2022年11月30日查看详情 >怎样更改图片尺寸要保证清晰
当我们想要修改一张图片的尺寸时,应该怎么做呢?相信还有很多人不知道怎样更改图片尺寸要保证清晰的,其实想要修改图片的尺寸并不难,很多工具都可以用,但是我们往往要处理的不止是一张图片,而是多张,这种情况下,有个好用的修改图片尺寸的软件工具就很重要了。
2022年12月13日查看详情 >图片怎么批量修改图片大小
图片怎么批量修改图片大小?当很多图片太大需要修改一下尺寸时,该怎么办呢?相信很多人都不知道怎么批量修改,没关系,小编今天就给大家带来一款十分好用的图片大小批量修改器,可以简单快速的修改成你想要的尺寸哦。
2022年08月18日查看详情 >bmp转jpg的三个方法 网友:还是前两个适合我
BMP (Bitmap)和JPG (Joint Photographic Experts Group) 是最为常见的两种图片格式之一。BMP格式图像无压缩,保留了图像的每个像素点信息,因此质量较高。而JPG格式则采用有损压缩技术,能够在保持较高质量的同时,大大减小图像文件的大小,更适合网络传输和存储。因此,将BMP图像转换为JPG格式是一种常见的需求。
2024年05月23日查看详情 >你知道怎么批量修改图片的尺寸吗?
你知道怎么修改图片尺寸吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量更改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐一下。
2022年03月29日查看详情 >jpg可以转png吗 三种简便的jpg转png的方法
jpg可以转png吗?当然可以,而且方法还不止一个。除了很多人都知道的直接修改图片后缀名的方法外,大家还知道哪些jpg转png的简便方法呢?以下介绍了几种常用的软件工具和方法,帮助您快速完成jpg到png的转换。
2024年05月28日查看详情 >想知道怎么png转jpg,一定要看到最后
怎么png转jpg?在图片的保存中,有很多种格式,但有些软件却限定了只能用jpg.格式,那么转换格式便是一个大问题。今天介绍的是png转jpg在线。
2022年11月06日查看详情 >怎么把png改为jpg
怎么把png改为jpg?我们可以用什么方法来进行转换呢?其实格式转换的方法有很多,想要简单快速处理这个问题,那么还得看专业的图片格式转换器,小编今天就来给大家讲讲png转换成jpg最简单方式的方法步骤吧,需要的朋友快快收藏起来。
2022年07月20日查看详情 >什么手机软件可以修改图片尺寸
你知道什么手机软件可以修改图片尺寸吗?当我们想要指定的图片尺寸,但是又不知道怎么修改时,不妨看一下小编给大家介绍的方法,或许能帮助到你哦,当我们需要批量手机修改图片尺寸时,使用工具无疑是最好的办法,下面就给大家推荐手机修改图片尺寸app。
2022年08月09日查看详情 >这款jpg转icon软件也太神了吧
大家都知道icon是一种图标图片,和一般的图片相比,尺寸小体积也小,如果让我们将一张图片缩成icon的大小很容易就会压缩图片画质,所以要将高清jpg转icon,还是得用专业的图片格式转换软件,今天就来给大家讲讲jpg转icon图标的方法,相信会帮助到大家哦,一起来看看吧。
2022年03月17日查看详情 >图片转化为pdf格式免费软件哪个好用?网友:无疑是一个理想的选择!
如果你正在图片转化为pdf格式免费软件哪个好用,那么你需要的软件应该具备以下几个特点:首先,它应该易于使用,即使是初学者也能快速上手,无需复杂的学习过程;其次,它应该支持批量处理,可以一次性转换多张图片,大大提高工作效率;再次,它最好能够免费使用,不需要用户支付任何费用,即可享受高质量的转换服务;最后,它应该支持多种图片格式,以满足绝大多数办公场景的需求。小编推荐的这款软件便是如此,无疑是一个理想的选择。
2024年04月25日查看详情 >怎么把jpg转bmp
jpg转bmp其实很简单,只是很多人都不知道方法,所以看到这个问题的时候就会觉得很难,但是对于经久职场的朋友来说,这就是小菜一碟,想要将jpg图片转bmp图片,只要学会运用工具很快就能解决,那么有什么好用的转换工具吗?小编今天就来给大家推荐一款,一起来看看吧。
2022年02月28日查看详情 >png怎么批量转换成jpg?我用这2个方法,10秒就搞定了
不论是学习还是办公,图片文件应用范围也是非常大的,这其中最令人困扰的问题就是图片的格式太多了,很多都不是我们常用的JPG格式,那png怎么批量转换成jpg呢?下面我们就来分享两个简单的转换方法吧!
2023年05月25日查看详情 >摘要: 在日常工作和生活中,我们经常会需要将图片文件进行格式转换。比如,将jpg格式的图片转换为png格式的图片,是一种常见的需求。本文将介绍如何使用不同的软件或方法,来快速、简单地实现jpg文件转png文件的操作。
摘要: 哈喽大家好呀!我是每天疯狂赶稿的转转师妹~当我们需要用到某个格式的图片时,却发现手头上的图片是其他格式的,这时候我们就需要对图片进行格式转换的操作了。图片格式转换是我们日常生活和工作中比较常见的一个需求,相信大家都不会陌生。不过,现在市面上的图片转换软件有很多,在线图片改格式?今天我就来给大家分享一个简单又好用的图片格式转换软件,感兴趣的小伙伴可以接着往下看哦。
摘要: 免费图片转化格式?大家接触最多的图片格式都有啥?JPEG,JPG,BMP,GIF,PSD,PNG......等等。这些都是我们工作中有时会用到的图片格式,那么在使用的时候总会遇到需要转换格式的时候。比如说在网站上上传图片时,显示格式不支持,就很迫切的需要调整图片格式了。下面跟小编一起看看格式转换器,在线图片格式转换吧。
摘要: 在日常工作生活中都会用到图片,有时难免会遇到图片不符合格式要求的情况,比如图片大小,图片格式等等。这个时候就需要转换图片的格式,而有不少朋友不知道怎么转换图片的格式。这时小伙伴们就需要可以生成所需的图像格式,还可以修改图像大小。这里小编教你jpg怎么转换?
摘要: 有时候我们需要批量将图片转换格式,一张张手动改明显不现实。今天我们将介绍几个常用的软件或方法,用来实现批量的图片格式转换。
摘要: 怎么把照片的jpeg格式转换成jpg格式?大家应该会发现有些网站对图片格式有一定的要求,所以我们在上传图片文件之前,需要将图片的格式进行转换后才能顺利上传。那你们知道图片格式转换工具有哪些吗?下面我就来给大家介绍jpeg转换成jpg步骤,有兴趣的小伙伴就来看看吧! jpeg转jpg有在线操作和客户端操作两种方法,下面我们来逐一详细的讲解一下。
摘要: 图片格式怎么转换jpg?图片转换格式是非常常见的操作之一,特别是将图片转换成JPEG格式(.jpg)。在本文中,我们将讨论几种应用程序来帮助你完成这个任务。
摘要: .jpg是使用JPEG格式压缩的图片文件最普遍的扩展名格式。JPEG( Joint Photographic Experts Group)即联合图像专家组,是用于连续色调静态图像压缩的一种标准,文件后缀名为,jpg或,jpeg,是最常用的图像文件格式。
摘要: 图片怎么转换为jpg?格式转换工具咱们分享过不少了,针对各种图片格式、视频的都有。今天咱们要分享的是一款老牌格式转换工具,格式工场的绿化版。它支持多种图片格式的转换。下面一起看看吧
摘要: 怎么把图片格式转换JPG?很多人在日常处理图片的时候经常会遇到显示图片格式不正确、打不开等情况。为什么呢?因为图片实际上有很多种格式,用于不同的显示环境。如果不选对格式,图片可能就不好处理。怎么把图片格式转换JPG?今天带来2个方法教你如何进行图片转换。
摘要: 哈喽大家好呀!我是每天疯狂赶稿的转转师妹~当我们需要用到某个格式的图片时,却发现手头上的图片是其他格式的,这时候我们就需要对图片进行格式转换的操作了。图片格式转换是我们日常生活和工作中比较常见的一个需求,相信大家都不会陌生。不过,现在市面上的图片转换软件有很多,在线图片改格式?今天我就来给大家分享一个简单又好用的图片格式转换软件,感兴趣的小伙伴可以接着往下看哦。
摘要: 免费图片转化格式?大家接触最多的图片格式都有啥?JPEG,JPG,BMP,GIF,PSD,PNG......等等。这些都是我们工作中有时会用到的图片格式,那么在使用的时候总会遇到需要转换格式的时候。比如说在网站上上传图片时,显示格式不支持,就很迫切的需要调整图片格式了。下面跟小编一起看看格式转换器,在线图片格式转换吧。
摘要: 有时候我们需要批量将图片转换格式,一张张手动改明显不现实。今天我们将介绍几个常用的软件或方法,用来实现批量的图片格式转换。
摘要: 在日常使用电脑时,我们经常会遇到需要转换图片格式的情况。其中,jpg转png 是比较常见的一种转换方式。那么,许多人都好奇,jpg转png 会不会造成图片质量损失呢?接下来我们就来探讨一下。 jpg是一种有损压缩的格式,它可以有效地减小图片文件大小,但在压缩过程中会丢失一定的像素信息。而png则是一种无损压缩的格式,保留了更多的像素细节,但文件大小相对
摘要: 在日常生活和工作中,我们经常会遇到需要将图片格式进行转换的情况,特别是将JPG格式的图片转换为其他格式。为了帮助您高效地完成这一任务,本文将向您推荐三款优秀的JPG图片格式转换器软件,它们提供了简单易用的操作界面和强大的转换功能,能够满足您在图片格式转换方面的各种需求。
合作伙伴