一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

空中客车A330-200处于市场领先地位

A330-200于1995年发起,在同类飞机中无可争议地处于领先地位,迄今已经从30家客户获得260份订单,而它的直接竞争机型767-400,只获得37份订单。A330-200在标准三级布局时可乘坐253名乘客,航程达12500公里(6750海里)。从巴黎起飞,它可以不经停飞往美国旧金山、巴西圣保罗、新加坡或南非约翰内斯堡,或从日本东京不经停飞往美国西海岸主要城市洛杉矶和旧金山。A330-200于1998年投入运营,是在机身比它长的A330-300基础上发起的。由于A330-200的航程更大,空中客车满足了航空公司寻求替代在大陆内部及洲际航线上运营的老一代的双发飞机的需求。空…     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

揭开04款的“神秘面纱”

“04款新车”，顾名恩义，当然是一款汽车在2004年推出的新车型。从2003年的冬天开始，各大汽车品牌的04款就已经开始陆续粉墨登场：千里马、赛欧、富康、宝来、中华、陆凤SUV、蒙迪欧、派力奥、西耶那、红旗明仕、奇骏……占据了中国汽车市场的绝对江山。     

国内家用空调市场面临的挑战及对策分析

全面分析了国内家用空调市场所面临的困境与挑战;从市场细分的角度,有针对性的对国内家用空调业界在城镇市场、乡村市场、国际市场、高端市场应如何作为进行了思考,提出了具体的对策,提出了空调常态市场的概念。     

2007年度美国500强航天国防类企业排名情况

美国《财富》杂志自1955年起,每年都按营业额对美国及世界企业进行综合排名,4月发布的为"美国企业500强",7月发布的为"世界企业500强"。今年4月,《财富》像往年一样公布了2007年度美国企业500强名单,其中包括了美国500强企业的营业额、利润额、资产额、股东产权权益和市场价值等重要数据。这些企业涉及70多个行业,航天国防是其中一类,其排名信息及重要数据是美国主要军工企业经营状况的晴雨表,从某些方面反映了美国国防工业的当前状况、主要特征及发展趋势,也为我国国防科技工业自评提供了参考。从近5年(2003～2007年)美国500强中航天国防类企业的数据来看,大致反映了美国国防工业的以下特征和发展趋势。     

全球战略服务至上——本刊主编刘柱与德马吉公司中国区总裁汉诺先生对话

自1992年德马吉进入中国以来,"德马吉中国"已经成为中国机床市场上出现率和关注度极高的企业品牌之一,2007年德马吉中国的机床生产能力达到600台(套),预计2008年将突破900台(套).德马吉的飞速发展不仅仅因为他们生产了一流的产品,更因为他们可以为客户提供完善的售后服务.近日,本刊主编刘柱先生专程采访了德马吉中国区总裁汉诺先生,并就公司发展、售后服务以及公司与航空企业合作等问题进行了深入探讨.     

《2009美国企业在中国》白皮书——对民用航空领域的现状分析与建议

全球经济低迷给民航业带来了挑战，但从长期来看，对于所有产业部门而言，中国都是重要的、快速发展的市场。中国是北美地区以外最大的民用飞机市场，据行业预测，未来20年，中国对新型喷气式运输机的需求量将超过3700架，价值高达3900亿美元（2．7万亿元人民币），约占全球需求总量的12％。不仅如此，对航空公司、基础设施相关企业、服务供应商和通用航空制造商而言，中国市场的重要性也与日俱增。