-
將代碼靜態(tài)分析提高一個層次，Coverity提出布爾可滿足性概念
布爾可滿足性(Boolean satisfiability)的概念正在被用于確定軟件代碼中的“bug”，從而保證代碼基本上不存在bug，滿足編程者的愿望。在2007年嵌入系統(tǒng)會議上，C
-
《巴倫周刊》為什么推薦中移動？
5月18日，周日。老畢近日多次論及美股外強中干，上周亦提到美股轉(zhuǎn)勢的四個警號。另一邊廂，美國《巴倫周刊》高呼中移動（0941.HK）便宜，并揚言股價有四成上升空間。必須強調(diào)的是，美股處于偏高水平，并非《巴倫周刊
-
GT宣布一系列戰(zhàn)略舉措優(yōu)化藍寶石應用
LED半導體照明網(wǎng)訊 GT Advanced Technologies（NASDAQ：GTAT）12天宣布了幾項新舉措，旨在為下一代消費和工業(yè)產(chǎn)品擴展其藍寶石與碳化硅解決方案組合。公司已與位于歐洲的特種粘合與材料處理設備全球領導
-
中國重汽豪沃即充式純電動客車下線
[摘要] 中國重汽豪沃客車公司自主研發(fā)的JK6129GBEV即充式純電動客車正式下線，該車線網(wǎng)與電池無縫對接、空調(diào)智能控制等技術的使用在行業(yè)內(nèi)均處于領先水平。 2014年5月5日消息，由中國重汽豪沃客車公司自主
-
北汽新能源改進電動車駕駛感 提升量質(zhì)搶占市場
[摘要] 北汽新能源為突破電動車核心技術與美、德、韓等外國企業(yè)合作，另外與經(jīng)銷商龐大、華商三優(yōu)等上下游企業(yè)共同拓展新能源車市場。
-
福特汽車高管：將來汽車間可以相互溝通
5月5日，2014年全球移動互聯(lián)網(wǎng)大會(GMIC)在北京召開。福特汽車亞太產(chǎn)品研發(fā)副總裁Trevor Worthington發(fā)表了關于汽車產(chǎn)業(yè)未來的演講。汽車間將可以相互溝通Trevor Worthington表示，目前有10億輛汽車在世界的道路上
-
Mentor Graphics：驗證3.0時代 需要企業(yè)級解決方案
硅谷2014之行(七)Mentor副總裁兼設計驗證技術部總經(jīng)理John Lenyo(左)和 Mentor董事局主席兼CEO Walden C. Rhines(右)對于系統(tǒng)及驗證，仿真是必須。而驗證的關鍵是軟硬件協(xié)同。仿真也需從設計師的實驗室轉(zhuǎn)向數(shù)據(jù)中心
-
【海外EV要聞】2020年90%賓利車型將配插電混動版
[摘要] 2020年前賓利旗下90%的車型都將配插電式混合動力版；美國聯(lián)邦貿(mào)易委員會近日公開表示，支持特斯拉的直銷模式。 1.2020年90%賓利車型將配插電混動版 賓利近日證實，2020年前該公司旗下90%的車
-
國家郵政局赴新鄉(xiāng)考察 電動汽車將跨入快遞業(yè)
[摘要] 25日，國家郵政局政策法規(guī)司副司長金京華一行蒞臨新鄉(xiāng)市河南藍海新能電動汽車有限公司洽談新能源電動汽車的應用合作推廣事項。 25日，國家郵政局政策法規(guī)司副司長金京華一行蒞臨新鄉(xiāng)市河南藍海新能
-
收藏點贊！北京車展15款電動汽車值得期待
[摘要] 相比往年，2014年北京車展上的電動汽車亮點更多，無論是自主品牌還是外資品牌競相亮相純電動或插電式混合動力車型新品，第一電動網(wǎng)甄選出15款酷炫環(huán)保電動汽車，先讓大家望梅止渴！ 相比往年，201
-
一汽奔騰B50-EV和歐朗-EV最快8月北京開售
[摘要] 在北京車展正式上市的一汽4款新能源車，將在八九月份開始在北京銷售。目前一汽方面正在做相關產(chǎn)品的目錄審核等工作。 北京市場新能源車的破冰，讓眾多汽車廠家躍躍欲試。中國一汽集團在北京車展正
-
第56批節(jié)能與新能源汽車示范推廣車型目錄公布
[摘要] 近日，工信部網(wǎng)站公布《節(jié)能與新能源汽車示范推廣應用工程推薦車型目錄》(第56批)，北汽福田、比亞迪、廈門金龍等多家企業(yè)的?31款產(chǎn)品進入此次?目錄。 近日，工信部網(wǎng)站公布《節(jié)能與新能源汽車示范推
-
騰勢未來不推出混動車型
[摘要] 騰勢設計師奧利弗·布雷表示并不認為未來會是電動汽車的天下，同時強調(diào)不會推出混動版車型，“也許未來電動汽車所占的市場份額會逐漸提高，但肯定無法完全取代傳統(tǒng)汽車?！? 本屆北京車展期間，記者
-
專訪騰勢設計師：未來不推出混動車型
[摘要] 騰勢首款電動汽車設計師奧利弗·布雷表示，騰勢不會采取混動路線，并且將主要精力放在中國市場。 本屆北京車展期間，環(huán)球網(wǎng)記者采訪到了曾參與設計邁巴赫62等頂級豪車的傳奇設計師奧利弗·布雷先生
-
移動4G版華為P7真機曝光 四色可選
隨著發(fā)布日期的臨近，華為P7功能規(guī)格終于逐漸浮出水面。就在上周爆料大神evleaks披露該機的配置規(guī)格之后，又有網(wǎng)友在百度貼吧首次曝光了華為P7移動版的真機界面，并再次確認了該機的部分規(guī)格確實與evleaks爆料基本上
-
北京車展17款可購買新能源汽車 實用好開
[摘要] 中外車企在2014北京車展上推出了多款新能源主打車型，有些已經(jīng)在市場熱賣，有些即將在年內(nèi)上市，第一電動網(wǎng)將9大品牌、多達17款2014年可以購買到的新能源汽車一一呈現(xiàn)，希望終有一款成為您的首選環(huán)保車。
-
使用Rhapsody軟件框架和UML的實時系統(tǒng)開發(fā)
摘要：UML已成為復雜系統(tǒng)建模的工業(yè)標準，并可借助代碼自動生成工具實現(xiàn)從分析到編碼的開發(fā)過程自動化。而實時系統(tǒng)的行為特征可以很好地用UML的狀態(tài)機表示，從而成為自動代
-
【今日海外EV要聞】特斯拉第100個充電站落成
[摘要] 特斯拉在全球的第100個超級充電站在美國新澤西州落成；日產(chǎn)聆風一季度在日本銷量增長33%；CHAdeMO歐洲充電站數(shù)量增長至1117座。 1.特斯拉第100個超級充電站落成 特斯拉在全球的第100個超級充
-
今年年底上市 蓮花L3 NEV純電動車實拍
[摘要] 在本屆北京車展上，蓮花汽車發(fā)布了L3 NEV純電動版車型，這款新能源車在滿電情況下可續(xù)航200-300公里，計劃在2014年底推向市場。 在本屆北京車展上，蓮花汽車發(fā)布了L3 NEV純電動版車型，這款新能源
-
饑餓鯊逆襲，OCZ PCI-Express SSD有多快
不知不覺中，SATA3接口已無法滿足高速的SSD。雖然可以RAID0組成SSD陣列，但這將付出很大的壽命代價。于是PCI-Express接口再次解救SSD的速度瓶頸。這次，OCZ帶來一款全新RevoDrive 350 SSD產(chǎn)品，基于PCI
