EDA技术中优化器件逻辑资源的设计方法

以目前国内外应用广泛的ＬＡＴＴＩＣＥ公司的ＨＤＰＬＤ和ＡＢＥＬ－ＨＤＬ硬件设计描述语言为例,从器件结构、语法特点和描述方法三个方面讨论了在ＥＤＡ中优化器件逻辑资源的方法。其中大部分方法也适用于其它类型ＨＤＰＬＤ的设计。     

无线传感器网络流量的冗余抑制机制研究

冗余抑制是一种通过在接收节点缓存频繁传输的内容以避免多次发送重复数据的网络流量抑制技术.现有的解决方式需要有大量的内存,用于分析当前冗余流量并维持缓存.由于硬件的限制,无线传感器节点在同一时刻不能够提供相应的资源;协议和通信模式的多样性还使得通信中冗余发生的频率及其所占比例难以预测.因此,给出了一种改进的冗余抑制协议,通过概率流量分析以确定和缓存那些造成最多流量储存的冗余传输子集,实现性能表现接近于建立在全面分析和无约束缓存基础上的冗余抑制解决方案.     

一个在Horn子句中求解极大缩减的算法

在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协调子集与公式集合关于事实集合的极大缩减之间的转化关系.其次,给出并证明了Horn子句集合极小不协调的一个必要条件.然后,基于上述两个结论,本文提出了一个在Horn子句中枚举公式集合和事实集合并集的极小不协调子集的交互式算法和一个通过这些极小不协调子集计算所有极大缩减的算法.最后,综合这两个算法,提出了一个在Horn子句中求解所有极大缩减的交互式算法.     

基于柔性匹配的中文文本特征提取方法

针对含有变形关键词的不良信息过滤问题,提出一种基于柔性匹配的中文文本特征信息提取方法。该方法采用柔性匹配技术识别和提取变形关键词,改进向量空间模型中特征项权重的计算方法,对具有变形形式的关键词赋予较高权重,从而提高特征信息的提取效率。实验结果表明,该方法可在保证过滤准确率的前提下,获得较高的召回率。     

基于BP神经网络的专利自动分类方法

提出了一种基于后向传播神经网络的专利自动分类方法.通过中文分词从专利文件集中提取特征项,并根据特征项在专利文件中出现的频率赋予其权重,从而将每篇专利文件表示为一个特征项向量.为取得较好的BP神经网络(BPN)训练效果,使用X2统计方法进行特征向量降维,并使用BPN专利分类器进行专利文件分类.用国际分类号为H02下的专利文件作为测试数据,取得了较好的分类效果.     

基于模拟退火算法的电力系统输电阻塞成本控制

研究了实时电力系统中输电阻塞管理的成本控制问题.针对同时开放发电侧和负荷侧的情形,引入阻塞率因子,建立了新的阻塞费用优化模型.基于minimax思想和模拟退火算法,将实时阻塞管理问题转化为最大输电阻塞时调整费用最小的非线性规划问题,得到了全局最优解.仿真结果表明,改进的优化模型可有效缩减和控制调整费用,所设计的算法简单可行且安全可靠.     

Office COM加载项的研究与实现

利用Office COM加载项可以补充和扩展Office应用系统的功能,可以将工作中常用的一些功能,设计成用Office COM加载项来实现,由Office COM加载项提供的功能,在整个Office应用程序中都能够使用,从而能够减少工作量,提高工作效率。本文介绍了Office COM加载项的工作原理以及用VSTO技术创建Office COM加载项的一般过程。     

基于Web数据库的软件配置管理研究

软件配置管理是控制和改进软件过程、保证软件质量的一种重要手段,其核心工作主要包括版本控制、变更控制等。为提高软件配置管理工作的效率,解决地理分布不同的多成员共同开发一个软件项目时的配置项版本控制和变更控制问题,将Web数据库应用至软件配置管理系统的建设工作中,构建了一个基于Web数据库的软件配置管理系统。     

一类新的寻求全局最优解的填充函数

填充函数法是一种求解多变量、多极值函数全局最优化的有效方法,该方法最早由葛入溥在文献[1]中提出,这种方法的关键是构造填充函数.文中在无Lipschitz连续条件下,考虑用单参数填充函数求解无约束全局优化问题,给出了一类新的形式简单的单参数填充函数.容易证明该填充函数在参数充分小时就能保持其填充性质.根据这个填充函数还提出了一个求解无约束优化问题的填充函数算法,通过一些检验函数的数值运算结果验证了算法的可行性和有效性.