论文部分内容阅读
ＳＳＡＣ是一个基于软件科学法的Ａｄａ程序复杂性度量工具，其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ａｄａ程序中并发操作符和并发操作元的定义和识别。同时提出在Ａｄａ程序复杂性综合度量中，并发复杂性的加权思想。
SSAC,一个基于软件科学法的Ada程序复杂性度量工具
【摘 要】
：
ＳＳＡＣ是一个基于软件科学法的Ａｄａ程序复杂性度量工具，其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ａｄａ程序中并发操作符和并发操作元的定义和识别。同时提出在Ａｄａ程
【机 构】
：
武汉数字工程研究所
【出 处】
：
计算机与数字工程
【发表日期】
：
1998年2期
其他文献
随着全球LNG工业的快速发展，其对应的关键设备潜液泵也得到快速发展。通过综合比较国内国外LNG潜液泵的发展现状，分析了潜液泵的结构特点，指出了当前潜液泵发展的技术难点，讨论分
近期，针对4K和HDR演播室和现场节目制作，索尼推出了一款入门级系统摄像机，这一系统是由刚刚推出的OHXC—FB80便携式摄像机与HXCU—FB80摄像机控制单元（CCU）组建而成的，它们基于3G—
单纯疱疹病毒（herpes simplex virus，HSV）是一种严重危害人类健康、引起皮肤病和性病的常见病原体，HSV-1最常见的感染部位是口腔和唇，HSV-2主要通过性传播。单纯疱疹病毒性乳腺炎
本文介绍了以ＰＩＣ１６Ｃ７３单片机作为中心智能部件对ＧＤＸ１、ＧＤＸ２包装机上存在的缺包、缺纸进行在线检测及跟踪剔出的小型实时控制系统。
目的探讨磁共振技术液体衰减反转恢复序列（fluidattenuatedinversionrecovery，FLAIR）和氢质子MR波谱（1H—MRspectroscopy，1HMRS）在非典型弥漫性轴索损伤（diffuseaxonalinjury，DAI）临床
2017年1月6日,中国通用机械工业协会（以下简称中通协）和中国机械工业联合会在北京联合组织召开了由江苏神通阀门股份有限公司与上海电气电站设备有限公司合作研制的＂汽轮机再热
目的评价踝关节不稳定型骨折采用手法复位经皮内固定治疗的疗效。方法选取2006年2月至2010年2月收治的踝关节不稳定型骨折患者98例，分为两组。34例行手法复位经皮内固定治疗（A
1.多值世界模型虽然量子论的多值世界解释愈来愈为人们所重视,但是对于这一解释的实质性内容并未取得普遍可以接受的一致看法。这种状况并不奇怪,因为埃弗里特(1957)的原始论
<正> 太阳能对消费市场的贡献体现在以太阳能为动力的装置在不断增长。手表、打字机、通话器都已利用太阳能。把太阳能日贮夜放的庭园走道照明灯1988年销售量超过100万。作为
炎症性肠病（inflammatory bowel disease,IBD）包括溃疡性结肠炎（ulcerative colitis,UC）和克罗恩病（Crohn′s disease,CD）,有终生复发倾向,重症患者迁延不愈,预后不良。