并发系统的操作时序逻辑描述和验证

1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证,以期通过逻辑系统的简洁和严密来保证友型并发系统的正确     

UML状态机的形式语义

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk     

升降工作平台分类及其相关定义的探讨

升降工作平台作为一种运载人员到高处并在平台上进行工作的机械设备,广泛用于建筑、供电线路、机械设备、市政设备、广告牌匾等的施工、安装和维护以及仓储物流、影视剧拍摄等领域,例如我们熟知的高空作业车、高处作业吊篮、悬吊式擦窗机等。升降工作平台的种类很多,国内外包括国际标准均没有比较完整、系统的升降工作平台分类及其相关定义。     

基于就业需要和专业特色的材料力学教学改革与实践

为适应就业市场需要,提高学生分析、解决实际工程问题的能力,在“材料力学”教学改革的实践中,将教学内容和执业资格考试、专业特色有机结合起来,综合运用各种教学手段,加强学生的感性认识,激发学生的学习兴趣,并取得了较好的效果。     

真空(堆载)预压法在高速公路软土地基处理中的应用

介绍真空 (堆载 )预压法在高速公路软基处理中的应用情况 ,并和其它方法进行了对比分析 ,认为真空 (堆载 )预压法的施工工艺逐渐成熟 ,施工方法较为简单 ,能增加地基稳定性 ,缩短施工总工期 ,可作为高速公路软基处理的一种手段进一步推广 ;真空 (堆载 )预压法和堆载预压法的固结原理虽然相类似 ,但一些方面如排水机制等还存在着很大的差别 ,设计和施工应用中应加以注意     

高效制冷机房优化设计及对比分析

为了研究高效制冷机房优化的技术路线,对制冷空调能耗现状以及高效制冷机房的发展进行概述与分析。我国目前制冷机房能效提升具有很大挖掘空间,需要从设计阶段助力实现高效制冷机房优化,提升制冷机房系统综合能效比。对上海地区高效机房实际优化案例进行分析,对高性能COP （制冷性能系数）的冷水机组为主策略下的高效机房优化方案进行能耗模拟,从全年能效和运行成本角度给出分析结果和参考建议。     

公路工程项目质量模糊综合评价

针对公路工程项目质量指标的系统性、层次性和存在大量定性指标等特点,引入模糊综合评价方法,研究并形成了定量分析与定性分析相结合的公路工程质量评价方法,以某公路建设项目立项决策阶段质量评价为例,验证了该方法的合理性和有效性。     

上海师范大学图书馆

于1986年10月竣工的上海师范大学图书馆,建筑面积为7356平方米,设有7个专业阅览室,可容纳读者近千座,馆内藏书120万册。土建、水电及附属工程总决算造价为291.62元/平方米(若不计入材料差价为222.41元/平方米)。具有造价低、设计、施工期短、使用效果较好等特点。该馆建成后,客观反映较好。     

发酵麦麸对面包面团生化特征及烘焙学特性的影响

采用马克斯克鲁维酵母(Marx Kluyveromyces)发酵麦麸,通过生化分析、流变特性测试及微观结构观察(Scanning electron microscope,SEM)等多种分析手段,研究其对面包面团生物化学特征和烘焙学特性的影响。结果表明:马克斯克鲁维酵母发酵麦麸中富含多种天然酶,主要包括纤维素酶、木聚糖酶和阿魏酸酯酶;水解酶在面包制作过程中持续作用,促进木聚糖溶解和酚类化合物释放,赋予面包较高的营养价值;与仅添加木聚糖酶的麦麸面包面团相比,马克斯克鲁维酵母发酵麦麸面包面团具有更好的持气性及连续的面筋网络结构,面包全质构特性和比容显著提升。研究结果显示,马克斯克鲁维酵母发酵麦麸可以作为一种天然面包功能配料。