论文部分内容阅读
本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架，基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ。
一个面向对象的二级并发模型
【摘 要】
：
本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架，基
【机 构】
：
长沙工学院计算机系
【出 处】
：
软件学报
【发表日期】
：
1994年9期
【基金项目】
：
国家自然科学基金
其他文献
高校图书馆勤工俭学队伍已经是图书馆工作中一支不可缺少的队伍。这支队伍的制度化建设,既有利于图书馆管理和服务升级,又有利于勤工俭学学生自身的发展。本文从图书馆招聘,
2009年我区普通高考评卷、登分工作顺利结束，高考成绩6月25日公布。据统计，今年，我区参加普通高考的考生人数为17849名，其中少数民族考生15141名。根据数据统计，文科少数民族考生
多媒体教学在现代英语教学中起着越来越重要的作用，其手段的直观性、内容的丰富性，最大限度地满足了英语教学的要求，为提高学生听、说、读、写能力，提高学生获取信息和处理信息的
近年来，我区小学英语教育取得了长足的发展。但是，同内地小学生相比，我区的小学生无论是用英语交流，还是与他们同台竞技，都明显存在差距（表现在词汇量、知识面、口语的流利程度、大
随着社会大环境的变迁和高等教育改革的深入推进，高校新生工作出现了很多新现象、新问题，工作压力和难度不断增大，给高校学生工作部门提出了新的课题。面对挑战，很多高校都在积极
作文历来是令学生头疼的事。以往的作文课，都是语文老师先讲解作文题目，讲明写作要求，然后就是学生绷着脸、皱着眉，一副冥思苦想的样子；要不就是翻看优秀作文选，查找自己的摘抄，从中
根据市场经济谁收益谁付款的基本原则，民办高等教育的受益者众多，包括政府、受教育者个人和家庭、纳税人或工商企业及民办高校自身等。因此上述几个方面则构成了民办高等教育成
随着农村城市化进程的加快，城区图书馆也面临着为农村文化建设服务的新课题。文章论述了城乡结合地区图书馆服务新农村文化建设的对策。探讨了未来服务农村文化建设的方向。
本文对Ｏｒａｃｌｅ图灵机在接受计算中的查询次数加以限制，并且得到结果：存在无穷多个非多等价的递归集Ａ，Ｂ，Ａ＇，Ｂ＇，Ａ＇＇，Ｂ＇＇，Ａ＇＇＇，Ｂ＇＇＇，它们满足性质：Ｐ（Ａ，ｑ）＝Ｐ（Ａ，ｑ＋１），Ｐ（Ｂ，ｑ）≠Ｐ（Ｂ，ｑ＋１），ｐ（Ａ＇，ｑ）＝Ｐ（Ａ＇），Ｐ（Ｂ＇，ｑ）≠Ｐ（Ｂ＇），ＮＰ（Ａ＇＇，ｑ＋１），ＮＰ（Ｂ＇＇，ｑ）≠ＮＰ（Ｂ＇＇，ｑ＋１），ＮＰ（Ａ＇＇，ｑ）＝ＮＰ（Ａ＇＇），ＮＰ（Ｂ
重症急性呼吸综合征(SARS)自暴发至今,已经造成数百人死亡、数百亿美元的经济损失.在同SARS斗争的同时,应该想到生物技术发展对人类产生的双重效应,以及如何防止生物科学新突