Automated Reasoning and Equation Solving with the Characteristic Set Method

A brief introduction to the characteristic set method is given for solving algebraic equation systems and then the method is extended to algebraic difference systems. The method can be used to decompose the zero set for a difference polynomial set in general form to the union of difference polynomial sets in triangular form. Based on the characteristic set method, a decision procedure for the first order theory over an algebraically closed field and a procedure to prove certain difference identities are proposed.     

紧急功率支援下自适应重合闸附加稳定控制策略

能源分布和负荷需求逆向分布特征促成了我国形成多个大规模电力电能外送系统,在非预期大扰动下会出现系统首摆失稳且自适应重合闸仍难以改善系统稳定性的局面。基于此,提出了一种紧急功率支援下自适应重合闸附加稳定控制策略。首先分析了系统首摆失稳的场景以及失稳条件,并提出了基于功角超实时预测的首摆稳定性预判方法,论证了长时间要求的预测最优阶数。然后结合直流通道提供紧急功率支援能够消纳系统不平衡能量,提出基于超前预控的自适应重合闸附加稳定控制策略。结合失稳判断,分析预判控制时序。基于紧急功率支援协同最佳重合闸时间最大程度上减小了系统功角摇摆,解决了瞬时性故障首摆失稳时重合闸方案的缺失问题。最后,基于PSCAD/EMTDC建立大规模电力外送模型,仿真验证了所提自适应重合闸附加稳定控制策略的有效性。     

数字孪生潭江流域先行先试建设与实践

为提高潭江流域水利工程防洪调度能力,开展数字孪生潭江流域建设。数字孪生潭江面向流域防洪调度需求,围绕“四预”核心功能,以22座大中型水库、7座梯级闸陂为精细化调度目标,建设数据底板、模型平台、业务应用等,构建流域L1级数据底板,流域重点区域及工程L2级数据底板,开发六大类水利专业模型,构建具有“四预”功能的预报调度系统平台,实现流域多源监测感知与数据高效能管理,江河水库闸坝集中管理、联合调度、科学决策,最大程度保障流域内防洪（潮）的安全,完善预报监测薄弱环节,提升工程调度反馈时效性,同时为河湖规范化管理提供依据。项目成果在2022年“龙舟水”、台风暴雨防御期间投入实战,助力潭江流域水库、水闸群的联合调度,取得防洪不受淹、水资源不浪费的最佳效益。     

如何做好一线生产工人的思想政治工作

一线生产工人思想上存在的失落感、不公平感和不安全感等,不仅会影响企业的经济效益,更重要的会影响企业的生存与发展。因此,改变一线生产工人思想观念,进一步激发他们的工作热情是企业思想政治工作的重点:一要加强思想教育,引导职工树立正确的人生观和价值观;二要讲求工作艺术,营造积极向上的思想氛围;三要改善劳动条件,创建安全的工作环境;四要鼓励参政、议政,增强工人的主人翁意识;五要认真开展“三兼顾”教育,实行合理的报酬激励机制。     

预应力混凝土试件碳化试验及碳化深度预测模型研究

进行了碳化环境下预应力混凝土试件弯曲受拉和直接受压的耐久性试验研究,阐述了碳化作用对预应力混凝土结构的损伤机理。引进拉、压应力状态影响函数χσ,以反映碳化深度和应力状态及应力水平的关系。分别假定Fick第Ⅰ定律中的碳化时间指数α为0.50或为变量,由此建立了多因素影响下的预应力混凝土结构碳化深度预测模型,且采用一次可靠性方法(FORM)对碳化深度预测模型进行了分析。研究结果表明,拉、压应力分别可加快和减缓混凝土结构的碳化速度,χσ反映了碳化速率的变化趋势。最优的碳化时间指数α=0.48,若近似取α=0.50,计算结果也是足够准确的,由此印证了Fick第Ⅰ定律的正确性,而且采用FORM计算预应力混凝土结构碳化深度的离散程度是可靠的。     

首采工作面坚硬顶板预裂技术研究与实践

玉溪煤矿1301首采工作面老顶为一层坚硬厚实的中粒砂岩,在工作面切眼内实施工作面回采前深孔预裂爆破,通过对顶板预裂前后老顶断裂极限跨距的理论分析、回采初期顶板垮落情况、工作面综采支架工作阻力等的综合分析,发现顶板爆破有效缩短了初次来压步距,减小了悬顶面积,防止了大面积垮落时工作面瓦斯超限,减弱初次来压对支架的冲击破坏性。     

一阶导数分光光度法测定片剂中司帕沙星

建立了用一阶导数分光光度法测定司帕沙星的新方法,该方法具有操作简便、灵敏度高、选择性好等特点,用于测定司帕沙星片剂中司帕沙星的含量,结果令人满意。     

一种局部无网格配点法在功能梯度材料板上的应用

针对基于1阶剪切变形理论和Hamilton原理的功能梯度材料(functionally graded material,FGM)板微分控制方程,验证将广义有限差分法(generalized finite difference method,GFDM)用于FGM板弯曲行为数值计算的有效性,利用GFDM对物理域进行离散布点...     

渣油泵机械密封失效分析及技术改进

对乙烯装置渣油泵机械密封频繁失效的原因进行分析,通过改进密封结构和选用合适的冲洗液取得了良好的密封效果。     

梯度结构活性碳纤维毡吸声性能分析

为研究梯度结构活性碳纤维毡的吸声性能,选取5种不同密度的粘胶基活性碳纤维毡,两两组合构成梯度结构,借助阻抗管在250~6 300 Hz频率声波范围内,对梯度结构活性碳纤维毡法向入射吸声系数进行测试,分析梯度方向、密度、结构对吸声性能的影响。结果表明:总密度相同的情况下,在低频段单一结构活性碳纤维毡吸声性能比正梯度结构好,但比倒梯度结构差,而在高频段单一结构吸声性能比正梯度结构差,但比倒梯度结构好;总密度不同的情况下,在低频段随着梯度结构总密度的增加,其吸声系数增加,而在高频段随着梯度结构第1层密度的增加,其吸声系数减小;随着活性碳纤维毡第1层密度的增加,第一共振频率向低频移动,随着总密度的增加,第一共振吸声系数增加。