一种准确识别损失场景的STPA

“系统理论事故模型与过程”(STAMP)理论认为系统安全是系统的涌现属性,因此,更准确地揭示了现代复杂系统的危险成因。依据该理论构建的“系统理论过程分析”(STPA)是一种新型危险分析方法,得到越来越多的关注,目前已被多份国际标准所采纳。但STPA仍以人工分析为主,当系统较复杂时,损失场景呈现涌现特性,STPA难以识别这类损失场景。提出改进的STPA,澄清了不安全控制动作(UCA)、损失场景、过程模型等概念,利用状态机构建识别UCA和损失场景所需要的全部行为,利用模型检测技术识别时间相关或不相关UCA的损失场景,改进后的STPA具备准确识别涌现损失场景的能力,可以减少“漏报”或“误报”。

银锭浇铸装置自动化改造及应用

文章介绍了银锭浇铸装置的工作原理及现场使用存在的问题,通过对问题的分析确定了改造措施。经过改造后,浇铸装置实现了由原有的手动操作蜕变成了自动化操作,降低了操作人员的劳动强度,避免了浇铸银锭时,温度高达1000℃的高温溶液对操作人员的高温辐射伤害,同时,提高了浇铸装置的自动化水平,生产效率也大幅提升。

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software SimulationTesting Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和“4+1”视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件—实时组件和非实时组件,并按照“管道-过滤器”的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.

多学科交叉融合的先进制造新工科工程人才培养模式探索与实践研究

以重庆大学“双一流”建设为契机,依托重庆大学先进制造一流学科群,结合制造业发展和国家重大需求,打破固有学科领域界限,形成体现多学科交叉融合特征的先进制造新工科工程人才培养模式。首先建立先进制造跨学科交融人才培养管理机构,为新工科背景下制造人才培养提供组织保障;在研究先进制造技术内涵及本质特征基础上,建立面向解决复杂工程问题能力的跨学科交叉融合的课程体系和教学模式,开设若干体现多学科交叉融合的新课程;组建跨学科教学团队,搭建学科交叉创新实践教学平台,推进跨学科合作学习及创新实践;制定多学科交叉融合能力达成的评价标准和考核办法,建立质量监控体系。据此,依托重庆大学机械、材料、仪器、力学、控制等优势学科,开展体现学校优势和特色的先进制造专业集群建设。

基于风剪切的风力发电机组独立变桨控制

目前风力发电机逐步大型化，塔架越来越高，结构尺寸越来越大，风剪切对风力发电机组的影响也越来越大。为改善风剪切对风力发电机零部件和发电功率的影响，提出基于线性二次调节（LQR）的独立变桨控制策略，利用FAST和MATLAB7．1／Simulink进行联合仿真，对仿真结果与统一变桨控制策略的结果进行了分析。分析结果表明：通过独立变桨控制，能够减小风力发电机的输出功率波动及主要零部件的疲劳载荷，进而能够有效地延长设备的使用寿命。

软件测试与评价的关系研究

随着软件测试的发展,人们对软件评价的需求越来越迫切。捋清软件测试与评价之间的关系是做好软件评价的基础。但是目前软件测试领域的术语非常混乱,无人对软件测评之间的关系给出系统回答。为改变这种现状,提出了一种测评框架。该框架的特点主要有3个:①将软件测试、评价与开发视为一个闭环的控制过程,在控制语境下约束软件测评之间的含义。②从多个角度对软件测评的类型进行划分,尤其是基于质量模型对软件测评类型进行划分。③一种测试类型对应一种评价类型。该框架有助于明确软件测、评之间的关系,不仅如此,还有助于理解软件质量保证、验证与确认(V&V)等活动。

航电设备测试系统的面向对象分析与设计

利用航电设备测试系统(ATS:AvionicsTestingEnvironment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法。论文对ATS的软件进行了面向对象的分析与设计。将ATS软件分为两大构件——实时构件和非实时构件,分别给出了它们的关键类。非实时构件的关键类是配置工具类,实时构件的关键类是模型类、实时变量类和调度器类。实时调度策略为SBRMS(Segment-BasedRMS)。依据论文成果设计和实现的GESTE已成功地对多个软件进行了系统测试,验证了论文研究成果的正确性和有效性。

嵌入式软件仿真测试平台软件复用性研究

实现嵌入式软件仿真测试平台 (ESSTP ,embeddedsoftwaresimulationtestingplatform)软件复用性的关键是获得ESSTP软件体系结构。给出了ESSTP的软件体系结构 。

大数据在高校教育管理中应用的关键问题及应对策略

5G通讯技术逐步投入商用,大数据信息量剧增。挖掘大数据的价值并应用是时代发展的必然趋势。高校作为重要的教育机构,在思想、知识、技术等方面都处于社会发展的前沿,在大数据应用方面也取得了一定的成效,然而仍有不足。大数据在高校教育管理中应用的关键问题是什么?该如何应对?成为我们思考的一个重要议题。

旧水泥混凝土路面评估及沥青加铺方案

结合永州市零陵大道K16+406.6—K17+406.6路段的旧水泥混凝土路面沥青加铺改造工程,对该旧水泥混凝土路面的路面状况指数、断板率、接缝传荷能力和平整度进行了调查分析,把评估结果运用于沥青加铺层厚度的计算,同时采用了美国COE法和AASHTO法分别进行厚度计算并对其结果进行了分析对比。

嵌入式软件仿真测试单机平台实时任务调度方法研究

分析了嵌入式软件仿真测试单机平台 (ESSTCP ,embeddedsoftwaresimulationtestingcentralizedplatform )实时任务的特点 ,对体现不同软件体系结构风格的实时任务调度方法进行了比较 ,给出了一种适合ESSTCP的实时任务调度方法。

新砌挡土墙内钻孔施工技术探讨

以永州市零陵大道曲河小桥的挡土墙内钻孔施工为例,分析了挡土墙和钻孔的施工工艺及流程,探讨了钻孔过程中出现的问题、原因分析及解决方法,以指导同类工程施工。

新工科背景下机械基础课程体系构建

针对中国机械基础工程教育存在三大亟需解决的问题,以重庆大学"双一流"建设为契机,依托重庆大学先进制造一流学科群,结合制造业发展和国家重大需求,针对机械制图、机械原理、机械设计、机械制造4门机械基础课程实践环节割裂、不利于机械产品创新设计能力培养的不足,以实际机械产品设计为主线,打破固有学科领域界限,构建面向新工科的机械基础课程体系。

实时嵌入式软件仿真测试平台的体系结构设计

从实时嵌入式软件测试平台的需求出发 ,分析了实时嵌入式软件测试对计算机体系结构的要求 。

基于虚拟机的嵌入式软件测试环境

嵌入式软件的系统测试需要系统测试环境的支持,而当前使用最多的专用测试环境,因为可移植性较差,极大的限制了测试用例的可重用性。文中提出了一种全新的基于测试虚拟机的软件测试环境,并且详细介绍了测试虚拟机的原理以及利用微内核模式对测试虚拟机的体系结构进行设计。

基于模糊评价方法的网络安全评价研究

针对网络安全性评价研究中的度量问题建立了基于ISO/IEC9126标准的网络安全指标体系模型。结合网络安全评价方法研究中的模糊性和不确定性等常见问题,首先以度量数据和各项指标计算公式为基础计算其指标值。其次,运用指标体系模型和模糊评价方法对评价指标进行模糊化处理。最后,结合各指标评价质量和模糊综合评价方法评价网络安全性。通过建立网络安全性评价模型,有效地解决了网络安全性的多指标评价问题,可用于指导相关人员进行网络安全方面改进。

基于缺陷的软件可靠性度量方法研究

针对软件可靠性度量研究中的一些问题,提出了以缺陷度量为软件可靠性度量的一种方法。首先将缺陷度量方法按照软件度量的一般方法进行研究和探讨;其次,以正交缺陷为基础,提出了定量的缺陷统计方法,这种方法能够更好地描述缺陷的性质,对相关信息可进行分类统计、分析,为过程改进提供依据;最后,提出了一些定性的缺陷分析方法,可充分挖掘缺陷的潜在信息。按照软件度量的步骤,通过定性和定量相结合的方法,可以很好地度量软件可靠性,并实时提高软件可靠性。

基于系统理论过程分析的软件安全性分析

通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架。其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析研究,证明了方法的可行性。

代码走查辅助工具的MDA开发模式

研究和分析了软件代码走查问题域,提取出软件代码走查辅助工具的基本功能。使用模型驱动体系结构方法,结合软件代码走查辅助工具的特点,逐步构建软件代码走查辅助工具的平台无关模型、平台相关模型与代码模型,并对不同模型之间的转换规则进行了初步研究。

机床行业可靠性服务平台设计与研究

从机床制造厂家、机床分销商、机床用户和行业主管部门等各方对机床可靠性服务平台的需求出发,进行了平台的需求分析,设计了平台的功能结构和软件架构,同时对用户权限管理和数据库设计等平台搭建的关键技术进行了研究,最终建立了平台的设计方案。