两类距离图的分式色数和点色数

分式色数和点色数是图的两个重要参数。本文在文献[1]的基础上给出了两类距离图G（Z,Dm,k,k 1)与G（Z,Dm,k,k 1,k 2）的分式色数和点色数。     

有限阶段非马氏决策规划的ε最优策略及算法

建立了一类转移概率依赖于历史的有限阶段决策规划模型（即有限阶段非马氏决策规划模型）,并对其ε最优策略问题进行了讨论．给出相应的最优方程,证明了确定性ε最优策略的存在性,最后得到求ε最优策略的算法并证明了该算法的有效性．     

一类Dussing方程的δ—振动

讨论一类具有扰动项的Ｄｕｆｆｉｎｇ方程ｘ＋ｘ－αｘ＾３＝ε（ｆ（ｖｔ）＋δｘ），其中α〉０，δ，ｖ都是参数，ε是小参数，ｆ（ｖｔ）＝α１ｃｏｓｖｔ＋α３ｃｏｓ３ｖｔ。并给出了产生δ一共振的条件的参数范围。     

分组检验成立的条件及最佳分组方法

本文通过对分组检验运用条件的讨论，证明了：（1）分组检验成立的条件为概率P∈（0，0.3］．（2）分组值k应为k∈［2,-］上的正整数．对于确定的概率P，证明了存在唯一最佳分组值并给出了具体的最佳分组值．     

广义自缩生成器的猜测决定攻击

利用猜测决定攻击分析了广义自缩生成器的安全性。结果表明,n级线性移位寄存器构成的广义自缩生成器的猜测决定攻击的时间复杂度为O（n3·1/（2（1＋α）n））,存储复杂度为O（n2）,数据复杂度为O（（1-β）/（2（1＋α）N））。猜测决定攻击可以以一定概率实现在不同条件下对广义自缩生成器的攻击,因此不失为一种良好的攻击方法。     

求根问题的量子计算算法

求根问题是计算数论中的一个困难性问题,为了提高求根问题的求解效率和扩大量子计算的应用范围,对求根问题进行了量子算法的分析.在两大量子算法Shor算法和Grover算法的基础上,提出了2种解决求根问题的量子算法RF-Shor算法和RF-Grover算法.经分析,RF-Shor算法需要多项式规模的量子门资源,能以接近1的概率求出求根问题的所有解.在没有使用任何可提高搜索效率的经典策略的情况下,RF-Grover算法能在O(M/k)步内以至少1/2的概率求出求根问题k个解中的一个解.     

射影空间的一个刻画

设X是光滑的n维射影簇（n≥2）,ε是X上秩为r=n-k的丰富向量丛（k≥-1）.则X是射影空间Pn,ε是线丛OPn（1）的直和,当且仅当Λ（ε,KX）=k＋1.     

一种基于LDA的k话题增量训练算法

由于LDA模型需要预先给定话题个数k,因此在进行最优话题个数k选取时需要对语料库进行k值循环计算,从而加剧了算法的复杂度。针对LDA模型的最优k值选取问题,提出LDA话题增量训练算法。该方法首先以词-话题概率熵值作为LDA迭代过程中模糊单词的选取标准,并将抽取模糊单词归入新话题;其次,增加LDA变分推理过程中全局参数β(单词-话题概率矩阵)和α(狄利克雷分布参数)的维数及话题个数k;再次,将变换后的全局参数β、α和k作为输入进行变分训练;最后,循环调用LDA话题增量训练算法并在似然函数值收敛时停止循环过程,完成k的增量训练。此外,通过对真实数据集的实验分析验证了本文算法对最优k值选取的有效性和可行性。     

多个指数分布参数基于截尾样本在序约束下的极大似然估计

对给定k（k〉2）个指数分布总体,抽取一组截尾样本1,2,i i iniX X X,讨论其均值θi,（i=1,2,3 k）在简单半序、简单树半序、伞型半序和简单环半序约束条件下的极大似然估计问题,根据PAVA算法给出了k个指数分布参数基于截尾样本在序约束下极大似然估计的计算方法。     

一类非线性抛物方程组弱解的处处正则性

二次增长的非线性抛物方程弱解的正则性研究已有了比较完备的结果,但对于非线性抛物方程组弱解的正则性研究取得的成果还不多,有关文献证明了对角型抛物方程组的弱解在一定条件下是HOElder连续的.本文考虑如下的一类非线性抛物方程组ut^k-Dα﹂Ak^α（z,u,Du）」=Bk（z,u,Du）,在满足｜Ak^α（z,u,0,…,0,p^（k＋1）,…,p^N）｜≤C^N∑（j=k＋1）｜p^j｜^（1-ε0）＋fk^α（z）,这里,ε0∈（0,1）,k=1,2,…,N,z=（x,t）∈Ω×（o,T）R^（n＋1）,证明了在一定的增长条件下,其弱解是处处Hlder连续的.     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.