【摘 要】
：
首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林
【基金项目】
：
中国科学院软件研究所计算机科学重点实验室基金;国家自然科学基金
论文部分内容阅读
首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质:P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M(OD(F)(?P(F);P(F)是无(环的.这对于面向对象信息系统的开发有一定的意义.
其他文献
用Z扫描技术研究了金属Ru富勒烯(C60)化合物的非线性光学性质.测得样品在波长532 nm处的非线性折射率为n2＝1.55×10-4 cm2/GW,激发态吸收截面为σex＝3.32×10-17 cm2.光限幅测
制备了Er3+ Yb3+ 共掺微米级高折射率TiBa玻璃颗粒和微球 ,玻璃基材主要成分为TiO2 BaCO3 Ba(NO3) 2 CaCO3 SiO2 等 ,掺入 1mol%Er2 O3+3mol%Yb2 O3.用 976nm激光激发测量
利用高强度超短脉冲激光与铝靶相互作用可以产生高能超热电子 ,这些超热电子入射到铝单晶上时将发生衍射 .对高强度超短脉冲激光产生的超热电子与晶体的相互作用产生衍射及利
首次报道以自制氯乙酸降冰片烯甲酯 (NMCA)为引发剂的苯乙烯、甲基丙烯酸甲酯的原子转移自由基(ATRP)本体聚合 .详细考察了单体转化率与反应时间、产物分子量及分子量分布间
研究了对于羟丙基纤维素 (HPC)基板进行表面修饰时 ,基板表面状态的调控对基板表面化学接枝的影响 .用双官能团化合物 2 ,4 甲苯二异氰酸酯 (TDI)作为接枝桥梁 ,其对位的异
利用共焦显微和光栅光谱技术,得到了蓝藻AnabaenastrainPCC7120完整藻丝体中的单细胞吸收和荧光发射光谱.发现了前人未观察到的不同异形胞之间有显著光谱差异的现象,该现象可
提出了一种实现原子物质波干涉的新设想.采用一个菲涅耳波带片来压缩原子束线宽,以此照明一块刻有四缝的铜箔,观察原子束的干涉和全息现象,用来测量原子束的时间相干长度.
在 ADAMS环境下 ,开发出双筒液压减振器的虚拟样机 ,并研究了减振器强非线性 .将减振器速度外特性试验曲线拟合为速度外特性不对称非线性迟滞环 ,取代了常规减振器建模中的速
运用核磁共振手段,揭示了浆体中水的形态及其动态行为,并研究浆体性质与之的关联.实验测得神府煤-石油焦-水浆(CPCWS)中水质子的化学位移与煤焦中煤的百分含量的线性关系.并
当高速重载车辆或者装载贵重和精密仪器的车辆过桥时,必须对车也进行动力分析,以保证车、桥以及车内物品的安全.为此对车和桥均进行有限元离散,建立耦合系统模型,在求得桥的