•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7671-7680项 搜索用时 89 毫秒
[首页] « 上一页 [763] [764] [765] [766] [767] 768 [769] [770] [771] [772] [773] 下一页 » 末  页»
7671.
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。  相似文献
7672.
下载全文  总被引:6,自引:0,他引:6
利用广义阻抗边界条件模拟和简化地球表面对电磁场的影响。应用圆柱波函数的球面波展开表达式,地平面上方水平电偶极子电磁场中的索末菲尔德型积分可表达成快速、绝对收敛的球面波展开式,利用积分路径的变换和超几何函数理论,展开式中的展开系数可表达成以大地表面复阻抗为宗量的第二类勒让德函数。该… …   相似文献
7673.
分枝界限算法是解决组合优化问题的常用方法之一.对于给定的问题和分枝策略,算法的运行时间取决于实现算法的数据结构.该文讨论了立体堆及其上的插入、删除算法;通过将分枝界限算法的运作过程与排序过程建立对应关系,给出了一般分枝界限算法的复杂度下界Ω(m+hlogh),其中m为评估的结点数,h为扩展的结点数;得出了立体堆为实现一般分枝界限算法的几乎最优数据结构;并对具体的作业分派问题实现了一个使用立体堆的分枝界限算法;提出了改善立体堆平衡性的措施.… …   相似文献
武继刚  陈国良  吴明 《软件学报》2000,11(7):984-989
7674.
下载全文  总被引:1,自引:0,他引:1
软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extended constraints on succeeding and proceeding events)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过… …   相似文献
顾庆  陈道蓄 《软件学报》2005,16(10):1735-1742
7675.
下载全文  总被引:7,自引:0,他引:7
通过建立网页资源库,结合Spider技术、内容分析技术、引入用户数据项和替换抽取指令编辑器等,提供和定制可视化通用性较强的互联网信息采集系统,能定期自动跟踪相关网站或网页,进行比较分析、抽取、规整入库、分类等,从互联网上获取所需信息。  相似文献
7676.
针对Http洪泛Web DDoS(distributed denial of service)攻击,提出了一种检测机制.该机制首先采用型方法量化处理用户访问的网页序列,以得到用户访问不同网页的实际点击概率分布;然后,利用大偏差统计模型分析了用户访问行为的实际点击概率分布与网站先验… …   相似文献
王进  阳小龙  隆克平 《软件学报》2012,23(5):1272-1280
7677.
下载全文  总被引:19,自引:1,他引:19
本文分析了在办公自动化系统分析必然会涉及的两个问题:文档和人员这两大元素的静态和动态属性及其相互之间的关系 用简单的图形将复杂的工作流拆分成若干种标准的流程组件,及讨论这些组件的组合规则。为任何一个完整的办公自动化系统提供一种通用的分析设计思想。  相似文献
7678.
下载全文  总被引:12,自引:0,他引:12
Shamir给出了一种基于拉格朗日插值的密码学分存方案,该文将其思想引入到图像信息安全处理当中,提出了用动直线进行多幅图像分存的方法,并阐述了这一算法的数学基础.此外,在进行图像分存时考虑了更多的原始图像,采用高次有理曲线进行图像分存计算,并分析比较了基于拉格朗日插值的分存算法和… …   相似文献
闫伟齐  丁玮  齐东旭 《软件学报》2000,11(9):1176-1180
7679.
  
以布尔函数的导数和自定义的e-导数为研究工具,研究了一类特定Hamming重量的H布尔函数的代数次数、代数免疫性、相关免疫性之间的关联问题.得出H布尔函数的组成部分e-导数的代数次数决定了H布尔函数的代数次数;H布尔函数的e-导数与H布尔函数的代数免疫阶的大小紧密关联;H布尔函数… …   相似文献
黄景廉  王卓  李娟 《计算机科学》2015,42(3):153-157
7680.
下载全文  总被引:1,自引:0,他引:1
实时人耳跟踪作为人耳识别系统的前提,是一个意义重大且具有挑战性的课题。为了实现对人耳的快速实时跟踪定位,提出了一种融合肤色及灰度轮廓信息检测跟踪序列图像中人耳的新方法。该方法首先采用改进的CAMSHIFT算法在肤色概率分布基础上,初步对侧面人脸这一包含耳朵的大面积肤色区域进行粗定… …   相似文献
[首页] « 上一页 [763] [764] [765] [766] [767] 768 [769] [770] [771] [772] [773] 下一页 » 末  页»