可满足性

《基于uml的自动化图书管理系统的建模设计》为了满足图书馆管理人员对图书馆书籍，读者资料，借还书等进行高效的管理，在工作人员具备一定的计算机操作能力的前提下，编写这个图书馆管理系统提高图书馆管理效率

2017-05-06 70 可满足性

5.22④ 假设系数矩阵A和B均以三元组表作为存储结构。试写出满足以下条件的矩阵相加的算法：假设三元组表A 的空间足够大，将矩阵B加到矩阵A上，不增加A、B之外的附加空间，你的算法能否达到O(m+n)的时间复杂度?其中m和n分...

2013-12-13 156 可满足性

2022-09-20 2 可满足性

比较满意的一个程序，图形界面友好。功能也比较强大。用于飞机票订购。

2014-02-06 44 可满足性

2014-01-05 176 可满足性

自动水满报警器是当今运用十分广泛的报警器产品，在消防部门，公司安全和人们的日常生活都发挥着重要的作用。该电路设计方法颇多，但其功能都是唯一的，实现水满后自动报警，

2023-02-18 1 可满足性

    逻辑综合带来了数字设计行业的革命，有效地提高了生产率，减少了设计周期时间。在手动转换设计的年代，设计过程受到诸多限制，结更容易带来人为的错误。而一个小小的错误就导致整个模块需进行重新设计，设计转换工作占...

2013-10-25 74 可满足性

工艺流程波峰焊中的成型工作，是生产过程中效率最低的部分之一，相应带来了静电损坏风险并使交货期延长，还增加了出错的机会。双面贴装A面布有大型IC器件，B面以片式元件为主充分利用PCB空间，实现安装面积最小化，效率高单面混装* 如果通孔元件很少...

2013-11-10 155 可满足性

可满足性 热门资料