课程文献中心 更多>>

关键词： 内嵌式永磁同步电机   低载波比   特征值规范型建模   复数PI控制   解耦控制  

摘要： 受到功率器件开关频率的限制,大容量或高转速电机的驱动系统通常要求低载波比运行。内嵌式永磁同步电机dq轴参数不对称,数学模型复杂,在低载波比下,电流环反馈解耦不彻底,控制器优化困难。因此,文中提出一种基于特征值规范型矩阵的建模方法,通过非奇异线性变换,将非对称系统等价转化为对称系统,并利用复矢量建模简化为单输入单输出系统,便于控制器优化设计。此外,基于特征值规范型建模方法,推导出适用于非对称系统的复数PI控制器。仿真与实验结果表明,所提出的建模方法不会引入额外的建模误差。相较于经典PI控制器,所推导的复数PI控制器可实现dq轴解耦控制,动态响应快,相位裕度大幅提升。

关键词： 深部地层   原位地应力   水压致裂法   岩石非均质度   岩石力学试验  

摘要： 准确揭示原位地应力状态,对地下工程开挖支护设计和长期稳定性分析等具有十分重要的意义。利用水压致裂技术开展了纱岭金矿主竖井地应力测试工作,获得了20个测段地应力状态;室内进行了主竖井测试孔岩芯的岩石力学试验,包括巴西劈裂试验、单轴压缩试验及声发射监测试验,获得了岩石空间非均质度和强度分布特征,并分析了岩石非均质度与水压致裂测试结果的关系。结果表明:主应力大小随测量深度近似呈线性增大,测试孔的最大水平主应力值为20.78~45.20 MPa,最小水平主应力值为14.94~35.33 MPa,平均最大水平主应力方向为NW65°;测试孔岩芯各层位非均质度不同,变辉长岩非均质度系数为0.1~0.3,且岩石不同强度条件下声发射信号数量变化不显著,岩石离散度较小,花岗岩非均质度系数最高,可达1.0,以加载后期强相破裂产生的声发射信号为主;岩石非均质度影响水压致裂裂纹的扩展方向,扩展方向和最大水平主应力方向的夹角φ影响着最大、最小水平主应力的测量结果,且对最小水平主应力的影响尤为显著。分析水压致裂测量结果与岩石性质之间的关系,对精确探测非均质地层的地应力场分布规律具有一定的指导作用。

关键词： 煤矿企业   防治水   问题剖析   措施对策  

摘要： 煤矿水害是矿井作业中常见的,形成原因十分复杂。本文根据多年的煤矿防治水经验,遵循《煤矿防治水规定》要求,剖析了煤矿水害产生原因,提出了应对水害早期防治、综合治理的策略。

关键词： 形式化验证   形式化工程数学   逆矩阵形式化   Coq   软件安全  

摘要： 矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。

关键词： 心血管病学   专科医师规范化培训   法布雷病  

摘要： 目的 讨论浙江大学医学院附属第一医院心血管病学专科医师培训病例讨论的罕见病例,法布雷病。方法 以参加培训的专科医师为主体,通过远程视频平台,联合全国心血管病学专科基地,对病例进行讨论,经过抽丝剥茧,提出初步临床诊断和治疗意见,最后由专家进行点评。结果 该病例最终诊断明确并予以规范治疗。结论 通过对本病例的讨论,最终形成了对心肌肥厚完整的诊疗思维,该过程对专科医师临床思维训练起到很好的促进作用。

关键词： 相似流域   时变特征矩阵   无资料地区   参数移用   新安江模型  

摘要： 为了提升无径流资料区水文预报相似流域识别的可靠性,提出了一种相似流域识别方法,该方法通过引入流域时变特征信息,构建流域时变特征矩阵及其展布方法获取流域特征向量,并利用经典K-means聚类方法实现相似流域识别,并以江西省17个天然闭合流域为例,结合新安江模型,开展特征向量/矩阵构建、相似流域聚类识别、模型参数移用、水文预报结果对比分析等一系列研究。结果表明,提出的时变特征矩阵用于无径流资料区水文预报能取得较好的应用效果,与传统的仅基于时不变下垫面信息的相似流域识别方法相比,预报精度得到提升;基于时变综合要素获得的相似分组取得了最高的预报精度,基于时变气象要素获得的相似分组预报精度优于仅基于时不变下垫面要素获得的相似分组;与基于单一要素相似流域识别方法相比,基于综合要素获得的相似分组改善了参数移用的方向性问题,但尚不能完全消除方向性影响。

关键词： 教学病例讨论   住院医师   检验医学科  

摘要： 教学病例讨论是培养住院医师临床思维的主要途径之一,是住院医师规范化培训的重要教学活动,检验医学科不直接参与患者管理及临床诊疗,病例讨论切入点及重点均与临床科室不同,保定市第一中心医院检验医学科专业基地不断探索及实践检验医学科特色的教学病例讨论流程,供同行参考。

关键词： 鹿井铀矿田   隐伏矿床   Pb同位素组成   特征值   勘查方法  

摘要： 根据铅同位素特征值示踪原理,文章在鹿井铀矿田进行已知43号剖面试验基础上,对该矿田的鹿井矿床、沙坝子矿床及外围进行了区域勘查评价。研究结果表明:Pb同位素特征值示踪方法能显著地指示含矿断裂所在位置,是一种有效的隐伏铀矿体示踪方法。在鹿井矿床及外围,圈定出4片重点成矿预测区,分别为鹿井矿床、下洞子矿床、高昔矿床周围、集溪周围,其中集溪周围异常范围较大。在沙坝子矿床及外围,圈定出3片重点成矿异常区,其中2片在龙头、梨花开矿床和沙坝子、大陡壁矿床附近,1片在南部F_(26)断裂带附近。Pb同位素特征值异常划分为该矿田勘查提供了参考依据。

关键词： 现代汉语语法   《中国语文》   语言研究所   中国社会科学院   安徽大学   北京语言大学   学术讨论会   商务印书馆  

摘要： 第二十二次现代汉语语法学术讨论会于2023年4月15日至16日在安徽大学举行。本次会议由中国社会科学院语言研究所句法语义研究室、《中国语文》编辑部、安徽大学文学院联合主办,北京语言大学、商务印书馆协办。

关键词： 实用新型   保护客体   材料特征   答复思路  

摘要： 实用新型专利在我国专利保护体系中发挥着独特的作用,在实用新型专利申请的初步审查中会对专利法第2条第3款所规定的实用新型专利保护客体进行审查,如何更有效地答复相关审查意见是值得思考的问题。该文梳理了我国在各个时期对实用新型专利保护客体的相关规定,从复审和无效案例出发,对实用新型专利保护客体的审查原则和答复思路进行了分析,希望通过以上的案例分析,明晰审查思路,梳理答复要点,为涉及实用新型专利保护客体的审查意见答复提供实务操作建议。