论文部分内容阅读
本论文从实践LOTOS语言的角度出发，采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。
LOTOS在网关体系结构设计中的应用
【摘 要】
：
本论文从实践LOTOS语言的角度出发，采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。
【机 构】
：
厦门理工学院计算机科学与技术系
【出 处】
：
电脑与电信
【发表日期】
：
2007年6期
其他文献
科学已从象牙之塔融入现实生活之中，现代人类的生活须臾离不开现代科学所带来的高新科技成果。电视在传播科技知识，进行科技教育方面有着极大的优势，电视本身就是高科技、高思维
乐凯华光印刷科技有限公司2014年首期技术论坛于3月20日开课，4位科研人员介绍了华光新产品研发进展情况，探讨了高分子材料及功能化合物、仪器分析在胶印版材中的应用等。乐凯华
1我国除草剂产销两旺自我国加入WTO以来,农业种植结构及经营模式都发生了很大变化,种植业向扩大高附加值农产品生产方向发展,如蔬菜、水果、花卉、中草药材等。经营模式也从
化工生产过程中必然会有三废产生,这是不可避免的事。但是如何将化工生产过程中产生的有害三废转化为有用的化工原料,如何由"排污治污"的初级阶段向"循环利用"的高级阶段发展
2008年占据着中国杀虫剂市场半壁江山的华东、华南、华中和西南市场,由于预期中大爆发的水稻虫害发生微乎其微,导致一大批杀虫剂企业形成了过亿的产品库存和退货。而目前,200
江苏卫视经过几个月的筹划，于2001年9月初推出一个大型综艺娱乐节目《天天90分》。该节目以一周为周期每天一档90分钟，七天七种节目样式，并按每天的特色冠以不同的节目名称，正如
眼下，五花八门的信息滚滚涌来，中国文化娱乐业，正受到社会普遍关注，其热度不断升温。首播于1999年7月1日的《中国娱乐报道》(今已改名为《娱乐现场》)独沽一味，首度全面关注这一“
北方地区保护地种植在农业生产中占有重要位置,由于保护地面积有限,栽培作物种类单一,长年连作导致土传病菌增多,土壤中微生物的生态平衡受到破坏,影响作物的正常生长发育,抗
张杂谷8号是河北省张家口市农科院谷子研究所育成的高抗性杂交谷子新品种。该谷子品种适宜夏播和晚春播，夏播生育期90d左右，幼苗深绿色，根系发达，茎秆粗壮，叶片宽厚，生长势强，抗病性