检索结果-南通市图书馆

A COMPARISON BETWEEN TWO ROBUST REGRESSION ESTImaTORS BY MEANS OF ROBUST COVARIANCES

在线全文

学校读者我要写书评

暂无评论

Applied mathematics(A Journal of Chinese Universities) 1998年第2期13卷 207-214页

作者： ma JIANGHONG, WEI guangsheng AND WANG KANMIN

Abstract Two classes of mallows GM estimators with invariance are considered in the stochastic linear regression model. Some of their asymptotic properties are described, and the fitted value influence and variance co... 详细信息

关键词： Robust regression fitted-value influence robust covariance

Verification of Datapaths Based on World Level Polynomial

在线全文

学校读者我要写书评

暂无评论

Verification of Datapaths Based on World Level Polynomial

Dual-Defect Engineering Strategy Enables High-Durability Rechargeable magnesium-Metal Batteries

2008 9th International Conference on Solid-State and Integrated-Circuit Technology

作者： Wu Junhua Li Donghai ma guangsheng College of Computer Science and Technology Harbin Engineering University College of Computer Science Qufu Normal University

＜正＞A reduced,canonical,weighted generalized list（WGL） is presented in this *** representation can effective describe world-level polynomial *** reduction rules of WGL were proposed,and the equivalence verification method of register transfer level （RTL） design based on WGL was implemented. Experimental results show that WGL is more effective than other existent model,when it is used for the equivalent verification of RTL design.

关键词： [IEEE Keyword]Taylor series Algorithm design and analysis Data structures Integrated circuit modeling Input variables Boolean functions Polynomials

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Nano-Micro Letters 2024年第9期16卷 449-461页

作者： Fuyu Chen Bai‑Qing Zhao Kaifeng Huang Xiu‑Fen ma Hong‑Yi Li Xie Zhang Jiang Diao Jili Yue guangsheng Huang Jingfeng Wang Fusheng Pan National Innovation Center for Lndustry‑Education Integration of Energy Storage Technology School of Materials Science and EngineeringChongqing UniversityChongqing 400044People’s Republic of China National magnesium Alloy material Engineering Technology Research Center Chongqing UniversityChongqing 400044People’s Republic of China materials and Energy Division Beijing Computational Science Research CenterBeijing 100193People’s Republic of China School of materials Science and Engineering Northwestern Polytechnical UniversityXi’an 710072People’s Republic of China National Key Laboratory of Advanced Casting Technologies Chongqing UniversityChongqing 400044People’s Republic of China

Rechargeable magnesium-metal batteries(RMMBs)are promising next-generation secondary batteries;however,their development is inhibited by the low capacity and short cycle lifespan of *** various strategies have been devised to enhance the Mg^(2+)migration kinetics and structural stability of cathodes,they fail to improve electronic conductivity,rendering the cathodes incompatible with magnesium-metal ***,we propose a dual-defect engineering strategy,namely,the incorporation of Mg^(2+)pre-intercalation defect(P-Mgd)and oxygen defect(Od),to simultaneously improve the Mg^(2+)migration kinetics,structural stability,and electronic conductivity of the cathodes of *** lamellar V_(2)O_(5)·nH_(2)O as a demo cathode material,we prepare a cathode comprising Mg_(0.07)V_(2)O_(5)·1.4H_(2)O nanobelts composited with reduced graphene oxide(MVOH/rGO)with P-Mgd and *** Od enlarges interlayer spacing,accelerates Mg^(2+)migration kinetics,and prevents structural collapse,while the P-Mgd stabilizes the lamellar structure and increases electronic ***,the MVOH/rGO cathode exhibits a high capacity of 197 mah g^(−1),and the developed Mg foil//MVOH/rGO full cell demonstrates an incredible lifespan of 850 cycles at 0.1 A g^(−1),capable of powering a light-emitting *** proposed dual-defect engineering strategy provides new insights into developing high-durability,high-capacity cathodes,advancing the practical application of RMMBs,and other new secondary batteries.

关键词： Rechargeable magnesium-metal batteries Dual-defect engineering Vanadium-based cathode High durability Lamellar structure

基于多项式符号代数方法的高层次数据通路的等价验证

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2009年第3期46卷 513-520页

作者：杨志马光胜张曙哈尔滨工程大学计算机科学与技术学院哈尔滨150001 哈尔滨工程大学信息与通信工程学院哈尔滨150001

基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,... 详细信息

基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性.

关键词：高层次数据通路等价验证多项式符号代数形式验证电子设计自动化

Population genomic analysis reveals key genetic variations and the driving force for embryonic callus induction capability in maize

在线全文

学校读者我要写书评

暂无评论

Journal of Integrative Agriculture 2024年第7期23卷 2178-2195页

作者： Peng Liu Langlang ma Siyi Jian Yao He guangsheng Yuan Fei Ge Zhong Chen Chaoying Zou Guangtang Pan Thomas Lübberstedt Yaou Shen State Key Laboratory of Crop Gene Exploration and Utilization in Southwest China/maize Research Institute Sichuan Agricultural UniversityChengdu 611130China Department of Agronomy Iowa State UniversityAmesIA 50011USA

Genetic transformation has been an effective technology for improving the agronomic traits of ***,it is highly reliant on the use of embryonic callus(EC)and shows a serious genotype *** this study,we performed genomic sequencing for 80 core maize germplasms and constructed a high-density genomic variation map using our newly developed pipeline(MQ2Gpipe).Based on the induction rate of EC(REC),these inbred lines were categorized into three *** low-REC germplasms displayed more abundant genetic diversity than the high-REC *** integrating a genome-wide selective signature screen and region-based association analysis,we revealed 95.23 Mb of selective regions and 43 REC-associated *** variants had phenotypic variance explained values ranging between 21.46 and 49.46%.In total,103 candidate genes were identified within the linkage disequilibrium regions of these REC-associated *** genes mainly participate in regulation of the cell cycle,regulation of cytokinesis,and other functions,among which MYB15 and EMB2745 were located within the previously reported QTL for EC *** leaf area-associated variants with large effects were closely linked to several REC-related loci,implying a potential synergistic selection of REC and leaf size during modern maize breeding.

关键词： maize genetic transformation embryonic callus selective signal association analysis

在线全文

学校读者我要写书评

暂无评论

NoC处理单元随机舍入的启发式应用映射

计算机辅助设计与图形学学报 2011年第7期23卷 1263-1269页

作者：宋朝晖马光胜宋大雷哈尔滨工程大学计算机科学与技术学院哈尔滨150001 黑龙江电力职工大学计算机网络中心哈尔滨150030 中国海洋大学工程学院青岛266001

在性能约束的前提下,为了降低能量消耗,针对一个集成了异构IP块以分层星型拓扑互连的片上网络(NoC),采用多电压电平操作,运用一种统一方法来解决应用映射问题,并用混合整数线性程序公式化问题,提出了基于随机舍入的NoC处理单元启发式高... 详细信息

在性能约束的前提下,为了降低能量消耗,针对一个集成了异构IP块以分层星型拓扑互连的片上网络(NoC),采用多电压电平操作,运用一种统一方法来解决应用映射问题,并用混合整数线性程序公式化问题,提出了基于随机舍入的NoC处理单元启发式高效应用映射——HAMU法.实验结果表明,HAMU法的效能明显优于其他启发式方法.

关键词：片上网络混合整数线性程序随机舍入启发式应用映射

在线全文

学校读者我要写书评

暂无评论

定点算术数据通路的等价性检验方法

计算机辅助设计与图形学学报 2009年第1期21卷 27-32页

作者：李东海马光胜胡靖哈尔滨工程大学计算机科学与技术学院哈尔滨150001

以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式... 详细信息

以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点数据通路的设计规范和寄存器传输级实现,将等价性检验问题转化为判断一个多项式函数是否为vanishing多项式、vanishing多项式理想的极小强Grbner基被用来有效地解决该问题.理论分析和实验结果表明,与现有的算法相比,该方法在时间消耗上具有一定的优势.

关键词： vanishing多项式 Grbner基定点数据通路等价性检验形式验证

在线全文

学校读者我要写书评

暂无评论

信号相关的串扰优化详细布线

计算机辅助设计与图形学学报 2005年第5期17卷 1074-1078页

作者：冯刚马光胜杜振军哈尔滨工程大学计算机科学与技术学院哈尔滨150001

针对超深亚微米IC布线设计中的串扰问题,提出基于改进遗传算法的串扰优化的详细布线方法该方法同时考虑了产生串扰的动态和静态的因素,能够更加准确地反映线间串扰的情况,为布线的调整提供更大的余地实验证明,该方法不但比现有的方法... 详细信息

针对超深亚微米IC布线设计中的串扰问题,提出基于改进遗传算法的串扰优化的详细布线方法该方法同时考虑了产生串扰的动态和静态的因素,能够更加准确地反映线间串扰的情况,为布线的调整提供更大的余地实验证明,该方法不但比现有的方法能更好地减少线间串扰。

关键词：详细布线串扰优化信号波形距离遗传算法成功值折半

在线全文

学校读者我要写书评

暂无评论

应用吴方法进行高层次定界模型检验

计算机辅助设计与图形学学报 2008年第2期20卷 137-143页

作者：杨志马光胜冯刚邵晶波哈尔滨工程大学计算机科学与技术学院哈尔滨150001

以吴方法为理论基础,提出一种针对高层次设计验证的定界模型检验方法·通过使用多项式等式建模高层次设计和待验证性质,将定界模型检验问题转化为定理证明问题,并用吴方法有效地解决该定理证明问题·实验结果表明,与基于布尔SAT、基于LP... 详细信息

以吴方法为理论基础,提出一种针对高层次设计验证的定界模型检验方法·通过使用多项式等式建模高层次设计和待验证性质,将定界模型检验问题转化为定理证明问题,并用吴方法有效地解决该定理证明问题·实验结果表明,与基于布尔SAT、基于LP的RTLSAT以及基于非线性求解器的性质检验方法相比,该方法在时间消耗上具有相当大的优势·

关键词：高层次设计定界模型检验吴方法形式验证