论文部分内容阅读
厦门牡丹香
【出 处】
：
湖南饲料
【发表日期】
：
2004年5期
其他文献
时间自动机是实时系统形式化建模和验证的主要手段,能够对系统各个组件能否正确交互及通信进行验证.系统模型和待验证属性都用时间自动机表示,时间自动机语言包含模型检测方
近几年,粤西地区土池单养南美白对虾模式病害频繁,产量低、成功率低、风险大,养殖户也一直在不断地创新养殖模式.根据当地的实际条件,采用南美白对虾与金鲳、黄鳍鲷或者泥猛
期刊
本文主要探讨如何更有效的来控制主再热器温度.首先通过对再热器蒸汽温度的概念等进行了全面的了解,以此把握国内外主再热汽温发展现状,然后针对达拉特发电厂四期600wm机组出
随着国民经济的发展,人们对于建筑的需求越来越高,目光逐渐放到了节能上面,节能建筑能够为人们生活提供便利的同时,还能够降低能源消耗,节约支出,成为了消费者比较青睐的一种
建立了基于作战模拟技术的舰载红外诱饵对来袭导弹干扰效果分析方法。设计了舰射伞降式红外诱饵对抗来袭导弹的作战效果仿真流程,并建立了一系列相关的数学模型,给出了红外诱饵干扰效果的评估准则,最后举例说明所建立的仿真方法和模型的有效性。
随着信息量的膨胀 ,在今后的移动通信中 ,数据业务将会占主导地位 ,对数据业务的处理方式也将多样化。而GPRS业务将因其所要求的服务质量的不同而分为不同的等级。将设计 1个
随着我国经济的发展,我国的建筑行业也得到了持续快速发展,人们对于建筑的要求也越来越多.当前绿色环保理念逐渐深入人心,人们逐渐把目光投入到了绿色施工建筑方面,国家也开