排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
2.
实现办公自动化是提高办公质量和效率,促进政务公开的一个重要手段。但是由于企业或单位的办公实际环境和需求千差万别,使得当前很多办公自动化系统存在开发周期过长、重复投资、可适应性和可维护性差等问题,无法真正满足用户需求。详细说明了基于构件的OA系统的正交结构模型,并阐述了基于构件的OA系统的实现方法。基于构件的OA系统具有敏捷性,能够随着办公业务的变化随时调整,以满足不同政府、企业的不同需求。同时它还具有良好的可扩展性、可维护性和可重用性。 相似文献
3.
4.
5.
6.
7.
遗传算法机理的研究及应用 总被引:5,自引:0,他引:5
在介绍遗传算法的基本理论及主要特点的基础上,针对遗传算法的设计机理和步骤,从设计遗传算法的基本原则、设计遗传算法的基本步骤、常用的编码表示方案、适应性的度量、选择策略及控制参数的选取等诸方面进行了阐述和分析,并结合计算机布局问题,提出了一个基于模拟退火算法的混合遗传算法,结合实例进行了计算机仿真,验证了该算法的有效性。 相似文献
8.
结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性,可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。 相似文献
9.
形式化开发Hanoi塔问题非递归算法 总被引:1,自引:0,他引:1
使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化地正确性证明。本文直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。 相似文献
10.
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径. 相似文献