面向延迟标签场景下的可解释信用评估模型

随着社会经济的快速发展,信贷业务在金融领域中扮演着越来越重要的角色,利用机器学习算法进行信用评估成为了当前主流的方法。然而,目前仍存在一些问题亟待解决,如延迟标签带来的有标签数据不充分、模型滞后性的问题,以及动态信用评估模型缺乏可解释性的问题。针对这些问题,提出了一种面向延迟标签场景的可解释信用评估模型。该模型在动态模型树的基础上进行了加权改进,结合了延迟标签更新算法和自适应阈值的伪标签选择策略,将延迟标签数据看作反馈数据和伪标签数据两种状态分别进行处理,平衡了有标签数据不充分和模型滞后带来的影响,并实现了模型的可解释性。最后,在一些合成和真实的信用评估数据集上对模型进行了实验,与其他主流的算法相比,其更好地权衡了预测性能和可解释性。

CaO-Al_(2)O_(3)-SiO_(2)-TiO_(2)渣系脱硫热力学与实验研究

以精炼渣为研究对象,为探索四元渣系CaO-Al_(2)O_(3)-SiO_(2)-TiO_(2)中各组元对炉渣脱硫能力的影响规律,基于分子离子共存理论,建立了CaO-Al_(2)O_(3)-SiO_(2)-TiO_(2)渣系结构单元的作用浓度控制方程,从而构建了渣-钢之间的硫分配比数学模型,定量表征了炉渣碱度、Al_(2)O_(3)含量以及TiO_(2)含量变化对硫分配比和脱硫率的影响程度,并与管式炉热态实验结果进行对比。热力学计算和热态实验结果表明:炉渣各组元对硫分配比影响的主次顺序为:碱度>TiO_(2)含量>Al_(2)O_(3)含量,对炉渣脱硫率影响的主次顺序为:碱度>w(Al_(2)O_(3))>w(TiO_(2));随着碱度的增加,脱硫率和磷分配比逐渐增加,随着Al_(2)O_(3)含量的增加,脱硫率和磷分配比逐渐降低,而随着TiO_(2)含量的增加,脱硫率和磷分配比先增加后降低。结合理论研究与热态实验,得出了四元CaO-Al_(2)O_(3)-SiO_(2)-TiO_(2)渣系的最佳配比:6<R<7、w(TiO_(2))<5%、25%<w(Al_(2)O_(3))<30%。

中学地理教学视角下立德树人导向的国家战略素养培养研究

立德树人已成为学生核心素养培养的主线,而学生的国家战略认知则是地理教学落实立德树人目标的高度体现。将地理教学与立德树人、国家战略相结合,开展中学地理教学视角下立德树人导向的国家战略素养培养研究,能够为地理教学理念和教育教学改革提供创新思路和方向。本文理清了地理学科和立德树人之间的逻辑关系,系统梳理了近年来与中学地理相关的国家战略及其立德树人价值,针对性地提出了立德树人导向的中学地理教学具体路径和创新机制,对培养学生的地理综合思维和国家战略素养、彰显立德树人的育人理念具有理论参考价值。

腹腔镜下疝修补术与传统无张力修补术在腹股沟疝手术治疗中的临床比较

目的 探讨腹腔镜下疝修补术和传统无张力修补术在腹股沟疝手术患者中的临床效果。方法 选取2021年1月至2022年12月于如东县中医院就诊的60例腹股沟疝患者,遵循随机数字表法分为对照组30例和试验组30例。对照组采取传统无张力修补术,试验组采取腹腔镜下疝修补术,比较两组手术指标、手术后各项指标和并发症发生情况、手术前后生活质量及应激指标。结果 试验组患者手术用时明显长于对照组,切口长度明显小于对照组,同时术中出血量明显少于对照组(P <0.05);试验组患者手术后肠道功能恢复时间,术后下床活动时间和住院时间明显短于对照组,疼痛分数明显低于对照组(P <0.05);试验组患者并发症发生率3.33%,较对照组低(P <0.05);手术后,两组患者的生活质量评分较术前提高,且试验组较对照组高,差异有统计意义(P <0.05);两组患者术后的应激指标均高于术前,但试验组低于对照组,差异有统计学意义(P <0.05)。结论 腹腔镜下疝修补术的应用可以明显改善腹股沟疝患者的疼痛感,腹腔镜手术后患者更快下床活动,对患者术后恢复和改善生活质量有积极作用。

基于动态机器学习的信用评估模型

随着计算机技术的发展,利用机器学习算法构建自动化评估模型已经成为金融机构进行信用评估的重要手段。然而,目前信用评估模型仍存在一些问题:信用数据本身存在类别不平衡和高维特征的问题,并且不同的时间下外界环境的改变会影响信用主体的行为,即数据会产生概念漂移现象。为此,文中提出了一个动态的信用评估模型,通过集成学习在新的增量数据上训练基分类器,并对各个基分类器的权重进行动态调整来适应概念漂移,以实现模型的动态更新。当发生概念漂移时,会针对概念漂移的检测结果对高维不平衡的信用数据进行不同形式的均衡化和特征选择。特别地,针对特征选择,文中提出了结合历史代表性样本的增量特征选择算法,该算法能够进行高效准确的特征选择,从而使模型可以同时解决增量信用数据存在的高维不平衡和概念漂移问题。最后,文中选取了真实的增量高维信用数据集,验证了所提算法相比其他主流算法在准确率和效率上的优越性。

全谱火焰光度法检测硫、磷、氮、砷、氯元素

火焰光度分析技术是一种能够快速灵敏检测硫、磷等元素的成熟方法。在环境检测,农残检测,工农业生产领域得到广泛应用。通过对传统火焰光度检测器的改进设计,采用光栅和CCD传感器阵列作为检测器的光电转换器件,拓展了检测化合物的种类,成功实现了对H2S,PH3,NH3,AsH3,Cl2为代表的硫、磷、氮、砷、氯五种元素的实时检测。由原来依靠特征波长检测拓展到利用物质火焰光度光谱信息进行定性定量分析。结合化学计量学的方法有望成为一种能够同时检测多类有毒有害气体的快速现场检测技术。

并发程序验证的时序Petri网方法

并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一 .Petri网和时序逻辑被认为是探讨该问题较为有效的两个理论工具 ,但二者都有局限性 .该文引用一种新网子类 :时序 Petri网 ,描述了并发程序的时序 Petri网建模方法 :利用网结构描述程序基本框架及保证语句的原子性 ,通过时序逻辑公式反映程序的共享逻辑变量的赋值变化及时序关系 ,从而有效地对基本网无法描述的并发程序进行了建模 ;在此基础上 ,结合Petri网的可达图分析技术和时序逻辑的演绎公式 。

LC与ERCP联合用于胆囊结石合并肝外胆管结石的有效性及安全性分析

目的 分析临床治疗胆囊结石合并肝外胆管结石采取腹腔镜胆囊切除术(laparoscopic cholecystectomy,LC)联合内镜下逆行胰胆管造影术(endoscopic retrograde cholangio-pancreatography, ERCP)治疗的效果及安全性。方法 随机选取2018年8月—2023年8月如东县中医院收治胆囊结石并肝外胆管结石患者80例为研究对象,随机数表法分为对照组和观察组。对照组(40例)行传统开腹手术,观察组(40例)行LC联合ERCP手术,对比两组围术期相关指标及手术前后炎症指标,统计并比较两组患者手术成功率及术后并发症总发生率。结果 围术指标中,观察组手术总时间、术后排气均短于对照组,切口长度小于对照组,术中出血量低于对照组,差异有统计学意义(P<0.05)。观察组术后炎症指标低于对照组,差异有统计学意义(P<0.05)。两组患者手术成功率对比,差异无统计学意义(P>0.05),观察组并发症总发生率为2.50%低于对照组,差异有统计学意义(χ^(2)=4.507,P<0.05)。结论 临床治疗胆囊结石合并肝外胆管结石采用LC联合ERCP术式治疗效果确切,术后患者恢复更快,引起的炎症反应小,并发症少,更加安全。

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的判定定理及其检测算法,实现了结构错误的有效判定和分析.

时序Petri网在智能控制中的应用

利用时序 Petri网对实际问题进行建模 ,通过 Petri网反映系统的物理结构 ,并利用时序逻辑公式描述系统需求及其相关约束条件 ,从而通过时序 Petri网的运行 ,得到施加控制后的变迁发生序列 ,即对应问题的实现方案 ,达到智能控制的目的。

Web服务组合测试综述

随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,其主要内容Web服务已经被广泛应用.为了充分利用Web服务并解决单个Web服务功能有限的问题,业界将多个原子Web服务按照一定的规则和业务逻辑进行组合,以提供更多功能更强大的服务,实现了Web服务的增值和复用.为了保证Web服务组合的质量,需要对Web服务组合进行全面、充分的测试.然而,Web服务组合的动态特性和分布式特点使得其测试技术和方法与传统的软件测试有很大的区别,存在很多挑战.针对Web服务组合测试,对近年来Web服务组合测试研究中的测试用例生成技术、回归测试技术、测试执行和度量方法进行了系统的总结和分析.此外,还对Web服务组合测试中有待研究的问题进行了分析和展望.

精炼工作流网的行为保持性质

本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。

基于网语言的Ada程序局部性质的分析和验证

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.

基于P/T网结构的规则系统验证方法

规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现.

时序Ada网的语言性质

在 Ada网的基础上 ,利用时序 Petri网为 Ada任务程序建模 ,提出了时序 Ada网的概念。利用时序 Ada网 ,可以很好地反映 Ada程序的公平性和原子性要求及描述程序的需求规范。对时序 Ada网的语言性质进行分析 ,结论表明时序 Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系 ,有助于对程序性质的分析和验证。

审计缓冲区的形式化模型及其验证

审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有十分重要的意义。审计缓冲区的管理是审计系统的核心部分,本文利用时序 Petri 网对审计缓冲区管理的实现方案进行建模,进而对系统的安全性和活性进行了分析和验证。该方法利用时序逻辑扩充了 Petri 网缺乏描述系统事件之间时序关系的局限性,同时发挥了 Petri 网对系统并发和物理结构的有效描述及分析的优势,达到了系统验证的目的。

基于精炼操作的Petri网建模及其分析方法

针对复杂系统的Petri网建模及其分析问题,定义了Petri网的精炼操作及其相关的Petri网模型.基于序列投影,建立精炼Petri网与原网、子网间的动态行为关联关系,并分析了该精炼操作的相关动态性质,得到一组性质保持判据.最后,基于该方法实现了一个顺序资源共享系统的应用案例的建模及其分析.所提出的方法不仅为复杂系统的Petri建模提供了新的思路,而且有助于复杂Petri网模型的分析和验证.

过程可视化类C编译器的教学辅助软件

针对《编译原理》课程知识点多、概念复杂、理论性太强、算法难理解,具有很强的复杂性和抽象性,与实际联系不紧密等问题,对编译器过程可视化在《编译原理》教学中的必要性以及现有研究的缺陷和不足进行分析,设计并实现了功能较为完整,用户界面友好,可视化流程详细、具体以及能够动态地展示出编译运行机理的过程可视化类C编译器教学辅助软件,理论结合实际,以求达到更好的教学效果。

H型钢裂纹研究

研究了河北某大型H型钢厂采用半敞开方式浇注的H型钢腹板裂纹产生的原因。结果表明：解决H型钢腹板裂纹分为三个阶段，第一阶段，刚投产时出现腹板裂纹几率高达60％～70％，分析主要是由于钢中S、P含量偏高，把其含量降低到[s]〈0．02％、[P]〈0．025％时，可把腹板裂纹控制在16％以内，此时再降低钢中S、P含量效果不明显。第二阶段最为重要，在该厂选取了26块有代表性裂纹的试样进行了细致的研究，研究认为：腹板裂纹主要是由钢中夹杂物和轧制因素造成，其中由夹杂物因素形成的裂纹占69．2％，由轧制因素形成的裂纹占30．8％，提出改进措施后可把腹板裂纹几率降低到1％以内。第三阶段，要想再降低H型钢腹板裂纹几率，应对生产工艺进行优化进一步降低钢中O、S、P以及夹杂物含量，这样才可以取得较明显的效果。

从习字训蒙到大众娱乐——论蒙书《上大人》功能的历史演变

《上大人》是唐代以来流行于民间的习字蒙书,其取字以方便入门为主,并附以儒家仁、礼思想。《上大人》所蕴含的儒家义理虽一度失落,但其作为训蒙习字的民间教材,一直流传到现当代。乾隆时期,容美土司田舜年为在土家族聚居地区宣扬和普及儒家文化,将"上大人"制作成纸牌,主观上达到了教化的目的,同时在客观上又蕴含了娱乐因素。随着"上大人"纸牌与民间戏曲的融合,《上大人》最终完成了由训蒙到纯娱乐的功能演变。