论文部分内容阅读
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA).在此基础上进一步提出一种软件体系结构描述语言(PEADL).介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力.
一种基于进程代数的软件体系结构描述语言PEADL
【摘 要】
：
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA).在此基础上进一步提出一种软件体系结构描述语言(PEADL).介绍PEADL的语法和语义,并通过三层C/S结构应
【机 构】
：
北方工业大学计算机系,东北大学计算机科学与工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金;
其他文献
考虑内外扩散阻力影响的条件下,提出了计算固定化酶未反应死区及相应有效因子的方法.针对三种不同几何形状的固定化酶颗粒,对Michaelis-Menten动力学以及基质抑制动力学进行
拟定了用负载8-羟基喹啉的活性炭对水中痕量钼(Ⅵ)进行预富集的方法,探讨了活性炭吸附钼(Ⅵ)及有机试剂的作用机理。在试验条件下,100mg活性炭负载8-羟基喹啉后可提高对钼(Ⅵ
提出将电路级模拟器扩展应用到二维铁电液晶(FLC)的光电混合系统。依照铁电液晶的理论模型建立等效电路,通过调整时序脉冲及驱动源波形,灵活地控制晶胞厚度、面积、粘滞系数
设(C)是赋范线性空间上的子空间格.一个子空间是自反Alg(C)-模的充分必要条件被得到,当(C)是完全分配子空间格时,自反Alg(C)-模的二次交换子被描述.进而,本文引入V-生成子稠
在中国山东与河南两省农村研究了饮水中微量元素与老年人群认知能力(Cognitive Function)之间的关系.采用中国国标方法分析了饮水中氟、钙、硒、铝、铁、锌、镉、铅、砷微量
Hankel变换是一类重要的变换。定义了与Hankel变换相联系的可允许小波及其Weyl变换,给出了可允许小波的基本性质、Weyl对应在L~p空间上的有界性和Weyl变换紧性的判断标准。
以聚乙二醇(PEG400,PEG200)为起始剂,以多乙烯多胺为交联剂,合成了4种新型多胺交联型类氮杂冠醚聚合物,研究了聚合物的溶胀性能和对金属离子的静态吸附性能.结果表明,聚合物
合成了一种新的导电分子晶体PyEt[Ni(dmit)_2])2(dmit=4,5-dimercapto-1,3-dith-iole-2-thione)。X射线衍射测定表明,该晶体属于单斜晶系,C2/c空间群。PyEt[Ni(dmit)_2]_2晶体中,导电组元[Ni(dmit)_2]~(0.5-)沿c方向面对面平行堆积成分子柱,各分子柱沿a方向肩并肩并行伸展构成(010)面的二维导电层。测得二维导
中国共产党执政合法性政党意识的实现对巩固党的执政地位有着重要意义.本文简单论述了执政合法性的地位、来源,并从加强政党意识的包容性和人民性这两方面分析了其实现的途径