【摘 要】
：
为保证在组件和框架开发模式下应用系统的一致性,必须研究如何检测和解决组件建模过程中存在的冲突.通过对组件模型、组件库结构和几种典型约束条件的分析,建立应用框架的一
论文部分内容阅读
为保证在组件和框架开发模式下应用系统的一致性,必须研究如何检测和解决组件建模过程中存在的冲突.通过对组件模型、组件库结构和几种典型约束条件的分析,建立应用框架的一致性模型,包括组件体系结构约束和组件行为约束.这些约束条件以规则的形式表示,分层的规则库构成最终的形式化模型,模型的检验归结为规则的推理.在信息系统快速开发平台中,使用上述约束模型可建立信息系统的一致性视图,使开发平台具有一致性管理的功能.
其他文献
:SAR图像一般都存在相干斑点噪声 ,严重影响了地物信息的提取与SAR图像的应用效果。文中在分析斑点噪声产生机理的基础上提出了一种噪声消除算法 ,该算法与最常用的均值平滑滤波、中值平滑滤波、Frost自适应滤波等方法相比具有更明显的效果 ,实验结果验证了本算法的有效性。
本文应用新研制的中低热膨胀水泥拌制混凝土 ,进行混凝土的拌合物性能、力学性能、变形性能、热学性能和耐久性试验 ,以确定该水泥能否满足水电工程大体积混凝土的要求 .试验
分析和测试了合肥光源杂散场对直流流强检测器系统的影响。给出了合肥光源ＤＣＣＴ系统的磁屏蔽的计算、设计和测量结果。屏蔽后，由杂散场引起的ＤＣＣＴ零漂由1ｍＡ降至１０μＡ以下。
The influence o
本文首先指出了文献 [1]强等价在分析两个方案的安全性关系中的局限性 ,并对它进行了推广———安全强等价 ,利用相互转换的方法证明了ElGamal型签名方案与相应的MR(P)型方案是安全强等价的 ,从而解决了文献 [2 ]中遗留的问题。
描述了空间站信息系统由信息功能和支持功能构成。在空间站这个特定的应用环境中，光纤通信技术具有比电缆更宽的传输带宽、超强的抗辐射和抗电磁干扰能力；并具有极小的体积和重
快速而又具有一定精度的图像重建算法是电容层析成像 (ECT)技术的关键。本文提出一种用多元线性回归法建立ECT系统正向模型 ,用正则化法获得图像重建这一不适定逆问题稳定解的图像重建新算法。仿真结果表明该方法能快速而较高精度地重建出两相流断层图像。
本文基于能的梯级利用原理，把产功和供热有机结合，开拓出新颖的核能Brarton闭式循环功热并供系统；基于热力学基本方程推导出系统特性解析式，建立四个独立变量的系统数学模型；应用
采用金相显微镜、扫描电子显微镜等方法，分析了锌铝合金基陶瓷复合层激光重熔后的组织形貌和微观金相组织成分，并对其成因进行了探讨.
首先描述了GPRS(GeneralPacketRadioService)中的服务质量标准和延迟的标准化方法 ,然后根据对GPRS特性的分析 ,得出了GPRS中分组调度算法应遵循的一些原则。根据这些原则确
为充分了解入口带有加速段的方形分离器的放大特性 ,如分离效率和阻力 ,在定型尺寸为 70 0 mm× 70 0 mm的冷态试验台上进行了详细的研究工作 ,还作了结构优化试验 ,确定了入