使用8051单片机，设计一个程序，按键按下完成指定功能。需完成功能如下： （1）按下按键K1，LED灯亮灭状态反转； 要求：程序启动时，LED灯处于开启状态。 （2）按下按键K2，数码管显示数字+2； 要求：a.程序启动时，数码管显示数字1； b.当数字加到9回到1。

在设计一个使用8051单片机的程序时，你需要考虑硬件连接、初始化设置、中断管理以及主要功能逻辑。以下是一个基本的设计思路：

1. 初始化设置：
- 将LED灯对应的单片机端口设置为输出模式。
- 将按键K1和K2对应的单片机端口设置为输入模式，并且配置内部上拉电阻。
- 初始化数码管显示为1。

2. 主程序流程：
- 程序启动时，首先点亮LED灯，设置数码管显示为1。
- 进入一个无限循环，在循环中不断检查按键状态。

3. 按键处理：
- 对于按键K1，可以通过检测端口状态的改变来实现LED灯的亮灭状态反转。在检测到按键K1按下后，可以使用软件消抖，然后反转LED灯的状态。
- 对于按键K2，同样需要检测按键状态的改变，当检测到K2被按下时，数码管的显示值加2。要考虑到数码管显示值从9加到10时应该回到1，实现一个循环计数。

下面是一个伪代码示例：

#include <REGX51.H>

#define LED P1 // 假设LED连接在P1端口
#define K1 P3_0 // 假设K1按键连接在P3.0
#define K2 P3_1 // 假设K2按键连接在P3.1

void delay(unsigned int ms) {
    // 实现毫秒级延时的函数
}

void main() {
    unsigned char display_value = 1; // 数码管初始值设为1
    LED = 0xFF; // 启动时LED灯亮
    while (1) {
        if (!K1) { // 如果检测到K1被按下
            delay(20); // 消抖
            if (!K1) { // 再次检查确保消抖后按键确实被按下
                LED = ~LED; // 反转LED灯状态
                while (!K1); // 等待按键释放
            }
        }
        if (!K2) { // 如果检测到K2被按下
            delay(20); // 消抖
            if (!K2) { // 再次检查确保消抖后按键确实被按下
                display_value = (display_value + 2) % 10; // 加2后对10取模，实现循环计数
                // 更新数码管显示的代码（需要根据具体硬件来编写）
                while (!K2); // 等待按键释放
            }
        }
    }
}

注意：这只是一个基本的示例，实际编写时需要根据具体的硬件连接和单片机型号来调整端口和操作方式。另外，数码管显示的具体实现取决于你使用的数码管类型（共阴或共阳）以及连接方式（直接驱动或通过译码/驱动芯片）。