排序方式: 共有5条查询结果,搜索用时 0 毫秒
1
1.
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法. 相似文献
2.
对由不同渗透速率的土壤组成的复合床快速渗滤系统进行了研究.在渗透系数大的土壤上覆盖一定厚度的渗透速率适宜的滤层可以组成复合床快渗系统,该系统具有出水水质好、运转稳定、施工简单、维护方便等特点,适宜于在砂壤土质的地区建造快渗场. 相似文献
3.
本文论述了高层建筑结构设计过程中,抗震概念设计的重要性,重点分析了结构抗震概念设计在高层建筑结构设计中应用时应重点关注的方面,提出了设计师应不断学习新知。借鉴地震灾害报告及前人的经验从总体把握结构布置,做好细部构造,以保证高层结构设计在设计基准期内能很好地满足结构的功能要求。 相似文献
4.
在社会经济高速发展与城市大兴建设的今天,建筑行业里超高层建筑项目、水下地下工程的施工经验在日益累积、专项施工技术也在不断完善与发展,在深基坑支护工程里深层水泥搅拌桩止水帷幕的运用也正被不断推广。本文从深层水泥搅拌桩止水帷幕的发展现状人手,选取了湖北省襄阳东津新区新市民公寓肖营住区(NH08地块)工程深基坑支护为研究对象,对深基坑支护过程中深层水泥搅拌桩止水帷幕的工作原理、施工方法、质量控制过程等方面展开了科学而全面的分析。 相似文献
5.
光线照射下芫荽和蕹菜常温贮藏效果比较 总被引:4,自引:0,他引:4
比较了芫荽(Coriandrum sativum L.)和蕹菜(Ipomoea aquatica Forsk)在20±1℃下光照处理的贮藏效果。在4d贮藏期内,用光合量子通量密度(PPED)为5μmol/m2•s的红光每天连续照射24h。结果表明,与黑暗条件下芫荽和蕹菜贮藏效果相比,光照有利于累积还原糖和减少叶绿素和VC损失,并且光照条件下蕹菜的贮藏效果好于芫荽;贮藏结束时,光照处理的芫荽和蕹菜中叶绿素含量分别比同期黑暗处理的高出76.82%和93.36%,还原糖含量分别高出32.69%和20.57%,VC保存率分别高出2.31和2.38倍;芫荽根部和蕹菜嫩茎切口吸收水分而使其保持鲜嫩状态,两者含水量变化与光照无关。 相似文献
1