带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

数学史国际学术研讨会纪要

2007年10月11日至15日，数学史国际学术研讨会在四川成都成功举行．本次会议的主题是纪念欧拉诞辰300周年暨《几何原本》中译400周年．会议由中国数学会和国际数学史委员会主办，四川师范大学承办，四川省安岳县人民政府协办．     

向量及其运算

向量具有代数形式和几何形式的双重特征,是数形结合的一个典范．更是解决很多实际问题的重要工具和方法．     

混料试验中的确界约束与多余约束

在混料问题中,经常出现附加的混料约束.对于单分量上、下界约束系,我们证明:只存在两种非确界约束,或者都是单侧的,或者只有一个分量存在双侧非确界约束,不可能有两个分量存在异侧非确界约束.对于分量线性组合上、下界约束系和复合约束系,我们分别给出了关于多余约束的判别方法,并用了一些数值例子说明这些判别方法.     

几何画板在交流电路教学中的运用

The Geometers Sketchpad（简称GSP）是由美国Key Curriculum Press公司制作并出版的数理软件．1995年由人民教育出版社及全国计算机发展中心联合引进，其汉化版称为《几何画板》，被誉称为“21世纪的动态几何”．几何画板与许多绘图软件类似，不仅能绘制各种几何图形，还提供了测量和计算功能，能对图形中的测量数据实时显示，并引入了坐标系，为研究方程、函数、曲线以及矢量关系提供了良好的平台．     

电子束抽运高重复率KrF激光系统

为了发展惯性约束聚变能驱动装置所需的技术，在日本电子技术实验室，建立了高重复率电子束抽运的KrF激光放大器，样机放大器的脉冲电源系统巳建成，以1Hz重复率产生-300KV、80ns的脉冲。用脉冲变压器、磁开关和水介质脉冲形成线代替通常的带有球隙开关的Marx发生器，得到高压电短脉冲，这个系统的关键技术这一是强制冷却方法和HIBACHI结构中的阳极箔增加了其寿命。设计采用辐射和传导作为主要冷却过程，并允许箔加温到高温。选择HAVAR和钼分别作承压箔和阳极箔，代替通常的钛箔。箔的最高温度通过数字计算表明本设计是可用的。     

给学生充分发展的时间与空间——一堂数学课教学案例与思考

在数学教学过程中 ,如何切实做到以学生发展为本 ,充分发挥学生的主体作用 ,下面教学片断或许能给我们提供一些启示 .1　案例 :立体几何在实践中的应用1 1　导入教师 :我们已经学习了研究空间线线、线面及面面这些位置关系的判定定理、性质定理等基本知识和解决问题的基本方法 ,今天将继续探讨 ,如何将这些知识和方法应用到实践中去 ,解决一些实际问题 .教师 :出示问题 :如图四面体木块ＰＡＢＣ中 ,Ｍ是面ＰＡＢ内的一点 ,木工要过点Ｍ画一条直线与ＰＣ垂直 ,应当如何画 ?(选自上海教育出版社《高中数学科教学基本要求与训练》Ｐ1 37题 6) …