基于会合关系的Ada程序并发复杂性度量

来源 :自然科学进展:国家重点实验室通讯 | 被引量 : 0次 | 上传用户:lanrong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
多任务程序的并发性表现为任务之间的通讯和同步行为。对Ada程序而言就是任务之间的会合。理解并发程序的难度也就在理解其中的会合和会合之间的关系。
其他文献
25例肺出血型钩端螺旋体病的观察及护理中国人民解放军第175医院黄美琼,罗静萍钩端螺旋体病(钩体病),是一种自然疫源性急性传染病,因接触含有钩端螺旋体的鼠或猪尿污染的水而感染。其中
通过培养适应温州地区汽车服务行业人才为目标,提出"依托温州地方资源,创建适应温州特色的汽车服务工程专业"的培养模式。通过挖掘温州地区资源,在师资队伍、教学方法、专业课
一般来看,国际上与会计审计职业相关的称谓大致有:注册会计师(certified public accountant,简称CPA),特许会计师(charted accountant,简称CA),公共会计师(publica ccountant
分析外商直接投资对我国轿车行业市场结构的影响,指出由于进入我国市场的跨国公司竞争加剧,使市场集中度有下降的趋势,尤其是我国加入WTO以后,这种下降趋势更明显,但外商投资最终
美国大学的技术转移机构承担将技术成果向社会转移的任务,取得巨大的成就。技术转移机构的专利许可工作程序完整、设置科学,值得中国大学技术转移机构借鉴。中国大学要在保持大
民族地区地方重点实验室是国家和地方构建科技创新体系的重要组成部分,是组织高水平基础研究、应用基础研究的平台,是聚集和培养优秀人才、开展学术交流的重要基地,是沟通科研成
我国即将加入世界贸易组织,这标志着我国改革开放将进入一个新阶段.入世必将对我国会计市场和注册会计师行业产生深刻影响,对此已有许多专家学者做过论述.
摘要:【目的/意义】作为大众认知上引领国内民宿行業发展旗手的“高端民宿度假地”莫干山民宿,因“洋家乐”形成了较强的地区品牌效应,但在国内民宿市场经历变革和整合的背景下,同样面临着激烈的市场竞争、区域品牌损伤等问题。为此研究莫干山民宿区域品牌发展战略,是迎合旅游消费市场对住宿的品质需求及回归乡村的精神需求、提升莫干山区域民宿影响力和竞争力的有效手段。【方法/过程】基于产业集群的视角,分析产业集群与区
本文用量子MontoCarlo方法中优化试探波函数Ψ_T计算氢分子H_2基态(X~1∑_g~+)势能曲线.文中采用相当简单的波函数形式,并用固定样点优化技术优化试探波函数的参数.确定优化
文章对造成会计诚信危机的原因进行了分析,并对如何加强会计诚信建设提出了建议,认为要建立良好的会计诚信,除了加强会计行业管理外,更重要的是要提升诚信在全社会道德范内的