论文部分内容阅读
从软件体系结构的角度，运用Ｚ－规范在系统描述了应用框架和设计样本的语义，包括设计样本的组成，联系，合成和运用设计样本组成应用框架等，与通常的非形式化方式，如图表，自然语言等描述形式相比，具有语义精确，易于实现和交流等优点。
应用框架的形式化研究
【摘 要】
：
从软件体系结构的角度，运用Ｚ－规范在系统描述了应用框架和设计样本的语义，包括设计样本的组成，联系，合成和运用设计样本组成应用框架等，与通常的非形式化方式，如图表，自然语言等描述形
【机 构】
：
武汉大学数学与计算机科学学院
【出 处】
：
武汉大学学报：自然科学版
【发表日期】
：
2000年3期
其他文献
以人的原癌基因c-myc和抑癌基因p53的cDNA为探针,经Southern杂交证明, 它们在大麦基因组中存在同源序列.利用荧光原位杂交技术 (FISH) 进一步对大麦进行了染色体定位.在大麦
用停止-流动ESR实验技术研究了在近中性条件下，1-十一烷基-十二烷基硫酸钠（SUDS）负离子胶束的形成及在此胶束中，维生素C还原4-羟基-2，2，6，6-四甲基哌啶-1-氧自由基（HO-TEMPO）及其亲脂
采用大分子酯化反应合成了侧链带有发色基团的聚硅氧烷，它们的化学结构被＾１Ｈ－ＮＭＲ，ＩＲ和元素分析所证实，用ＤＳＣ、偏光显微镜和Ｘ－ｒａｙ衍射研究了它们的相转变行为，表明为ＳＡ相。
研究了在（２６±０．２）℃、以含微量水的ＤＭＦ为溶剂、离子强度０．１（ＮａＣｌＯ４）条件下，氯化四（邻－硝基苯基）四苯并卟啉合铁（Ⅲ）Ｆｅ（Ⅲ）「ＴＰ（ｏ－ＮＯ２）ＴＢＰ」Ｃｌ）与抗环血酸（Ｈ２Ａ）的电子转移反应动力学，提出了反应的机理，推导了反应的动力学方程为
根据高频地波雷达(OSMAR2000)的时序要求,给出了利用可编程序间隔定时器82C54产生各种控制信号和同步信号的方法.同步控制器采用可编程器件,所有信号的时间关系均由软件设定,
Bioequivalence of Two Brands of Metformin 850 mg Coated Tablets in 12 Healthy Algerian Volunteers： A
研究了用VPO/SiO2催化剂由对甲氧基甲苯(PMOT)制备大茴香腈(PMOBN)的氨氧化反应.在内径20 mm的石英管固定床反应器上,分别采用正交设计法实验和单因素实验考察了反应温度、空
给出了一类带双指标的常系数线性递推关系的一般显式解。它直接表示成其系数与初始值的显函数，对大数值双指标的非齐递推关系的问题，在理论与实践上皆具有一定意义。
以1996～2000年<武汉大学学报(自然科学版)>上发表的917篇科技论文为统计样本,据文献计量学的方法对其引文进行了统计分析.结果表明:<武汉大学学报(自然科学版)>篇均引文量为7.