INCAPS:一个交互式计算机辅助定理证明系统

1

作者 黎仁蔚 《计算机学报》 EI CSCD 北大核心 1989年第12期881-891,共11页

本文提出了一个具有自然演绎特色的一阶时序逻辑系统——FOTL系统,并且已用ML语言表示出F0TL系统,从而得到了一个在证明风格和实现技术上类似于Edinburgh LCF的计算机辅助定理证明系统——INCAPS系统.INCAPS系统与Edinbursh LCF的区别... 本文提出了一个具有自然演绎特色的一阶时序逻辑系统——FOTL系统,并且已用ML语言表示出F0TL系统,从而得到了一个在证明风格和实现技术上类似于Edinburgh LCF的计算机辅助定理证明系统——INCAPS系统.INCAPS系统与Edinbursh LCF的区别主要在于它们所支持的逻辑不同:FOTL系统不含有高阶类型的项,而PPλ中没有时序连接词。INCAPS系统主要可用于程序及动态信息系统的描述与验证。 展开更多

关键词 时序逻辑 定理 incapS系统 计算机

在线阅读 下载PDF 职称材料

“有位无能”与“有能无位”:乡村振兴中人才瓶颈的组织生态分析——以F省N县为例

2

作者 景孝杰 《陕西行政学院学报》 2026年第1期118-123,共6页

以F省N县为例,研究剖析了乡村人才振兴中“有位无能”与“有能无位”并存的组织生态瓶颈。研究发现,组织体系的封闭性与激励机制的单一性,是导致体制内“有位者”活力衰减与体制外“有能者”被边缘化的深层根源。破解此人才结构性错配... 以F省N县为例,研究剖析了乡村人才振兴中“有位无能”与“有能无位”并存的组织生态瓶颈。研究发现,组织体系的封闭性与激励机制的单一性,是导致体制内“有位者”活力衰减与体制外“有能者”被边缘化的深层根源。破解此人才结构性错配的关键在于实现从个体化引才思维转向系统性组织生态改革的范式转型,通过重塑组织结构、激励机制与治理模式,架设制度桥梁,实现体制内外力量的协同赋能。 展开更多

关键词 乡村振兴 乡村人才 组织生态 有位无能 有能无位

在线阅读 下载PDF 职称材料

从“难为”到“能为”:校园欺凌中班主任之困与可能突破

3

作者 孟维杰 范琳琳 《宁波大学学报(教育科学版)》 2025年第2期59-69,共11页

校园欺凌已经成为全球性的校园问题。班主任作为我国学校教育的重要力量,应在应对校园欺凌中发挥关键作用。然而,随着教育环境的改变,班主任却在校园欺凌治理中日益陷入“难为”的困境,理论和实践之间的张力使班主任在应对校园欺凌时无... 校园欺凌已经成为全球性的校园问题。班主任作为我国学校教育的重要力量,应在应对校园欺凌中发挥关键作用。然而,随着教育环境的改变,班主任却在校园欺凌治理中日益陷入“难为”的困境,理论和实践之间的张力使班主任在应对校园欺凌时无所适从。教师惩戒权的慎用与误用问题,使班主任在处理相关事件时陷入谨慎与尴尬的两难境地。此外,班主任在构建无欺凌班级方面的能力不足,其主体责任的厘定缺少来自法律的支持,同时在反校园欺凌共同体中存在缺位现象。在新的时代语境下,不但需要进一步建设和完善法律法规体系,为班主任应对校园欺凌提供保障,而且需要从法理层面精准厘定班主任的主体责任,并通过全面、科学和专业的培训体系,提升班主任反欺凌能力。唯有如此,才能赋能班主任在校园欺凌中从“难为”转向“能为”,使其在应对校园欺凌中发挥应有的作用。 展开更多

关键词 校园欺凌 反欺凌共同体 班主任 惩戒权 主体责任

在线阅读 下载PDF 职称材料

证明策略及其有效性问题

4

作者 何锫 《软件学报》 EI CSCD 北大核心 1991年第4期23-30,共8页

INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证明策略的层次数、函数树及树上B函数等新概念前提下,深入探讨... INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证明策略的层次数、函数树及树上B函数等新概念前提下,深入探讨和证明了IN-CAPS证明策略的有效性问题。 展开更多

关键词 证明策略 有效性 incapS 计算机

在线阅读 下载PDF 职称材料

特白一号薯叶制品功能性实验及临床应用研究 被引量：24

5

作者 台建祥 华希新 +3 位作者 王家万 钮福祥 黄光荣 付勤 《作物学报》 CAS CSCD 北大核心 1998年第2期161-167,共7页

以特白一号甘薯(Ipomea batatas Lam.)叶为主要原料制成“维康”饲喂用环磷酰胺抑制免疫机能的动物及高脂模型动物,实验结果表明:实验组胸腺、脾脏重量、吞噬率、T淋巴细胞总数、白细胞和血小板数均明显高于环磷酰胺对照组(P<0.01);... 以特白一号甘薯(Ipomea batatas Lam.)叶为主要原料制成“维康”饲喂用环磷酰胺抑制免疫机能的动物及高脂模型动物,实验结果表明:实验组胸腺、脾脏重量、吞噬率、T淋巴细胞总数、白细胞和血小板数均明显高于环磷酰胺对照组(P<0.01);实验组小鼠的血清TC、TG和LPO含量均明显低于高脂模型组(P<0.01),HDL-C明显高于高脂模型组(P<0.01);体外抗栓作用明显优于对照组(P<0.01),且呈量效关系。临床结果:脾气虚证和脾不统血证及其理化指标均明显优于香菇多糖片对照组。提示:“维康”具有提高免疫功能和防治高脂血症作用,对脾气虚和脾不统血证有良好的、可靠的保健治疗作用。 展开更多

关键词 薯叶制品 临床应用 免疫 血脂 脾气虚 甘薯

暂未订购

美国欠缺行为能力成年人公共监护制度的构建 被引量：5

6

作者 孙海涛 《南通大学学报（社会科学版）》 2009年第2期56-62,共7页

当代成年监护制度,基于社会本位的思想,热衷于保障结果平等的体制设计,尤其是福利国家的构建。为国民造福,是国家运行的最终目的,对幼弱病残者的保护已非纯属个人之责,国家和社会亦责无旁贷,因此成年监护制度必然走向社会化、公法化。... 当代成年监护制度,基于社会本位的思想,热衷于保障结果平等的体制设计,尤其是福利国家的构建。为国民造福,是国家运行的最终目的,对幼弱病残者的保护已非纯属个人之责,国家和社会亦责无旁贷,因此成年监护制度必然走向社会化、公法化。我国成年监护事务委由亲属自治已经不能适应社会的发展趋势,继之以公权力干涉为势所必然,我国欠缺行为能力成年人公共监护制度的建立与完善已迫在眉睫,而美国欠缺行为能力成年人公共监护制度的建立、发展与完善,对我国具有重要的启示和借鉴意义。 展开更多

关键词 公共监护 公共利益 监护代理机构 欠缺行为能力成年人 成年监护

在线阅读 下载PDF 职称材料

馆藏壁画失效支撑体去除技术研究 被引量：5

7

作者 杨文宗 郭宏 葛琴雅 《文博》 2009年第6期184-190,共7页

馆藏壁画绝大多数为墓葬揭取的,墓葬壁画作为一种丧葬文化现象在早期绘画史和思想史上都占有非常重要的地位。馆藏壁画的支撑体是壁画从原址揭取下来后,为长期保存壁画、便于移动与展示,而在其背面重新粘接的。起支撑保护作用的支撑体... 馆藏壁画绝大多数为墓葬揭取的,墓葬壁画作为一种丧葬文化现象在早期绘画史和思想史上都占有非常重要的地位。馆藏壁画的支撑体是壁画从原址揭取下来后,为长期保存壁画、便于移动与展示,而在其背面重新粘接的。起支撑保护作用的支撑体类型有石膏支撑体、环氧树脂+木龙骨支撑体、环氧树脂+铝合金龙骨支撑体等。随着支撑体材料的失效,壁画也遭受不同程度的损伤。因此,失效支撑体的更换是今后馆藏壁画保护不可避免的工作。本文全面系统总结了馆藏壁画失效支撑体的类型及其去除技术及工艺,为今后壁画的保护修复提供了技术支撑。 展开更多

关键词 馆藏壁画 失效 支撑体 去除

在线阅读 下载PDF 职称材料

提高自我效能感,改善高职院校学生厌学现象 被引量：6

8

作者 周娟 《南通航运职业技术学院学报》 2007年第2期112-114,共3页

部分高职院校学生中存在厌学现象,其原因之一是学生学习自我效能水平低下,进一步缘于习得性无助感。文章介绍了自我效能感的作用、形成与改变的影响因素,并提出了提高高职生的学习自我效能感的途径。

关键词 高职院校学生 自我效能感 习得性无助感

在线阅读 下载PDF 职称材料

对三点比较式臭袋法的浅见 被引量：2

9

作者 蔡云飞 《环境监测管理与技术》 2013年第4期45-47,63,共4页

针对臭气浓度的标准分析方法——三点比较式臭袋法,在分析过程中引入"无法辨别"选项,并建议稀释倍数由标准限值确定。经实际案例验证,采用改进后的方法,分析结果更接近现场的真实状况,从而提高了嗅辨结果的准确性,并减轻了嗅... 针对臭气浓度的标准分析方法——三点比较式臭袋法,在分析过程中引入"无法辨别"选项,并建议稀释倍数由标准限值确定。经实际案例验证,采用改进后的方法,分析结果更接近现场的真实状况,从而提高了嗅辨结果的准确性,并减轻了嗅辨员的嗅觉疲劳。 展开更多

关键词 三点比较式臭袋法 恶臭监测 无法辨别 稀释倍数

在线阅读 下载PDF 职称材料

现代汉语词汇中的不自足现象 被引量：1

10

作者 刘芳 《内蒙古民族大学学报（社会科学版）》 2010年第4期33-36,共4页

词汇出现完全的空白、缺环,不能满足言语主体表达的需要,这就是词汇的不自足现象。新事物不断出现、人们交际表达创新的需要以及现代汉语词汇的有限性都可能导致词汇的不自足。但相应的语言对策可以一定程度地解决词汇不自足的问题,可... 词汇出现完全的空白、缺环,不能满足言语主体表达的需要,这就是词汇的不自足现象。新事物不断出现、人们交际表达创新的需要以及现代汉语词汇的有限性都可能导致词汇的不自足。但相应的语言对策可以一定程度地解决词汇不自足的问题,可以促进词汇不断创新,促进语言发展,加快语言间的接触与交流等。 展开更多

关键词 现代汉语 词汇 不自足

在线阅读 下载PDF 职称材料

从“脾不散精”论治低血糖症 被引量：2

11

作者 甘洪桥 苟文伊 伍冰 《中国医药科学》 2022年第21期112-115,共4页

低血糖症是由于各种原因引起的血浆葡萄糖浓度低于正常水平值所致的一种临床综合征,在糖尿病患者控制血糖中常见,且随着糖尿病发病率升高,低血糖症发生率也日益增多,反复发生低血糖症的糖尿病患者靶器官损害更严重,甚至增加病死风险。... 低血糖症是由于各种原因引起的血浆葡萄糖浓度低于正常水平值所致的一种临床综合征,在糖尿病患者控制血糖中常见,且随着糖尿病发病率升高,低血糖症发生率也日益增多,反复发生低血糖症的糖尿病患者靶器官损害更严重,甚至增加病死风险。所以低血糖是糖尿病患者长期维持正常血糖水平的制约因素,因此低血糖风险最小化是糖尿病管理中需要解决的一个重要问题。本研究通过长期临床观察,采用中医药治疗低血糖症可以提高疗效,低血糖症应归属中医“虚劳”等范畴,以“脾不散精”论治低血糖症,采用健脾、升阳、散精为治疗大法,能够有效减少低血糖症的发生,并且平稳血糖的作用明显,能够起到“标本兼治”的效果。 展开更多

关键词 低血糖症 糖尿病 中医治疗 脾不散精 健脾升阳

暂未订购

论不能未遂犯的可罚性——不能未遂犯之论争 被引量：1

12

作者 马涛 《成都理工大学学报（社会科学版）》 2013年第2期43-50,共8页

未遂犯之能与不能的"二分法"是我国刑法理论之通说,且认为不能犯未遂具有可罚性。严格地说,不能犯当作广义与狭义的区分,即可罚的不能犯与不可罚的不能犯之区别。二者界分的关键,在于对未遂犯与不可罚不能犯之行为危险的判断... 未遂犯之能与不能的"二分法"是我国刑法理论之通说,且认为不能犯未遂具有可罚性。严格地说,不能犯当作广义与狭义的区分,即可罚的不能犯与不可罚的不能犯之区别。二者界分的关键,在于对未遂犯与不可罚不能犯之行为危险的判断。对此,学界争论较为激烈,学说派别林立,但比较而言,采兼顾行为时一般人标准与行为人特别认识之事实的"具体危险说"判断立场是可取的。 展开更多

关键词 不能未遂犯 可罚性 危险性

在线阅读 下载PDF 职称材料

不能犯的可罚性研究 被引量：1

13

作者 余向阳 梁博文 《广东工业大学学报（社会科学版）》 2012年第3期58-66,共9页

不能犯可罚性的判断标准,直接体现了刑法基本立场的选择,国内外刑法学界也存在着多种学说以探讨不能犯可罚性的问题和其判断标准。通过厘清刑法学的基本立场、基本理论在处理不能犯问题时的选择与作用,以及对多种学说的比较分析,认为印... 不能犯可罚性的判断标准,直接体现了刑法基本立场的选择,国内外刑法学界也存在着多种学说以探讨不能犯可罚性的问题和其判断标准。通过厘清刑法学的基本立场、基本理论在处理不能犯问题时的选择与作用,以及对多种学说的比较分析,认为印象说更具有合理性和可行性,并以现代社会普遍联系为考察视角,从预防功能角度出发,尝试探讨加入考虑行为导致不能犯的偶然性及其相关因素,帮助判断其可罚性,并以此修正印象说的固有缺陷。 展开更多

关键词 不能犯 可罚性 不能犯的偶然性

在线阅读 下载PDF 职称材料

试论犯罪中止与其他犯罪形态的竞合 被引量：2

14

作者 曾娇艳 李志雄 《天津市政法管理干部学院学报》 2006年第1期18-20,共3页

犯罪中止与不能犯未遂的竞合,应以行为的“有效性”为尺度,判断其是否成立中止;对犯罪中止与犯罪既遂竞合的处理,既不能违背中止制度的立法初衷,又应区分二者在行为性质上的联系,同时贯彻罪刑相适应原则,根据具体情形,分别对待。

关键词 犯罪中止 不能犯未遂 犯罪既连 竞合

在线阅读 下载PDF 职称材料

高职学生习得性无助教育学干预研究 被引量：2

15

作者 王丽平 《太原大学学报》 2009年第2期118-121,共4页

在高等职业院校学生群体中,有为数不少的人在学习中存在习得性无助现象。这种现象既与高职学生不同于普通高校大学生的特点有关,也受到社会大环境和高职学校本身因素的影响。从教育学的基本理论角度出发对这种现象进行干预,有助于预防... 在高等职业院校学生群体中,有为数不少的人在学习中存在习得性无助现象。这种现象既与高职学生不同于普通高校大学生的特点有关,也受到社会大环境和高职学校本身因素的影响。从教育学的基本理论角度出发对这种现象进行干预,有助于预防和缓减高职学生的无助感,防止这种消极情绪的出现乃至恶化。 展开更多

关键词 高职学生 习得性无助 干预

在线阅读 下载PDF 职称材料

论不能犯的判断方法

16

作者 张洪成 鲁书 《石河子大学学报（哲学社会科学版）》 2014年第2期78-82,共5页

中外刑法理论关于不能犯的界定众说纷纭,主要是主观论与客观论的基本对立。我国通说在不能犯危险性的判断上采取的是抽象危险说,进而肯定了不能犯的犯罪性。其实,认定不能犯的关键在于认定行为是否有侵害法益的危险,因此该文以"质... 中外刑法理论关于不能犯的界定众说纷纭,主要是主观论与客观论的基本对立。我国通说在不能犯危险性的判断上采取的是抽象危险说,进而肯定了不能犯的犯罪性。其实,认定不能犯的关键在于认定行为是否有侵害法益的危险,因此该文以"质量并重、存在与否、身份有无、时空真假"等标准对不能犯进行具体分类,从手段、对象、主体、时空四个方面更明确地判断相关行为是否具有可罚性。 展开更多

关键词 不能犯 主观说 客观说 法益侵害

在线阅读 下载PDF 职称材料

对王安忆畸形性爱小说的一种解读 被引量：1

17

作者 李雪梅 《襄樊职业技术学院学报》 2003年第5期64-66,共3页

自八十年代后期以来,王安忆为我们提供了一系列的性文本,从"三恋"到《米尼》、《我爱比尔》,从对性爱美的礼赞到对性犯罪的演绎,从试图用母爱救赎到无力拯救的演变,人性中的非理性因素在王安忆的理性思考中越来越呈凸显的态势... 自八十年代后期以来,王安忆为我们提供了一系列的性文本,从"三恋"到《米尼》、《我爱比尔》,从对性爱美的礼赞到对性犯罪的演绎,从试图用母爱救赎到无力拯救的演变,人性中的非理性因素在王安忆的理性思考中越来越呈凸显的态势,并因此而表达出一种强烈的悲悯情怀。作为一个思考型的作家,王安忆在日益膨胀的欲望化大潮中卓尔不群。 展开更多

关键词 王安忆 性爱小说 人性 中国 《米尼》 《我爱比尔》 《小城之恋》

在线阅读 下载PDF 职称材料

行为能力欠缺者的公司发起人资格——基于法解释学的一般套路

18

作者 蒋大兴 《甘肃政法学院学报》 CSSCI 2005年第3期54-62,共9页

传统理论主张行为能力欠缺者不能充任公司发起人,是一个普遍的误解。无论是从民法视野,还是从法解释、比较法、立法背景等角度分析,都不能简单地否定行为能力欠缺者的公司发起人资格。我国《公司法》应明确规定行为能力欠缺者可以自己... 传统理论主张行为能力欠缺者不能充任公司发起人,是一个普遍的误解。无论是从民法视野,还是从法解释、比较法、立法背景等角度分析,都不能简单地否定行为能力欠缺者的公司发起人资格。我国《公司法》应明确规定行为能力欠缺者可以自己名义设立公司,并应吸收德国法院判例经验对行为能力欠缺者设立公司的活动予以适当规制。在商法领域,应当树立“行为自治”的理念,由商事主体在市场竞争中对商业风险自主进行识别、判断,并自负其责,法律只需为这一判断过程构建辅助机制。 展开更多

关键词 行为能力 发起人资格 欠缺 法解释学 套路 公司发起人 《公司法》 理论主张 角度分析 立法背景 商业风险 市场竞争 商事主体 比较法 设立 判断 民法 规制 判例 法院 商法 法律

在线阅读 下载PDF 职称材料

催化设计知识库系统的构造

19

作者 膝至阳 《东南大学学报（自然科学版）》 EI CAS CSCD 1991年第3期51-57,共7页

把催化设计分割成5个易于求解的子问题,并提出一个用于催化活性模式综合的加权经验评估模型,据此开发了催化成份选择用知识库系统INCAP(Integration of Ca talyst Activity Pattern)。INCAP应用于乙苯氧化脱氢催化设计,通过知识库推理... 把催化设计分割成5个易于求解的子问题,并提出一个用于催化活性模式综合的加权经验评估模型,据此开发了催化成份选择用知识库系统INCAP(Integration of Ca talyst Activity Pattern)。INCAP应用于乙苯氧化脱氢催化设计,通过知识库推理获得了与实验相一致的结果。本文还从设计型专家系统角度剖析了INC八P的特点。 展开更多

关键词 催化剂设计 计算机化学 incap

在线阅读 下载PDF 职称材料

国家股、法人股流通问题解决方案

20

作者 万瑶华 《商丘师范学院学报》 CAS 2003年第6期99-100,共2页

国家股、法人股流通渠道的根本问题是全流通股票在股市中所占比重的不断提高和全流通股票自身的完善机制对提高市场有效性的贡献。在全流通股票的发展机制优于国家股、法人股不能流通的“基本假定”下,解决国家股、法人股流通问题最重... 国家股、法人股流通渠道的根本问题是全流通股票在股市中所占比重的不断提高和全流通股票自身的完善机制对提高市场有效性的贡献。在全流通股票的发展机制优于国家股、法人股不能流通的“基本假定”下,解决国家股、法人股流通问题最重要的不是改革存量,而是规范增量部分,最后解决股票存量中国家股、法人股流通问题。 展开更多

关键词 国家股 法人股 全流通股票 股票存量

在线阅读 下载PDF 职称材料