Speeding Up the GVW Algorithm via a Substituting Method

Journal of Systems Science and Complexity - The GVW algorithm is an efficient signature-based algorithm for computing Gröbner bases. In this paper, the authors consider the implementation of...     

清代云南铜矿运输的文献研究和实地调查

利用清代铜矿运输的历史文献及云南地方志的相关记载,结合对云南铜矿集中区域的实地调查,对清代中前期云南铜矿的地理位置及运输线路进行研究考证,揭示了云南铜矿分布及不同运输阶段的运输方式,从而对云南铜矿运输体系进行勾勒.     

带有白噪声的Berger方程随机吸引子

考虑带有白噪声的Berger方程解的随机渐近性行为, 用渐近先验估计技术和算子分解方法, 通过引入同构映射构造等价过程, 证明随机吸引子在(H²(U)∩H¹₀(U))×L²(U)中的存在性.     

Simultaneous anti-windup synthesis for linear systems subject to actuator saturation

A synthesis method for global stability and performance of input constrained linear systems, which uses a linear outputfeedback controller and a static anti-windup compensator is investigated. Different from the traditional two-step anti-windup design procedure, the proposed method synthesizes all controller parameters simultaneously. Sufficient conditions for global stability and minimizing the induced L2 gain are formulated and solved as a linear matrix inequalities(LMIs) optimization problem, which also provides an opportunity to search for a better performance tradeoff between the linear controller and the anti-windup compensator.The well-posedness of the close-loop system is also guaranteed.Simulation results show the effectiveness of the proposed method.     

温度和机械载荷联合作用下油田超深井中硬质涂层膨胀锥与套管的屈服挤毁压强及试验验证

在充分考虑温度载荷、机械载荷、硬质涂层膨胀锥硬度、套管硬度对膨胀锥与套管之间屈服挤毁压强影响的基础上,根据分形理论和接触力学推导出膨胀锥与套管之间屈服挤毁压强的计算公式.数值分析表明:膨胀锥与套管之间的屈服挤毁压强随最终温度、分形粗糙度、线膨胀系数、硬质涂层膨胀锥布氏硬度、中间主应力系数、套管壁厚的增大而增大;当分形维数从1增大时,膨胀锥与套管之间的屈服挤毁压强随分形维数的增大而减小;当分形维数增大到接近于2时,膨胀锥与套管之间的屈服挤毁压强随分形维数的增大而增大;随拉压强度比的增大,膨胀锥与套管之间的屈服挤毁压强减小.屈服挤毁压强的计算值与试验测试值之间的相对误差为-8.9253%～-0.9901%.     

Notch Effect and Frequency Compensation of Dual-Sensor OBC Data in Shallow Water

Reverberation is significant in shallow water and produces obvious notches in OBC spec-tra. It also degrades the quality of sections and increases the difficulty of processing and interpretation. This ...     

重庆市公共图书馆图书通借通还项目后期影响

重庆市利用计算机网络、软件及数据库技术,充分整合了全市公共图书馆现有文献信息资源、人员及设备,建设了以重庆图书馆为中心、覆盖主城区公共图书馆的图书借还系统,此后将逐步向基层图书室延伸,构建市、区县、街道(镇)/社区(村)三级图书借还服务网络,并向远郊区县提供业务系统安装使用支持,以此方便读者借还,提升图书使用效率,提高公共图书馆服务质量.介绍了重庆市公共图书馆图书通借通还项目的实施情况,针对项目实施过程中存在的主要问题提出了应对措施,并且指明了项目后续将要开展的工作.     

"数字电路与系统"多媒体双语教学的体会

“数字电路与系统”具有实践性和离散性等特点;采用多媒体与板书相结合的方法克服多媒体的局限性,发扬板书的优势,取长补短;加强与学生的交流,创建和谐、有序、兴趣盎然的教学氛围。