Sober相关论文
Domain理论是D.S.Scott在70年代初提出来的,它给计算机函数式语言提供了指称语义.序结构和拓扑结构是在Domain理论中占据重要地位......
目的探讨小剂量瑞芬太尼复合丙泊酚麻醉用于老年高血压患者清醒状态下无痛肠镜检查的安全性、可控性、可行性。方法回顾性分析60例......
概括了《第二十二条军规》中各种疯癫人物和清醒之士，指出被公认为是“疯子”的约塞连正是清醒的有识之士，而各种形形色色的“精英们......
1945年发表的短篇小说<荷花淀>奠立了孙犁在现当代文学史上的地位.经历十年病痛,十年浩劫,从1976年12月重新走上文坛到2002年7月谢......
在国外纤维胃肠镜检查中普遍使用镇静药，近年来在国内纤维胃肠镜检查中也开始使用无痛的方法进行检查，但是患者都处于意识消失睡眠状......
引入了拟C-连续偏序集的概念，利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格．证明了满足性质M的dcpo上......
