昆腾助力东风汽车SAP业务备份系统

鉴于存储于企业IT系统内的信息与数据从未像今天这样变得如此重要,对于许多企业来说,IT信息系统中的信息、数据、应用与程序,就是他们业务的根基和所有企业发展的命脉,丢失数据和信息损坏的代价,往往付出的业务无法继续或是难以完成客户的要求。     

立维腾万兆解决方案

选择eXtreme 6A立维腾万兆非屏蔽系统产品,它可以为客户提供简单安装和杰出的6A类性能,高于CAT6A标准要求的系统余量为整个系统提供无风险的性能水平,绝对胜任您各种重要、关键任务上的应用。     

面向攻击图构建的网络连通性分析

针对目前网络攻击图构建系统的需求,设计网络连通性分析算法。通过对网络拓扑及防火墙规则进行离线分析,可以判断网络中由若干台过滤设备分隔的任意2台主机间的连通性。引入关键实体集的概念,结合经典的Apriori算法提出一种快速有效的获取关键实体集的方法。分析对比表明,关键实体集可以在连通性分析过程中为网络中各节点的重要性评估提供有力依据。     

AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

通用水晶报表自动生成技术研究

针对水晶报表制作周期长、维护困难,难已满足用户个性化和不断变化需求的现状,文中研究自动生成技术,设计思路是由大型数据库支持前端程序运行,将报表的外观、结构、程序等信息存储在数据库中,运行时根据这些信息自动生成报表。首先进行界面设计,包括报表页眉节、页眉节、详细资料节、页脚节、报表页脚节;然后进行数据库设计,包括概念结构设计和逻辑结构设计;最后进行关键程序设计,包括主程序设计、设置字段设计、设置统计值设计。运用自动生成技术,提高了软件开发劳动生产率,改变了传统的软件开发模式。     

注册表在网络控制中的应用

为了方便访问共享资源,我们时常会开启Windows系统内置网络映射功能,将远程共享资源映射到本地硬盘中。现在,我们通过修改注册表键值方法,让网络映射功能更好地发挥作用,以提高网络共享访问效率。注册表是Windows系统中一个很神奇的地方,从中能找到各种软硬件安装卸载以及系统设置的痕迹,任何系统管理与维护方面的操作,基本上都能通过调整注册表有关键值的方法加以控制。更为重要的     

基于时延Petri网的肯定型工程关键工序的求解

针对工程施工安排问题中关键工序的求解,传统的通过时延Petri网确定肯定型工程关键工序的算法既要正向计算每个工序的最早开工时间,也要逆向计算每个工序的最晚开工时间,然后进行比较,计算量比较大。本文对传统的通过时延Petri网确定肯定型工程关键工序的算法进行改进。只需正向计算各工序的最早开工时间和进行简单的比较,对于比较大型、工序比较繁多的工程项目。计算变得更加简单容易。     

樟村坪磷矿房柱采矿法采场稳定性研究

用有限元法、块体理论及刚度法对樟村坪磷矿采场伪稳定性进行了研究,其结果与现场实际基本相符。     

赤平极射投影在岩质边坡稳定分析中的应用

基于前人研究成果,结合三维图象,运用赤平极射投影原理,直观展示结构面的空间发育特征和交切关系,随机搜索由结构面组成的所有块体,初步定性判断块体类型和块体稳定性,检索关键块体,计算和评价涉及工程安全的关键块体稳定性。     

微组装关键工艺设备技术

技术开发单位中国电子科技集团公司第二研究所技术简介该技术采用微焊接等工艺技术,将各种半导体集成电路芯片和微型化片式元器件组装在高密度多层互联基板上,形成高密度、高速度、功能集成、高可靠的三维立体结构的高级微电子组件,可将多块甚至十几块印刷电路板(PCB)级电路简化成1个高密度