结构化方法、面向对象方法和形式方法的比较与结合

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的设想。     

形式方法与面向对象方法的结合探讨

文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言ＯＯＺＳ，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行分析，评价和对比，最后提出了今后的研究方向。     

一种构建3D GIS应用的三层结构方法探讨

该文提出了一种构建3DGIS应用的三层结构方法,它由数据模型层、对象层和应用层三个层次组成;结合三层结构方法,首先分析和总结了地学中一些原型系统和应用软件的特点;然后在此基础上,采用了一种适合地学应用的混合数据模型,实现了一个面向地学应用的3DGIS原型系统;最后,对该三层结构方法在地学中的应用做出总结。     

通过DLL方法实现VC与Matlab的混合编程

本文简要论述了VC和Matlab各自的特点、VC和Matlab混合编程的三种方法。并通过例子详细阐述了如何通过DLL方法实现二者的结合以及如何在VC的IDE中调用DLL中已开发好的算法。     

一种主机系统安全的量化风险评估方法

随着信息技术安全问题的日益突出,信息安全产品的开发者纷纷寻求可信的第三方的安全评估,而目前针对主机软件系统的评估方法都存在着一定的缺点。该文结合软件系统的弱点信息,提出了一种主机系统安全的量化风险评估方法,并以评估实例分析了评估算法,最后阐明了本评估方法的优势。     

DCS的通讯网络分析及提高可靠性方法

介绍了DCS通讯系统应用特点，分析了DCS通讯网络中常见的令牌网、以太网和FDDI三种通讯网络的优缺点，并结合工业控制的要求提出提高DCS通讯可靠性的一些方法。     

预测模型推荐方法研究

随着www的迅速发展和网络用户的急剧增加,作为个性化推荐的核心技术,预测模型得到广泛关注,并成为具有挑战性的研究课题。准确预测Web用户的访问行为对减小用户的感知延时,实现个性化推荐等具有重要的作用。混合阶Markov预测模型通常具有较好的预测性能。结合高效的推荐方法,能使模型的预测性能有所改善。探讨了三种高效的推荐方法,并通过仿真实验比较其性能。     

面向对象方法的COSMIC-FFP功能规模度量

现有的4种符合ISO标准的FSM方法均不能考虑到对象的交互性和对象的行为,无法正确地度量面向对象系统的功能规模。在分析面向对象方法的软件开发过程的基础上,结合面向对象系统的特点,基于COSMIC-FFP,提出了一种面向对象方法的全功能点度量方法,给出了该方法的映射规则和度量规则,并结合实例分析了其应用过程,为正确度量面向对象系统的功能规模提供了一条有效的途径。     

基于高阶逻辑的定理证明方法及其对策的应用

定理证明是形式化验证的主要方法之一,其中定理证明器的使用是难点。为了提高证明效率,论述HOL4系统中主要的三种证明方法:支持高级证明步骤。自动推理和化简器,为定理的证明提供了一个完整而通用的理论框架。详细说明了以上三种证明方法的相关对策的功能和应用环境,并为应用中可能出现的问题提出解决方案。给出的对策应用实例不仅体现了三种方法中相关对策的实用性,还进一步表明了提出解决方案的有效性。     

多移动机器人队形控制的研究方法

本文从基本思想、优缺点等方面论述了进行多移动机器人队形控制的三种研究方法.介绍了 一种包含这三种方法的系统体系结构，并对该体系结构进行了评价，指出了需要进一步研究 的问题．     

三种内存泄漏检测方法的比较

介绍了三种内存泄漏的检测方法：第一种是利用各种检测工具;第二种是通过重载new和delete操作符;第三种是奇异的循环模板模式对象计数法,它们都是程序在运行状态下的检测方法。最后文章比较了它们的优缺点.     

改进的并行Arnoldi方法

为了求解大规模的块三对角线性方程组,相关研究给出一种变形的并行Arnoldi算法,通过选取适当的基,使算法具有良好的并行性。结合已有的选基方式,在预处理思想的指导下,提出了另一种选基的方法。在联想深腾1800集群上进行的数值实验结果表明,该算法的收敛速度有了明显的提高,并保持了较高的并行性,并行效率可达到85%以上。     

波形松弛方法的稳定性

波形松弛(WR)方法是求解微分方程的一种重要数值方法,迄今为止,关于它的研究集中于收敛性,罕有对其稳定性的研究.提出了常微分方程WR方法稳定的定义.借鉴常微分方程经典数值方法稳定性的常规研究方法,研究WR方法的稳定性,给出了连续WR方法保持三种标准试验方程稳定性的充分条件.使用Lyapunov技巧研究WR方法的压缩性,得到了连续和离散WR方法保持试验方程压缩的充分条件.     

浅谈发电机定子吊装的常用方法及操作

本文介绍了发电机定子吊装的液压提升架吊装定子法、行车吊装法、履带吊直接吊装法三种,并结合工程实例,从不同位置和方向吊装发电机定子的方法.     

布帛在礼品包装设计中的造型和应用方法探析

在礼品包装设计中,不同的礼品,包装造型方法和装潢形式各异,本文提出使用传统的布帛包装材料,结合新的设计理念和工艺技术进行创作,总结出三种较典型的布帛包装造型和应用方法。本文还探寻了在具体设计中,灵活融入布帛工艺和文化内涵、结合其他装饰元素,用传统而又时尚的手法,创造出具有复用价值和文化气息的礼品包装设计。     

在Authorware中实现建筑图形放大的三种方法

介绍了在Authorware实现图形放大的三种方法。阐述了每种方法的设计和实现方法，并将三种方法作了比较。     

加快汉字录入速度的方法

1 引言 为了加快汉字的录入速度,除了常用的尽可能减少汉字的使用量,实现多种录入方式之间的自动转换,选择优秀汉字输入编码等措施外,让系统自动提示可能出现的汉字字符串,供用户选择也是一种有效的方式。下列三种方法: ·自动窗口提示选择录入 ·定义功能键 ·采用外部词组 下面介绍这三种方法的实现过程及适用场合。其中第一种方法完全不需用户记忆,使用很方便,效率也很高,本文将作重点介绍。     

基于 Kane 方法的机器海豚动力学建模及速度优化方法

在利用Kane方法对机器海豚进行动力学建模的基础上, 提出了一种对豚体波拟合推进进行速度优化的方法. 首先, 选取各连杆的关节角和机器海豚头部质心的坐标作为广义坐标, 对具有三个推进关节的机器海豚进行运动学分析,进而得到广义惯性力; 然后,结合对各连杆受力分析得到的广义主动力, 建立机器海豚的动力学方程. 其中, 根据尾鳍攻角所处的不同范围,分别利用升力线理论和阻力模型将尾鳍建模为有限翼展机翼或平板来计算水动力. 在此基础上, 结合豚体波拟合推进, 提出一种通过调节尾鳍关节角规律的幅度和相位来优化平均推进速度的方法. 仿真结果表明了所建模型及优化方法的有效性.     

一种随机化的椭圆拟合方法

针对计算机视觉领域中常见的椭圆拟合问题,本文讨论Theil-Sen、Repealed Median方法,并结合两种方法提出一种计算量小、易于实现的随机化拟合方法。这种方法在细胞拟合的实际应用中取得了很好的效果。     

基于VC++ 6.0的多串口通信方法

介绍了实现多串口通信的基本方法,采用VC 6.0并结合定时器和多线程技术编写,提出了实现多串口通信的三种方法,给出了实现的方法和步骤,并对三种方法进行了比较.实践证明,这三种模型均有效地实现了多串口通信.