基于故障扩展SysML活动图的软件安全性分析方法研究

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出了一种将故障树分析扩展到Sys ML活动图模型的方法和故障扩展Sys ML活动图的概念,统一了系统的功能模型与安全需求分析模型.在保留故障树和Sys ML活动图两种模型的语义描述的基础上,给出了故障树逻辑门的转换规则和故障树模型到Sys ML活动图模型的转换步骤.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.

SYS系列空气弹簧的开发和应用

无摇动台和无摇枕结构是今后客车转向架的发展方向，这是新一代空气弹簧研究开发的基本出发点。文章详细论述了近年来铁道部四方车辆研究所和有关工厂合作研究开发的ＳＹＳ系列空气弹簧的结构特点，以及它们在我国铁道车辆上的应用和发展情况。

ANSYS结构有限元分析在桥梁工程中的应用

ANSYS结构有限元分析软件的理论基础是起源于结构矩阵分析的有限元法,在ANSYS系列程序模块中,ANSYS Mechanical为结构力学及机械强度分析的模块,该模块实际上是一个广义的计算力学模块,其特点多,

出口印度SYS640G型空气弹簧的研制

介绍了出口印度的SYS640G型空气弹簧的主要技术要求、结构设计、有限元分析、型式试验结果以及小批量装车运用情况。

SYS型自清振动筛的研制及应用

介绍分析了细粒级高水分原煤干法深度筛分新型设备——SYS型自清振动筛的工作原理及结构特点,通过力学模型描述和推导计算出实现自动清理效果的设计主参数——系统二次振动频率。并介绍了工业性试验的依据及试验数据工艺性能评定,还对其应用效果进行了经济分析。

出口巴西动车组用SYS540K型空气弹簧的研制

介绍了出口巴西动车组用SYS540K型空气弹簧的主要结构、试验和运用情况。

OS/2下构造CONFIG.SYS文件

本文结合 DOS 下 CONFIG.SYS 文件的构造方法,给出并分析了一个 OS/2下CONFIG.SYS 文件的构造实例。该例可供建立 CONFIG.SYS 文件时参考或直接引用。

基于TRNSYS的空气源热泵辅助太阳能热水系统优化研究

为实现空气源热泵辅助太阳能热水系统中关键参数的优化匹配,基于TRNSYS动态模拟平台建立完整的空气源热泵辅助太阳能热水系统模型。以系统生命周期成本为目标函数,以集热器面积、集热器倾角、水箱容积及热泵功率为优化变量,借助GENOPT软件调用Hooke-Jeeves算法对系统各变量进行同步优化,并对各优化变量进行敏感性分析。以西昌市某学生宿舍的空气源热泵辅助太阳能热水系统为研究对象进行优化。研究结果表明,优化后的COPsys普遍提高,系统性能得到明显改善,系统全年运行费用缩减,全年节电率高达9.11%。并在此基础上提出关键参数的推荐匹配原则：单位集热面积水箱容积为70 L/m2,单位集热面积热泵功率为60 W/m2,最佳集热器倾角为φ-6°（φ为当地纬度）。对空气源热泵辅助太阳能热水系统进行设计时,可依据以上匹配原则对热泵功率、集热器面积、水箱容积、集热器倾角按照先后顺序进行优化。研究结果可为空气源热泵辅助太阳能热水系统的优化设计提供理论依据。

在ANSYS中实现螺杆式搅拌器的参数化建模

基于AN SYS有限元分析软件,利用其参数化设计语言APDL,定义了螺杆式搅拌器的几何特征参数,实现了螺杆式搅拌器的参数化建模,不仅提高了此类模型的建模效率,也为类似问题的解决提供了一条新的途径。

设备驱动程序ANSI.SYS的一个使用技巧

如果采用批处理文件调用一个与设备驱动程序ANSI. SYS有关的程序,那么为了使批处理文件顺利地运行,在调用相应的程序之前,检测内存中是否有ANSI.SYS驻留就十分必要。这一般有两种情况,一是用户平时大多数时间都运行需要ANSI.SYS支持的程序,只是偶尔才运行一次一个与ANSI.SYS有冲突的程序。这种情况下系统的CONFIG.

基于SYS/BIOS的伺服控制实时操作系统的设计

为使伺服控制系统具有更大的稳定性和可靠性,在DSP上引入了嵌入式实时操作系统内核。分析嵌入式实时操作系统SYS/BIOS的特点和优点,给出了在SYS/BIOS下面向DSP内核的伺服控制实时操作系统的设计。与传统软件开发比较,基于SYS/BIOS的程序开发具有易于调试和维护的特点,缩短了开发时间,增加了代码的兼容性、继承性和可移植性。

使用PROMPT命令与DOS ANSI.SYS设置屏幕

在 DOS 中,有一个常常忽略的 PROMPT。一般 DOS 手册对 PROMPT 命令的介绍大多限于用它来设置(改变)系统的提示符,命令格式为PROMPT[string][$X]其中的 string 是任意的字符串,通过它来指定将要包含于(或作为)系统提示符的简单信息。例如运行命令'PROMPT*

SYS650型空气弹簧的研究

介绍了出口巴基斯坦的SYS650型空气弹簧的主要技术要求、结构设计、有限元分析及型式试验。

施耐德电气（中国）投资有限公司：温控产品ClimaSys系列

施耐德电气工业专用温控产品——Climasys系列包括机柜空调、过滤风扇、温控器和加热器产品。该系列基于科学选型软件ProClima平台，在为用户选择最优温控解决方案同时为各元器件的工作保驾护航，帮助客户实现品质、性能、性价比、环保四者兼得。

就地热再生沥青混合料SYS再生剂最佳掺量确定

文中通过抽提试验分离就地热再生沥青混合料的旧沥青、旧集料,测试了不同SYS再生剂掺量下热拌再生沥青混合料的水稳性能、低温性能、高温性能;分析了SYS再生剂掺量对热拌再生沥青混合料路用性能的影响规律,以合理确定SYS再生剂掺量。结果表明SYS再生剂明显增加了混合料的水稳定性和低温稳定性,一定程度上降低了高温稳定性能;确定依托工程SYS再生剂的最佳掺量为3%。

SYS系列空气弹簧的结构与检修

介绍了近几年来ＳＹＳ系列空气弹簧在运用过程中所发生的问题及检修方法。

QSC新一代网络音频系统Q-Sys^(TM)网络协议Q-LAN详述

1Q—LAN是什么？ “Q—LAN”是第三层网络音频传输技术，基于千兆以太网和更高速率的万兆以太网。作为QSC公司最新、最强大的“Q—SysTM音频系统”的重要组成部分，音响系统工程师可以通过“Q—Sys“音频系统”对“Q—LAN网络”进行配置和监控。对比同代和上一代网络音频技术，“Q—LAN”能够提供更高品质的声音、更低的系统延时、更强的系统可扩展性。

WINDOWS98中文版系统配置文件MSDOS.SYS的组成分析

本文对WINDOWS 98中MSDOS.SYS文件的组成及各参数的设置进行了分析,并介绍了WIN-DOWS 98启动过程中不同启动特性的设置.