关键路径预搜索的符号执行智能合约漏洞检测

针对传统符号执行在不必要、不相关的路径上消耗大量时间与资源,效率低等问题,提出了利用静态检测预扫描智能合约关键路径优化符号执行验证,避免非必要路径搜索增加的资源消耗,实现基于关键路径预搜索的符号执行。该方法与现有主流检测工具进行对比实验,结果显示:Gas耗尽拒绝服务漏洞覆盖率达98%,检测准确度为84.3%,远高于均值37.2%;对存储覆盖漏洞合约的全覆盖,检测准确率为86.1%,验证了该方法的高效性与稳定性。

基于联邦学习的多技术融合数据交易方法

数据保护的约束使得数据被限制在不同企业和组织之间,形成了众多“数据孤岛”,难以发挥其蕴含的重要价值。联邦学习的出现使得数据在组织之间共享成为可能,但利益分配方案不明确、通信成本高、中心化等问题使其难以满足数据交易场景的多方位需求。针对这些问题,提出一种基于联邦学习的多技术融合数据交易方法(MTFDT)。通过结合可信执行环境与沙普利值进行激励机制设计,并对交易过程中模型数据同步机制进行优化,提出一种基于树型拓扑结构的模型同步方案,使得同步时间复杂度由线性级降低至对数级。同时,设计基于区块链的利益分配数据和模型数据存储方案,使得交易过程信息不可篡改并能够通过溯源的方式进行追责。基于公开数据集进行仿真对比,实验结果表明,MTFDT能够实现模型训练效果的精确评估,提高利益分配的公平性,相比已有方案,模型同步时间消耗最多减少34%且对带宽要求更低。

天麻产地加工方法与质量评价研究进展

通过查阅历代本草、医药典籍及现代文献,归纳总结天麻道地产区的历史变迁、产地加工方法及古今对天麻评价指标的历史沿革。天麻的道地产区从河南和山东等地,逐渐变迁至云南和四川等地。古代天麻产地加工方式主要为“曝干”或“刮皮后蒸煮曝干”,现代各地方中药志关于天麻产地则多以刮皮后蒸煮透心,晒干或烘干为主。1963年版和1977年版《中华人民共和国药典》收录的天麻产地加工均为“去皮后蒸煮,干燥”,1985—2020年版简化为“洗净,蒸透,低温干燥”。天麻药材的质量评价标准在不同历史时期也有变化,古代天麻质量评价中以“个大”者为佳,现代本草中在延续古代体积评价指标的基础上,还增加了质地、颜色和气味等多方面评价准则,同时以天麻中浸出物、酚类成分、多糖等有效成分,指纹图谱及药效学研究评价其质量。现阶段关于天麻产地初加工没有法定标准,造成各地产地加工方法不一,天麻品质参差不齐,亟待制定出合理可行的现代产地初加工工艺及指导标准,以规范天麻产地加工,保证药材质量。

领导干部必须具备宽广的世界眼光,提高战略决策和战略思维能力

十六大报告明确提出要加强党的执政能力建设,提高党的领导水平和执政水平,要求各级领导干部“以宽广的眼界观察世界,正确把握时代发展的要求,善于进行理论思维和战略思维,不断提高科学判断形势的能力”。胡锦涛同志对提高领导干部的战略思维能力,十分重视,要求明确。他指出:各级领导干部都要加强学习,努力培养自己的世界眼光,正确把握世界和中国的发展趋势,增强分析复杂形势的战略思维能力。

坚持实事求是的思想路线,进一步解放思想

实事求是是马列主义、毛泽东思想的精髓,是我们党的思想路线。马克思主义的创立靠实事求是,革命和建设靠实事求是,改革开放也要靠实事求是。邓小平同志在南巡谈话中强调:要提倡实事求是,不要提倡本本。党的十四大报告又一次重申:“以马克思主义为指导,以实践作为检验真理的唯一标准,解放思想,实事求是,尊重群众的首创精神”。坚持实事求是必须进一步解放思想。实事求是同解放思想是紧密相联的,如车之两轮、鸟之双翼。实事求是要求不断解放思想,解放思想并不是随心所欲,盲目幻想。

我国处于并将长期处于社会主义初级阶段

我国处于社会主义初级阶段，是十一届三中全会以来党总结社会主义建设的历史经验，正确分析国情得出的科学论断。这一论断是邓小平理论的重要基础和重要组成部分，是我们党制定路线、方针、政策的根本出发点。我们想问题、办事情、作决策，都必须从社会主义初级阶段的实际...

用发展着的马克思主义指导新的实践

马克思主义是发展的理论。解放思想、实事求是,与时俱进、开拓创新是马克思主义一贯的理论品格和内在要求。要在实践中坚持和发展马克思主义,用“三个代表”重要思想指导新的实践。

改善我国国有资产监管制度的三个角度

国有资产监管制度是关于企业国有资产监督和管理的程序及其规章制度。随着社会经济的不断发展,国有资产监管中涌现出新的问题。本文将结合近年来我国国有资产监管制度实践中出现的新问题,从政府、社会公众及其法律监管三个不同角度进行认真探究,并提出相应的完善建议。

八叠氮基聚倍半硅氧烷的合成及表征

以对羟基苯甲酸、八(二甲基硅氧基)聚倍半硅氧烷、叠氮化钠为原料,经酯化、醚化、水解、硅氢加成等反应制备了八叠氮基的六面体聚倍半硅氧烷[POSS-(N3)8],通过1H NMR、13C NMR、FT-IR对其进行了表征;并探讨了叠氮化反应温度对POSS-(N3)8产率的影响。结果表明,随着叠氮化反应温度的降低,POSS-(N3)8的产率逐渐增加;当叠氮化反应温度为70℃时,POSS-(N3)8的产率达到60%。

反治法的应用

反治法是中医临床上的一种治疗方法,就是使用与病情性质一致的治法。《黄帝内经》指出,"寒因寒用,热因热用,塞因塞用,通因通用。"唐代医家王冰注释为"诸寒之而热者取之阴,热之而寒者取之阳",与"热者寒之,寒者热之"或"虚者补之,实者泻之"的正治法相反。治疗上呼吸道感染,如果过量使用抗生素,或清热解毒的寒凉药,都会使患者出现或腹泻,或咳嗽,或久咳不愈症状。这是因为一味地使用凉药,遏制了局部的气机通畅和正常肺气的宣发,邪气反而闭而不出的缘故。如果加上荆芥、苏梗等辛温发散药,可有效避免和解决一些这类问题。

对警务督察部门开展绩效评价的探讨

权力需要监督,监督权更需要本体监督和异体监督。以监督权的理论内涵为切入点,分析监督权在整个国家权力体系中的地位和作用;以警务督察部门为研究对象,指出对其进行绩效评价实质上是对监督权进行制约和监督,从而分析了绩效评价的必要性和现实困境,并由此提出了对警务督察部门构建绩效评价体系的具体措施,即公众满意度调查研究分析和公安系统内部绩效评价研究,使得警务督察部门的成果量化考评,在一定程度上遏制了国家权力体系的失衡。

美洲鳗鲡(Anguilla rostrata)养殖尾水高效处理与水循环养殖技术研究与应用

通过构建由组合三维电极移动床生物膜反应池、生物膜反应池、臭氧紫外线杀灭微生物池等组成的养殖尾水高效处理系统,应用于工厂化美洲鳗鲡(Anguillarostrata)养殖尾水的集约化高效净水处理,并对系统的排放水循环利用于美洲鳗鲡的精养殖。经140 d的试验应用,结果表明:该系统日平均处理养殖尾水3000m^(3),水力停留时间(HRT)为6.2h,经系统处理后的出水总磷浓度为(0.140±0.020)mg/L、总氮浓度为(0.671±0.114)mg/L、氨氮浓度为(0.104±0.050)mg/L、高锰酸盐指数为(2.81±0.44)mg/L,pH为(6.22±0.18)。系统出水水质符合《地表水环境质量标准》(GB3838-2002)的Ⅲ类水。系统出水循环利用于美洲鳗鲡精养殖(处理组)的平均单产55.5 kg/m^(3),较工厂化美洲鳗鲡养殖模式(对照组)提高52.5%;处理组的结束尾重、存活率、增重倍数和特定生长率分别高于对照组44.9%、5%、64.8%和37.5%,饲料系数低于对照组15.7%。该系统具有水处理效率高、出水水质稳定良好、成本低、节约水资源、环保安全和易推广应用等优点,可为我国水产养殖尾水的环保治理工作提供技术参考。

安徽金寨红天麻、红乌天麻高效液相色谱法指纹图谱与化学成分比较

目的建立安徽金寨红天麻与红乌天麻高效液相色谱法(HPLC)指纹图谱,结合相似度分析、含量测定、聚类分析和主成分分析,比较22批红乌天麻与13批红天麻质量。方法本研究起止时间为2020年12月至2021年6月,采用HPLC测定天麻指纹图谱;以天麻素、对羟基苯甲醇、巴利森苷、巴利森苷B、巴利森苷C和巴利森苷E的含量为指标,采用中药色谱指纹图谱相似度评价系统(2012版)和SPSS 23.0对其进行指纹图谱分析、聚类分析及主成分分析。结果红天麻与红乌天麻的指纹图谱差异显著,其中红天麻有14个共有峰,红乌天麻有16个共有峰;以巴利森苷为参照,两种天麻共确定13个共有峰,指认了天麻素、对羟基苯甲醇、巴利森苷、巴利森苷B、巴利森苷C、巴利森苷E共6个成分;红天麻和红乌天麻与各自对照指纹图谱的相似度均大于0.9,红天麻和红乌天麻两品种间相似度为0.781。两种天麻中天麻素、巴利森苷、巴利森苷B和巴利森苷C含量差异有统计学意义(P<0.01),且红天麻含量高于红乌天麻;当欧式距离取为25时,35批药材分为两类,除S27以外的红天麻和红乌天麻中S6、S7、S18、S19聚为一类,剩下的天麻聚为一类。主成分分析结果与聚类分析类似,大部分红天麻得分靠前,前13批次中有9批为红天麻。结论建立的指纹图谱和含量测定方法分离度好、准确度高,可用于金寨天麻的品质评价。6个主成分分析中,红天麻有4个成分含量高于红乌天麻。

基于声发射的油气管道腐蚀检测

目前常用的油气管道腐蚀检测大多采用无损检测技术,包括超声检测、涡流探伤、漏磁检测等。这类无损检测方法需要对管道进行逐段式扫描,而油气管道距离长,进行无损检测有一定困难。在油气管道的腐蚀过程中,一直会产生声发射信号,油气管道不同的腐蚀形式、腐蚀强度,将会产生不同频率、幅值的声发射信号。因此,通过检测油气管道腐蚀时所释放的声发射信号,分析信号的特征,提取出跟油气管道腐蚀状态相关的信号特征数据,就可以判断出油气管道的腐蚀损伤状态。根据计算得到对应的声发射信号的时域特征参数,观察油气管道在不同的腐蚀条件、腐蚀性质及强度下的各参数的变化情况,从而确定正确的管道维护策略,以预防油气管道发生泄漏等事故。

公交系统个人极端暴力犯罪问题研究--基于33起公交车袭击案件的分析

近年来,我国公交系统个人极端暴力事件频发,通过对2004-2018年我国公交系统发生的33起个人极端袭击事件的研究发现,该类犯罪的犯罪主体多具有心理障碍和人格缺陷,犯罪动机多是为了宣泄情绪、报复社会,犯罪行为具有预谋性、突发性、极端性和示范性的特点。该类犯罪是犯罪人自身心理问题、社会保障不足、媒体非理性报道等多种因素共同作用的结果,为遏制此类犯罪的发生,应从高危人员管控、社会制度建设、媒体制度建设、公交系统的安全防范建设等方面加强预防工作。

论突发性暴力事件的预防处理

在国际环境错综复杂的今天，各国之间的利益关系愈来愈紧密，强国利用他们的综合实力往往会成为利益的受惠方，一旦产生了对他们利益有影响的因素，打破了他们所营造的这个平衡，他们便会高度紧张，运用一切力量来重新维持这个平衡，毫无疑问这增加了国际大舞台的不安定因素。中国，便是在这样的环境中成长起来的。

差分进化变异策略rand/3/bin求解0-1背包问题

0-1背包问题是背包问题中的基础也是最为经典的一大分支,其组合优化模型被广泛的应用于社会生产生活的各个领域,对NP完全问题的求解有重要价值。传统的启发式算法如遗传算法、基本差分进化算法、粒子群算法,在解决相同0-1背包问题时,差分进化算法在解决离散型0-1背包问题时收敛更快,但存在早熟问题。论文从启发式算法角度出发,结合差分进化算法中变异策略的特点,提出一种新的变异策略rand/3/bin求解方法,与遗传算法、粒子群算法、采取两种变异策略的差分进化进行性能对比实验(实验测试数据已公开在Github),结果表明:该算法实现了相对于原有实验收敛更快和结果更优的结果,具有良好的应用价值。

基于过冷相变材料热开关的锂离子电池热管理系统

针对动力电池热管理的问题,提出一种耦合过冷相变材料六水合氯化钙和热开关的新型温控热开关装置。以18650圆柱型锂离子电池为对象,应用热开关装置并基于数值方法对其冷却和保温效果展开研究。装置基于过冷相变材料的体积变化特性提供机械热开关动作能力,与相变材料过冷现象结合进一步提高温控能力。分析结果表明,与无热开关的温控方式相比,过冷相变热开关温控使电池在5C高倍率放电结束时的最终温度下降了1.61℃,在外界环境温度-20℃时,过冷性相变热开关温控使电池温度管理时间延长了660 s。

中医药抑制炎症细胞因子与瘦素治疗肥胖症的研究进展

中医药用于治疗肥胖症,减重效果良好,并可以缓解肥胖症引起的其他症状,但中医药治疗肥胖症的机制尚未明确,目前研究认为,血清中炎症细胞因子、瘦素的升高是导致肥胖症的重要因素。该文从中药单体(或提取物)、中药复方和针灸等治疗方法阐述中医药抑制炎症细胞因子、瘦素治疗肥胖症的作用机制,为肥胖症的研究与临床治疗提供新的方向。