将上传的图像从jpeg转换为png

Question

我来到PHP时有点新手，但想知道你们中是否有人可以帮助我。我有一个文件将图像上传到我的数据库，其中大部分是jpeg的，但我希望它们在上传时转换为png文件。我一直在看imagepng函数，但似乎无法找到如何将其插入到我的代码中。如果任何人可以帮助我将非常感激。我的代码是：

<?

if(isset($_POST['s1']))
{

$qset = "select frontimg1 from cat";
$rset = mysql_query($qset) or die(mysql_error());
$aset = mysql_fetch_array($rset);
unset($aset);

    $_POST['Welcome'] = addslashes($_POST['Welcome']);

    $ImageName = $_FILES['images1']['name'];
    if(!empty($ImageName))
        {
    $t = time();
    $NewImageName = "$t$ImageName";
    copy($_FILES['images1']['tmp_name'], "../assets/img/carousel/$NewImageName");
    $q1 = "update cat set 
                    frontimg1='$NewImageName'";             
        }
    mysql_query($q1) or die(mysql_error());

    echo "<div class=alert fade in><b>Website settings was updated successfully!</b>           </div>";
}