取值于赋值幺半群的加权下推自动机的代数性质

引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。

量化上下文无关语言的代数性质

通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。

桨距角和材料对风力发电功率的影响

本工作根据自制的YFL-1型多功能风力发电实验仪研究了影响风机输出功率的影响因素,为了弄清影响风力发电实验仪各个因素对输出功率的作用效果,得出了不同的风速对输出功率的效果显著,并自制了30°和60°浆距角的叶片,进行实验比较,同时制作料镁合金和铝合金的风轮叶片,进行相关的实验研究,澄清了风轮叶片的风速、风轮叶片的桨距角、叶片材料对风力发电输出功率的影响的规律,能够指导进行风力发电实验设备的开发和研究。

海阔制造助力西南页岩气开发

近日,七二二所控股公司——海阔公司自主研发生产的HKMWD(海阔随钻测量系统)在西南顺利完成重点探井金竹1井定向服务。仪器入井近500小时,累计服务46天,仪器全程工作稳定、导向精确,这为与中国石油集团测井有限公司进一步展开深度合作打下良好的基础,为助力西南页岩气开发提供了技术支持。