搜索筛选:
搜索耗时2.7209秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：周宗博,
来源：砖瓦世界 年份：2019
近年来随着全国各城市建设的蓬勃发展,城市用地稀缺且开发成本日益增高,越来越多的房地产开发单位选择了最大限度的利用用地红线内的场地.本项目基坑外边线距红线距离2.5m左...
[期刊论文] 作者：周宗博,
来源：西南石油学院学报 年份：1983
递归是比迭代循环更有力的算法。一方面,每个循环算法均可找到一个等价的递归算法;另一方面,一些循环算法不能求解的问题常可用递归算法求解。格点问题便是这类问题中具有代...
[期刊论文] 作者：周宗博,
来源：重庆邮电学院学报 年份：1999
在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价......
[期刊论文] 作者：陈志阔,周宗博,侯金辰,
来源：建筑施工 年份：2020
为确保在地下存在溶槽、溶洞、卵石层较厚及基岩起伏极大的地质情况下,振冲碎石桩快速、有效地施工完成并满足设计要求,结合工程实例,对振冲碎石桩的施工工艺进行了研究。通...
相关搜索：
