ABS刹车辅助系统是一种先进的汽车制动装置，可保证车轮在制动时不被抱死，使车轮仍有一定的滚动，安装了这种防抱死装置的汽车，在紧急刹车时可获得比车轮抱死更大的制动力，从而使刹车距离大大减小，假设汽车安装防抱死装置后刹车制动力恒为F，驾驶员的反应时间为t，汽车的质量为m，汽车刹车前匀速行驶的速度为v，试推出驾驶员发现情况后，紧急刹车时的安全距离s的表达式.

下面程序的功能是将一个字符串sfr的内容颠倒过来，请填空。
#include＜string.h＞
main()
int i，j， (13) ；char str[]="1234567"；
for(i=0，j=strlen(str) (14) ；i＜j；i++，j--)
k=str[i]；str[i]=str[j]；str[j]=k；
printf("%s\n"，str)；