关于可信软件开发的若干问题思考

在信息科学时代,现代社会的发展日益依赖软件,实现可信软件的开发在一定程度上契合现代社会的需求,也是自身发展的内部需求。但是,可信软件的开发是一个系统而复杂的过程,强调可信软件开发中各方工作的有效落实。本文分析了可信软件的研究现状,阐述了软件架构与开发,并基于此,论述了强化软件架构,开发可信软件的若干建议。本文旨在强化对可信软件的认识,并为今后相关领域的研究提供一定的参考资料。     

Research and Application of Dynamic Equation for Full Frontal Impact

Full frontal impact theory needs researching and exploring to satisfy the primary safety design of occupant restraint system,avoiding the increasingly "engineering"trend in order to develop and design safety vehicle. After occupant restraint system is simulated by using linear elastic stiffness k,the occupant-vehicle frontal rigid barrier impact model is established. Dynamic equation of dummy chest coupling vehicle is built for full frontal impact based on ordinary vehicle deceleration by Hooke law,and the equation is solved by comparing coefficient and satisfying boundary qualifications. While relative vehicle characteristic parameters are kept unchanging,the actual vehicle deceleration is fitted to the simplified equivalent square wave( ESW),tipped equivalent square wave( TESW) and equivalent dual trapezoids wave( EDTW). Phase angle  and amplitude A of dynamic equations based on ESW,TESW and EDTW are calculated and deduced. The results show that: the dynamic equation of dummy chest coupling vehicle can be well utilized to instruct the primary safety design of full frontal impact for objective vehicle to satisfy chest deceleration demands and the equation based on TESW is best for this design.     

以品牌专业建设为契机 抓住发展机遇 全面提高专业建设质量

专业建设是高等学校最重要的教学基本建设,是教育教学工作的基础和重要生命线,是高等学校人才培养的重要依托。加强本科品牌专业的建设可提升学校本科专业建设的整体水平,提高学校本科人才培养质量、效益和竞争力。文章围绕如何开展品牌专业建设,结合学校实际,着重从品牌专业内涵、建设原则、内容和评价办法等方面进行了阐述。     

逆向工程在模具翻新中的应用

利用激光扫描仪及相关CAD三维软件,并用最终产品做辅助,对陈旧的潜水面罩模具进行三维模型的设计,介绍了逆向工程在模具翻新中的应用方法。     

环境经济系统工程的思考

环境问题与经济问题紧密相连,由于环境问题的综合性和复杂性,需要运用系统工程的方法和经济学原理,将环境问题置于整个经济系统中统筹考虑,建立相对完整的环境经济系统工程方法体系,将环境保护工作纳入经济社会发展中,使其成为决策中主要考虑的因素之一,并引起应有的重视。本研究从环境与经济承载力、环境投资的经济分析、环境与投资效率比较、环境资源的经济价值以及生态补偿与污染赔偿等方面构建环境经济系统工程的基本框架体系,并结合实际进行案例分析。研究表明,单纯的政府行政干预不如创造条件,如补偿、税收减免、投资、贴息等,使其具备在市场规则下.自动引导资源向环境保护与污染治理的投入,如排污指标的交易等。此外,自然资源是不可或缺的稀有资本,应该将保护生态系统及生物多样性纳入各级政府决策的主要方面。     

基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

市政工程给水管道施工质量控制

在各个城市市政工程给水管道的施工中,相关部门在质量监测和管理等方面的工作中仍然存在不足之处。因此,如何解决市政工程给水管道施工中出现的各种故障,是相关施工人员值得思考的问题。     

岩土工程勘察的重点分析

近年来,岩土工程勘察技术发展得非常快,研究领域不断拓展,取得了较多的成就。但是,在发展过程中也存在一些不足。重点分析了岩土工程勘察工作,并结合实际工作提出一些个人意见,以期能为相关工作提供帮助。     

纳微米聚合物调驱渗流理论模型研究及其应用

纳微米聚合物作为一种新型的逐级调驱剂,可在油层深部发生物理和化学变化,实现液流改向。根据纳微米聚合物调驱渗流特点,此文建立了三维三相三组分纳微米聚合物调驱数学模型,考虑了对流扩散和调驱渗流特性,采用隐压、显饱、隐浓的差分方法求解数学模型,并编制了相应的数值模拟软件。对纳微米聚合物调驱矿场试验区进行了数值模拟研究,分析了纳微米聚合物浓度、段塞长度、段塞组合对开发指标的影响,并制定合理的注入方案,实施后达到了增油降水和提高采收率的目的,与数值模拟预测指标基本符合。