A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases

Journal of Systems Science and Complexity - Weispfenning in 1992 introduced the concepts of comprehensive Gröbner system/basis of a parametric polynomial system, and he also presented an...     

云南省香格里拉市伊隆迈铜多金属矿区物探异常特征

伊隆迈多金属矿位于西南"三江"义敦岛弧的南段东部斑岩成矿带中。以地质勘查资料为依据,通过开展物探工作获得了以下成果:60线长剖面的重力测量在2 780~4 500区间获得了明显的相对低重力异常,推断该区间深部存在隐伏中-酸性岩体;激电中梯扫面工作在测区东西两侧各获得一个北北西向展布的高极化率条带,推断这两个条带与玄武岩和黄铁矿化凝灰岩有关;利用放射性伽马总量测量对平面上石英二长斑岩脉的走向延伸情况进行了推测;利用高密度电法、激电测深及音频大地电磁测深对该区深部的地质特征进行了推测,根据高密度电法工作成果推断,石英二长斑岩在埋深30m范围内产状陡倾略偏南西,闪长玢岩前期侵入灰岩地层并形成较陡的接触面,石英二长斑岩在后期侵位于闪长玢岩与灰岩的接触面。     

西北干旱地区传统建筑安全性能研究——以永登县红城感恩寺碑亭为例

西北地区传统建筑易于受到恶劣干旱环境的侵蚀和破坏,迫切需要评判其重要构件与节点的安全性能,做到科学延续传统建筑的生命周期。以永登红城感恩寺碑亭为例,建立主要承重结构有限元分析模型,依据构件、构架的残损检测数据,修正分析模型,开展具体构件、连接节点承载力及其结构整体的静力学研究,以期结合本地区的环境条件,讨论传统建筑的安全性能及其破坏发展趋势。     

Control of a key transition from prostrate to erect growth in rice domestication

The transition from the prostrate growth of ancestral wild rice (O. rufipogon Griff.) to the erect growth of Oryza sativa cultivars was one of the most critical events in rice domestication. This evolutionary step importantly improved plant architecture and increased grain yield. Here we find that prostrate growth of wild rice from Yuanjiang County in China is controlled by a semi-dominant gene, PROG1 (PROSTRATE GROWTH 1), on chromosome 7 that encodes a single Cys(2)-His(2) zinc-finger protein. prog1 variants identified in O. sativa disrupt the prog1 function and inactivate prog1 expression, leading to erect growth, greater grain number and higher grain yield in cultivated rice. Sequence comparison shows that 182 varieties of cultivated rice, including 87 indica and 95 japonica cultivars from 17 countries, carry identical mutations in the prog1 coding region that may have become fixed during rice domestication.     

最优资金流施工进度计划的风险分析

本文以合成事件技术为基础,研究进度计划中非关键路径对于关键路的时间干扰问题,定义了安全使用时差的新概念,以便对松驰时间和资金最佳运用情况作出可靠的风险决策。     

计算E型方杯压敏电阻最佳位置的一种有效方法

采用有限元法计算了Ｅ型方杯的挠度及应力分布,并从应力差计算出了压敏电阻设置的最佳位置．     

能量存储:基于全新原理的“纳米弹簧”

许多机械装置如钟表、玩具等都采用弹簧来驱动,其能量的存储与释放是通过弹簧内部原子间距的变化来实现的。但是这种原子间距的变化(即弹性变形)所能存储的体能量密度相对很低,如何提高能量的转换效率以及材料存储的能量密度是当前材料科学理论和实验研究共同关注的一个问题。本研究利用金属钨单晶纳米线在加载时独特的孪晶变形行为,提出了一个可以在纳米尺度下高效存储与释放机械能的新原理,并据此设计了相应的纳米装置——纳米弹簧。与块体弹簧不同,本文提出的纳米弹簧通过表面原子的重构来实现能量的存储与释放。进一步的计算还表明,由于金属钨孪晶界面的移动阻力非常小,金属钨纳米弹簧的能量转换效率可以达到98%;同时该纳米弹簧存储的体能量密度可以超过钟表发条的1600倍,并具有30%的应变以及3GPa的驱动应力。     

一种基于分形理论的语音分割新方法

语音是由混沌的自然音素组成的,而分形可以很好地为成混沌状态的自然音素建模．语音波形具有分形特征,将分形用于改善语音识别技术越来越受到重视．语音的特性决定了每一个音素展现其固有模式,因此相邻音素之间的分维值不同．通常求取语音波形的分维值轨迹可把人的发音分割成句子、词、甚至音素．实验证明,该方法在语音分割中取得了很好的效果．     

频率编码脉冲信号性能分析

用大时宽带宽信号是提高雷达距离、速度及其联合分辨性能的最常用方法之一。频率编码脉冲是一种大时宽带信号,具有良好的距离分辨性能和较窄的瞬时带宽。推导了频率编码脉冲信号及步进频率脉冲信号的模糊函数,分析了其距离、速度分辨性能及其相应关系,并就有效解决其距离-速度联合测量问题进行了讨论。     

船舶压载水外来生物入侵传播的防治

对世界范围内目前正在使用的或正在研究的治理船舶压载水外来生物入侵的技术手段和治理措施等进行了比较详细地阐述,提出控制船舶压载水的排放以及研究较为有效的压载水治理方法是解决压载水携带外来物种入侵性传播的有效途径.