设[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]是幺环，[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]是[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]模，证明有[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]到[tex=2.857x1.0]gZKKn8bx7SReTyueuBzyNw==[/tex]的同态[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]，使[tex=4.071x1.357]8UEKPVSSj2+e/+BjOHZHQV3Qkso2t11O8sy3dSx5nBg=[/tex]。

设计一个体育比赛中常用的数字跑表。它是通过两个按键来控制计时开始和停止，一个是清零控制按键[tex=2.5x1.286]TsnVKywAWEahjBa9eXckew==[/tex](简称[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键),另一个是 [tex=4.857x1.286]t+J9kFXGQarWpq6ZBUTyHQ==[/tex]控制按键(简称[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]键),其工作过程如下:开始时[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键使跑表为零初始状态。在R键无效的时候,按一下[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]键则计时器开始计时,在此计时状态下,按一下[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]键暂停计时,再按一下[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]键则继续计时,并且这一过程可由[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]键控制重复进行。如果在暂停状态按一下[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键,跑表被清零。如果在计时状态下,按一下[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键则暂停计时,再按一下[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键则继续计时,并且这一过程也可由[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键控制重复进行。当按[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]键使计时暂停时,再按[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]键不起作用。要求跑表的计时范围为[tex=8.857x1.214]LLYBIUXYnIYJSgKNm0S2Kkm5HCcSnghprZdWynD0O2Y=[/tex]计时精度为[tex=2.571x1.286]/1L1Ih/Lrt+jf9IqFA6WvQ==[/tex]跑表的输出能够直接驱动共阳极[tex=0.571x1.286]016Eoz4zh4B83vMLqRMHsw==[/tex]段数码管显示。输入信号的频率为[tex=2.857x1.286]mPqtJh9pj+2h6ukPyItFRg==[/tex]。画出控制单元的[tex=2.5x1.286]TxesOmEcmOCAczX+s49Wdw==[/tex]图及状态图。[br][/br]

若事务[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]对数据对象[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加上[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]锁，则 未知类型：{'options': ['事务[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]可以读[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]和修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他事务只能再对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]锁，而不能加[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]锁', '事务[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]可以读[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]但不能修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他事务能对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]锁和[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]锁', '事务[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]可以读[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]但不能修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他事务只能再对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]锁，而不能加[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]锁', '事务[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]可以读[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]和修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他事务能对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]锁和[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]锁'], 'type': 102}

若事务[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]对数据对象[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加上[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]锁，则 未知类型：{'options': ['只允许[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他任何事务都不能再对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加任何类型的锁', '只允许[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]读取[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他任何事务都不能再对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加任何类型的锁', '只允许[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]读取和修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他任何事务都不能再对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加任何类型的锁', '只允许[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]修改[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]，其他任何事务都不能再对[tex=0.786x1.286]pi/GsQ3apuRt43V3XQq/tA==[/tex]加[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]锁'], 'type': 102}

已知“有些[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]不是[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]”为真，请用欧拉图表示[tex=0.714x1.286]yQZEV57S9rHjYvgfJydTyg==[/tex]和[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]之间的各种关系，并举出实例。