搜索结果: 31-35 共查到“计算机高密度组装技术”相关记录35条 . 查询时间(4.917 秒)
特征模型驱动的Web Services组装方案及其工具支持
2007/11/1
Xing Y, Gu F, Mei H. Feature model driven Web services composition approach and its support tool. Journal of Software,
2007,18(7):1582-1591.DOI:
10.1360/jos181582 http://www.jos.org.cn/1000-9825/1...
一类半正定多项式的平方和分解及其表达式的自动生成
平方和分解 柱形代数剖分 Gram矩阵方法 Hilbert 17问题
国家“九七三”重点基础研究发展规划项目基金(2004CB318003)资助
2007/11/1
建立了一个把半正定稀疏多项式表为多项式平方和的算法.这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法.该算法的机器实现为一类代数不等式可读性证明的自动生成提供了一种非常自然的途径.
条件效果是智能规划处理更具解释性动作描述语言中最难解决的一种类型.如何扩展当前已有的规划算法，使之具有处理包含条件效果的动作描述语言的能力成为了智能规划领域中的研究热点之一.文章针对一个高效规划器FF v2.3在条件效果处理中存在的不足做了一些改进，提出了一个新的条件效果处理方法CEFF.主要的改进措施有以下两点：(1）引入因子扩展法的思想将动作划分为组件，以提高对条件效果的处理效率；(2）在进行...
在超大规模集成电路设计中，为了进行早期的设计错误检测与调试或层次化验证，常常需要使用含黑盒的设计验证方法.该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性.该方法使用量化的合取范式(CNF)来表示电路中出现的未知约束，并且不需要修改电路结构，有效地节省了计算资源.此外，通过使用随机并行模拟增强了可满足性算法的错误检测能力.通过对ISCAS’85电路的实验表...