可抢占条件下的项目调度研究综述

可抢占条件下的项目调度通过暂时中断某些活动的执行,释放资源给更重要的活动,从而优化项目的工期、成本等绩效指标。可抢占项目调度问题以其重要的理论价值和应用背景,受到了学界和业界的广泛关注。对国内外可抢占项目调度的研究成果进行了系统性总结与梳理,综述了可抢占项目调度问题的数学模型及其求解算法,总结了可抢占项目调度问题的一些扩展问题和应用情况,最后指出了未来进一步的研究方向。     

温度对聚酰亚胺直流击穿特性与闪络特性影响的研究

随着超导技术的迅速发展,高温超导电力设备的工作温度已经可以控制在液氮温度附近,绝缘材料的电气特性是影响电力设备工作性能和运行可靠性的重要因素。聚酰亚胺由于其优异的电气性能和力学性能,广泛应用于常温下电力设备绝缘,而其作为低温绝缘材料应用的研究目前鲜有报道。因此,在液氮温度下聚酰亚胺的绝缘性能研究具有十分重要的意义。文中选取室温附近(300K)和液氮温度(78K)两个温度点,对聚酰亚胺的直流击穿性能和沿面闪络特性进行了测试。研究结果表明温度对聚酰亚胺绝缘材料的直流击穿场强和沿面闪络强度均有一定影响。     

基于指标形式张量的微分几何定理机器证明

提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系统本身和关于哑元的方程三角化这个多项式系统,将所得到的首项代入结论, 从而得到了该定理的机器证明.该算法不仅能够证明基于指标形式张量的微分几何定理,也可以用于张量方程的求解.     

前言

由于数学的基础性,每个时代都有与之相适应的数学.为了利用计算机的强大计算能力,数学的很大一部分内容正在转变为计算机可以接受的语言,具体讲就是数学的离散化、算法化与软件化.这样的数学可以称之为机械化数学.     

及时获得信息的销售存储策略研究

传统的零售商的最佳订货量模型中,单位时间的需求量(率)是确定的或不确定的.本文考虑了需求量(率)不确定时并且可继续获取需求信息时的最优订货量问题的矫正策略.     

VHF等离子体光发射谱(OES)的在线监测

采用光发射谱(OES)测量技术，对不同制备条件下的甚高频(VHF)等离子体辉光进行了在线监 测.实验表明，VHF等离子体中特征发光峰(Si，SiH,H_α,H^*_β 等)的强度较常规的射 频(RF)等离子体明显增强，并且在制备μc-Si：H的工艺条件下(H稀释度R(H₂/S iH₄)=23 )，随激发频率的增加而增大，这些发光峰的变化趋势与材料沉积速率的变化规律较相似.Si H峰等的强度随气压的变化则因硅烷H稀释度及功率的不同而异：高H稀释(R=23)时，SiH峰强 度在低辉光功率下随反应气压的增大单调下降，在高辉光功率下随气压的变化呈现类高斯规 律；低H稀释(R=5．7)时， SiH峰随气压的变化基本上是单调下降的，下降速率也与功率有 关，这些结果表明，VHF-PECVD制备μc-Si：H和a-Si：H的反应动力学过程存在较大差异.此 外，随着激发功率的增大，Si，SiH峰都先迅速增大然后趋于饱和，并且随着H稀释率的增大 ，将更快呈现饱和现象.通过对OES结果的分析与讨论可知，VHF-PECVD技术沉积硅基薄膜可 以有效提高沉积速率，而且，硅基薄膜的沉积速率的进一步提高需要综合考虑H稀释度、气 压和功率等的匹配与优化. 关键词： 甚高频等离子体化学气相沉积 氢化硅薄膜 光发射谱     

面向混合产品生成的客户知识均衡及有效边界识别研究

客户知识间的替代效应易使制造企业对客户知识吸收失真,将不利于混合产品生成。依据客户两类知识和混合产品中实物产品与衍生服务的映射特性,构建了面向混合产品生成的客户两类知识均衡模型。研究发现,在混合产品生成中,若制造企业获取的客户两类知识呈替代效应时,供需双方间的知识转移存在以知识替代系数为特征的有效边界,且吸收呈两极分化的“马太效应”;若制造企业吸收的客户两类知识呈互补效应时,制造企业能实现可持续性的知识创新,从而使供需双方的知识转移呈现协同增长的趋势。     

适用于楔形滤光片型光谱成像仪的快速无损数据压缩方法

楔形滤光片型光谱成像仪具有无运动部件、低光机复杂度等优点，是低成本微型化光谱成像仪的一个重要发展方向。不同于传统色散型光谱成像仪，楔形滤光片型光谱成像仪获取的数据是光谱-空间混合调制的图像。针对直接应用CCSDS123进行楔形滤光片型光谱成像仪数据压缩时压缩比较低的问题，结合楔形滤光片型光谱成像仪“谱像混合”、“推扫成谱”的特点，通过定义新的局部差向量，构建了一种低运算复杂度适合硬件实现的快速无损压缩方法WCCSDS123。新的局部差向量中参与计算的像元集合代表的是同一被观测点的光谱信息。WCCSDS123方法首先利用局部和与改进的局部差向量对采样点的值进行预测，再利用预测值与真实值计算预测残差并对其进行整数映射，最后采用采样自适应熵编码对映射预测残差进行编码完成压缩。在6组楔形滤光片型光谱成像仪数据上分别采用WCCSDS123和CCSDS123进行了压缩实验。实验结果表明，与CCSDS123相比，WCCSDS123的压缩比提高了约21.62%，压缩耗时没有明显差异。因此，该方法在提高压缩比同时，继承了CCSDS123复杂度低，易于硬件实现的优点。该方法WCCSDS123具有较低的计算复杂度，能够更加有效地利用空间光谱冗余信息，获得更好的压缩效果，是针对楔形滤光片型光谱成像仪的一种良好的快速无损数据压缩方法。     

涉及坐标变换的微分多项式在求和约定下的化简和标准型

在n维微分几何中,基本的几何结构和性质常常用Einstein求和约定的带指标函数局部刻画．这种函数的符号计算虽然是计算机代数里最古老的研究课题之一,但直到现在也没有一个完全的算法来判定涉及不同坐标系的两个指标多项式是否相等．这是计算机代数里的一个挑战性问题． 本文针对一种典型的框架：当涉及的坐标变换矩阵的偏导不超过二次时（例如普通的曲率和挠率的局部计算）,提出了一个能消去指标多项式中所有冗余指标的消元算法,以及一个将指标多项式化为标准型,从而能完全判定两个指标多项式是否相等的算法．我们在Maple10中实现了以上算法,并用于研究微分几何中的张量判定等坐标变换下的规律问题．     

SYMBOLIC VERSOR COMPRESSION ALGORITHM

In an inner-product space, an invertible vector generates a reflection with respect to a hyperplane, and the Clifford product of several invertible vectors, called a versor in Clifford algebra, generates the composition of the corresponding reflections, which is an orthogonal transformation. Given a versor in a Clifford algebra, finding another sequence of invertible vectors of strictly shorter length but whose Clifford product still equals the input versor, is called versor compression. Geometrically, versor compression is equivalent to decomposing an orthogonal transformation into a shorter sequence of reflections. This paper proposes a simple algorithm of compressing versors of symbolic form in Clifford algebra. The algorithm is based on computing the intersections of lines with planes in the corresponding Grassmann-Cayley algebra, and is complete in the case of Euclidean or Minkowski inner-product space.