树立地方文献品牌建设地方特色馆藏——公共图书馆地方文献的开发和利用

介绍了公共图书馆地方文献的收藏特色,论述了树立地方文献品牌的途径,提出了全面开发地方文献资源的建议。     

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

关于δ-Pinching流形中具有平行第二基本形式的子流形

研究了δ-Pinching流形中具有平行第二基本形式的子流形,获得了这类子流形的第二基本形式模长平方的一个拼挤定理。     

Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

沼气系统的投资优化与预测

文章建立沼气系统建设的决策模型和最优年度投资计划模型,并利用层次分析方法和MATLAB软件计算出了2006年至2010年各片区的投资以及建造一个绿色大庆所需的时间和需投入的最低资金。     

空调冷凝器、蒸发器残留水分量检测系统

本文介绍了空调冷凝器、蒸发器残留水分量检测系统的组成和工作原理、技术指标、系统的工艺过程，最后说明了系统的考核和应用情况。     

小型建筑施工企业机械设备维修保养制度探析

小型建筑施工企业建立科学合理的机械设备维修保养制度，是保证工程质量和提高企业经济效益的重要环节。     

一类非线性分式规划问题的最优性条件和对偶

在(F,α,,ρd)-凸和广义(F,α,,ρd)-凸的基础上,讨论了一类非线性分式规划问题的最优性条件和对偶,获得了Kuhn-Tucker最优性充分条件及对偶问题的弱对偶结果.     

原始社会不同类型的彩陶装饰浅析

对原始社会不同类型的彩陶文化进行剖析,研究其装饰纹样的构成和装饰手法的运用,从中体会原始时期人们对美的追求和感受.