论文部分内容阅读
该文给出一个超媒体系统模型的Ｚ语言规格说明，并在其基础上用程序形式化开发方法在多媒体开发工具Ａｕｔｈｏｒｗａｒｅ（ｖ２·０）中加进超媒体演示平台的功能。
一个超媒体系统的形式化规格说明及实现的研究
【摘 要】
：
该文给出一个超媒体系统模型的Ｚ语言规格说明，并在其基础上用程序形式化开发方法在多媒体开发工具Ａｕｔｈｏｒｗａｒｅ（ｖ２·０）中加进超媒体演示平台的功能。
【机 构】
：
大学数学科学系
【出 处】
：
第六届全国青年计算机工作者会议
【发表日期】
：
1996年期
其他文献
目的：观察新型超脉冲ＣＯ〈，２〉激光行皮肤除皱手术的效果。方法：用超脉冲ＣＯ〈，２〉激光行皮肤除皱手术，观察手术效果及并发症。结果：行下睑皱纹、鱼尾纹、额部皱纹及面颊部皱纹除皱术共８２例，取
对于腋臭的治疗，以往多采用电针、冷冻、手术等方法。因腋窝是腋动脉、静脉及臂丛神经所在之处，因此手术存在一定危险性，且手术创伤大，术后瘢痕形成使上肢活动受限。电针、冷冻疗
该文总结了该中心采用超脉冲ＣＯ〈，２〉激光治疗阻塞性睡眠呼吸暂停综合征１０８０例的术中配合与护理经验：（１）术前准备：消除病人紧张情绪。严格掌握手术适应证，严格执行“三查七对”。准备好手术
目的：观察新型超脉冲ＣＯ〈，２〉激光用于眼袋成形手术的结果。方法：选择脂肪疝型眼袋患者，用该激光行结膜囊内切口眼袋成形术。结果：眼袋成形手术共１０７例，均一次手术成功，获得满意的效果。结
【摘 要】 原发性三叉神经痛是神经科常见的难治性疾病，西医治疗存在疗效不稳定、副作用较大、易反复发作的问题，严重困扰患者的日常生活，中医药治疗具有见效较快、疗效持久、副作用小、复发风险低的特点。文章总结吴辉副教授治疗原发性三叉神经痛的临证经验，吴辉副教授认为本病病机为肝经湿热，上扰头面导致的发作性疼痛，且原发性三叉神经痛的痛域分布与足厥阴肝经在头面部的循行有诸多相似之处。临床应用龙胆泻肝汤加减，以
该文提出一个基于语义约束的超媒体系统模型。模型中，表达节点间联系的数据同媒体数据分离，网络节点间采用统一的热链连接，热链中含有语义约束；在上述模型的基础上，实现了一个超媒
文章总结了欧阳晓勇教授治疗血筋箭的临证经验,其认为阴血不足,阴不制阳,阳亢于上,相火妄动犹蟠龙上冲天宫,燔灼阴血,阴血沸腾,血热妄行,脉络扩张,气血纵横,结聚成瘤,是本病