论文部分内容阅读
主要讨论了一种描述对象活动的方法,提出了活动体的概念,并给出了它的三元组形式.活动体是对象式系统中具有通信能力的最小单位,由此可以构造对象乃至系统的交互(通信)行为.同时给出了一个简单的描述活动体的语言BeLan和BeLan中活动体的指称语义.
对象的行为表示及其应用
【摘 要】
：
主要讨论了一种描述对象活动的方法,提出了活动体的概念,并给出了它的三元组形式.活动体是对象式系统中具有通信能力的最小单位,由此可以构造对象乃至系统的交互(通信)行为.
【机 构】
：
南京大学计算机软件新技术国家重点实验室,江苏,南京,210093信息产业部电子14所,江苏,南京,210013;
【出 处】
：
南京大学学报（自然科学版）
【发表日期】
：
2000年2期
其他文献
根据长期对华北地台金矿的研究 ,发现一系列有意义的地质地球化学特征并得出许多重要结论 ,如 :1.华北地台是由许多地体拼贴而成 ,如华熊 ,嵩箕 ,鲁西 ,胶北 ,胶南和黄海地体
为保证Agent软件系统的质量,提高系统的可靠性、正确性、可维护性和可扩展性,需要为Agent软件系统提供设计方法学的支持.以处于分布、开放环境的信息Agent为研究对象,以同一
阐述了在静态类型面向对象浯言中构造虚函数调用图(VFCG)的方法:先构造可见方法类层次图(VM-CHG),再计算继承集、改写集,确定改写边界,最后利用VM-CHG和改写边界构造VFCG.同
提出了一种两幅图像特征点匹配的新方法 ,利用起源于生物进化论观点的遗传算法来对两幅图像的特征点集进行匹配 .设计了染色体的表示方法、适应度公式以及 3种新的遗传操作算子 .为了加快算法的收敛速度及获得适应度高的解 ,对初始种群的选取和遗传算子操作概率的选取提出了新的方法 .实验结果说明与传统的点匹配算法相比较 ,遗传算法更加有效地完成了特征点集之间的匹配
目的：探讨布地奈德气雾剂应用于治疗哮喘的远期疗效。方法：哮喘小儿80例，根据药物应用的不同分为糖皮质激素组与白三烯受体拮抗剂组，糖皮质激素组采用布地奈德气雾剂治疗，白三烯受
宽带网络为交互式多媒体服务提供了基础结构,数字存储媒体控制与命令DSM-CC作为独立于终端设备和传输网络的协议组,为多媒体宽带服务的广泛实现提供了可能.对基于SM-CC的多媒
临床上主要参照药物的作用特点和疗效来选择用药,而不同患者对同一药物反应的差异性普遍存在.大多数药物仅对25～60%的患者起效,美国每年会发生一百万例药物不良反应,有十万人
目的：观察盐酸氨溴索治疗慢性支气管炎急性期的临床疗效。方法：回顾性统计分析大堡子中心卫生院2008年12月～2010年12月收治的78例慢性支气管炎急性期患者随机分为Ⅰ、Ⅱ组。Ⅰ组
目的:探讨糖皮质激素对慢性阻塞性肺疾病的治疗影响。方法:慢性阻塞性肺疾病患者60例根据治疗方法的不同分为治疗组与对照组各30例,2组都给予常规治疗,在此基础上治疗组应用
目的：探讨COPD并自发性气胸的临床特点、治疗及预后。方法：对2008年1月～2012年12月本院收治的48例COPD并自发性气胸患者进行临床分析。结果：48例COPD并自发性气胸患者临床表现多