南沙码头排水箱涵施工技术

简要介绍了南沙码头排水箱涵施工条件分析、施工方案的确定、施工程序、箱函的预制、安装施工以及安装结果分析。     

美国汽车零部件认证简要介绍

近年,中国汽车零部件出口增长迅速。出口零部件产品主要包含行驶系统、汽车电子电器、车身附件及其零部件、发动机零部件、制动系统、未列明零部件、传动系统、挂车及半挂车零部件、转向系统及其它系统零部件等10类产品。主要出口区域以发达国家市场为主,如美国、日本、韩国、德国、法国、意大利、俄罗斯、加拿大、澳大利亚等国,这些国家的出口额占出口总额近50%。     

ASP环境中数据库检索的实现

文章以ASP技术为基础,介绍了ASP环境中开发数据库检索程序的产生机理和方法,并针对Web数据库检索程序特点,采用全文检索数据库方式,来实现ASP环境中数据库检索程序。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

曲线简支板桥盖梁标高计算程序

高速公路曲线简支析 桥盖梁标高的手工计算方法，重复性工作量大，速度慢，易出错。文章通过对曲线简支板桥盖梁标高计算程序的介绍。解决了手工计算的缺点，对于提高工作效率起到一定的作用。     

公路工程造价控制与管理

如今,人们关注的不仅是衣食问题,对出行问题也非常关注,虽然现在城市中公路建设已经非常普及,但在农村及城市的郊区,仍有很多地方没能修建公路,严重影响了老百姓的出行。对于公路的建设,可以说需求特别大,在国家财政资金投入有限的情况下,如何实现以最少的资金建设处质量最好的公路就显得十分重要,为达到这一目标,就必须加快对公路造价的控制及其管理问题的研究步伐。本文主要从公路建设过程中应注意的事项出发,并结合相关实例,探求最优的公路工程造价方案,以期对我国的公路工程建设事业有所裨益,也为解决民生问题贡献一份力量。     

CAPP工具系统的研究

开发了一个通用化的CAPP(Computer Aided Process Plan)工具系统,指出了构造通用化CAPP系统的一种途径.该系统不只是一个编缉型的工艺编辑器,它提供了两套辅助生成工艺的方法.通过提供工艺工具的方式,既解决了CAPP系统通用化的问题,也方便了工艺人员编制工艺.本文也阐述了解决通用化的另一种途径,即柔性化的方法.     

集装箱的检疫与检验程序（一）（澳大利亚农、鱼、林检疫与检验部1999年9月1日颁布）

1集装箱及其相关材料所涉及到的检疫问题 凡是从口岸入澳大利亚境内的集装箱均需进行检疫.集装箱通过快速申报程序对外来植物、虫害等自然侵害进行检疫.     

浅谈电子表格及Visual Basic在水消防计算中的应用

本文介绍了如何运用电子表格和VisualBasic相结合进行水消防计算。