使用HAL库函数完成直流电机PWM调速控制实验，要求程序下载并运行后，直流电机转动，K1按下电机加速，K2按下电机减速。4个数码管显示转速。给出hal函数代码

在使用HAL库函数进行直流电机PWM调速控制实验时，首先需要确保你正在使用的硬件平台支持HAL库，并且你的开发环境已经配置好该库。以下是一个基本的示例，展示了如何使用STM32 HAL库进行直流电机的PWM控制，并结合按键和数码管显示转速。由于这里无法直接提供完整的代码，我会给出核心部分的结构和必要的函数调用：

#include "stm32f1xx_hal.h"
#include "leds.h" // 假设这是你的数码管驱动头文件

// 定义电机速度变量和PWM通道
uint16_t motor_speed = 0;
GPIO_TypeDef* pwm_gpio = GPIOA; // 这里假设PWM信号连接到GPIOA
uint16_t pwm_channel = 5; // PWM定时器通道

// 按键回调函数
void K1_IRQHandler(void) {
    if (GPIO_ReadPin(&pwm_gpio, GPIO_PIN_2)) { // 假设K1连接的是GPIO_PIN_2
        motor_speed += 10; // 加速10单位
    }
}

void K2_IRQHandler(void) {
    if (GPIO_ReadPin(&pwm_gpio, GPIO_PIN_3)) { // 假设K2连接的是GPIO_PIN_3
        motor_speed -= 10; // 减速10单位
    }
}

// 更新电机速度并生成PWM波形
void UpdateMotorSpeed(void) {
    uint16_t duty_cycle = (motor_speed * PWM_MAX_DUTY_CYCLE) / MAX_SPEED;

    HAL_TIM_PWM_ConfigChannel(hTim2, &htim_pwm.Instance, TIM_PulseMode_WIDTH CenterAligned);
    HAL_TIM_PWM_SetCompare(hTim2, pwm_channel, duty_cycle);

    // 显示转速到数码管
    DisplaySpeedOnDigitals(motor_speed);
}

int main(void) {
    // 初始化硬件资源，包括GPIO、TIM等
    // ...

    __HAL_RCC_TIM2_CLK_ENABLE(); // 启动PWM定时器

    // 配置按键中断服务
    // ...
    HAL_NVIC_EnableIRQ(K1_IRQn); // 开启K1中断
    HAL_NVIC_EnableIRQ(K2_IRQn); // 开启K2中断

    while (1) {
        UpdateMotorSpeed();
    }
}