边界约束下的增量式布图规划算法

快速地在局部范围内调整布图已经成为一种设计需要。该文提出了一种二阶段法来实现边界约束下的增量式布图规划算法。根据已有布图规划建立松弛推移图,直观描述各模块之间"空白区"和松弛量的情况;同时建立模块交换图,记录所有具有形状相似特征的模块集合,基于这2个图进行增量式布图规划。第1阶段,基于推移图和交换图调整布图规划,使其满足边界约束。第2阶段,再次利用交换图进行互连性能优化。实验结果表明该算法在较短的时间里不仅对原有布图规划进行了有效调整满足了给定的所有的几何约束,而且还保证了芯片的面积和线长效果。     

AVS-P3音频解码算法定点化中IMDCT模块的优化

为了将AVS-P3音频解码算法移植到支持定点算法的芯片中,需要将浮点算法转换为定点算法,针对AVS-P3解码器中IMDCT模块加窗算法复杂度较大的问题,在算法定点化的过程中提出一种改进的加窗优化算法,测试结果表明优化后该模块时间和空间复杂度明显下降．     

基于MD5和数字水印的电子签章文件校验方案

随着电子商务和电子政务的发展,为了保证其应用中文件的安全,根据数字水印的鲁棒性、脆弱性,以及Hash、COM组件等技术,提出了一种基于MD5和数字水印的电子签章文件校验方案.实现了文档的防篡改、文档的合法性验证.     

s-纯拟内射模

本文给出了s-纯拟内射模的概念,讨论了s-纯拟内射(预)覆盖一些性质.并证明了s-纯拟内射模关于直和因子封闭.     

I-投射模和I-内射模(英文)

引入了I-投射模和I-内射模,给出了它们的性质.定义了I-投射维数和I-内射维数,同时推广了一些已有的结论.     

相对于模N的完全不变子模F的N-投射模

引入了相对于模N的完全不变子模F的N-投射模和相对于理想I的R-投射模的概念.研究了它们的基本性质, 统一了N-投射模,τ-N-投射模和Rad-N-投射模的一系列结论.     

基于疏肝解郁功效的逍遥散寒苦肝和温辛肝性效关系研究

为探讨逍遥散中疏肝解郁中药的寒温差异与其功效的内在联系,通过数据库检索获取寒苦肝和温辛肝药性的主要有效成分及作用靶点,基于STRING平台构建蛋白质-蛋白质相互作用网络,采用Metascape对识别出的药性组合蛋白质-蛋白质相互作用网络进行京都基因与基因组百科全书通路注释和统计分析。结果表明:逍遥散中归肝经药性主要通过HTR2B等靶点参与神经递质、信号通路、内分泌发挥疏肝解郁的功效特点;逍遥散中寒苦药性主要通过CREBRF等靶点参与能量代谢、炎症反应发挥疏肝解郁的功效特点;逍遥散中温辛组合药性主要通过ADCY5等靶点参与炎症反应神经营养、氨基酸代谢发挥疏肝解郁的功效特点。该研究从分子网络水平阐释了逍遥散中归肝经药性的共性特征和寒苦药性、温辛药性的特异性特征,为逍遥散的药性与功效的内在联系研究提供了新思路和新方法。     

A Fingerprinting Method Based on Module Extraction Used to Protect Intellectual Property

Intellectual Property （IP） reuse methodology has been widely used in Integrate Circuit （IC） design. Meanwhile, the corresponding security problems caused by illegal IP distribution have aroused lots of attentions. Unlike using IP watermark to identify IP＇s ownership, IP fingerprinting can be used to trace illegal distributor. In this paper, IP buyer＇s fingerprint is mapped into different derived instances of extracted modules, and then is embedded into IP to identify distributor in case of illegal distribution. Comparing with other fingerprinting method, the proposed method has some good characteristics such as low design effort, small storage demand, high security and few physical overheads.     

管道可视化检测系统的研究与实现

文章设计了基于Windows操作系统的可视化检测系统,采取数据库连接方式,把所有的检测信息存入数据库中,使查询简单而又高效;由于检测监控模块是整个检测系统软件的核心与基础部分,因而重点介绍了实时检测程序主要设计流程;结果证明,检测系统实现了对钢管的自动化、智能化及可视化检测,在实际生产领域中得到了广泛应用。     

模的极小逼近的一个等价条件

设Λ为Artin代数,C,X,Y是有限生成右Λ-模,χ,γ为有限生成右Λ-模范畴的子范畴.证明了C有右极小χ-逼近0→Y→X→C→0当且仅当Ext_Λ~1(C,)|_γ以Hom_Λ(Y,)|_γ为投射盖.类似地给出了当C有左极小γ-逼近时的等价条件.