状态图到PTL形式规范的转化

本文讨论从状态图到PTL形式规范的转化方法.状态图是描述系统行为的半形式化的图形工具,但缺少精确的形式语义,PTL(投影时序逻辑)是一种具有离散的时间模型的时序逻辑,把状态图转换到PTL后可以使其具有精确的形式语义并能使用形式化验证方法来证明状态图所描述的系统的一些重要性质是否得到满足,同时可把系统的形式描述转换为Tempura程序进行模拟,从而提高系统设计的可信性.     

基于命题投影时序逻辑的单调速率调度算法模型检测

提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系统期望的性质,通过SPIN验证系统模型是否满足性质,从而得知一个任务组在RMS下是否可调度.同时,RMS算法控制下的任务调度系统的其他性质也可以得到验证.     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.     

香气对饱腹感和味觉影响的研究进展

风味是口腔中产生的味觉、鼻腔中产生的嗅觉和三叉神经感觉的综合感官印象,主要包括食品的香气和滋味。风味物质大多为非营养性物质,不参与人体代谢。风味是构成食品质量的重要因素之一,在消费者选择食物中起着非常重要的作用。本文综述了香气对饱腹感和味觉影响的研究进展,介绍了香气技术应用中存在的问题并展望了相关研究在食品包括新型保健食品开发中的应用前景。     

醉马草提取物的抑菌特性研究

用95%食用乙醇采用回流浸煮法提取醉马草各成分,提取物分为总生物碱和非生物碱两部分,总生物碱部分按极性大小又分4个部分。以此为供试液对大肠杆菌等6个菌种做抑菌谱、不同pH值下抑菌活性的变化和提取物热稳定性等实验。结果表明供试液对供试菌均有不同程度的抑制作用,得到的各供试液的最低抑菌浓度(MIC),提取物热稳定性比较好,各供试液不同pH值下的抑菌活性发生一定的变化。     

基于AADL的失效概率分配及安全性评估方法

当代航空系统是复杂的安全关键信息物理融合系统（cyber-physical system，简称CPS）.失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作，AADL（architecture analysis and design language）适用于航电系统的设计开发，对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法，可将系统失效概率分配给子构件，作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度（severity）等级.通过结合失效概率分配方法和确定性随机Petri网（deterministic stochastic Petri-net，简称DSPN），进一步提出了基于AADL的安全性评估方法，将系统的AADL模型转换为DSPN模型，以计算子构件的失效概率，并评估子构件是否满足安全性需求，直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构，并通过将所提出的方法应用到飞行控制系统，表明所提方法能够有效地完成失效概率分配和安全性评估.     

无源滤波器优化设计方法研究

无源滤波器在电力系统的谐波抑制方面应用广泛。对于电力系统中的谐波问题,提出了一种新颖的基于猫映射的混沌遗传算法(CGA)的无源滤波器的优化设计方法。通过对初始种群、交叉概率、海明距离等参数的改进并结合实数编码,提高了优化的效率和精度。最后,通过建立仿真实验对比研究,充分验证了该无源滤波器设计方法的有效性,并具有较好的谐波抑制效果。     

电子商务模式下江苏水果冷链物流配送探究

随着电子商务的高速发展以及人们对于生活物质需求的不断上升,以水果蔬菜为主的生鲜电商迅速崛起,生鲜蔬菜电商的崛起推动了冷链物流行业的发展。据统计2020年生鲜电商市场交易规模为4585亿元,较2019年增长了63.98%,而冷链物流市场规模为4850亿元,相较于2019年增长了28.3%,生鲜电商已成为推动我国冷链物流行业发展的主要动力。随着国内电商平台的快速发展,对于冷链物流提出了新的要求,不断推动冷链物流的设施改善与技术升级。同时,冷链物流行业的发展,也积极推动各生鲜平台的发展与发展模式的创新,冷链物流已成为生鲜电商平台发展过程中不可或缺的环节之一,冷链物流与生鲜电商平台之间已形成了相互促进、相辅相成的发展关系。江苏省是我国著名的水果生产与消费大省,也是电子商务较为发达的省份之一。在发展过程中,电子商务已成为江苏水果产业高质量发展的重要契机。因此本文通过分析江苏省水果冷链物流配送发展现状以及存在的问题,提出有针对性的优化发展策略,意在提高江苏省水果行业与冷链物流行业的融合发展,提高江苏省水果行业竞争力,推动水果行业健康快速发展。     

2019中国北京世园会中国馆屋架设计

<正>1工程概况中国馆是2019中国北京世界园艺博览会的标志性建筑,它位于核心景观区山水园艺轴的终点,南侧为山水园艺轴的起点——园区1号门,北侧为妫汭湖,西侧为永宁阁,东侧为中华园艺展示区。从外观看,一个连续完整的巨型屋架从花木扶疏的梯田升腾而起,恢弘舒展,用现代的手法表达出中国传统哲学与园艺思想的精髓(图1)。梯田是中国农耕文明的重要代表,是中国山区农民智慧的体现,