论文部分内容阅读
在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。
一种嵌入式关系模型的形式化描述
【摘 要】
：
在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。
【机 构】
：
武汉大学数学与计算机科学学院/软件工程国家重点实验室
【出 处】
：
武汉大学学报：自然科学版
【发表日期】
：
1999年3期
其他文献
报道了ＮｉＭｏ－ＲｕＯ２复合催化层的制备方法，电极的表面形貌和表面粗糙因子、ＲｕＯ２含量对析氢过电位的影响，电极的稳态阴极极化曲线和电化学反应动力学参数，电极在含Ｆｅ＾３＋离子的碱溶液中的稳定性。
为了对边界层问题进行奇异性数值探测，基于基数Ｂ－样条的全正特性和基数Ｂ－小波ψｍｘ）的完全震荡特性，提出了小波配点计算模式，并具有边界层的常微分方程进行了数值计算，验证了方法的有效性
研究了不同条件下过氧化氢对虾壳甲壳素脱色的影响。实验结果表明，脱色反应速率在PH为10．5时达到最大，升高温度，增加过氧化氢浓度加快脱色的进行，甲壳素脱乙酰后脱色时间大大缩短，
在详细分析数字水印系统等效信道的基础上,提出了一种基于Turbo码的图像数字水印算法.该算法利用Turbo码的纠错性能和人眼视觉特性,以实现静止图像中数字水印的嵌入和提取;在
设｛ξ＾λ；λ∈∧｝是取值于概率空间的随机过程，在一定的条件下，证明｛ξ＾λ；λ∈∧｝满足大偏差原理。所获结果推广了Ｋｉｆｅｒ的结论。
结合数据立体方体和R树两种索引方法快速灵尖地进行数据查询，设计了最近邻接快速查询算法FNN，解决了一般R树查询中无法快速查询高维度数据的问题，使查询更高效，应用更广泛。