谈公路工程标书的实质性响应

公路工程实行招投标制度是规范市场经济秩序的重大举措。做好公路工程标书的实质性响应的评价工作，是体现公正、公平、公开原则的重要环节。结合国内外招投标实践，从标书的完整性、算术性修正、商务的实质性响应、技术的实质性响应、标价的合理性等方面，定性与定量相结合，论述了标书的实质性响应，对公路工程评标具有指导性意义。     

一类（k,d）—算术图

证明广义Ｋ（４，ｎ）图是（２ｄ＋２ｒ，ｄ）－算术图或（ｄ＋２ｒ，ｄ）算术图，并且提出了一个猜想。     

关于修订货车D型篷布技术条件的通知

1修订《货车D型篷布技术条件》 5．11“涂覆织物抗撕裂力的测定”修改为：按GB／T3917．2-1997中双舌法、电子装置计算的方法（全峰值）进行；以（100＋10）mm／min速度拉伸，试验机的灵敏度10％。取样时撕裂起点距加强丝15mm；检验结果取5次试验算术平均值，每次取值应包含2个加强丝的峰值．如果只包含1个加强丝的峰值为无效数据。     

关于算术图的一个注记

证明广义图K(4,n)是(d,d)-算术图或(2d,d)-算术图。     

甚低频通信系统的自适应算术数据压缩研究

受其带宽的限制，甚低频通信系统的数据传输率较低。我们可通过自适应算术编码压缩来提高甚低频通信系统的数据传输率。为了提高算法的抗错误扩散能力，算法必须定期地返回到初始状态，然后采用纠错编码来降低错误率，但是这增加了冗余而牺牲了最终压缩效果。在考虑了开销之后，我们得出结论，自适应算术编码压缩技术确确实实能够为甚低频通信系统提高数据传输率。     

一种改进的小波变换图像压缩方法

针对传统小波变换过程复杂的缺点和SPIHT算法编码过程重复运算、存储量大的问题,提出了一种改进的小波变换图像压缩方法.该方法首先对纹理丰富的图像进行3级小波变换,再对高频子带通过小波树分类器分为低频树和高频树.最后对最低频子带进行差值脉冲编码调制(DPCM),对低频树和高频树分别进行SPIHT和自适应算术编码(MQ).仿真结果表明,在压缩比相同的情况下,该方法不仅能够在几乎不降低图像恢复质量的前提下提高了编码速度.而且能够降低存储空间的消耗.压缩整体性能明显要优于SPIHT算法.     

吴文俊与数学机械化

机器证明的思想可以回溯到17世纪的Descartes与Leibnize,20世纪初Hilbert更明确地提出了公理系统的机械化判定问题,但是,随后的种种努力都未能使机器证明取得本质的进展。近20年来,吴俊继承并发展了中国古代的数学思想,在定理机器证明上开创了以多项式组零点集为基本点的消元方法;吴俊的数学机械化方法已在物理规律的发现,机器人学,计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴趣,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑。     

剑指王座：第八代雅阁强势出击

即使面对劲敌们的围追堵截,全新一代雅阁的目标也只有一个,就是从凯美瑞手中夺回原本属于它的销售冠军王座。当然销售业绩并非是初中生的算术题,对于新雅阁而言,它要面对的算术题中包含了太多的未知数,一些来自对手比如说凯美瑞、新蒙迪欧-致胜,但更难搞懂的则是消费者,因为新雅阁有很多特点都在底盘中藏着,而这些细节需要消费者通过驾驶之后才能切身体会,但在其他车型的吸引之下,消费者会留出足够的耐心坐在第八代雅阁的方向盘之后吗？     

关于算术图的几个结果

图G=(V，E)(其中q=|(E(G)|称为(k，d)-算术图如果不同的点能用不同的非负整数标号，使得由端点标号之和所得边的值构成序列k，k d，k 2d，…，k (q-1)d．本文我们对(k，d)-算术图进行了讨论，得到了(k，d)-算术图的几个结果．