中国式现代化视域下参政党自身建设研究

中国新型政党制度是我国的政治特色和制度优势,是中国式现代化道路的制度保障。参政党作为中国新型政党制度的重要主体,其现代化是政党现代化中重要的部分,是新型政党制度与中国式现代化互融共进的必然要求。本文旨在研究中国式现代化对参政党建设的要求,探索中国式现代化视域下参政党建设的实践路径,对加强参政党自身建设,进而实现其现代化具有重要理论和实践意义。

DDoop:基于差分式Datalog求解的增量指针分析框架

指针分析是对软件进行编译优化、错误检测的核心基础技术之一.现有经典指针分析框架,如Doop,会将待分析程序和分析算法转化成Datalog评估问题并进行求解,如程序规模较大,单次求解分析时间开销较大.在程序频繁变更发布的情况下,相关程序分析的开销更是难以负担.近年来,增量分析作为一种在代码频繁变更场景下有效复用已有分析结果提升分析效率的技术受到了越来越多的关注.然而,目前的增量指针分析技术通常针对特定算法设计,支持的指针分析选项有限,其可用性也受到较大限制.针对上述问题,设计并实现一种基于差分式Datalog求解的增量指针分析框架DDoop(Differential Doop).DDoop实现增量输入事实生成技术与增量分析规则自动化重写技术,将多版本程序增量分析问题表达为差分Datalog评估问题,从而可以充分利用成熟的差分式Datalog求解引擎,如DDlog,来实现端到端的增量指针分析,并最大化兼容复用Doop中已有的指针分析实现,提供透明的增量化支持.在广泛应用的真实世界程序上对DDoop进行实验评估,实验结果显示DDoop相较于非增量的Doop框架具有显著的性能优势,同时高度兼容Doop中已有的各种指针分析规则.

前言

在软件定义一切的时代,软件使能的系统遍布在人类社会的各个方面、在不同程度发挥着重要的作用,软件可信保障既是迫切需求又是重要挑战.对软件的语义及其行为空间进行深入理解是软件可信保障的重要依据与前提.然而,随着计算机技术的快速发展与应用的日趋普及,软件系统规模和复杂性持续增大,如何对大规模、复杂软件系统的语义进行理解,并指导软件分析、测试、验证乃至优化活动是当前领域关注的重要问题.特别是在当前开源时代下,如何对大规模代码高效构建准确的语义认知,并基于相关认知与理解进行后续自动化分析,具有重要意义.

安胃汤含药血清调控NLRP3-Caspase-1-IL-1β信号轴促进MC细胞焦亡机制研究

目的探究安胃汤含药血清对MC(MNNG诱导GES-1恶性转化)细胞NLRP3-Caspase-1-IL-1β信号通路相关因子及细胞焦亡的影响,揭示安胃汤抗慢性萎缩性胃炎(chronic atrophic gastritis,CAG)作用机制。方法将MC细胞分为空白组、安胃汤组、安胃汤+Z-YVVD-FMK(阻断剂)组、Z-YVVD-FMK(阻断剂)组4组;CCK8分别检测12 h、24 h、48 h时间点细胞增殖情况,确定最佳检测时间点及含药血清比例;检测各组细胞上清液乳酸脱氢酶(LDH)活性;AO-EB染色法检测细胞膜的完整性及胞核形态;ELISA检测血清白介素-18(interleukin-18,IL-18)、白介素-1β(interleukin-1β,IL-1β)水平;Real-time PCR检测核苷酸结合寡聚化结构域样受体蛋白3(NLRP3)炎性小体(NACHT-LRR-PYD-containing proteins 3 inflammasome,NLRP3)、半胱氨酸天冬氨酸蛋白水解酶-1(cysteine-requiring aspartate protease-1,Caspase-1)、消皮素D(gasdermin D,GSDMD)、IL-18、IL-1β基因的表达;Western-blot检测NLRP3、Caspase-1、GSDMD蛋白的表达。结果选用48 h时间点、10%含药血清比例加入后续实验;与其余3组比较,安胃汤组LDH活性增高(P<0.01);给药组AO-EB染色均可见胞膜肿胀变形以及细胞核形态改变;ELISA结果提示:与空白组比较,安胃汤组IL-18、IL-1β均见升高(P<0.01),Z-YVVD-FMK组IL-18、IL-1β均见下降(P<0.01),差异具有统计学意义;Real-time PCR检测提示:与空白组比较,安胃汤组NLRP3 mRNA、Caspase-1 mRNA、GSDMD mRNA、IL-18 mRNA、IL-1βmRNA表达水平均见升高(P<0.01,P<0.05),Z-YVVD-FMK组GSDMD mRNA、IL-18 mRNA、IL-1βmRNA表达水平均见降低(P<0.01),差异具有统计学意义;Western-blot结果提示:与空白组比较,安胃汤组NLRP3/Actin、GSDMD/Actin表达上升(P<0.01),Z-YVVD-FMK组Caspase-1/Actin表达量减少(P<0.01)。结论安胃汤抗CAG可能与其通过调控NLRP3-Caspase-1-IL-1β信号转导通路诱导胃黏膜细胞焦亡逆转CAG病理状态有关。

安胃汤抑制CAG大鼠PD-1/PD-L1信号轴免疫逃逸机制研究

背景众多证据表明免疫逃逸在肿瘤形成过程中扮演重要角色,慢性萎缩性胃炎(chronic atrophic gastritis,CAG)是胃癌的癌前疾病.安胃汤被发现可改善CAG临床症状及病理表现,实现CAG的逆转,该作用是否与免疫逃逸机制相关有待进一步研究.目的从细胞免疫逃逸角度,探讨程序性死亡受体-1(programmed cell death protein 1,PD-1)/程序性死亡受体配体-1(programmed cell death ligand 1,PD-L1)信号轴与安胃汤对CAG模型大鼠疗效之间的关系.方法采用1-甲基-3-硝基-1-亚硝基胍(1-Methyl-3-nitro-1-nitrosoguanidine,MNNG)慢性萎缩性胃炎大鼠模型,应用不同剂量安胃汤及维酶素片进行干预;HE染色观察安胃汤对CAG模型大鼠胃黏膜炎症细胞浸润及组织形态改变的影响;免疫组化检测CAG模型大鼠胃黏膜组织PD-1、PD-L1蛋白表达;ELISA检测血清CD4^(+)、CD8^(+)水平变化;qPCR检测CAG模型大鼠胃黏膜PD-1mRNA、PD-L1mRNA表达;Western-blot检测CAG模型大鼠胃黏膜组织PD-1、PD-L1蛋白表达.结果免疫组化结果示:与模型组和维酶素组比较,安胃汤高、低剂量组PD-L1表达均较低(P<0.01,P<0.05).ELISA实验结果示:与模型组比较,安胃汤高剂量组CD4^(+)表达及CD4^(+)/CD8^(+)比值升高(P<0.01,P<0.05),安胃汤各组和维酶素组CD8^(+)表达降低(P<0.01);与维酶素组比较,安胃汤高剂量组CD8^(+)表达降低(P<0.05).qPCR实验结果显示:与模型组比较,安胃汤高剂量组和维酶素组PD-1mRNA表达下降(P<0.01),安胃汤高、中剂量组PD-L1mRNA表达下降(P<0.01,P<0.05).Western-blot实验结果显示:与模型组比较,安胃汤高、中剂量组PD-1/Actin,PD-L1/Actin表达下降(P<0.01,P<0.05).结论安胃汤抗CAG作用可能与抑制PD-1/PD-L1信号通路诱导的细胞免疫逃逸有关.

基于指标依赖模型构建与监控的攻击检测方法

随着攻击技术的不断演进,防御的难度也与日俱增.为了及时、有效地识别和阻断攻击的实施,学术界与工业界已提出众多基于攻击检测的防御技术.现有的攻击检测方法主要着眼于攻击事件,通过识别攻击特征或者定位异常活动来发现攻击,分别具有泛化性和攻击导向性不足的局限性,容易被攻击者精心构造的攻击变种绕过,造成漏报和误报.然而,根据观察发现:尽管攻击及其变种可能采用众多不同的攻击机制来绕过一些防御措施,以实现同一攻击目的,但是由于攻击目的不变,这些攻击对系统的影响依然具有相似性,因此,所造成的系统影响并不会随攻击手段的大量增多而随之产生对应的增长.针对这一特点,提出了基于攻击指标依赖模型的攻击检测方法,以更有效地应对攻击变种.所提出的指标依赖模型着眼于漏洞利用后对系统的影响而非变化多样的攻击行为,因此具有更强的泛化能力.基于模型指导,进一步采用多层次监控技术,以迅速捕获定位攻击迹,最终实现对目标攻击与变种的精确检测,有效降低攻击检测的误报率.在DARPA透明计算项目以及典型APT攻击组成的测试集上,与现有的基于攻击事件分析的检测方法进行实验对比,结果表明:在预设场景下,所提出的方法可以根据可接受的性能损耗实现99.30%的检出率.

基于文献的痞满证候特征及用药规律研究

目的:收集与整理2001—2022年中国知网(CNKI)数据库收录有关治疗痞满的文献,并对证型、中药处方中的用药规律进行分析,为临床治疗痞满提供新的思路与科学依据。方法:以“痞满”为主题词在CNKI数据库中进行检索,检索时间为2001—2022年。通过筛选共纳入符合标准的文献67篇,提取文献中的证候及药物组成,统计不同证候类型及中草药的出现频次,选取出现频次≥5次的证候类型为高频证型,出现频次≥20次的中药为高频药物,并对高频药物进行关联规则与聚类分析。结果:67篇文献共包含19个证型,其中高频证型有湿热蕴脾证、肝胃不和证、寒热错杂证、脾虚证、脾虚气滞证和肝郁脾虚证。67篇文献共包含中药处方116首,处方中包含的中药种类共159种,其中使用频次最高的是茯苓(46.55%)、陈皮(43.97%)、黄连(41.38%)、党参(40.52%)。聚类分析结果显示,23味高频药物聚为7类最佳。结论:痞满以湿热蕴脾证为主,治疗以调理脾胃升降,行气除痞消满为基本法则,佐以清热祛湿、理气消滞、健脾益气。

菌包加工机中螺旋输送机的改进设计

螺旋输送机在现代化生产中使用广泛,它的使用对提高物料运输效率和实现生产机械的自动化具有重要意义。针对菌料松散度高、黏着性低等特点,从螺旋输送机的结构出发,对螺旋输送机的叶片尺寸、螺距、转速、运输量及运输效率进行分析计算。最终得出,针对由木屑、玉米芯等粉碎后,混合水、生石灰等搅拌而得的菌料,在保证其输送量达到0.35t/h的前提下,其螺旋输送机的螺旋叶片直径为100mm,螺旋轴直径为50mm,螺距为80mm,螺旋轴转速为158r/min。

BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具——BACH(bounded reachability checker),该工具能够沿指定路径(组)对单个线性混成自动机、多个线性混成自动机的组合进行可达性检验,并且在此基础上结合路径遍历技术完成对所有路径的有界可达性检验.实验数据显示,BACH不仅在面向路径可达性检验方面性能优异,可以适用于足够长度的路径,而且在针对所有路径的有界可达性检验时,BACH可以解决的问题规模也远远超过同类工具,已接近工业界应用的要求.

放血疗法的临床应用概况

放血疗法是中医学宝贵遗产之一以其简便、经济、高效等优点广泛应用于临床 ,本文对其近几年来的临床应用现状进行了总结 ,并对当前存在的问题提出了一些建议。

信息物理系统软件设计自动化专题前言

为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系统不同,CPS充分考虑了计算部件与物理环境的深度融合,通过将设备智能化连接,实现物理环境系统与计算系统之间精确感知与高效协同.基于CPS理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑,精确智能地获取外部物理环境信息并做出针对性的实时反应,完成安全可靠的控制服务,从而实现物理世界与信息世界的有机统一.

混成系统形式化验证

混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相关系统进行有效的分析与理解,从而保障系统安全运营,是一项具有重要意义的工作.常规的系统安全性分析手段,如测试、仿真等仅能在一定输入的情况下运行系统来观测系统行为,无法穷尽地检测复杂混成系统在所有可能输入下的行为,因此并不足以保证系统的安全性.区别于测试等方法,形式化方法通过求解系统模型状态取值范围等方法来确认系统模型中一定不会出现相关错误.因此,其对于保障安全攸关混成系统的安全性具有十分重要的意义.形式化方法由形式化规约与形式化验证两个方面构成.因此从以上两个角度分别对形式化规约方向上现有混成系统建模语言、关注性质以及形式化验证方向的混成系统模型检验、定理证明的现有主要技术与方法进行了综述性的回顾与总结.在此基础上,针对现阶段实时嵌入式系统复杂化、网络化的特性,对混成系统形式化验证的重要关注问题与研究方向进行了探索与讨论.

129个常染色体显性遗传性多囊肾病家系的致病基因检测及分析

目的探讨中国常染色体显性遗传性多囊肾病(ADPKD)患者多囊肾病1型致病基因(PKD1)和多囊肾病2型致病基因(PKD2)的突变类型。方法采用长链PCR和高通量测序方法对129个ADPKD家系的PKD1和PKD2基因进行突变分析,并用双脱氧链终止法测序技术对阳性突变进行验证。结果在129个ADPKD遗传家系中共检测到116个家系存在PKD1或PKD2基因的118个突变位点,检出率为89.9%(116/129)。PKD1和PKD2的突变率分别为92.2%(107/116)和8.6%(10/116)。在这118个突变位点中,80个(67.8%)为新突变,38个(32.2%)为已知突变;109个位于PKD1(33个已知突变和76个新突变),9个位于PKD2(5个已知突变和4个新突变)。结论新发现的PKD1和PKD2突变位点将有助于ADPKD患者的早期诊断和预后预测,并为临床干预提供基本的遗传信息。

软件开发方法发展回顾与展望

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

温胆汤对失眠大鼠下丘脑内单胺类递质影响的研究

目的 :探讨《三因极一病证方论》温胆汤改善失眠大鼠睡眠的下丘脑单胺类神经递质机制。方法 :采用荧光分光光度计测定PCPA化失眠大鼠下丘脑内NE及 5 -HT、5 -HIAA含量。结论 :温胆汤可以降低大鼠下丘脑内NE含量、升高下丘脑内 5 -HT、5 -HTAA含量 ,推测温胆汤改善失眠大鼠唾眠的机制与其影响大鼠下丘脑内单胺类神经递质含量有关。

基于状态机模型的构件健壮性测试

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越.

反贪侦查实务中电子数据取证问题研究

在信息化时代的背景下，贪污贿赂案件呈现智能化和隐蔽化的特点，随着电子计算机和信息技术的广泛运用，电子数据在此类犯罪过程中出现的频率越来越高。新《刑事诉讼法》第48条将电子数据新增为法定证据种类之一，其查证犯罪的作用和作为独立证据的地位已得到法律认可，这对反贪侦查工作而言既是机遇，也是挑战。

THJS-3实验装置的二容液位系统解耦控制

介绍了三容水箱液位控制系统的硬件组成及MCGS软件的组成,以THJS-3高级过程控制实验装置为基础,运用基于对角递归神经网络的PID解耦控制算法在MCGS软件中进行控制界面组态和运行。实验结果表明系统实现了解耦控制,具有良好的稳态性能和动态性能。在MCGS软件中实现解耦控制有很强大的应用前景。

苦水玫瑰的开发利用现状与发展对策

苦水玫瑰是传统玫瑰与钝叶蔷薇的自然杂交种,因主产于中国甘肃永登县苦水镇而得名,其花色鲜艳、香气浓郁、味道甘美,鲜花产量高、质量好,是甘肃省兰州市的市花。该文系统总结和概述了苦水玫瑰的生物学特性、使用价值及其开发利用现状,分析阐述了苦水玫瑰的发展前景,提出了苦水玫瑰综合开发利用的途径和对策,以期为苦水玫瑰种质资源的综合开发利用、规模化及产业化发展提供一定的理论参考。

大学生自主学习的策略教学

大学生自主学习的策略教学是促进学生自主学习能力发展的重要途径。自主学习的策略教学包括:发挥学生的主体作用,课堂教学模式的设计与渗透以及对学习过程的指导。