论文部分内容阅读
模型检测中状态爆炸问题研究综述
【出 处】
：
计算机科学
【发表日期】
：
2013年z1期
其他文献
随着中国天然气产业链的形成和完善，天然气产业链作为网络性产业的特征越来越明显。所以研究风险因素是如何通过风险事件作用于节点，从而引起节点气量的变化，并且通过节点之间的
同煤集团在做大做强煤炭、电力两大主业的同时,按照气化山西的要求,积极推进煤化工项目建设,全力打造煤化工循环经济园区,推动企业转型跨越发展。年产60万吨甲醇项目是同煤集
21世纪经济是城市经济，城市经济是服务经济。生产性服务业是服务业中发展最快的部分，生产性服务业的发展水平是衡量-个国家或地区现代化水平的重要标志，发达国家和地区的发展实
学位
在节奏不断加快的网络世界中，技术正在以成指数地加速变革，新的数字平台和设备也在不断涌现。企业如今意识到必须通过数字渠道与主要利益相关者进行互动。借助让企业能够收集诸
论文通过对常见的交通出行方式中的机动车，包括公交车、私人小汽车、出租车、轨道交通在车辆运营成本、占用道路基础设施成本、正常出行的时间成本、及拥挤成本、环境代价进行
随着我国人口老龄化问题的越发严重,以及庞大的医药、医疗内需,医药行业已经成为我国最具发展潜力的行业。医药行业上市公司二级市场的有效性成为医药行业投资者关注的重点。
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
在高中政治课教学中,如何确立确保学生的主体地位,充分激发学生学习的积极性、主动性,那就要改变传统的教学方法、正确认识教材的作用,正确运用教材这个载体,重视发现式教学,