基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

混合遗传算法在砂土液化势评价中的应用

基于历史地震液化实例资料和现场实测 SPT值 ,建立了应用混合遗传算法的砂土液化势智能评价模型 ,并实际评判了特大型润扬长江公路大桥工程区的砂土液化 ,且进一步分析和研究了桥址区潜在液化层的空间分布规律和概率统计特征 ,并与规范判定法结果作了对比 ,取得了较好的成果。实例应用表明了该法是可行和可靠的 ,为大桥的设计和施工提供了科学依据 ,对基础工程的可靠性分析和最优设计具有重要实际意义     

ERP实施绩效的模糊综合评价研究

运用平衡计分法的思想,从项目进程、系统应用、系统收益、巩固支持4个方面来评价企业实施ERP系统的效果,建立了评价指标,并运用模糊综合评价方法对YT公司的ERP实施效果进行评价,分析了评价结果,给出了进一步的建议.     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法，为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图；然后为关键模块生成形式化规格说明。生成的结果清晰明确，有助于软件工程师理解VB源程序。     

基于试验数据库的灌浆连接规范公式安全性评估

通过收集整理大量国内外灌浆连接轴向力学性能试验数据,得到包含115个有效试验数据的数据库.依据各国规范公式中的参数对数据进行分类,分析灌浆连接轴向力学性能试验研究现状.在此基础上,对DNV-GL(2018)、 NORSOK(2013)、 API(2007)、 ISO(2007)、 HSE(2001)等规范设计公式进行安全性分析.结果表明:现有试验研究中超过50%的试件套管直径低于400 mm,且对于试件套管直径超过800 mm的研究仅有一项;灌浆厚度的选择大部分不符合主要规范使用范围,且主要集中于低灌浆厚度;灌浆材料抗压强度的选择大部分为低抗压强度,虽满足大部分规范公式适用范围,但不利于实际工程实践运用;通过对比分析各国规范设计公式试验平均安全系数及其标准差,表明DNV-GL(2018)设计规范公式安全性高、适用性广与经济性好,推荐海上风电结构灌浆设计优先考虑采用DNV-GL(2018)规范.     

传承和弘扬中国革命道德的时代价值及实现路径

中国革命道德内涵丰富，集中体现为对党忠诚的大德、全心全意为人民服务的公德和严于律己的私德三个方面。传承和弘扬中国革命道德对增强中国共产党的凝聚力、激发为美好生活奋斗的昂扬斗志、指引时代新人的培育方向，继而进一步助推实现中华民族伟大复兴都具有重要的作用。新时代，应当从盘活中国革命道德资源、讲好中国革命故事和做好中国革命道德在新时代的丰富和发展三个方面传承和弘扬革命道德。     

多项分数阶非线性波动方程的数值方法及其快速实现

对带有空间四阶导数的多项时间分数阶非线性波动方程构造了一个线性化数值方法. 该方法采用线性化技术离散非线性项,从而避免求非线性方程组,并严格地证明了该方法的收敛性,在时间方向具有一阶精度,在空间方向具有四阶精度.该方法同样适用于初始奇异性问题,并且还可以用指数和技术来进行快速实现. 最后,通过数值实验验证了该方法的有效性和理论分析的正确性.     

基于相似样本特征提取的装备性能退化研究

为了实时监控装备的性能变化规律, 对可能出现的突发情况进行预测, 本文首先考虑工程中装备在线监控预警系统中历史样本数据来源广泛、数据形式不规范问题, 基于B样条插值算法对历史数据进行了规整。其次, 针对性能退化研究中存在的随机性误差、性能指标变化不规律问题, 基于自组织映射和堆栈自编码器对相似样本集的退化特征进行提取与重构, 提出了基于最小特征圆的指标构造方法, 再采用双指数模型对装备的性能退化规律和寿命进行预测。最后, 使用仿真数据对模型的正确性进行验证。结果表明, 本模型和方法可以有效预测装备的性能退化规律, 并能体现装备遭受冲击时性能的退化与恢复规律。     

PPP模式下我国智慧城市项目实施现状与策略研究

政府和社会资本合作(PPP)模式已经成为世界各国广为采用的公共基础设施建设方式。智慧城市依附于传统城市要素,借助于新一代信息技术提供智慧产品和服务,是PPP模式推广运用的新领域。在当前政府部门追求PPP项目落地、私营企业积极参与PPP项目的背景下,本文结合财政部智慧城市PPP示范项目实例,从参与主体、建设内容与合作模式等方面对其实施现状进行分析,并就智慧城市PPP项目实施过程的关键问题提出策略建议。本研究从智慧城市PPP示范项目中探讨具体运作方式,以期可以发挥示范项目的引领作用,为我国智慧城市PPP项目提供实践参考。