基于高阶时间π演算的构件式实时软件研究

在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.文中提出 了一种有时间特性的高阶多型仃演算(THO π-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义.作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束.通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用.     

低压双燃料船用发动机天然气液压驱动管泄漏检测技术攻关

针对瓦锡兰的最新产品,也即低压双燃料低速船舶发动机使用燃气的特点,为保障发动机运行过程天然气进气阀高压驱动油的密封性,尤其是燃气使用时的安全性,必须在发动机台架试验前进行液压管的泄漏检测。低压双燃料船舶发动机是世界首例双燃料系统且采用低压天然气模式运行,首次使用天然气运行模式系统时,新增天然气管路、引燃油喷油器系统、以及天然气进气阀系统等技术,进一步优化了柴油机的经济性、动力性和排放指标;由于新设计的低压双燃料系列机依旧不成熟,发动机在试车过程中可能会出现了天然气进气阀高压驱动管严重泄漏问题,严重的影响了发动机性能的测试、发动机耗油量的计算以及发动机运行的经济性,针对此问题,为保障发动机性能正常运行,发动机外观质量,尤其是发动机运行的经济性。因此,进行液压驱动管泄漏技术攻关,研究、设计并实施相应方案解决此技术难题,确保发动机正常台架试验以及发动机运行的经济性。     

古建木结构受力性能探讨

对古建木结构结构的特性和受力特性进行了理论研究,结果表明古建木结构结合屋面自重大的特点,使其柱、枋、梁三类件刚柔相济地承载、抗风协同工作,对地震有着更好的隔震效果。分析结果可为检测、鉴定时确定重点检查的部位提供理论基础。     

冬日秦岭

西安城里的冬天,虽然有雪花飘飘,但是已经很难看到千里冰封、林海雪原的胜景。然而来到近在咫尺的秦岭,立刻就是另一番景象。冬天,在大山里展露出它无尽的魅力,令人惊喜......     

如何保障冷链物流中的食品安全

食品是城乡居民最基本的生活必需品,食品的质量安全关系到每个城乡居民的切身利益甚至关系到整个社会的稳定。当前,许多国家都在关注并积极推进可追溯技术在食品生产供应链中的应用,欧盟、美国早已率先提出建立一个系统,对出口到当地的食品进行跟踪和追溯。虽然我国先后出台了《食品安全法》、《农产品安全生产法》等法律法规,但目前     

浅谈聚丙烯改性纤维在混凝土中分散性实验方法

针对目前聚丙烯改性纤维在混凝土中分散性实验方法与评定方法的不足,故选用有效的水洗实验方案,并增加盘内变异系数这个指标,科学合理地分析了聚丙烯改性纤维在混凝土中的分散性。     

比对德国工业4.0分析清洁生产产业化的意义

文章通过分析,阐述德国工业4.0对我国传统制造业发展的启示,说明了清洁生产对我国现阶段产业发展的巨大推动作用,文章认为清洁生产产业化对传统制造业全面提升及转型具有指导和促进作用。     

螺旋式方法在软件工程学习中的应用(英文)

The spiral learning method aims at improving study interest and setting up a learning target and changing passive learning to change into active learning.In software engineering study,the realization of the spiral learning method sets up a learning target according to some items or knowledge and divides a big target into a few of small targets in order to easily make them and helps students better learning in the process of the realization.     

浅议新桩型——成孔压浆小直径桩的应用

介绍了一种适合山区地层使用的新桩型———成孔压浆小直径桩的施工工艺。通过将该桩型与普通的钻孔灌注桩进行对比,总结出了新桩型在山区地势起伏较大、地层复杂时使用的优越性。     

浅议东营市水利综合执法的实践

东营市水利执法以自由与秩序、公正与效率的平衡为价值取向,严把执法队伍建设各个"关口",努力构筑以程序控制为重要手段的水利综合执法结构体系,有效解决了长期以来水利执法力量分散、执法成本高、执法效率低的问题,初步取得了水事秩序好转、水利规费征收额提高、水利执法权威性提升等成效.