用对象实现构件的原型开发方法

基于面向对象语言的基本特征,分析了用对象表示构件的诸多有利因素,提出了用对象实现构件的原型开发方法。该方法规定了构件的外部接口,构件间“联系”函数及原型合成过程中的择优方案等。它对原型法的实用化将会起很大的推进作用。     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

什么是白洞

＠康佳立编者按：正与负、阴与阳、黑与白、天与地，万事万物是如此的和谐，宇宙间的一切奥妙都穷尽于此。当黑洞吞食着一切物质的时候，白洞则将物质迸射而出。一张一弛，这也许就是宇宙的本原。在爱因斯坦的广义相对论中预言到了两种天体，一个是人们早已熟知的黑洞，另一个则...     

模糊综合评判在军用飞机战伤抢修质量评估中的应用

飞机战伤抢修是以作战飞机为对象,以抢修的理论、技术和管理为主要研究内容的一门工程技术学科,其目的是为保障战时战伤飞机能够连续出动提供理论和实践依据.目前,对于战伤抢修评估的研究主要针对受损部件的损伤机理与损伤程度.     

铌微合金化对1Cr21Ni5Ti屈服强度的影响

为了提高1Cr21Ni5Ti双相不锈钢的屈服强度,对其进行了铌微合金化,通过化学分析、金相观察、拉伸试验等,对微合金化前后的性能进行了对比研究。结果表明,经过Nb微合金化处理的1Cr21Ni5Ti屈服强度σ0.2显著提高,达到了技术条件的规定。     

航空电子系统发展的若干思考

结合国外航空电子系统的发展过程，简要介绍了新一代航空电子系统的特点以及新一代航空电子系统所应用的通用模块技术、高速多路传输总线技术、软件技术、仿真技术等关键技术，并就航空电子技术的发展提出若干思考。     

超临界二氧化碳闭式布莱顿循环系统研究进展

超临界二氧化碳(SCO₂)闭式布莱顿循环凭借高热效率、高紧凑性和高经济-环保性等优势,已成为能源与动力领域的热点技术之一。针对超临界二氧化碳闭式布莱顿循环,详细介绍了工作原理、优势及国内外相关研究进展,总结了循环总体热力、超临界工质叶轮机、紧凑高效换热器、控制及储热等相关关键技术的研究现状,并对当前工程应用面临的问题和未来技术发展方向进行了分析和展望。分析表明,循环总体热力设计阶段应涵盖部件低维性能分析,以评估部件性能指标的可实现性,并综合考虑全寿命周期性能、紧凑性、经济性等指标。工质的剧烈物性变化导致叶轮机与换热器内部特殊流动与换热机理,需发展充分考虑工质特殊物性影响的叶轮机和紧凑换热器设计方法;通过理论分析和机器深度学习相结合构建不同工质叶轮机相似方法,可为超临界二氧化碳叶轮机气动性能试验验证提供理论基础。此外,鲁棒高效的控制策略可实现超临界二氧化碳闭式布莱顿循环有效可靠调控,而集成新型介质储热技术的超临界二氧化碳闭式布莱顿循环系统将为高温光热发电提供关键技术支撑。