【摘 要】
：
波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。
【机 构】
：
北京邮电学院计算机工程系,1990年1月获该院通信与电子系统专业工学博士学位
论文部分内容阅读
波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。
其他文献
本文对状态依存控制方式下的动态无级电路交换网提出了一套系统化的性能评价模型,利用这些模型可以计算网中任意端对问的时间阻塞(Time Congestion),呼叫阻塞(CallCongestion
本文提出一种用于ＡＴＭ网的质量控制方法－动态到达控制（ＤＡＣ），分析了采用ＤＡＣ的ＡＴＭ交换节点中，各类业务信元的丢失概率和平均时延。分析结果表明，ＤＡＣ是一种有效的质量控制方式，它能够提供多种服务等级以满足不同的需要，减小所有信元的平均时延，提高系统的有效吞吐量。
据最新调查,处于安多方言和康方言过渡地带的玛多话已发展出高低两个声调。声调产生的主要原因是声母清浊对立的消失和复辅音声母的简化。由于玛多话还有来自复辅音的全浊声
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
本文提出一种程控交换机呼叫模拟的有效方法——事件表驱动实时模拟法。它采用事件表的形式由软件生成强度和参数可调的呼叫流直接注入呼叫处理机,利用“时间 冻结”技术保证模拟的实时性,实现在没有话路硬设备的情况下,对不同话务强度的各种呼叫类型和呼叫混合进行实时模拟。文章还根据典型的话务数据对模拟的时空效率进行了计算,计算结果表明所提出的方法是实际可行的。该方法已成功地应用于国产中大容量程控交换机环境模拟器
本文对CCITT H.261建议的具体应用进行了深入探讨,提出了在不同意义下与H.261兼容的改进型H.261编码方案,并在两方面对H.261进行了充实和修正。1)自适应缓冲存储器控制策略,
量子点具有激发谱宽、发射谱窄并且对称等特点,它的发光光谱可通过改变其尺寸来控制,并且通过改变量子点的尺寸和它的化学组成还可以使其发射光谱覆盖到整个可见光区域,而且
<正>2016年国家电网公司推进星级乡镇供电所建设,国网沈阳沈北新区供电公司积极落实国家电网公司要求,全面提升供电所管理水平。他们在星级供电所建设中,坚持以"基层、基础、
摘 要：中国当前的经济增长模式，是紧跟时代步伐的。不同的时代其经济增长的规律是不一样的。在经济增长的规律来讲，它不具有持续性的，经济转型在所难免。经济转型不是凭空设想，而是需要金融的支持，我国经济的可持续发展不能只需要单一不变得宏观支持，也要有相应的金融支持模式作为动力源，两者有效的融合，才能对我国经济转型具有重要意义。 由于目前我国国情的特殊性，如中国劳动力、土地等生产要素，这些要素投入在不同程
大气降水的水汽来源主要是海洋,而借助降水稳定同位素空间分布格局可以反演水汽输送路径,进而示踪水汽来源。利用全球降水同位素监测网数据,基于GIS平台完成了中国大陆夏季大