基于SUIF2的静态死锁检测方法研究

死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。     

深水型河流生物评价方法分析

文章综述了国内外深水型河流生物评价方法的研究进展.通过确定指定水生生物评估方法,推进现有的河流评价项目,为常规的流域水质的生物监测及评价项目,提供必要的技术支持.     

松辽流域突发水污染事件联动监测可行性研究

为提高应对松辽流域突发性水污染事件监测能力,会同有关地方水行政主管部门对污染水体实施动态联动监测,组织对突发性水污染事件进行调查形成快速响应机制,针对松辽流域突发水污染事件联动监测,为及时准确向有关部门报告、通报有关监测调查结果和分析预测成果提供依据.     

IPTV与数字告示网络实践

一．IPTV的行业应用价值 目前的IPTV．更多是从宽带运营商试图开展网络音视频业务角度来理解的．较少谈及IPTV作为一种技术形态在其他行业的应用。关于IPTV交互性的评价，也是从与数字电视做比较的角度出发，相对数字电视网络的双向改造在国内难以实现而言的。然而．IPTV作为一项新技术．双向特性只是其中之一，它还具有很多其他特点．其中最重要的方面，也是IPTV的真正价值，就是能够构造低成本和高度灵活的电视系统平台。正是由于低成本．     

绿色食品的生产技术要求

对绿色食品生产过程中涉及到的原料产地环境质量、生产过程管理、食品添加剂使用、加工场所及生产工艺、原料收购和贮存及包装等环节的技术要求进行了综合论述．为绿色食品生产提供了较完整的技术参考。     

专家呼吁修订浓香型白酒标准——新标准应突出细分特色

白酒是我国传统酒品，拥有广泛的消费者，而高度低度两个总体的划分以及相差并不悬殊的口感，让消费者对喝白酒有了一种心理“疲惫”。白酒的创新发展是这一行业的课题，充分满足现代人的需要是各白酒生产企业发展的根本，企业在关注产品和服务质量的同时，必须追求产品多元化创新，但现有的国家标准却局限了白酒领域产品的创新、发展，同时也局限了产品的延伸。     

某人防步行街消防性能化设计

对某人防步行街的消防设计存在的问题进行了分析,并从防火分隔、防排烟系统、灭火设施及装修材料等方面进行性能化设计探讨,提出防火隔离区、防火单元和临时避难走道的消防设计解决方案,解决了其在防火分区和人员疏散设计中存在的问题。     

线性规划的一种并行修正松弛算法

对求解线性规划问题的松弛算法进行了修正，在此基础上提出了一种基于cluster结构的并行算法，分析了算法的性能；基于曙光3000大规模并行计算机，给出了算法用于求解线性规划问题实例的实验结果．理论分析和实验结果表明，修正算法改进了松弛算法的实际性能，同时具有较好的并行性和稳定性，可用于求解此类大规模科学与工程规划问题的高性能计算。