论文部分内容阅读
食管上部梗噎是何因?
【出 处】
：
解放军健康
【发表日期】
：
1997年6期
其他文献
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术，可用于大部分协议的关联属性的分析；但是与Strand空间模型一样，它主要用于协议正确性证明，在
目的：构建无标记的鲍曼不动杆菌pil O基因缺失突变株,通过表型鉴定pil O基因缺失对鲍曼不动杆菌运动能力的影响。方法：PCR扩增pil O基因上下游各1 kb同源臂,连接至p MO130-TelR
研究了全局未知静态复杂环境下多机器人运动的导航问题，提出了一种新颖的蚂蚁导航算法，该方法将全局目标点映射到机器人视野域边界附近作为局部导航子目标，再由两组蚂蚁相互协作
3月10日,为深入贯彻落实公司2018年关于应急管理工作的决策部署,白鹤滩项目部从实际出发,坚持预防与应急并重、常态与非常态结合,以加强应急基础为重点,以提高突发事件处置能
在软件体系结构（software architecture,简称SA）设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常
<正>第1期一种扩展了价格信息的时间Petri网……………………刘显明李师贤李文军潘理(1)时间约束Petri网及其可调度性分析与验证…………………………宋巍窦万春刘茜萍(11) P
期刊
基于Bézier三角曲面的deCasteljau算法，同时运用一些恒等式和基本不等式，给出了两类有理Bézier三角曲面片低阶导矢的上界．第一类上界是用控制顶点凸包直径表示的，在一
主要介绍RCC重力坝差阻式温度计安装与监测。为了解RCC重力坝施工期、运行期的变形情况,及时掌握水工建筑物性态变化,及时发现异常情况,及时采取补救措施,防止事故发生,为指
随着实时系统越来越多地应用于各种快速更新系统，尤其是各种片上系统，如PDA（personal digital assistant），PSP（play station portable）等，性价比已成为系统设计者的主要关注点．实际应