基于符号化模型检测的对弈必胜策略验证

在对弈的研究中,验证对弈双方是否存在必胜策略的问题一直没能很好地解决,因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展,大规模系统的验证成为了可能。给出了使用符号化模型检测来验证对弈必胜策略的一般方法,并给出了一个井字棋必胜策略验证的实例。     

化学水浴沉积CdS薄膜晶相结构及性质

采用CBD法在醋酸镉溶液体系中制备CdS半导体薄膜，研究了溶液组份的浓度对CdS结晶结构的影响．增加乙酸胺的浓度、提高溶液的pH值有利于生成立方晶CdS，反之则易于生成六方晶CdS．无论立方相还是六方相CdS薄膜，电阻率均在10~4～10~5Ω·cm范围，结晶均匀细致．用六方晶为主和立方晶为主的CdS制备的CIGS太阳电池最高效率分别达到12.10%和12.17%．     

三轴加速度计在水下结构振动测试中的应用

采用基于MEMS技术的ADXL330三轴加速度计芯片,设计了适合水下结构振动测试的加速度传感器,并应用于某输水管线闸门振动监测系统中。分析了ADXL330结构、原理和标定方法。根据水下结构振动测试特点和要求,设计了应用电路、防水结构以及振动测试系统。现场应用表明,采用该芯片设计的三轴加速度传感器能够满足水下结构振动监测的需要,具有低成本、高精度、易安装和安全可靠等特点。     

燃煤碳捕集机组技术经济性分析

燃煤机组进行CO_2捕集成本较高是限制燃煤机组碳减排技术应用的主要因素。本文针对碳捕集成本高的问题,分别建立碳捕集机组的成本分析模型和技术经济性分析模型,以600 MW机组为例,计算了参考机组和碳捕集机组的建设成本及发电成本等参数,并分析讨论了CO_2排放税税收和售卖价格对机组发电成本的影响,以及在保证发电成本相同的情况下CO_2排放税税收价格与售卖价格之间的相互调控关系。结果表明:与参考机组相比,碳捕集机组在相同运行条件下的发电成本增幅为65.6%,碳捕集机组的碳减排成本为2 045.787元/t。     

压电加速度计在水工闸门模态测试中的应用

为了用试验法研究某水工闸门的振动特性,在分析压电加速度计性能指标的基础之上,针对某水利枢纽上的平面闸门,选用HK9104型压电加速度计,设计测试系统,运用脉冲锤击法进行模态测试,通过模态分析得到闸门结构的模态振型和模态参数.结果表明:闸门的固有频率以低频为主,分布在较宽范围内,这是引起流激振动的主要内因,压电加速度计具有较好的低频响应特性和较高的灵敏度.     

浅谈煤矿专业安全文化建设的必要性及其成效

文章对煤矿企业在企业文化建设的过程中,建设专业安全文化的必要性进行了简要介绍,并以潞安矿业集团公司建设的矿井运输专业安全文化为例,对矿井运输专业建设专业安全文化,在促进企业矿井安全运输工作稳定发展方面所取得的成效进行了阐述。     

优化屯留煤矿辅助运输系统模式的构想

介绍了国内几个辅助运输机械化程度较高的特大型煤矿的基本情况及其所选用的辅助运输机械化装备与系统模式的优化和再优化情况,并对屯留煤矿辅助运输系统模式优化的构想,提出了见解。     

股骨模型的三维重建与变形

介绍了股骨模型重建与变形的方法,通过数据库中的CT图像重建出股骨的三维模型,以股骨上的生理标志点作为控制点,采用Kriging插值算法对股骨模型变形,使之与手术中真实股骨的形状相匹配.该方法可以较好地用于机器人辅助全膝关节置换术的可视化界面.     

泛系再现法:科技教育军事经济变革——缘学研产商医美乐八达结合·生命扩变

泛系再现法是复述重证再发现创造和发明的因缘与过程的方法,是在新的平台上对创造过程的泛系模拟QSS*和泛系仿生的扩变life* *,它显生数专多能贵精奇的博才教育理念,也是许多大师泛系生命活力扩变的理法的集成整合.结合作者参与的教学和实践(计算机、互联网、高新技术、军事后勤、现代C10KISR*后勤网络战//科索沃战争等等),在泛系再现法框架下,以美国STEM规划为原型,论述当代科技、教育、军事、经济等等的变革趋势.同时网联千题万技的原创性开拓机理,善憾巧次现实显生,泛系模拟、诠释或解读许多学者大师的智慧.有关的理法包括;泛系运筹原理、泛系控制论、泛系生命说、网络战和缘学研产商医美乐八达结合等等理念.