论文部分内容阅读
采用叠模工艺、竹编胶合析模板、钢塑复合双轨模具生产双层交错式多孔结构的ＧＲＣ轻质墙板，具有占地面积少、设备投资者、上马快、产量高和成品率高的特点。产品隔声性能优越，产具有质轻、防火、板面平整温高、加工安装方便等优点。
新型GRC轻质墙板的开发与生产
【摘 要】
：
采用叠模工艺、竹编胶合析模板、钢塑复合双轨模具生产双层交错式多孔结构的ＧＲＣ轻质墙板，具有占地面积少、设备投资者、上马快、产量高和成品率高的特点。产品隔声性能优越，产具有
【机 构】
：
江苏鹏飞集团新型墙体材料厂
【出 处】
：
新型建筑材料
【发表日期】
：
2000年2期
其他文献
面向OSGi框架的构件化软件开发方法被广泛应用。现有的OSGi构件监控方法仅能够监控动态服务调用所造成的资源消耗,未能考虑静态包引用的情况。针对该问题,提出一种面向方法的OSGi构件监控方法。该方法首先对代码进行分析,建立方法与构件间的映射关系,在方法前后插入监控逻辑以标记构件的边界;而后,跟踪线程的跨边界执行,将线程在方法中占用的CPU和内存计入对应的构件;同时,通过记录线程在不同构件间的转移,
Lustre是一种广泛应用于核电、航空等高可信领域的同步数据流语言。用形式化验证的方法来实现Lustre到C的翻译并证明其过程能有效提高编译器的安全性。因为Lustre程序是并发执行的,需要对其进行因果分析和串行化。利用Coq工具,形式化定义拓扑排序的性质和相应层次的Lustre的语义;对Lustre程序进行因果分析和排序;证明排序后的程序满足拓扑排序的性质;证明任意两个满足拓扑排序性质的程序语义