【摘 要】
：
In this paper,we present an object-oriented design method for real-time muhitask systems using formal languages. We describe the whole development process of re
【机 构】
：
电子科技大学计算机科学与工程学院,成都,610054
论文部分内容阅读
In this paper,we present an object-oriented design method for real-time muhitask systems using formal languages. We describe the whole development process of real-time muhitask software from requirement analysis to system designing,targeting and testing. Finally, we illustrate the method by means of an example.
其他文献
2005年的中国房地产界吸引了足够多的眼球与口水,在开发商的心在房价的降与不降,反弹与不反弹中起起伏伏之时,“建造可持续发展的建筑”成为他们紧紧抓住的救命稻草.在这一年
胶清橡胶是用制造离心法浓缩胶乳时分离出来的胶清,经凝固、压片或造粒和干燥而制成。胶清含橡胶约3%～7%,其中以细小的橡胶粒子为主;非橡胶物质含量很高,其中许多是蛋白质,铜
糖尿病是一种多见的内分泌性疾病,本人对112例糖尿病人进行了系统的全方位护理及健康教育,使病人血糖控制良好,减少了并发症的发生,使病人增强了生活信心,提高了生活质量.
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
健康教育是指导人们建立科学的生活方法,通过教育手段,把与身体健康密切相关的卫生科学知识普及到人群中去,提高自我保健能力,对疾病做到早发现、早治疗、早预防.随着住院病
随着市场经济的快速发展以及金融市场的不断完善，融资需求也在逐渐的膨胀。而股权质押作为高度发达的商品经济市场中诞生的产物，有着其独到的融资优点。但是，因为我国金融市场相对比较落后，与之配套的股权质押制度与法律跟不上市场的变化。加之股权本身的价值又处在不断的波动当中，这些因素使得股权质押在操作上具有极高的风险。本文通过研究股权质押在实际操作过程中遇到的一系列问题进行研究，研究股权质押风险的类型与特征从
健康教育是指导人们建立科学的生活方式、学会利用健康知识检查设施,对疾病做到早发现、早治疗,采取措施早预防.rn1 门诊病人的特点rn1.1门诊病人的流动性大rn1.2门诊病人相
近年来,大棚设施西瓜面积不断扩大,改地换棚难,成本高,从而越来越多的大棚西瓜进行重茬种植,西瓜枯萎病发生严重,对瓜农造成重大经济损失,利用嫁接西瓜苗及一些配套技术进行
近日,国务院总理温家宝主持召开国务院常务会议,研究部署做好秋冬季甲型H1N1流感防控工作.rn会议强调,根据当前疫情发展的特点、趋势和我国的实际情况,下一阶段要在内防扩散
一、基本情况rn洪河洼地位于阜南县方集、 洪河桥等八个乡镇境内.洼地面积223km,耕地面积19.95万亩, 作物播种面积19.95万亩,水产养殖面积2.03万亩,总人口16.23万,其中农业人