有限域上基于Grbner基的高级综合优化方法

提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Grbner基对多项式进行一些基本操作,例如,多变元多项式分解、最大公因式提取、库单元映射等,从而实现了有限域上的数据通路优化.最后进行了算法复杂性分析和实验,实验在SUN工作站上通过调用Maple10来完成,实验结果证实了本方法的有效性.     

基于Groebner基法的3-RPS并联平台机构的位置正解

作者基于Groebner基法和计算机符号处理技术 ,对 3 RSP并联平台机构的位置正解问题进行了符号求解。该法通过对变量排序、建立多项式对的集合、求SP多项式和约简等运算 ,将一组非线性方程组化简为等价的三角化方程组 ,得到了封闭形式的解析解。同时给出了具体数值实例。     

一类极小惯量任意符号模式矩阵

若每个首项系数为1的n阶实系数多项式,其中XN-2的系数为正的多项式是Q(ψ)一些矩阵的特征多项式,那么ψ就是惯量任意的.如果一个惯量任意符号模式的任意非零元被零取代后所得到的符号模式不是惯量任意的,那么这个惯量任意符号模式称为极小惯量任意符号模式.文献[1]中In-Jackim,D.D.Olesky等人已经证明一族新的不可约的符号模式ψ2k+1(k≥2)是惯量任意的,并且证明了ψ5和ψ7是极小惯量任意符号模式,利用有固定惯量的矩阵的特征多项式的系数的一些性质将对ψ9的极小性进行讨论,并证明ψ9是极小惯量任意符号模式.     

基于Groebner基的平面五杆机构位置分析符号解

基于Groebner基法和计算机符号处理技术 ,对各种结构型式的平面两自由度五杆机构位置分析问题进行了符号求解。该法通过对变量的排序 ,建立多项式对的集合 ,求S -多项式 ,约简等运算 ,将一组多项式方程化简为一个同价的三角化方程组 ,得到了封闭形式的解析解。本文研制的软件可以适用于各种结构形式的平面两自由度五杆机构位置分析进行符号求解 ,导出的三角化的Groebner基不仅可以用于研究输入参数对输出构件位置的影响 ,也可以研究调节构件几何参数对输出构件位置的影响规律。     

基于多项式符号运算的时钟周期确定新方法

采用多项式符号代数理论建立了包含时序元件的整个同步时序电路的统一多项式符号描述形式,并采用WGL(weighted general lists)模型进行多项式的符号运算.在时序电路统一多项式描述和及其WGL运算的基础上,通过对有限状态机的简化比较,提出一种完全考虑周期的时序特性的时钟周期确定算法.该方法打破了传统上认为时钟周期要不小于实际传输延迟的认识;通过对多种现有方法的实验比较,该方法可以在不增加计算复杂度的情况下比现有方法找到更精确的时钟周期;实验还表明电路正常工作的时钟周期可以在不使用流水的情况下比实际传输延迟小很多.     

一个极小谱任意符号模式矩阵

一个n阶谱任意符号模式矩阵P是谱任意的,如果对任意的n次首一实系数多项式f（λ）,在P的定性矩阵类Q（P）中至少存在一个实矩阵BQ（P）,使得B的特征多项式为f（λ）．如果谱任意符号模式矩阵P的任意非零元被零取代后所得到的符号模式矩阵不是谱任意的,那么P称为极小谱任意符号模式矩阵。文章给出了一个n≥6阶极小谱任意符号模式矩阵。     

一个新的极小谱任意符号模式

设A是-n／阶符号模式．若给定任意一个n次首一实系数多项式厂（A）,都存在一个实矩阵B∈Q（A）,使得B的特征多项式为f（λ）,则称A为谱任意符号模式．如果一个谱任意符号模式的任意非零元被零取代后所得到的符号模式不是谱任意,那么这个谱任意符号模式称为极小谱任意符号模式．作者在文中给出了一个新的极小谱任意符号模式．     

基于Groebner平面两自由度七杆机构位置分析的符号解

借助Groebner基法和计算机符号处理技术，对平面两自由度七杆机构位置分析问题进行了符号求解。该法通过对变量排序，建立多项式对的集合，求SP多项式，约简等运算，将一组非线性方程组化简为等价的三角化方程组，导出了单变量的8次代数方程，得到了封闭形式的解析解，并给出了具体数值实例。     

一个含有2n个非零元的极小谱任意符号模式

设A为n阶符号模式矩阵,若对任意给定的一个n次首1实系数多项式f(x),都存在一个实矩阵B∈Q(A),使得B的特征多项式为f(x),则称A为谱任意符号模式.如果谱任意模式A的任意一个真子模式都不是谱任意的,则称A为极小谱任意的.本文给出了一个新的含有2n个非零元的符号模式K,运用N ilpoten t-Jacob ian方法证明了n阶(n≥6)符号模式K是极小谱任意模式.     

一类新的极小惯量任意符号模式矩阵

如果一个惯量任意符号模式的任意非零元被零取代后所得到的符号模式不是惯量任意的,那么这个惯量任意符号模式称为极小惯量任意符号模式.作者利用有固定惯量矩阵的特征多项式系数的一些性质对一类低价的惯量任意模式的极小性进行了讨论,并证明该模式是极小惯量任意符号模式.     

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平均应力场理论.     

高师物理专业人才培养与基础教育衔接问题的研究

分析了当前高师物理专业人才培养与基础教育人才需求存在的问题,结合调查情况,提出了高师物理专业在培养目标、课程设置、教学内容、教学方法及实践教学环节方面的改革措施。     

JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY TOTAL CONTENTS(Vol.23)

正~~