基于PSL/Sugar语言的RISC模块验证

由于RISC具有流水线结构和指令多样性的特点．传统的Co-Verification方法使RISC验证工作复杂而艰巨．在用PERI，语言编写产生的随机测试机器码的基础上，利用Accellera组织提出的PSL／Sugar语言．结合Cadence公司的ABV验证工具．探讨了一种新颖的RTL级RISC模块的ABV验证模式．实验证明．该方法简单、快捷、可靠．能保证验证功能覆盖率达到100％．可以节省大量验证工作量．缩短SOC的开发周期．为加快芯片从设计到产品化的过程增加了一道安全的技术保障．     

土壤传递函数法在确定田间持水量中的应用

采用土壤传递函数法，对确定土壤田间持水量的点估算模型和系数估算模型进行分析研究，并用山西省太古县水均衡实验场和河南开封朱仙镇试验基地的实测资料对模型进行验证．结果表明，在土壤田间持水量的研究中，土壤传递函数法是一种行之有效的方法．     

产品成本评估系统与产品数据管理系统(PDM)的集成研究

将产品成本评估系统移植到产品数据管理(PDM)环境中，实现了产品成本评估系统与PDM的有机集成。该集成系统充分发挥了PDM和成本评估系统的优势，缩短了产品成本评估的时间，为企业实现面向成本的设计提供了支持。     

人工神经网络在软件预估分析中的应用

将人工神经网络理论应用于软件预估分析领域，通过BP神经网络和功能点估算模型的介绍与结合，提供了一种估算软件工作量的方法．使用智能神经网络可分析软件开发这一十分复杂的过程。     

有机物临界压缩因子Zc 的估算

由Ｔｃ、Ｐｃ、Ｖｃ3个基本临界参数按Ｚｃ=ＰｃＶｃ/(ＲＴｃ) ( 1 )式定义导出的临界压缩因子广泛用于粘度、导热系数等物性的估算 ,是最重要的物理化学参数之一[1,2 ] .Ｚｃ 不能直接测定 ,由实测的Ｔｃ、Ｐｃ、Ｖｃ 按上述定义计算所得的Ｚｃ 值为实验值 .由于很多化合物的临界条件非常荷刻以及部分化合物的不稳定性 ,使目前Ｔｃ、Ｐｃ、Ｖｃ 的实测数据仍然缺乏 ,要先进行Ｔｃ、Ｐｃ、Ｖｃ 的估算 ,这样按 ( 1 )式计算的Ｚｃ 值则视为估算值 ,这样的估算方法亦称为间接估算方法 .Ｚｃ 也可直接估算 ,Ｌｙｄｅｒｓｅｎ、Ｅｄｍｉｓｔｅｒ…     

基于可重用IP的SOC设计方法学的研究

介绍了当前国际集成电路领域在进行百万门以上的芯片设计时广泛采用的基于IP核的SOC设计方法．在研究可重用IP核及其在SOC设计中应用的基础上，给出了一种SOC设计的具体流程．研究认为，要满足设计进度和设计成功率，在进行SOC设计时，遵从规范、应用科学的设计方法是成功的前提．文后对SOC设计发展趋势作了较为详细的分析．     

烃源岩有机质的不同赋存状态及定量估算

研究了辽河盆地低演化烃源岩中有机质的不同赋存状态。引入土壤学的方法，将不溶有机质划分为５种赋存状态。通过计算，确定了它们占烃源岩有机质的平均份额分别为（１）２８％，（２）３９％，（３）１８％，（４）３％和（５）１２％，其中（４）是首次揭示的。     

遥感技术在人口估算中的应用

以天津市区为例综合应用住宅计数法、面积（密度）法和模型法探讨城市小区域人口的遥感估算新途径。作者首先提出了人口遥感估算的理论基础，其次以遥感数据为基础推出了两种人口估算数学模型，最后就遥感技术实际应用于人口估算的原则问题提出了一些见解。     

投资控制在工程建设中的作用

为使投资控制在工程建设中发挥其应有的作用，就必须认真作好项目决策阶段的投资估算，严格控制设计概算的质量，认真编制好施工图预算。     

厦门同安湾需氧有机物的去除和释放通量估算

以COD为有机污染物指标 ,在不考虑水动力因素的条件下 ,根据实验室模拟实验的结果和相关的研究结果 ,估算了同安湾海域水体的生化净化作用、悬浮颗粒物沉积作用的去除通量和底质沉积物的再释放通量 .研究结果表明 :同安湾海域生化净化作用对有机污染物的去除通量为 10 42 9t·y-1,悬浮颗粒物沉积作用的去除通量为 4137t·y-1,而底质沉积物COD的最大可能释放通量为 3317t·y-1,说明该海域生化净化作用对有机物的去除占主导地位 ,而底质沉积物COD的释放量与悬浮颗粒物沉积作用的COD去除量大致相等 .因而在考虑同安湾污染物的总允许排放量时 ,可以只考虑水体COD的生化降解作用 ,而忽略悬浮颗粒物沉积的去除作用和底质沉积物释放的二次污染作用