期刊文献+
共找到537篇文章
< 1 2 27 >
每页显示 20 50 100
服务教育强国:高校师范类专业建设的现实困境与优化策略 被引量:1
1
作者 张立明 徐祖胜 王福军 《黑龙江高教研究》 北大核心 2026年第2期89-95,共7页
基于对黑龙江省92个本科师范类专业第二级认证结论的定性与定量分析,聚焦专业认证“主线”“底线”要求,系统剖析了高校本科师范类专业建设的现实图景与深层困境。研究发现,本科师范类专业虽然在师德教育、协同育人、师资结构优化、毕... 基于对黑龙江省92个本科师范类专业第二级认证结论的定性与定量分析,聚焦专业认证“主线”“底线”要求,系统剖析了高校本科师范类专业建设的现实图景与深层困境。研究发现,本科师范类专业虽然在师德教育、协同育人、师资结构优化、毕业生就业质量等方面取得了显著成效,但在人才培养目标及毕业要求的科学性、课程体系的合理性、教学方法改革的创新性、实践教学管理的规范性、教师分类评价的实效性、质量保障体系运行的有效性等方面存在问题。为此,应深入落实“学生中心、产出导向、持续改进”理念,构建面向产出的高质量人才培养体系,深度运用人工智能赋能教育教学,以教育家精神为引领推动师范类专业从“达标”走向“卓越”,实现教师教育内涵式发展,助力教育强国战略落地见效。 展开更多
关键词 师范专业 专业认证 专业建设 教师教育 教育强国
在线阅读 下载PDF
滴灌条件下不同水溶肥种类和配比对鲜食甘薯产量和品质的影响 被引量:1
2
作者 张海燕 解备涛 +2 位作者 董顺旭 张立明 段文学 《作物学报》 北大核心 2025年第9期2485-2500,共16页
为探讨滴灌条件下氮磷钾不同配比对鲜食甘薯产量和品质的影响,在山东省平阴县和泗水县,以鲜食型甘薯品种济薯26和烟薯25为试验材料,设置4个处理:(1)基施复合肥(N∶P_(2)O_(5)∶K_(2)O=15∶15∶15)450 kg hm^(–2)(CK);(2)栽后20 d、50 d... 为探讨滴灌条件下氮磷钾不同配比对鲜食甘薯产量和品质的影响,在山东省平阴县和泗水县,以鲜食型甘薯品种济薯26和烟薯25为试验材料,设置4个处理:(1)基施复合肥(N∶P_(2)O_(5)∶K_(2)O=15∶15∶15)450 kg hm^(–2)(CK);(2)栽后20 d、50 d和80 d各滴施水溶肥(N∶P_(2)O_(5):K_(2)O=16∶6∶36)150 kg hm^(–2)(F1);(3)栽后20 d、50 d和80 d各滴施水溶肥(N∶P_(2)O_(5):K_(2)O=8∶12∶35)150 kg hm^(–2)(F2);(4)栽后20 d滴施水溶肥(N∶P_(2)O_(5):K_(2)O=16∶6∶36)150 kg hm^(–2)+栽后50 d和80 d各滴施水溶肥(N∶P_(2)O_(5):K_(2)O=8∶12∶35)150 kg hm^(–2)(F3),研究了滴灌条件下不同水溶肥处理对鲜食甘薯植株干重、块根产量、块根淀粉和可溶性糖含量的影响。结果表明,水溶肥处理的产量和商品薯率均显著高于对照,不同水溶肥处理的产量和商品薯率均为F2>F3>F1。济薯26在平阴试验点F1、F2和F3处理的产量分别比对照增产10.04%、28.60%和19.23%,在泗水试验点分别比对照增产10.88%、29.55%和21.29%;烟薯25在平阴试验点F1、F2和F3处理的产量分别比对照增产7.62%、27.79%和20.12%,在泗水试验点分别比对照增产8.52%、29.17%和19.90%。甘薯生长中后期,F2处理的蔓长、叶片数、地上部干重均显著低于其他处理,块根干重均显著高于其他处理。F2处理的淀粉含量显著低于其他处理,可溶性糖含量显著高于其他处理。因此,在本试验条件下(土壤速效氮含量≤80 mg kg–1),栽后20 d、50 d和80 d各滴施水溶肥(N︰P_(2)O_(5)︰K_(2)O=8︰12︰35,腐植酸≥3%)150 kg hm^(–2)(F2处理)为最优施肥处理。 展开更多
关键词 甘薯 滴灌 水溶肥 产量 品质
在线阅读 下载PDF
氮磷钾水溶肥和灌水量对菜用甘薯产量和营养品质的影响
3
作者 解备涛 田一汝 +5 位作者 冯向阳 段文学 董顺旭 张立明 张志允 张海燕 《山东农业科学》 北大核心 2025年第12期99-107,共9页
本试验以菜用甘薯品种福菜薯18号和薯绿1号为对象,在水肥一体化条件下,设置施肥(N-P2O5-K2O=30-10-10水溶肥)和灌水试验,研究不同施肥量和灌水量对其产量和营养品质的影响。结果表明,施肥试验中,F3处理(每14 d施用水溶肥450 kg/hm^(2),... 本试验以菜用甘薯品种福菜薯18号和薯绿1号为对象,在水肥一体化条件下,设置施肥(N-P2O5-K2O=30-10-10水溶肥)和灌水试验,研究不同施肥量和灌水量对其产量和营养品质的影响。结果表明,施肥试验中,F3处理(每14 d施用水溶肥450 kg/hm^(2),共施用5次)下福菜薯18号和薯绿1号产量均最高且显著高于FCK(只灌水不施肥),分别达到26 893.7 kg/hm^(2)和24 532.5 kg/hm^(2),蛋白质和总酚含量整体高于FCK、F1(每14 d施用水溶肥150 kg/hm^(2),共施用5次)和F2(每14 d施用水溶肥300 kg/hm^(2),共施用5次)。灌水试验中,S2(每7 d灌水150 m^(3)/hm^(2),总灌水量1 200 m^(3)/hm^(2))、S3(每14 d灌水300 m^(3)/hm^(2),总灌水量1 200 m^(3)/hm^(2))处理下福菜薯18号和薯绿1号产量均显著高于SCK(只施肥不灌水),明显高于S1处理(每7 d灌水75 m^(3)/hm^(2),总灌水量600 m^(3)/hm^(2)),且蛋白质、可溶性糖、维生素C、总酚含量整体均高于SCK。因此,生产上菜用甘薯的最佳施肥方案为全生育期施用水溶肥5次,每14 d施肥一次,每次施肥量450 kg/hm^(2),总施肥量2 250 kg/hm^(2);最佳水分管理方案为全生育期每7 d灌水一次,每次灌水量150 m^(3)/hm^(2),总灌水量1 200 m^(3)/hm^(2),或每14 d灌水一次,每次灌水量300 m^(3)/hm^(2),总灌水量1 200 m^(3)/hm^(2)。 展开更多
关键词 菜用甘薯 施肥 灌水 产量 营养品质
在线阅读 下载PDF
超大规模集成电路布图规划方法研究综述 被引量:2
4
作者 史梓慧 欧阳丹彤 张立明 《吉林大学学报(理学版)》 北大核心 2025年第1期139-150,共12页
综述超大规模集成电路(VLSI)布图规划方法,探讨布图规划在集成电路设计中的重要性,以及其对芯片面积、互连线长和设计周期的影响.首先,回顾集成电路技术的发展历程,强调布图规划在确定模块位置、尺寸和旋转角度中的作用.其次,详细介绍4... 综述超大规模集成电路(VLSI)布图规划方法,探讨布图规划在集成电路设计中的重要性,以及其对芯片面积、互连线长和设计周期的影响.首先,回顾集成电路技术的发展历程,强调布图规划在确定模块位置、尺寸和旋转角度中的作用.其次,详细介绍4类主要的VLSI布图规划方法:直观构造方法、分析法、迭代法和基于机器学习的方法.再次,讨论两个VLSI设计领域中常用的基准数据集MCNC和GSRC对测试和评估布图设计方法的重要性.最后,总结布图规划领域的研究进展,并指出未来的研究方向. 展开更多
关键词 超大规模集成电路 布图规划 布局 构造法 分析法 迭代法 机器学习方法
在线阅读 下载PDF
足够接近的旅行商问题研究综述 被引量:2
5
作者 史丰源 欧阳丹彤 张立明 《吉林大学学报(理学版)》 北大核心 2025年第1期114-123,共10页
考虑组合优化问题中的经典问题旅行商问题(traveling salesman problem,TSP)的变体——足够接近的旅行商问题(close-enough traveling salesman probl em,CETSP).首先,综合介绍TSP和CETSP的历史、求解方法和算法,包括精确算法(如分支定... 考虑组合优化问题中的经典问题旅行商问题(traveling salesman problem,TSP)的变体——足够接近的旅行商问题(close-enough traveling salesman probl em,CETSP).首先,综合介绍TSP和CETSP的历史、求解方法和算法,包括精确算法(如分支定界法、线性规划)和启发式算法(如粒子群优化、贪心算法等).TSP要求在给定城市列表和距离的条件下,找到访问每座城市一次并回到起点的最短路径.CETSP是TSP的推广,允许在每个目标的邻域内选择任意点进行访问,而非精确位置,适用于可容忍误差的实际应用,如物流配送、智能交通、无线传感器网络等.CETSP具有更高的灵活性和适应性,可大幅度减少计算资源和时间消耗,特别在大规模问题中有更大优势.其次,介绍CE TSP在实际应用中的潜力,尤其在物流、工业制造、交通规划、信息通讯等领域,为提高效率、降低成本、推动智能化决策提供了有效解决方案.最后,指出了CETSP的一些未来研究方向. 展开更多
关键词 足够接近的旅行商问题 启发式算法 路径规划 模型应用
在线阅读 下载PDF
不同肉色甘薯品种块根产量和淀粉特性比较
6
作者 罗冰璇 段文学 +2 位作者 张海燕 解备涛 张立明 《山东农业科学》 北大核心 2025年第11期40-45,共6页
为探究不同肉色甘薯品种块根的产量和淀粉特性差异,本试验在大田生产条件下,选取白肉、黄肉、红肉和紫肉代表性甘薯品种各3个,对其块根产量和淀粉特性进行比较研究。结果表明,白肉甘薯品种具有最高的平均干率和平均薯干产量,紫肉品种的... 为探究不同肉色甘薯品种块根的产量和淀粉特性差异,本试验在大田生产条件下,选取白肉、黄肉、红肉和紫肉代表性甘薯品种各3个,对其块根产量和淀粉特性进行比较研究。结果表明,白肉甘薯品种具有最高的平均干率和平均薯干产量,紫肉品种的平均鲜薯产量最低。白肉甘薯品种具有最高的平均支链淀粉含量和总淀粉含量,紫肉品种的平均支链淀粉含量最低而平均直链淀粉含量最高。紫肉甘薯品种的平均峰值温度、起始温度和终止温度均最高,红肉品种的平均糊化焓、峰值温度和起始温度均最低。白肉品种的平均D [4,3]、D [3,2]、D [1,0]、Dx(10)、Dx (50)、Dx (90)值均最高。综上可知,白肉甘薯品种具有较高的薯干产量和总淀粉含量,其中济薯25和济薯36的块根干率和总淀粉含量均显著高于商薯19,济薯36的薯干产量显著高于商薯19,与济薯25无显著差异;白肉甘薯品种的总淀粉含量和支链淀粉含量均较高,是加工淀粉和制作粉条的适宜品种。该结论可为不同肉色甘薯品种的栽培和加工利用提供数据支持。 展开更多
关键词 不同肉色甘薯 块根产量 淀粉含量 淀粉特性
在线阅读 下载PDF
基于增量信息交互的极小不可满足子集求解算法
7
作者 蒋璐宇 欧阳丹彤 +2 位作者 张奇 太然 张立明 《计算机研究与发展》 北大核心 2025年第5期1226-1234,共9页
极小不可满足子集(minimal unsatisfiable subset,MUS)的求解是理论计算机科学的重要问题.由于MUS的个数随问题规模呈指数级增长,现有算法致力于在合适的时间限制内求解出尽可能多的MUS.在庞大的搜索空间中,选择合适的节点来扩展可以大... 极小不可满足子集(minimal unsatisfiable subset,MUS)的求解是理论计算机科学的重要问题.由于MUS的个数随问题规模呈指数级增长,现有算法致力于在合适的时间限制内求解出尽可能多的MUS.在庞大的搜索空间中,选择合适的节点来扩展可以大幅减小收缩和扩充操作的时间开销,从而提高算法的求解效率.提出一种基于增量信息交互的MUS求解算法MARCO-MSS4MUS,利用MUS、极小修正集(minimal correction set,MCS)和极大可满足子集(maximal satisfiable subset,MSS)之间的对偶和互补关系,在采用MARCO算法框架增量求解MSS和MUS的过程中,根据已求解的MSS的交集和并集信息辅助选择节点来扩展,即通过增量的MSS信息启发用于扩展节点选择以加速MUS枚举,这一过程同时利于算法找到更多的MSS,在枚举过程中新识别出的MSS又能辅助下一轮扩展节点的选择,从而实现了增量信息的有效交互.针对交互的增量信息提出2个定理及2个推论,从理论角度分析了MARCO-MSS4MUS算法的可行性,并通过MUS标准测试用例上的实验验证了所提算法相较于当前先进算法的优越性,在部分测试用例上的结果显示所提算法的枚举效率和枚举获胜个数较已有算法均有显著的提高. 展开更多
关键词 极小不可满足子集 极大可满足子集 不可行分析 碰集 对偶性
在线阅读 下载PDF
BWSS:结合可疑集合簇计算极小碰集的Boolean算法
8
作者 赵相福 黄森 +3 位作者 魏霞 童向荣 欧阳丹彤 张立明 《软件学报》 北大核心 2025年第7期3226-3238,共13页
在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增... 在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增大,求解难度成指数级增长.Boolean算法是计算极小碰集的经典算法,然在求解过程中,解集的极小化却占据运算的绝大部分时间.为了解决该问题并提升计算效率,提出了结合可疑集合簇计算极小碰集的BWSS(Boolean with suspicious sets)算法,通过深度分析Boolean算法生成树规则,找到使候选解成为超集的集合,在向根节点扩展元素时,如果候选解与可疑集合簇中至少1个集合交集为空,那么该解为极小候选解,否则删除该解,通过递归的策略保证算法结束时产生且仅产生所有极小碰集.除此之外,每个候选解在极小化时,至少存在m(m≥1)个元素甚至整个解无须极小化.理论上,BWSS算法的复杂度要远低于Boolean算法.通过随机数据及大量基准电路数据,实验结果表明,所提算法与目前最先进的几种算法相比,运行时间减少了几个数量级. 展开更多
关键词 基于模型诊断 极小碰集 Boolean算法 候选解 冲突集
在线阅读 下载PDF
融合基数约束与单次入队的基于模型诊断方法
9
作者 青杨 欧阳丹彤 +1 位作者 周慧思 张立明 《计算机研究与发展》 北大核心 2025年第2期408-417,共10页
基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方... 基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方法进一步改进.由于求解诊断解在计算上具有挑战性,因此相继提出了一些通过压缩模型的MBD算法来提高诊断效率,如基于统治的多观测压缩模型(dominated-based compacted model with multiple observations,D-CMMO)算法.对于给定多个观测值且注入1个以上错误需要大量时间的诊断问题,提出了一个新的诊断模型CCM(cardinality-constrained compacted model)来解决.基于基数约束的压缩模型算法使用2种方法对求解过程进行优化:首先,利用系统观测的故障输出和故障组件数量之间的约束关系来限制目标解的范围;其次,通过对假设集采用单次入队方法,进而有效提升MaxSAT(maximum satisfiability)求解器的性能.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD求解方法D-CMMO相比,上述2种优化方法有效缩小了MBD问题的求解范围,降低MaxSAT求解器搜索目标解的难度,进而能在更短的时间内返回一个诊断解.在平均状况下,CCM方法相比D-CMMO方法求解效率分别提升64.5%和92.8%. 展开更多
关键词 基于模型诊断 压缩模型 基于基数约束的算法 顶层诊断解 单次入队
在线阅读 下载PDF
一种高效的求解最小负载着色问题的局部搜索算法
10
作者 田新亮 欧阳丹彤 +3 位作者 周慧思 蒋璐宇 太然 张立明 《软件学报》 北大核心 2025年第8期3677-3692,共16页
最小负载着色问题(minimum load coloring problem,MLCP)源于构建光通信网络的波分复用(wavelength division multiplexing,WDM)技术,是一个被证明的NP完全问题.由于NP完全问题有着随问题规模呈指数增长的解空间,因此启发式算法常被用... 最小负载着色问题(minimum load coloring problem,MLCP)源于构建光通信网络的波分复用(wavelength division multiplexing,WDM)技术,是一个被证明的NP完全问题.由于NP完全问题有着随问题规模呈指数增长的解空间,因此启发式算法常被用来解决这类问题.在对国内外相关工作的深入分析基础上得知,现有的多类求解MLCP问题的启发式算法中局部搜索算法表现是最好的.研究针对当前求解MLCP问题的局部搜索算法在数据预处理和邻域空间搜索上的不足,提出了两点相应的优化策略:一是在数据的预处理阶段,提出一度顶点规则来约简数据的规模,进而减小MLCP问题的搜索空间;二是在算法的邻域空间搜索阶段,提出两阶段多重选择策略(twostage best from multiple selections,TSBMS)来帮助局部搜索算法在面对不同规模的邻域空间时可以高效地选择一个高质量的邻居解,它有效地提高了局部搜索算法在处理不同规模数据时的求解表现.将这个优化后的局部搜索算法命名为IRLTS.采用74个经典的测试用例来验证IRLTS算法的有效性.实验结果表明,无论最优解还是平均解,IRLTS算法在大多数测试用例上都明显优于当前表现最好的3个局部搜索算法.此外,还通过实验验证了所提策略的有效性以及分析了关键参数对算法的影响. 展开更多
关键词 最小负载着色问题 启发式算法 局部搜索算法
在线阅读 下载PDF
甘薯主要病毒病及脱毒对块根产量和品质的影响 被引量:24
11
作者 张立明 王庆美 +1 位作者 马代夫 王毅 《西北植物学报》 CAS CSCD 北大核心 2005年第2期316-320,共5页
1998~2000年利用酶联免疫吸附测定 ELISA 方法对黄淮薯区1580份甘薯样品的测定结果表明:SPFMV和SPLV是普遍存在的两种主要甘薯病毒,感染幅度分别达到20.8%~100%和2.1%~90%,SPMMV,SPCEM,C-6,SPTSV病毒在上述部分地区存在,SPCSV病毒首... 1998~2000年利用酶联免疫吸附测定 ELISA 方法对黄淮薯区1580份甘薯样品的测定结果表明:SPFMV和SPLV是普遍存在的两种主要甘薯病毒,感染幅度分别达到20.8%~100%和2.1%~90%,SPMMV,SPCEM,C-6,SPTSV病毒在上述部分地区存在,SPCSV病毒首次在国内检测出,感染率达到8.9%.同期的标准对比试验表明脱毒种薯可显著提高鲜薯产量和商品率,7个品种鲜薯平均增产38.4%,增产幅度11.3%~92.0%,商品率 薯块大中薯率 提高23.05%,但脱毒对薯块干物质含量无显著影响.山东30处调查结果分析表明脱毒种薯随代数的增加增产幅度逐步降低,脱毒后春、夏薯产量在前3年分别平均年降低5.8%和11.7%. 展开更多
关键词 甘薯 SPFMV SPLV SPCSV 产量 商品率 干物质含量 种植代数
在线阅读 下载PDF
氧化铝悬浮液剪切流变特性的研究 被引量:11
12
作者 张立明 马天 +1 位作者 杨金龙 黄勇 《无机材料学报》 SCIE EI CAS CSCD 北大核心 2004年第5期1145-1150,共6页
分析了柠檬酸铵(TAC,分散剂)稳定的氧化铝悬浮液的剪切流变行为,研究了TAC加入比例及颗粒大小对流变特性的影响.认为静态时悬浮液中存在由于颗粒布朗运动而形成的热力学颗粒簇,剪切变稀是在剪切作用下热力学颗粒簇分解的结果,而剪切稠... 分析了柠檬酸铵(TAC,分散剂)稳定的氧化铝悬浮液的剪切流变行为,研究了TAC加入比例及颗粒大小对流变特性的影响.认为静态时悬浮液中存在由于颗粒布朗运动而形成的热力学颗粒簇,剪切变稀是在剪切作用下热力学颗粒簇分解的结果,而剪切稠化源于剪切作用下水力学颗粒簇的形成.通过悬浮液中颗粒成簇势垒概念的引入,提出悬浮液的低剪粘度和高剪粘度分别取决于氧化铝颗粒表面的ζ电位和Stern电位,通过加入过量的柠檬酸铵可以抑制悬浮液的剪切稠化,推导出了剪切稠化临界剪切速率与颗粒粒径关系的数学表达式. 展开更多
关键词 氧化铝悬浮液 柠檬酸铵 流变特性 成簇势垒
在线阅读 下载PDF
基于动态极大度的极小碰集求解方法 被引量:17
13
作者 张立明 欧阳丹彤 曾海林 《计算机研究与发展》 EI CSCD 北大核心 2011年第2期209-215,共7页
在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,... 在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好. 展开更多
关键词 基于模型的诊断 极小碰集 SE-Tree 动态极大度 向量交集
在线阅读 下载PDF
槽式液体分布器分布性能的研究 被引量:11
14
作者 张立明 赵丽娟 +2 位作者 赵顺雯 王魁 王俏 《化学工程》 CAS CSCD 北大核心 2013年第11期19-22,共4页
文中以大型的工业用槽式液体分布器为研究对象,研究方法有理论计算、实验和流体模拟软件模拟。研究发现:传统的槽式液体分布器其分布孔的设计存在偏差,分布器分布管出口流量、一级槽自身液面稳定能力以及液面梯度都对分布器的分布性能... 文中以大型的工业用槽式液体分布器为研究对象,研究方法有理论计算、实验和流体模拟软件模拟。研究发现:传统的槽式液体分布器其分布孔的设计存在偏差,分布器分布管出口流量、一级槽自身液面稳定能力以及液面梯度都对分布器的分布性能有影响。文中提出了一种新型槽式液体分布器,有利于提高填料塔的效率。 展开更多
关键词 槽式液体分布器 预分布 填料塔 喷淋
在线阅读 下载PDF
基于半扩展规则的定理证明方法 被引量:7
15
作者 张立明 欧阳丹彤 白洪涛 《计算机研究与发展》 EI CSCD 北大核心 2010年第9期1522-1529,共8页
自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来... 自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来判定可满足性.通过对扩展规则的研究给出了半扩展规则的概念,并提出了基于半扩展规则的定理证明算法SER.然后分析及证明了该算法的正确性、完备性和复杂性.实验结果表明,算法SER的执行效率较基于归结的有向归结算法DR和基于扩展规则算法IER,NER有明显的提高. 展开更多
关键词 定理证明 命题逻辑 半扩展规则 可满足性问题 归结
在线阅读 下载PDF
盐湖地区混凝土的氯离子扩散性 被引量:25
16
作者 张立明 余红发 何忠茂 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第6期1752-1755,共4页
在盐湖轻盐渍土现场暴露试验和试验室盐湖卤水干湿循环试验中,采取分层钻孔取样和化学分析方法,应用氯离子三维扩散理论,研究普通混凝土、高强混凝土和高性能混凝土的Cl-扩散系数Dt的变化规律。研究结果表明:混凝土的Cl-扩散系数随着暴... 在盐湖轻盐渍土现场暴露试验和试验室盐湖卤水干湿循环试验中,采取分层钻孔取样和化学分析方法,应用氯离子三维扩散理论,研究普通混凝土、高强混凝土和高性能混凝土的Cl-扩散系数Dt的变化规律。研究结果表明:混凝土的Cl-扩散系数随着暴露时间的增加而降低,混凝土的抗Cl-扩散能力由大至小为高性能混凝土、高强混凝土、普通混凝土;Cl-扩散系数Dt随着水灰比的变小而变小,矿物掺合料(FA,SF和SL)可以降低Cl-扩散系数。 展开更多
关键词 混凝土 盐湖地区 氯离子(Cl-) 扩散系数
在线阅读 下载PDF
干湿循环次数对氯离子扩散系数的影响 被引量:21
17
作者 张立明 余红发 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第3期26-30,共5页
研究了4种混凝土干湿循环次数与氯离子扩散系数的关系.通过测定各混凝土在盐湖卤水-干湿循环环境下的氯离子含量,应用三维扩散理论模型计算氯离子扩散系数.结果表明:各混凝土的氯离子扩散系数(Dcx)与干湿循环次数呈幂指数函数关系,Dcx... 研究了4种混凝土干湿循环次数与氯离子扩散系数的关系.通过测定各混凝土在盐湖卤水-干湿循环环境下的氯离子含量,应用三维扩散理论模型计算氯离子扩散系数.结果表明:各混凝土的氯离子扩散系数(Dcx)与干湿循环次数呈幂指数函数关系,Dcx值与干湿循环次数、粉煤灰和矿渣的掺量呈正相关关系;与硅灰的掺量呈负相关关系. 展开更多
关键词 混凝土 干湿循环 氯离子(Cl-) 扩散系数
在线阅读 下载PDF
温室墙体复合相变材料的制备与有限元分析 被引量:9
18
作者 张立明 邹志荣 +1 位作者 陆国东 乔正卫 《农机化研究》 北大核心 2008年第4期158-160,170,共4页
采用共混法制备了一种适合温室生产要求的复合相变材料,用差示扫描量热仪(DSC)测量了相变温度和相变潜热,并验证了复合相变材料的储能能力及材料的热稳定性。另外,借助有限元软件来模拟复合材料在吸热过程中温度及热梯度场的分布情况,... 采用共混法制备了一种适合温室生产要求的复合相变材料,用差示扫描量热仪(DSC)测量了相变温度和相变潜热,并验证了复合相变材料的储能能力及材料的热稳定性。另外,借助有限元软件来模拟复合材料在吸热过程中温度及热梯度场的分布情况,对实际生产有一定的参考价值。 展开更多
关键词 园艺学 复合相变材料 试验研究 相变温度 有限元
在线阅读 下载PDF
国家森林公园旅游解说系统的构建 被引量:60
19
作者 张立明 赵黎明 《西北农林科技大学学报(社会科学版)》 2006年第2期88-92,共5页
针对国家森林公园的旅游解说系统问题,提出通过构建科学的森林公园旅游解说系统来完善其旅游服务体系,提高服务质量,提升旅游者的旅游体验。指出森林公园的旅游解说系统由环境解说、旅游吸引物解说、服务设施解说与公园管理解说四个子... 针对国家森林公园的旅游解说系统问题,提出通过构建科学的森林公园旅游解说系统来完善其旅游服务体系,提高服务质量,提升旅游者的旅游体验。指出森林公园的旅游解说系统由环境解说、旅游吸引物解说、服务设施解说与公园管理解说四个子系统构成,提出了音像图文展示与播放、牌示设计与制作、出版物解说、导游图、导游解说和游客中心建设等展示途径和展示方法。 展开更多
关键词 森林旅游 国家森林公园 旅游解说系统 构建
在线阅读 下载PDF
健脾复胃颗粒通过IL-6/JAK/STAT3轴干预胃癌前病变黏膜损伤及其机制
20
作者 康菊英 关慧颖 +2 位作者 李培润 张立明 段永强 《中国肿瘤生物治疗杂志》 北大核心 2025年第4期392-397,共6页
目的:探讨健脾复胃颗粒(JPFWG)通过调控IL-6/JAK/STAT3信号通路对胃癌前病变(PLGC)大鼠胃黏膜损伤的干预效果及其作用机制。方法:采用MNNG联合复合因素造模法建立PLGC模型大鼠,随机分为6组(20只/组):空白组(未处理)、模型组(给予生理盐... 目的:探讨健脾复胃颗粒(JPFWG)通过调控IL-6/JAK/STAT3信号通路对胃癌前病变(PLGC)大鼠胃黏膜损伤的干预效果及其作用机制。方法:采用MNNG联合复合因素造模法建立PLGC模型大鼠,随机分为6组(20只/组):空白组(未处理)、模型组(给予生理盐水)、维酶素组(0.05 g/mL维酶素)、JPFWG低剂量组(JPFWG-L,0.088 g/mL)、JPFWG中剂量组(JPFWG-M,0.176 g/mL)、JPFWG高剂量组(JPFWG-H,0.351 g/mL)。各治疗组大鼠分别给予相应药物处理12周后,麻醉处死动物并取胃组织标本。采用H-E染色法观察胃黏膜的病理变化,通过免疫组化、qPCR和WB法检测胃黏膜组织中IL-6介导的JAK/STAT3信号通路相关因子(包括IL-6、JAK、STAT3)及其下游靶基因c-Myc、cyclin D1的mRNA和蛋白的表达水平。结果:与模型组相比,维酶素组和JPFWG-L、JPFWG-M、JPFWG-H组大鼠胃黏膜炎性细胞浸润均减少,病理状态改善以JPFWG-H组最明显;IL-6、JAK1、STAT3蛋白表达显著降低(P<0.05或P<0.01);维酶素组和JPFWG-H组大鼠胃黏膜组织中c-Myc、cyclin D1的mRNA和蛋白表达均显著降低(P<0.05或P<0.01)。结论:JPFWG能够改善PLGC大鼠胃黏膜的组织病理变化,其机制可能是通过调控IL-6/JAK/STAT3信号通路,进而下调c-Myc、cyclin D1的表达,从而阻断炎-癌转化过程。 展开更多
关键词 健脾复胃颗粒 胃癌癌前病变 IL-6/JAK/STAT3信号通路
在线阅读 下载PDF
上一页 1 2 27 下一页 到第
使用帮助 返回顶部