VHDL综合系统HLS/BIT中永真式的判定算法

在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合、ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判定算法，该算法利用余因子、Ｓｈａｎｎｏｎ展开式和单边函数，对逻辑函数的多维体列阵进行快速有效的递归判定。该算法已经在自行研制的ＶＨＤＬ综合系统ＨＬＳ／ＢＩＴ中实际应用。     

Processing Methods and Properties of Two Composite Geotextiles

In order to develope new composite geotextiles with good comprehensive properties,the needle-punched composite geotextiles and adhesive bonded composite geotextiles were made in the factory and laboratory separately.The two processing methods were studied and the mechanical and hydraulic properties of the two kinds of products were tested and compared.The experimental resultsshow that the breaking strength of needle-punched composite geotextiles is much lower than that of adhesive bonded composite geotextiles and the latter also have better hydraulic properties than the former which used in     

患上肩周炎后应该怎么办

最近一段时间,李老师的右肩总是酸疼,手臂显得僵硬,活动不方便,就连写板书抬胳膊都觉得挺费劲儿,睡觉也不敢向右侧卧.     

动景有声山水画制作技术

动景有声山水画是利用光学、电子、电动学原理，配以化学技术，使普通山水画具有彩云飘飞、瀑布飞泻、江河奔腾的真实动感效果，是宾馆、饭店、公共场所、家庭等理想的装饰工艺品，其制作工艺如下：l原件普通纸画、电子原件（三极管、电阻、电容、语言集成块等）、扬声器、开关、永磁同步电机（40转／分钟）、多用动景动盘、动景多用转盘、有机玻璃、硫酸纸、邻苯二甲酸二丁酯、酒精、环形日光灯管（含镇流器）。2制作工艺（回）画框结构与制作制一厚匕一20cm，正面长、宽与纸画大小一致，底部比正面长、宽各／J‘scm的箱式画框，用铝合金…     

雷毅教授和华正CAXA软件

1998年6月,北京航空航天大学与青岛海尔集团、美国advancedCAE Technology公司合资组建了“北航海尔软件有限公司”,“北航海尔”以北京华正软件工程研究所为主体,首创名校、名企、国外大公司三方联手进军信息产业的形式,在中国信息化道路上具有重要的开拓意义。     

线极化径向线缝隙天线的设计

设计了线极化径向线缝隙天线（ＬＰ－ＲＬＳＡ）的设计方案，该天线用于接收卫星直播电视（ＤＢＳ），甚小口径地球站（ＶＳＡＴ）各种卫星地面移动体（包括车辆，船舶等）的高增益平板天线，在讨论了在线极化径向线缝隙天线原理的基础上，完成了其计算机辅助设计和绘图，使用该方法给天线设计带来了方便，能灵活调整和优化缝隙排列，具有直观和精度高的优点。     

甘肃果树抗旱栽培技术

甘肃地域辽阔，气候复杂，不同自然类型区果树的种类、分布和栽培方式、技术措施存在较大的差异。在陇中、陇东及河西地区，干旱是影响果树栽培成活及优质、高产的主要制约因素。长期以来的果树生产中都不得不考虑树种、品种的抗旱性，并采用抗旱栽培技术。１防旱、抗旱工...     

关于负离子配位多面体生长基元模型

阐述了负离子配位多面体生长基元模型的基本要点，介绍了它在一些晶体结晶形态学的晶体生长动力学中的应用。