首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   0篇
  国内免费   1篇
化学工业   2篇
建筑科学   1篇
轻工业   1篇
一般工业技术   1篇
自动化技术   4篇
  2023年   1篇
  2013年   2篇
  2009年   1篇
  2008年   2篇
  2007年   2篇
  2006年   1篇
排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
结合给水工程高位水池渗漏处理方案,总结施工注意事项等,并进行补漏和重建经济性比较,为类似工程提供参考。  相似文献   
2.
目的:建立高效液相色谱法测定环磷腺苷葡萄糖注射液的含量及有关物质。方法:色谱柱为phenomenex C18柱,流动相为0.05 mol/L磷酸二氢钾溶液(内含0.01 mol/L四丁基溴化铵):乙腈(体积比为85:15);检测波长为259 nm;流速为1.0 ml/min;进样量为20μl。结果:环磷腺苷在99.48-232.12μg/ml范围内,峰面积与浓度呈良好的线形关系,平均回收率为99.33%,RSD=0.51%,n=9;最低检测限约为0.08ng/ml。结论:HPLC法测定环磷腺苷葡萄糖注射液的含量及有关物质,结果显示峰形对称,重现性好,并具有操作简便、快速、准确等优点,可用于该药的质量控制。  相似文献   
3.
渐进式标记-清扫垃圾收集机制验证   总被引:1,自引:0,他引:1  
垃圾收集已经成为可靠、高效程序运行平台的一个重要组成部分.渐进式垃圾收集由于在用户程序运行时并行的执行垃圾收集操作,其算法及实现则更为复杂,其可靠性也更难以得到保证.本文论述使用Hoare风格的程序验证框架形式验证渐进式标记-清扫垃圾收集机制及其写拦截器在汇编语言层次上的实现的研究工作.被验证的属性涵括了简单的类型安全到整个内存堆上的数据保持.本文所有的验证工作都实现在Coq辅助定理证明工具中,从而可以迅速的用于构造携带证明的代码包.  相似文献   
4.
微波催化-锅法快速合成10-羟基癸酸的研究   总被引:1,自引:0,他引:1  
研究了用微波催化快速合成10-羟基癸酸的新工艺,以蓖麻油60mL、氢氧化钠75g和2-辛醇120mL为原料,微波功率为250W,经微波催化快速合成可使10-羟基癸酸的产率达到69%。该法与传统合成工艺相比,微波催化反应可在常温常压下进行,中间产物不需分离,反应时间由6h减小为16min,加快了反应速度。  相似文献   
5.
一种构造代码安全性证明的方法   总被引:4,自引:2,他引:2  
郭宇  陈意云  林春晓 《软件学报》2008,19(10):2720-2727
提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.  相似文献   
6.
随着软件规模和复杂度的日益提升,软件安全的问题变得越来越严峻,同时有越来越多的研究工作集中在高可信软件的开发上 .由于类型系统表达能力的不足,现有的研究不触及底层软件的验证 .由于Hoare逻辑更好的表达能力,采用Hoare逻辑风格的推理,在汇编语言级别,使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库,这是程序验证技术一次有意义的实践 .实践表明,程序验证技术可以应用到高可信软件的开发上 .  相似文献   
7.
程序推理使用的抽象机器与物理机器的差距降低了推理的精确度,为了缩小这个差距,本文提出了一个带位级别抽象的新抽象机,在这个机器里,二进制整数以纯语法的方式被表示成位矢量而不是非负整数.使用这个抽象机器,可以在其上进行许多带位操作指令的程序,特别是系统级代码的Hoare逻辑风格推理.本文中,二进制整数及其上的算术逻辑运算使用Coq的归纳结构演算来形式化,并且一些常见的重要性质也都使用Coq证明助理进行了严格的形式化证明.  相似文献   
8.
国内近年来的研究表明,除了污水直排带来的污染,初期雨水排放和合流污水溢流造成的河道污染也比较严重。在心圩江下游污水处理厂设计中,采用半地下建设形式,耦合了1.5万m3初期雨水调蓄池和一级强化处理设施,有效提升了心圩江流域内的污水处理水平,同时考虑了应对近远期合流溢流污染及初期雨水污染的控制措施。污水处理采用“改良厌氧缺氧好氧(AAO)生化池→矩形周进周出二沉池→加砂高速沉淀池→紫外线/次氯酸钠联合消毒”组合工艺,系统抗冲击负荷能力强,运行稳定,出水水质达到并优于国标一级A排放标准。初期雨水处理采用“调蓄池→细格栅+曝气沉砂池→加砂高速沉淀池”组合工艺,具有运行灵活、启动速度快的特点,处理后出水可稳定达到设计水质。项目占地指标为0.62 m2/(m3·d-1),运行电耗为0.33 kW·h/m3,为同类项目较低水平。  相似文献   
9.
"短寿"建筑与城市可持续发展的矛盾   总被引:1,自引:0,他引:1  
我国建筑“短寿”与的城市可持续发展的矛盾当前,城市的可持续发展就是要协调好建设与资源平衡以及环境保护的关系,确保我国城市建设与社会、经济、环境相协调。在我国,住宅的平均使用年限不到30年,许多正处于设计使用年限内的建筑由于非技术原因被强行拆除,根据建设部的统计数  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号