排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
2.
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM)。阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发,及利用函数与操作的形式化规格说明来证明程序是正确的。 相似文献
3.
提出了基于2D图像模糊识别的3D模型检索的方法。该方法根据人识别习惯模式,从6个方向采集3D模型的2D图像。考虑到人眼对色差的敏感的特点,采用适当的均匀色空间,建立各2D图像的纹理特征。然后对这些纹理特征采用模糊C-均值算法建立模糊集,这些模糊集用于模拟人对图像模糊认识,模糊集对图像变形具有鲁棒性,故提高了提取特征的稳定性和灵活性,同时改善了检索效果与人识别效果的一致性。 相似文献
4.
5.
The transition process from steady convection to chaos is experimentally studied in thermocapillary convections of floating half zone. The onset of temperature oscillations in the liquid bridge of floating half zone and further transitions of the temporal convective behaviour are detected by measuring the temperature in the liquid bridge. The fast Fourier transform reveals the frequency and amplitude characteristics of the flow transition. The experimental results indicate the existence of a sequence of period-doubling bifurcations that culminate in chaos. The measured Feigenbaum numbers are δ2 =4.69 and δ4 = 4.6, which are comparable with the theoretical asymptotic value δ=4.669. 相似文献
6.
为了提高分布式实时数据库系统事务处理的成功率和可靠性,将分布式实时事务进一步细化,对传统的事务接纳控制协议进一步改进,从而提出了一种含有真实时和非实时两部分的分布式混合实时事务接纳控制机制。定义了分布式混合实时事务模型及系统设计方案。分布式混合实时事务的接纳控制综合考虑分布混合事务的执行需求和价值,有效控制负载,减少被系统接纳执行后而又不能满足截止期的事务,提高分布式实时数据库系统事务处理的成功率和可靠性。通过重点分析混合实时事务的接纳控制模型,对混合实时事务的接纳控制与传统的接纳控制作了分析比较,说明了比传统的接纳控制协议更优。 相似文献
7.
8.
1