论文部分内容阅读
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.
NetConf查询操作的形式化模型
【摘 要】
：
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.
【机 构】
：
北京邮电大学
【出 处】
：
大连理工大学学报
【发表日期】
：
2005年z1期
其他文献
网关认证主要用于认证从本地网络访问外部网络的用户,这要求所有的网络访问请求必须穿过网关系统.为了改善网关认证过程的友好性,在网关系统中增加了特别针对HTTP访问请求的
浅谈中央银行国库职能的深化马圣文国库既是办理国家预算收支业务的机构，又是中央银行的一个重要职能部门，因此，国库工作是国家预算管理和中央银行宏观调控的重要基础工作，财政金
基于细观有限元弹性应变梯度理论,首次提出应变梯度有限元的C0-1分片检验条件及其变分基础和一种构造应变梯度单元的方法.与常规的C0分片检验和C1分片检验不同,C0-1分片检验
网络测量技术已成为当前互联网技术研究的热点之一. 时钟误差是网络测量中最主要的直接误差来源. 传统网络测量技术重视修正和提高时钟精度,但忽视了测量中客观误差对结果的影响,这种做法不适用于对高速网络的分布式协同测量中的误差进行定量描述. 基于此,结合误差分析理论和网络被动测量的具体特点,提出了针对单点双信道被动测量系统的一般性时钟误差概率模型,引入误差不确定度来定量描述协调测量结果的精确度和合理性.
在气候炎热的澳大利亚,人们惊讶地发现海平面上出现了一座巨型冰山!它漂浮在海面上,缓缓向麦考利岛逼近。科学家们对这个“不速之客”进行了研究,弄清楚了它的来历。冰山来自遥远的南极,它随着洋流缓慢向北漂移,最终来到了这里。 奇怪,南极冰山为什么不乖乖呆在自己的“家园”,而要四处“出逃”,甚至千里迢(tiáo)迢地漂到一个温暖的海域呢? 如果大家对冰山有一些了解,也许就能解开这个谜底了。冰山是南极的一
目的:测定还五溶栓胶囊中黄芪甲苷的含量.方法:硅胶G薄层板,氯仿-甲醇-水(13:6:2)10℃以下放置过夜的下层溶液展开,λS=530nm,λR=700nm.结果:线性范围1.92～9.60μg,97.43%,RS
在MTS810电液伺服万能试验机上对47个哑铃形混凝土试件进行了不同应变速率(10-5～10-0.3 s-1 )下的直接拉伸试验,系统研究了两种湿度、两种温度混凝土在不同加载速率下抗拉强度
目的观察瑞芬太尼复合丙泊酚靶控输注用于老年患者结肠镜检查的效果及安全性。方法结肠镜检查老年患者56例，随机分为丙泊酚组（P组）和瑞芬太尼与丙泊酚组（RP组），每组28例，P组丙泊酚以