非滥用合同签署协议的研究

非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。     

三菱电机捷敏功率半导体(合肥)有限公司正式成立

三菱电机株式会社(Mitsubishi Electric Corporation)日前宣布,与"捷敏电子(上海)有限公司"(GEM Electronics(Shanghai)Co.,Ltd.)于2011年8月9日联手成立了功率半导体模块制造公司三菱电机捷敏功率半导体(合肥)有限公司     

西飞管路模拟仿真项目通过验收

近日,由金航数码承担的西飞管路模拟仿真项目通过验收。该项目于2011年9月正式启动,金航数码项目组紧跟型号研制节奏,全年驻扎在客户现场,配合客户工作及时处理紧急问题,并与西飞十几个部门沟通协调近百次,最终形成并交付了52项过程资料,发现处理120项各类问题,为型号实际需要设计了5类资源库和600余组     

天津首个餐厨垃圾一体化处理中心正式运行

<正>近日,《中国食品安全报》记者从天津市环卫局获悉,占地约30平方米的餐厨垃圾一体化预处理中心在和平区金街周边地区建成并正式运行。该中心处理范围包括恒隆广场几十家餐饮商户每天超过5吨的餐厨垃圾。这个预处理中心的投入运行标志着天津市首个餐厨垃圾一体化处理项目试点成功。据和平区环卫局负责人介绍,餐厨垃圾就是人们常说的泔水。作为中心城区,和平区日产餐厨垃圾85吨左右。传统的焚烧、填埋方式不仅没能杜绝环境污     

企业

正海信日立第二届Hi-Design设计大赛正式启动3月18日,海信日立"第二届日立中央空调Hi-Design室内设计大赛发布会暨Hi-Club巅峰室内设计论坛"在深圳召开,以"让设计更懂家"为主题的第二届Hi-Design设计大赛在经过了两个月的预热与筹备后,正式拉开了帷幕。不同于第一届的"中国好设计",本届大赛以"让设计更懂家"为主题,无论是在活动宗旨还是评选标准上,都更加贴近人们的日常生活。     

沈阳开通地铁1号线,跨入“地铁时代”

近日,东北地区首条地铁线路——沈阳地铁1号线正式开通。一个以沈阳为中心,辐射沈阳经济区乃至整个辽宁的立体化快速     

200余份作品角逐ABB首届大学生创新大赛

2012年9月3日,全球领先的电力和自动化技术集团ABB宣布,ABB首届大学生创新大赛正式截稿。至此,大赛共收到参赛作品200余份,内容涉及智能电网、新能源发电、增效节能和智能家居等热点工业话题。ABB首届大学生创新大赛"电力技术创新的力量"于今年5月14日正式启动,吸引了全国500余所高校近3000名学生的踊跃参与。报名者以个人或团队(最多3人)方式参加比赛,组队参赛者每     

新华社大唐电信成立合资公司进军电子阅读产业

2011年1月17日消息,由新华社与大唐电信合资成立的新华瑞德数字媒体平台在北京正式启动,由此,大唐电信正式进军数字阅读市场。新华瑞德由新华社多媒体数据有限公司与大唐电信科技股份有限公司合资成立,主要提供电子阅     

全国12365举报处置指挥系统联网启动仪式在沪举行

2009年10月14日上午,全国12365举报处置指挥系统联网启动仪式在上海举行。国家质检总局副局长支树平,总局执法督查司副司长严冯敏、董乐群、马雪冰,总局信息中心主任高建华,上海市质量技术监督局局长黄小路、副局     

国家镁中心成立香港研发中心

近日,国家镁中心与香港生产力促进局在香港正式签署了共同成立"轻金属工程技术研发中心"合作协议。本中心的成立旨在开发世界轻金属领先技术,应对国家产业政策和企业技术发展的需求,协调双方对于轻金属特别是镁合金方面的技术研发项目申请和实施、研发成果推广及科技成果产