期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
论经典命题逻辑公理系统L中的证明技巧 被引量:2
1
作者 程和祥 刘强 《重庆理工大学学报(社会科学)》 CAS 2019年第3期7-12,共6页
在经典命题逻辑的学习中,公理系统L中的定理证明只能使用公理模式和推理规则,对于初学者而言,常常显得强人所难,主要表现为找不到证明的突破口。事实上,可以从两个方向出发:一方面,从公理模式出发,分析每条公理模式的特性,由此可得消件... 在经典命题逻辑的学习中,公理系统L中的定理证明只能使用公理模式和推理规则,对于初学者而言,常常显得强人所难,主要表现为找不到证明的突破口。事实上,可以从两个方向出发:一方面,从公理模式出发,分析每条公理模式的特性,由此可得消件法和换位法两个小技巧;另一方面,通过使用演绎定理,一般我们可得到待证定理的演绎证明序列,而通过对演绎证明序列的"仔细观察",可以获得相应公理证明的"突破口"。这些技巧,可以提高初学者的学习效率,优化数理逻辑的教学,也可以为定理机械化证明的理论和方法提供必要的实践准备,以促进新时代逻辑学教学现代化的实现。 展开更多
关键词 经典命题逻辑 公理系统L 消件法 换位法 演绎定理 构造性程序
下载PDF
参数化服装结构CAD的研究 被引量:4
2
作者 左平地 黄宗文 潘波 《北京服装学院学报(自然科学版)》 CAS 2003年第1期60-64,共5页
总结了开发参数化服装结构CAD软件的经验,提出并实现了约束链和连接器的概念,实现约束的在位编辑;提出基于构造过程的参数化服装结构CAD系统的软件框架,该框架包括约束、约束参数、约束链、连接器、反应器等。开发平台为AutoCAD 2000,... 总结了开发参数化服装结构CAD软件的经验,提出并实现了约束链和连接器的概念,实现约束的在位编辑;提出基于构造过程的参数化服装结构CAD系统的软件框架,该框架包括约束、约束参数、约束链、连接器、反应器等。开发平台为AutoCAD 2000,开发软件为ObjectARX 2000。 展开更多
关键词 参数化设计 软件开发 服装结构CAD软件 构造过程 约束
下载PDF
水泥搅拌桩的施工控制及质量通病的预防 被引量:6
3
作者 向红 《山西建筑》 2007年第7期135-136,共2页
以某工程为例,通过场地的搅拌桩钻孔取芯及其芯样的拉压强度试验,介绍了其试桩过程及试验目的,并对其施工工序及施工方法进行了阐述,通过对试桩结果的分析,对其质量通病及措施进行了论述,从而为水泥搅拌桩加固地基工程的设计与施工提供... 以某工程为例,通过场地的搅拌桩钻孔取芯及其芯样的拉压强度试验,介绍了其试桩过程及试验目的,并对其施工工序及施工方法进行了阐述,通过对试桩结果的分析,对其质量通病及措施进行了论述,从而为水泥搅拌桩加固地基工程的设计与施工提供了理论指导。 展开更多
关键词 水泥搅拌桩 拉压强度 施工工序 质量通病
下载PDF
浅析闽南传统民居建筑 被引量:5
4
作者 黄乌燕 《山西建筑》 2007年第25期66-68,共3页
针对闽南特殊的地理环境和气候条件及其悠久的历史和多元文化的冲击,使该地区的传统民居建筑具有显著的地域特色,并从布局、施工工序和建筑禁忌等几个方面探讨了闽南传统民居建筑的特色,为研究闽南传统建筑提供了参考依据。
关键词 居民建筑 布局 施工工序 地域特色
下载PDF
经营性高速公路建设程序与相关法律的研究 被引量:2
5
作者 王雪峰 《公路》 北大核心 2007年第11期142-146,共5页
分析了经营性高速公路的经济特性,对我国现行的经营性高速公路的建设程序、投资体制和相关法律进行了研究,指出我国目前经营性高速公路的建设程序、投资体制不符合经营性高速公路的经济特性,不利于市场竞争,没有合理界定政府和投资人的... 分析了经营性高速公路的经济特性,对我国现行的经营性高速公路的建设程序、投资体制和相关法律进行了研究,指出我国目前经营性高速公路的建设程序、投资体制不符合经营性高速公路的经济特性,不利于市场竞争,没有合理界定政府和投资人的职责。提出了相关的法律法规的修改意见,设计了符合市场竞争特性的建设程序。 展开更多
关键词 经营性高速公路 建设程序 法律法规
原文传递
水泥稳定碎石土在高速公路底基层中的应用 被引量:3
6
作者 刘红峰 《山西建筑》 2007年第18期295-296,共2页
通过对水泥稳定碎石土的由来、发展的分析,总结出了一套适于水泥稳定碎石土的施工工艺和技术要求,指出平原区大多石料匮乏,价格昂贵,水泥稳定碎石土有很高的性能价格比优势,且具有一定的推广价值。
关键词 水泥稳定碎石土 工艺流程 质量控制
下载PDF
高职院校旅游管理专业群基于能力本位课程体系的构建路径 被引量:3
7
作者 温黎明 高玉飞 《青岛职业技术学院学报》 2012年第3期42-45,共4页
旅游管理专业群基于能力本位的课程体系建设遵循能力本位教育理论的一般规律,同时也加入了大量的本土化创新元素。青岛职业技术学院旅游管理专业群课程该体系构建的基础是对学生已经掌握的和他们应该掌握的能力进行分析。在课程体系建... 旅游管理专业群基于能力本位的课程体系建设遵循能力本位教育理论的一般规律,同时也加入了大量的本土化创新元素。青岛职业技术学院旅游管理专业群课程该体系构建的基础是对学生已经掌握的和他们应该掌握的能力进行分析。在课程体系建设实践中,旅游管理专业群参考DACUM方法,确定学生在某一领域已经掌握了哪些知识和能力,并对照他们应该掌握的知识和能力,找出二者之间的差距,从而判断学生的熟练程度,然后以此为根据来组织课程与教学。 展开更多
关键词 能力本位教育 能力分析 核心能力 构建流程
下载PDF
钢筋混凝土下套拱法加固石拱桥技术 被引量:2
8
作者 孙宗明 《山西建筑》 2007年第36期303-304,共2页
结合工程实例,介绍了该石拱桥出现的主要病害,并对病害形成原因进行了分析,详细阐述了钢筋混凝土套拱法加固石拱桥技术及其施工控制要点,以供类似桥梁加固工程参考借鉴。
关键词 下套拱法 石拱桥 施工工序 套拱底板
下载PDF
论完善我国高校教师申诉制度的程序性构建 被引量:1
9
作者 景国强 《科教导刊》 2011年第20期172-173,共2页
我国《教师法》及相关法规原则上规定了我国教师享有申诉权利。但由于相关规定过于笼统,致使教师申诉在实际上存在操作性不强等问题,从而不利于保护和实现教师申诉权利。为了完善我国教师申诉制度,保障教师申诉权利,本文从程序法角度论... 我国《教师法》及相关法规原则上规定了我国教师享有申诉权利。但由于相关规定过于笼统,致使教师申诉在实际上存在操作性不强等问题,从而不利于保护和实现教师申诉权利。为了完善我国教师申诉制度,保障教师申诉权利,本文从程序法角度论述了如何完善我国教师申诉制度。 展开更多
关键词 高校教师 教师申诉制度 程序构建
下载PDF
沿海地区钻孔灌注桩施工质量控制的探讨
10
作者 陆凤华 商志清 《山西建筑》 2007年第21期238-240,共3页
以滨海新闸工程灌注桩施工为例,介绍沿海地区复杂土层钻孔灌注桩施工工序和质量控制要点,对其施工各工序进行有效的控制,从而保证灌注桩施工的工序过程处于严格、有效的质量控制中。
关键词 钻孔灌注桩 施工工序 质量控制
下载PDF
海滩围垦工程施工局部冲刷问题分析
11
作者 刘林松 《浙江水利水电专科学校学报》 2008年第4期71-74,共4页
沿海地区海滩围垦工程围区在施工过程中随着潮水涨落,围区内外会产生较大的水头差和围涂区域引起冲刷.施工工序安排的不合理所形成的围区内某些区段低高程段过窄是造成影响冲刷的主要原因,对围区施工过程、围区潮汐和冲刷流速计算和围... 沿海地区海滩围垦工程围区在施工过程中随着潮水涨落,围区内外会产生较大的水头差和围涂区域引起冲刷.施工工序安排的不合理所形成的围区内某些区段低高程段过窄是造成影响冲刷的主要原因,对围区施工过程、围区潮汐和冲刷流速计算和围区冲刷机理的分析发现,对施工区域的合理分段、制定和调整施工工序可以有效减少海涂冲刷. 展开更多
关键词 海滩围垦 局部冲刷 施工工序 问题分析
下载PDF
HDPE土工膜用于水泥混凝土灌溉渠道修复施工
12
作者 高小强 《山西建筑》 2009年第30期363-364,共2页
结合具体工程实例,阐述了决定实施HDPE土工膜焊接修复技术方案的主要因素,详细介绍了HDPE土工膜用于水泥混凝土灌溉渠道修复施工的工艺,以推广防渗土工膜在工程中的应用。
关键词 土工膜 渠道 修复工程 施工工序
下载PDF
腓骨肌瓣结合牙种植牵引器在下颌骨功能性重建中的应用 被引量:21
13
作者 张陈平 张志愿 +5 位作者 季彤 胡永杰 韩正学 徐立群 吴轶群 马继壮 《中国耳鼻咽喉头颈外科》 2004年第5期281-284,共4页
目的 探讨腓骨肌瓣结合牙种植牵引器(dentalimplant distracter,DID)在下颌骨功能性重建中的应用。方法 设计了包含永久性牙种植体和暂时性牵引器的牵引种植体。此牵引器特别为腓骨增宽牵引重建下颌骨缺损而设计。已完成10例下颌骨缺... 目的 探讨腓骨肌瓣结合牙种植牵引器(dentalimplant distracter,DID)在下颌骨功能性重建中的应用。方法 设计了包含永久性牙种植体和暂时性牵引器的牵引种植体。此牵引器特别为腓骨增宽牵引重建下颌骨缺损而设计。已完成10例下颌骨缺损重建(33件DID),其中4例成釉细胞瘤,2例下颌骨囊肿,1例骨纤维异常增殖症,其余3例为恶性肿瘤;患者年龄19~67岁(平均年龄44.7岁),8例男性,2例女性。结果在19~40个月的随访中,10例患者的组织瓣获完全成功,临床检查及X线检查显示正常下颌骨外形和骨愈合。植入的33枚DID中,有10枚(占30 %)由于局部感染松动取出,其余种植体均有良好的骨结合,成功率达70 %,共有4位患者完成义齿修复,效果满意。结论 DID可成功用于游离腓骨肌瓣下颌骨功能性重建,牙种植体植入与骨牵引同期完成,缩短了手术周期,改善了患者的生存质量。 展开更多
关键词 腓骨肌瓣 牙种植牵引器 下颌骨 功能性重建
下载PDF
关注前交叉韧带重建术后影响疗效的因素与对策 被引量:18
14
作者 刘玉杰 《中国骨伤》 CAS 2012年第11期883-885,共3页
前交叉韧带(anterior cruciate ligament,ACL)损伤将影响膝关节的稳定性,早期重建有助于预防膝关节继发性骨关节炎和半月板损伤已经成为共识。随着微创理念不断的深化和解剖学的研究进展,ACL重建方法不断得到改进。但是,部分患者术后... 前交叉韧带(anterior cruciate ligament,ACL)损伤将影响膝关节的稳定性,早期重建有助于预防膝关节继发性骨关节炎和半月板损伤已经成为共识。随着微创理念不断的深化和解剖学的研究进展,ACL重建方法不断得到改进。但是,部分患者术后仍有膝关节不稳、疼痛和功能受限,影响了术后疗效。如何应对这些问题,有必要进行深入的探讨,进一步提高术后疗效。 展开更多
关键词 前交叉韧带 修复外科手术 膝关节
下载PDF
血管化髂骨肌瓣同期牙种植体修复下颌骨体部缺损 被引量:8
15
作者 胡永杰 李思毅 +2 位作者 徐立群 吴轶群 张陈平 《中国耳鼻咽喉头颈外科》 2004年第5期289-292,共4页
目的 应用血管化髂骨肌瓣联合同期牙种植修复下颌骨体部缺损,以利尽早恢复下颌骨的外形及咀嚼功能。方法 对12例下颌骨体部肿瘤受侵患者行一侧下颌骨节断性切除,同期血管化髂骨肌瓣重建并植入牙种植体,总共32枚,术后义齿修复。结果... 目的 应用血管化髂骨肌瓣联合同期牙种植修复下颌骨体部缺损,以利尽早恢复下颌骨的外形及咀嚼功能。方法 对12例下颌骨体部肿瘤受侵患者行一侧下颌骨节断性切除,同期血管化髂骨肌瓣重建并植入牙种植体,总共32枚,术后义齿修复。结果 所有病例髂骨瓣移植均获成功,种植体与移植骨骨性结合,术后随访8-42个月,均无肿瘤复发,颌面形态佳,咀嚼咬合力恢复良好,临床效果满意。结论 血管化髂骨肌瓣同期牙种植体植入术是下颌骨体部缺损功能重建的理想方案。 展开更多
关键词 血管化髂骨肌瓣 同期牙种植体 修复 下颌骨体部缺损
下载PDF
不同比例骨软骨镶嵌成形术联合基因增强组织工程方法治疗骨软骨缺损 被引量:3
16
作者 孙骏 侯筱魁 +2 位作者 匡勇 卫晓恩 史萌 《中国骨伤》 CAS 2011年第9期768-774,共7页
目的:研究骨软骨镶嵌成形术与联合基因增强组织工程方法治疗急性骨软骨缺损,并观察在不同比例下的组织修复情况,以期发现两者间的最佳组合。方法:对携带hTGF-β1的重组腺病毒转染BMSCs(hTGF-β1转染组),与采用Adv-βgal转染BMSCs(Adv-β... 目的:研究骨软骨镶嵌成形术与联合基因增强组织工程方法治疗急性骨软骨缺损,并观察在不同比例下的组织修复情况,以期发现两者间的最佳组合。方法:对携带hTGF-β1的重组腺病毒转染BMSCs(hTGF-β1转染组),与采用Adv-βgal转染BMSCs(Adv-βgal转染组)及未转染BMSCs(未转染空白对照组)进行WesternBlot检测hTGF-β1、Ⅱ型胶原及Aggrecan表达。雄性6月龄崇明山羊18只,体重22~25kg,取自体骨髓进行BMSCs分离及培养,传至第3代。每只动物双膝股骨内髁进行实验,分为AR、AL、BR、BL、CR、CL6组。AR为骨软骨移植覆盖面积为44.44%单纯组,AL为44.44%联合组,BR为33.33%单纯组,BL为33.33%联合组,CR为22.22%单纯组,CL为22.22%联合组。于双膝股骨内髁负重区采用骨钻制备直径为9mm,深为3mm的骨软骨缺损后,单纯组采用骨软骨镶嵌成形术的自体骨软骨柱修复,联合组同时将转染hTGF-β1的BMSCs藻酸钠混合液注入空隙,加入氯化钙产生凝胶。术后24周取材,行大体及组织学观察,并参照O'Driscoll,KeeleyandSalter组织形态学评分标准进行评分,行免疫组织化学及透射电镜观察。结果:hTGF-β1转染组细胞hTGF-β1、Ⅱ型胶原及Aggrecan表达均强于Adv-βgal转染组及未转染空白对照组。大体观察,组织学染色以及透射电镜检查显示各组的缺损有不同程度的修复。33.33%联合组、44.44%单纯组、44.44%联合组的整体修复效果差别无统计学意义,33.33%单纯组、22.22%单纯组、22.22%联合组的整体修复效果差于前3组。结论:骨软骨镶嵌成形术联合基因增强组织工程的方法可以有效修复骨软骨缺损。随着自体骨软骨移植覆盖缺损面积的减少,骨软骨镶嵌成形术联合基因增强组织工程方法的修复优越性可以得到更好的体现。 展开更多
关键词 软骨 修复外科手术 组织工程 创伤和损伤
下载PDF
Greedy Constructive Procedure-Based Hybrid Differential Algorithm for Flexible Flow shop Group Scheduling
17
作者 郑永前 于萌萌 谢松杭 《Journal of Donghua University(English Edition)》 EI CAS 2015年第4期577-582,共6页
Aiming at the flexible flowshop group scheduling problem,taking sequence dependent setup time and machine skipping into account, a mathematical model for minimizing makespan is established,and a hybrid differential ev... Aiming at the flexible flowshop group scheduling problem,taking sequence dependent setup time and machine skipping into account, a mathematical model for minimizing makespan is established,and a hybrid differential evolution( HDE) algorithm based on greedy constructive procedure( GCP) is proposed,which combines differential evolution( DE) with tabu search( TS). DE is applied to generating the elite individuals of population,while TS is used for finding the optimal value by making perturbation in selected elite individuals. A lower bounding technique is developed to evaluate the quality of proposed algorithm. Experimental results verify the effectiveness and feasibility of proposed algorithm. 展开更多
关键词 FLEXIBLE flowshop group scheduling HYBRID DIFFERENTIAL evolution(HDE) ALGORITHM GREEDY constructive procedure(GCP) lower bound
下载PDF
论立案监督程序的正当化构建 被引量:4
18
作者 王志刚 《行政与法》 2009年第9期108-111,共4页
立案监督是指负有法律监督职权的机关或个人及其它有关机关或公民对公安司法机关关于某事件应否立案和对刑事案件的立案是否依法进行而实行的法律监督和督促。我国1997年确立刑事诉讼法的立案监督制度,在保证法律的正确实施,准确及时地... 立案监督是指负有法律监督职权的机关或个人及其它有关机关或公民对公安司法机关关于某事件应否立案和对刑事案件的立案是否依法进行而实行的法律监督和督促。我国1997年确立刑事诉讼法的立案监督制度,在保证法律的正确实施,准确及时地惩治犯罪,保障无罪的人不受刑事追诉方面起到了积极作用。但是,立法存在的缺陷直接导致了检察机关在实践中行使立案监督权遇到一系列问题,本文对实践中存在的问题进行了分析,并在此基础上提出了相关完善建议。 展开更多
关键词 立案监督 实践困境 正当化构建
下载PDF
构筑物控制爆破
19
作者 赵玉明 《山西建筑》 2007年第25期163-164,共2页
结合废旧构筑物拆除工程的现状,指出了研究构筑物控制爆破的必要性,通过对晋城具体构筑物爆破工程的介绍,详细地阐述了构筑物控制爆破的施工工艺及流程、施工操作等技术要点,以供类似爆破工程借鉴。
关键词 构筑物 控制爆破 工艺流程
下载PDF
沥青砼路面施工要点
20
作者 梁伟 高鹏 祖文 《林业科技情报》 2002年第2期108-108,共1页
沥青砼路面施工,直接影响道路的质量,本文主要阐述了混合料的出厂、运输、摊铺、碾压及重 点部位处理方面的施工要点。
关键词 沥青砼路面 施工工艺
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部