用足用活保税区政策,为海湾型城市建设多作贡献

根据《厦门市加快海湾型城市建设实施纲要》，到2010年，厦门市将基本建成海湾型城市框架，形成以厦门岛为中心，以海湾为背景，沿东、西海域周边展开布局，构建“一环数片、众星拱月”的城市格局和“城在海上，海在城中”的城市景观，届时，城市建成区面积将达到200平方公里，城市化水平达到75％，形成具有海湾型特色的现代化城市格局；     

轧制板坯成型异型坯的宽展公式研究

介绍了劈分法轧制H型钢异型坯的特殊孔型系统及工艺，在充分考虑孔型形状和轧辊压下对宽展的影响的基础上，把腿部宽展和腰部宽展分开来计算，并且针对不同孔型和不同道次给出了相应的宽展计算公式，对理论研究和生产实践有重要的参考价值。     

橙黄色的“黑匣子”

在每一篇报道空难事件的文章或者报刊特写中,都会提到“黑匣子”,而且给读者造成这样一种印象:调查的主要任务就是找到这种仪器,然后通过技术处理,把录存在“黑匣子”里的数据破译出来,就能直接查明飞行事故的原因了。事情果真是这样的吗?“黑匣子”究竟是什么呢?     

一类递推关系的计算定理及其应用

论述了关于二次型递推关系的一类问题，并提出一种新的计算定理和相应的计算方法。     

Telyakovskiǐ型定理

本文在二阶连续模情形下,证明了满足Timan型估计的线性算子A,经过适当的修正后得到的线性算子A~+满足Telyakovskiǐ型估计。     

不可分的正定Hermite型的构作

不可分的正定Ｈｅｒｍｉｔｅ型的构作朱福祖（华东师范大学数学系上海２０００６２）设（ｍ＞０无平方因子）为虚二次域，Ｄｍ为它的代数整数环，域Ｆ有唯一的非平凡的对合即复共轭，它的不动点域是Ｑ，所谓整Ｈｅｒｍｉｌｅ型是指与它相伴的Ｈｅｒｍｉｌｅ方阵的元素属于...     

拥挤型网络的路流组合及模型求解的搜索法

证明了一个路流组合定理并由此而给出了一个求解网络选址两级模型的算法，讨论了网络的Ｂｒａｅｓｓ性及其在网络规划中的应用前景。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。