刷卡门禁程序的编写可以根据不同的硬件和软件平台有所不同，但大体流程是相似的。以下是一个基于TIA Portal的刷卡门禁程序的基本框架，这个例子使用了PLC（可编程逻辑控制器）的编程语言。
```pascal
PROGRAM DoorControlSystem
VAR
// 输入
Card_ID: DINT； // 读卡器输入的卡号
Open_Button: BOOL； // 手动开门按钮
// 输出
Door_Lock: BOOL； // 控制电磁锁的输出
Alarm: BOOL； // 报警输出
// 变量
Authorized_Cards: ARRAY[1..10] OF DINT := [123456789, 987654321, ...]； // 允许的卡号列表
Card_Valid: BOOL := FALSE； // 卡号是否有效
END_VAR
// 主程序
IF Open_Button THEN
// 手动开门
Door_Lock := FALSE； // 打开电磁锁
ELSE
// 读卡
Card_ID := %Input0.0；
IF Card_ID IN Authorized_Cards THEN
Card_Valid := TRUE；
IF Door_Lock THEN
// 如果门已经是打开的，则不执行任何操作
ELSE
Door_Lock := TRUE； // 打开电磁锁
// 可以在这里添加其他开门后的操作，例如触发报警
END_IF
ELSE
Card_Valid := FALSE；
Alarm := TRUE； // 触发报警
END_IF
END_IF
```
这个程序首先定义了一些变量，包括输入和输出。然后，它检查手动开门按钮是否被按下，如果按下，则打开电磁锁。如果没有按下手动按钮，则程序会读取读卡器的卡号，并检查该卡号是否在允许的卡号列表中。如果卡号有效，则打开电磁锁；如果卡号无效，则触发报警。
请注意，这只是一个基本的示例，实际的程序可能需要更多的错误处理和功能，例如卡号注册、删除、修改，以及与其他系统的集成等。此外，具体的编程语言和库函数可能会根据所使用的PLC型号和编程环境的不同而有所变化。