期刊文献+
共找到49篇文章
< 1 2 3 >
每页显示 20 50 100
基于建筑机器人的施工前置条件深化设计与找平应用
1
作者 温卫军 李盼 +3 位作者 崔璨 于鹏 莫子坤 李昌宇 《建筑科技》 2025年第2期68-73,共6页
针对混凝土地面找平作业窗口期短、人工需求大、技术要求高及施工质量不稳定等问题,以佛山市顺德区碧桂园凤凰台项目为例,研究建筑机器人在结构层混凝土浇筑阶段的地面找平应用效果,探索其取代传统人工找平的可行性。通过深化设计地面环... 针对混凝土地面找平作业窗口期短、人工需求大、技术要求高及施工质量不稳定等问题,以佛山市顺德区碧桂园凤凰台项目为例,研究建筑机器人在结构层混凝土浇筑阶段的地面找平应用效果,探索其取代传统人工找平的可行性。通过深化设计地面环境,确保机器人自动化作业条件,并对其施工过程进行实时监控与数据检测。结果表明:机器人找平后的地面达到3 mm/2 m平整度和5 mm水平度,覆盖率超90%,综合施工效率较传统模式提升50%以上。 展开更多
关键词 建筑机器人 前置条件 深化设计 智能建造 自动找平
在线阅读 下载PDF
沪苏通长江公铁大桥29号墩斜拉索挂设施工前置条件分析及对策 被引量:1
2
作者 胡勇 《施工技术(中英文)》 CAS 2022年第5期75-79,91,共6页
在沪苏通长江公铁大桥主航道桥中,以大桥29号墩斜拉索挂设施工为例,逐个识别施工特点,并进行前置条件分析,而后制定相应对策。塔端挂设滞后主塔3个节段解决塔柱结构安全问题,大型塔式起重机解决塔端挂设动力问题,斜拉索吊机中支点处锚... 在沪苏通长江公铁大桥主航道桥中,以大桥29号墩斜拉索挂设施工为例,逐个识别施工特点,并进行前置条件分析,而后制定相应对策。塔端挂设滞后主塔3个节段解决塔柱结构安全问题,大型塔式起重机解决塔端挂设动力问题,斜拉索吊机中支点处锚固张拉解决主梁结构安全问题,架梁起重机后锚梁结构、支撑结构设计考虑避让斜拉索和梁面锚拉板解决施工问题等。通过一系列施工前置条件的分析和对策应用,顺利、高效完成斜拉索挂设任务,在保证施工精度和安全的同时,实现全桥合龙计划目标。 展开更多
关键词 桥梁工程 斜拉索 挂设施工 前置条件 对策
在线阅读 下载PDF
一种基于最弱前置条件的软件错误定位算法 被引量:3
3
作者 李雅 黄少滨 +2 位作者 李艳梅 迟荣华 郎大鹏 《电子学报》 EI CAS CSCD 北大核心 2019年第1期25-32,共8页
错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用... 错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用例进行初始化标记;最后限定分析图的输入和输出,自顶向下再次对其进行标记,找到冲突的结点,从而进行错误定位.实验结果表明,相对于其它方法,文中提出的方法能有效地提高程序错误定位的效率,使得调试人员只需检查更少的语句即可找到出错的位置. 展开更多
关键词 调试 错误定位 最弱前置条件 反例理解
在线阅读 下载PDF
动物检疫申报前置条件调研 被引量:2
4
作者 任晓玲 王小军 +2 位作者 关婕葳 雷江红 《中国动物检疫》 CAS 2016年第8期39-41,52,共4页
本文以重庆、湖南、山东等省(市)开展的检疫申报前置条件的专题调研内容为基础,结合北京市和陕西省当前检疫工作的实际情况,阐述了动物检疫申报前置条件的内涵,介绍了检疫申报前置条件是否能够阻止动物疫病传播、是否具有可操作性和合... 本文以重庆、湖南、山东等省(市)开展的检疫申报前置条件的专题调研内容为基础,结合北京市和陕西省当前检疫工作的实际情况,阐述了动物检疫申报前置条件的内涵,介绍了检疫申报前置条件是否能够阻止动物疫病传播、是否具有可操作性和合理性、是否适应市场经济发展、是否合理合法等8个拟定专题的调研情况和现状,同时依据调研情况提出了相应的意见及建议,以期对《动物检疫管理办法》的修订提供参考。 展开更多
关键词 动物检疫 申报前置条件 调研 《动物检疫管理办法》
在线阅读 下载PDF
浅谈水利工程立项审批前置条件及程序 被引量:3
5
作者 耿成云 邱丽 冯英 《治淮》 2013年第2期30-31,共2页
近年来我国频繁发生严重水旱灾害,暴露出水利基础设施建设的薄弱环节。国家根据水利面临的新形势,提出大力加强水利建设,而水利工程立项是水利工程建设的前提,立项审批前置条件是制约立项的重要因素。
关键词 水利基础设施建设 工程立项 前置条件 审批 程序 水利工程建设 水旱灾害 水利建设
在线阅读 下载PDF
基于最弱前置条件的程序正确性分析
6
作者 郭莎莎 侯春燕 王劲松 《高技术通讯》 EI CAS 北大核心 2019年第6期556-563,共8页
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写和静态分析的符号执行均针对程序正确性进行优化完善,但分析结果易出现路径缺失甚至错误无法识别等问题... 随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,软件正确性检测的处理时间直接决定软件的维护成本。动态测试的断言编写和静态分析的符号执行均针对程序正确性进行优化完善,但分析结果易出现路径缺失甚至错误无法识别等问题。现有验证方法在路径扩展时易生成较多无用路径,且针对性不强,因此有必要研究一种更为可靠的方案。本文采用最弱前置条件对软件可行性加以分析,对程序执行语义正确建模,使用程序切片技术预处理程序代码,并根据层级结构存储节点及其子程序。实验结果表明,该方法可以有效减小静态分析对程序状态抽象操作带来的验证精度损耗,且能够遍历求解出程序的所有可能路径,并通过分组标出条件表达式的结论真假值,以此验证路径正确性,同时可对高复杂的程序代码进行有效的正确性分析。 展开更多
关键词 程序正确性 最弱前置条件 静态分析 路径扩展 程序切片技术
在线阅读 下载PDF
发改委:企业投资项目核准前置条件简化
7
《中华纸业》 CAS 2015年第1期11-11,共1页
本刊讯(发改委消息)根据《国务院办公厅关于印发精简审批事项规范中介服务实行企业投资项目网上并联核准制度工作方案的通知》(国办发〔2014〕59号)要求,对于属于企业经营自主权的事项,一律不再作为企业投资项目核准前置条件,并要求... 本刊讯(发改委消息)根据《国务院办公厅关于印发精简审批事项规范中介服务实行企业投资项目网上并联核准制度工作方案的通知》(国办发〔2014〕59号)要求,对于属于企业经营自主权的事项,一律不再作为企业投资项目核准前置条件,并要求2014年底前公布取消。下列事项一律不再作为企业投资项目核准的前置条件:(一)银行贷款承诺;(二)融资意向书;(三)资金信用证明;(四)股东出资承诺;(五)其他资金落实情况证明材料;(六)可行性研究报告审查意见;(七)规划设计方案审查意见; 展开更多
关键词 投资项目 前置条件 企业 条件简化 国务院办公厅 报告审查 经营自主权 银行贷款
在线阅读 下载PDF
对地铁隧道结构移交铺轨前置条件的一些思考
8
作者 张旭 《工程建设与设计》 2017年第13期142-144,共3页
轨道工程作为地铁系统工程中的重要参建单位,能够引导机电设备安装系统工程的顺利完成,通过有效的沟通协调能够保证项目工程按时完成,安全质量满足规范要求,发挥"承上启下"的作用。在移交隧道结构之前,如果存在缺陷和不足的话... 轨道工程作为地铁系统工程中的重要参建单位,能够引导机电设备安装系统工程的顺利完成,通过有效的沟通协调能够保证项目工程按时完成,安全质量满足规范要求,发挥"承上启下"的作用。在移交隧道结构之前,如果存在缺陷和不足的话,会对轨道结构的质量和安全产生直接的影响,并威胁着后期的运营安全。目前,在我国已经出现多次地铁轨道结构返修事件,而且也常常对日常的运营工作造成影响。另外,在事故发生之后,由于责任主体和界面划分不清晰,难以明确地划分出事故责任。论文主要从两个方面对地铁隧道结构移交铺轨前置条件进行了详细的分析和介绍,这对减少和避免地铁轨道结构出现问题具有一定的参考作用,能够保证地铁系统的安全运行。 展开更多
关键词 地铁隧道结构 移交铺轨 前置条件 遵循原则
在线阅读 下载PDF
将处理交通违法和交通事故作为机动车年检的前置条件的合法性研究
9
作者 闫丽彬 《道路交通管理》 2021年第4期34-35,共2页
根据《机动车登记规定》第四十九条规定,将处理交通违法和交通事故作为机动车年检的前提条件似与《道路交通安全法》第十三条的规定"任何单位不得附加其他条件"的规定相冲突。但前者规范的是机动车检验合格标志申领、核发行为... 根据《机动车登记规定》第四十九条规定,将处理交通违法和交通事故作为机动车年检的前提条件似与《道路交通安全法》第十三条的规定"任何单位不得附加其他条件"的规定相冲突。但前者规范的是机动车检验合格标志申领、核发行为,后者规范的是机动车年检的启动行为,属于不同的法律关系,《机动车登记规定》第四十九条并不违反《道路交通安全法》和《立法法》的规定,将处理交通违法和交通事故作为机动车年检的前置条件亦是符合合法性和合理性的要求。 展开更多
关键词 交通违法 《道路交通安全法》 合格标志 交通事故 《立法法》 机动车 前置条件 合法性
在线阅读 下载PDF
房地产开发项目土地出让前置条件的合理性
10
作者 石仲峰 《中国建材科技》 2018年第2期118-119,共2页
关于土地出让类型的合同的性质一直以来都是我国在理论以及实践两方面的中长期困惑的问题。本文在了解房地产开发项目土地出让现状的基础上,从国有土地使用权出让合同属于行政合同以及土地有偿使用制度是所有权在物权法意义的创设两个... 关于土地出让类型的合同的性质一直以来都是我国在理论以及实践两方面的中长期困惑的问题。本文在了解房地产开发项目土地出让现状的基础上,从国有土地使用权出让合同属于行政合同以及土地有偿使用制度是所有权在物权法意义的创设两个方面对房地产开发项目土地出让前置条件的合理性给出了解决问题的建议。 展开更多
关键词 土地有偿使用制度 房地产开发 前置条件
在线阅读 下载PDF
商用车新增产能不得额外设置前置条件
11
《重型汽车》 2020年第6期2-2,共1页
近日,国家发展改革委、科技部、工业和信息化部、财政部、人力资源社会保障部、中国人民银行等六部门正式印发《关于支持民营企业加快改革发展与转型升级的实施意见》,其中明确要求对新能源汽车、商用车等行业新增产能,在符合市场准入... 近日,国家发展改革委、科技部、工业和信息化部、财政部、人力资源社会保障部、中国人民银行等六部门正式印发《关于支持民营企业加快改革发展与转型升级的实施意见》,其中明确要求对新能源汽车、商用车等行业新增产能,在符合市场准入要求条件下,公平给予资质、认证认可,不得额外设置前置条件。 展开更多
关键词 国家发展改革委 民营企业 商用车 工业和信息化部 人力资源社会保障 新能源汽车 市场准入 前置条件
在线阅读 下载PDF
《诗经》中的宾语前置句探析
12
作者 郭洪丹 李苗苗 《安康学院学报》 2020年第6期62-69,共8页
宾语前置是《诗经》中常见的语法现象,对《诗经》中这一语法现象进行系统全面的研究,不但有助于丰富语言学视域下的《诗经》研究成果,也有助于对《诗经》语用规则的深入分析和文学价值的深度解读。
关键词 《诗经》 宾语前置 类型 句型结构 前置条件
在线阅读 下载PDF
一体化条件下装配式框架建筑高效技术的设计与应用 被引量:8
13
作者 徐牧野 李文 +4 位作者 王浩 陈雨濛 张德志 吕学勇 樊丽娜 《施工技术》 CAS 2020年第5期1-6,共6页
面对建筑业的转型升级,需积极推行一体化建造理念。“高效”是一体化建造优势的关键体现。设计在一体化建造中处于先导的关键位置,所以如何以设计带动高效建造成为设计在一体化条件下的重要课题。通过在装配式框架建筑中的实践经验,提... 面对建筑业的转型升级,需积极推行一体化建造理念。“高效”是一体化建造优势的关键体现。设计在一体化建造中处于先导的关键位置,所以如何以设计带动高效建造成为设计在一体化条件下的重要课题。通过在装配式框架建筑中的实践经验,提出对以上课题的解答,即建立一高效的设计标准,做到标准化设计,做到平面标准化、立面标准化、构件标准化、部品标准化;形成高效的设计工作方法,做到设计条件前置,做到结构条件前置、围护条件前置、机电条件前置、部品条件前置;应用有利于生产、施工的高效建设技术,如系列化标准构件、大直径大间距结构设计、叠合板密拼、一体化外墙、预制女儿墙、装配式装修与管线分离、钢混组合结构等。通过上述3点,形成在一体化条件下装配式框架建筑设计中应用高效技术的原则与方法。 展开更多
关键词 装配式建筑 一体化 装配式框架结构 标准化 条件前置
在线阅读 下载PDF
互动式案例教学的探索与实践 被引量:16
14
作者 刘同芗 郭健美 《中国成人教育》 北大核心 2007年第18期135-136,共2页
互动式案例教学是我们在教学改革过程中,对案例教学进行取长补短探索基础上,总结出的新教学方法。全程互动是互动式案例教学的特点,注重课堂设计是其成功的关键,教学环节的衔接是其优势。互动式案例教学对教学内容有严格限制,对教师与... 互动式案例教学是我们在教学改革过程中,对案例教学进行取长补短探索基础上,总结出的新教学方法。全程互动是互动式案例教学的特点,注重课堂设计是其成功的关键,教学环节的衔接是其优势。互动式案例教学对教学内容有严格限制,对教师与学生都有更高的要求。 展开更多
关键词 案例教学 互动 教学环节 前置条件
在线阅读 下载PDF
基于动态协同双向映射的相似执行路径生成方法 被引量:1
15
作者 郭曦 王盼 《电子学报》 EI CAS CSCD 北大核心 2014年第11期2168-2173,共6页
相似执行路径的生成是代码分析和检测的基础性工作之一,现有的方法通常以程序的行为序列或结构为分析对象,通过改变关键谓词的取值等方法来进行分析,但由于缺乏必要的引导信息导致生成的相似路径的有效性较低,另外由于路径的谓词集合较... 相似执行路径的生成是代码分析和检测的基础性工作之一,现有的方法通常以程序的行为序列或结构为分析对象,通过改变关键谓词的取值等方法来进行分析,但由于缺乏必要的引导信息导致生成的相似路径的有效性较低,另外由于路径的谓词集合较长而难以求解也降低了分析的精度.提出基于动态协同双向映射的分析方法,通过对程序控制流图的表示形式进行扩展,结合后向符号分析的方法生成候选路径的最弱前置条件,并以此为引导信息使用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合.实验结果表明,与现有的方法相比,该方法的准确性和效率有明显的优势. 展开更多
关键词 静态分析 控制流图 最弱前置条件 相似执行路径
在线阅读 下载PDF
基于行为效果的服务匹配算法
16
作者 刘莹 张斌 +1 位作者 刘国奇 汪德帅 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第6期786-790,共5页
目前的服务匹配采用语义匹配的方法,实现对原子级的简单服务匹配,随着服务内部的逻辑越来越复杂,出现了大粒度的服务,以行为描述服务的复杂业务逻辑,现有的匹配算法无法适应对这种类型的服务进行匹配.针对服务的行为特征,基于行为效果... 目前的服务匹配采用语义匹配的方法,实现对原子级的简单服务匹配,随着服务内部的逻辑越来越复杂,出现了大粒度的服务,以行为描述服务的复杂业务逻辑,现有的匹配算法无法适应对这种类型的服务进行匹配.针对服务的行为特征,基于行为效果提出服务的匹配算法,定义服务的行为效果包括事件、前置条件和后置结果,通过对事件和前置条件、后置结果进行匹配,计算用户需求和服务描述之间的匹配度,通过实验结果显示了算法的可行性和有效性. 展开更多
关键词 服务行为 行为效果 服务匹配 前置条件
在线阅读 下载PDF
外引动物环节中存在的问题及应对 被引量:1
17
作者 曹晶 盖勇 +2 位作者 刘丽媛 韩志涛 陆云晶 《中国畜禽种业》 2014年第12期26-26,共1页
外引动物流通环节中普遍存在的一种动物流通行为,在各地普遍存在,也是各地间动物品种交换、更新和发挥品种优势的主要方式,频繁流通也是促进良性发展的有效途径,对促进畜禽发展和经济流通起到重要作用。但随着引进动物的频率增高,也给... 外引动物流通环节中普遍存在的一种动物流通行为,在各地普遍存在,也是各地间动物品种交换、更新和发挥品种优势的主要方式,频繁流通也是促进良性发展的有效途径,对促进畜禽发展和经济流通起到重要作用。但随着引进动物的频率增高,也给当地动物管理和疫病防控带来许多弊端,甚至带来疫情,带来许多危害,影响当地动物的健康发展。本文根据工作实际,分析问题,探索应对措施,促进工作开展,保障动物引进安全。 展开更多
关键词 隔离舍 隔离观察 疫情情况 混群饲养 横解 防范措施 检疫合格 无疫 前置条件 陆站
在线阅读 下载PDF
领导者对“最大公约数”与“最小公倍数”的运用艺术
18
作者 李一 《领导科学》 北大核心 2015年第2期22-24,共3页
让改革的成果和改革的红利惠及全体人民,有制度的方法,有政策的方法,还有规划的方法,但是无论用什么方法让人民得利、得什么利,“惠及全体”必须是一个前置条件。我们必须统筹兼顾,不能疏漏某些阶层和群体的利益。这就向领导者提... 让改革的成果和改革的红利惠及全体人民,有制度的方法,有政策的方法,还有规划的方法,但是无论用什么方法让人民得利、得什么利,“惠及全体”必须是一个前置条件。我们必须统筹兼顾,不能疏漏某些阶层和群体的利益。这就向领导者提出了两个问题:如果改革的红利有限,怎样公平公正地让每一个群体与每一个人都得一点利?如果改革的成果丰硕,怎样让人民科学合理地分享或共享改革的红利?这就需要用“最大公约数”与“最小公倍数”的理念去实现惠及全体人民的目标。 展开更多
关键词 最小公倍数 最大公约数 领导者 艺术 前置条件 统筹兼顾 公平公正 科学合理
在线阅读 下载PDF
涉农信用信息缺失需引起关注
19
作者 张国柱 《武汉金融》 北大核心 2010年第2期62-62,共1页
近年来,随着企业及个人征信系统建设的不断完善,各金融机构逐步建立了以征信系统为依托的信贷审批机制,查询企业和个人信用信息已成为金融机构贷款审批的前置条件。但笔者通过调查发现。目前涉农信用信息普遍存在更新滞后和缺失问题... 近年来,随着企业及个人征信系统建设的不断完善,各金融机构逐步建立了以征信系统为依托的信贷审批机制,查询企业和个人信用信息已成为金融机构贷款审批的前置条件。但笔者通过调查发现。目前涉农信用信息普遍存在更新滞后和缺失问题.极易引发潜在的信贷风险。 展开更多
关键词 个人信用信息 信息缺失 个人征信系统 信贷审批机制 金融机构 前置条件 贷款审批 信贷风险
在线阅读 下载PDF
仇保兴:全面推行绿色建筑以奖代补经济激励政策
20
作者 仇保兴 《创新科技》 2011年第4期6-7,共2页
3月29日,住房城乡建设部副部长仇保兴表示,今后要全面推行绿色建筑“以奖代补”的经济激励政策,具体可从专项补贴、物业税减半征收、土地招拍挂前置条件、容积率返还5%、购房贷款利率优惠等方面人手。
关键词 绿色建筑 经济激励 仇保兴 前置条件 购房贷款 能源问题 副部长 建设部
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部