中科大-耶鲁高可信软件联合研究中心

时间:2019-05-15 04:58:17下载本文作者:会员上传
简介:写写帮文库小编为你整理了多篇相关的《中科大-耶鲁高可信软件联合研究中心》,但愿对你工作学习有帮助,当然你在写写帮文库还可以找到更多《中科大-耶鲁高可信软件联合研究中心》。

第一篇:中科大-耶鲁高可信软件联合研究中心

中科大-耶鲁高可信软件联合研究中心

一、概述

在中科大软件安全实验室和耶鲁大学FLINT实验室近五年合作的基础上,双方校长于2008年10月签署备忘录,以中科大软件安全实验室为基础,在中科大建立高可信软件联合研究中心。

该中心是在两校相关实验室多年合作的基础上建立的。五年多来,我校软件安全实验室在耶鲁大学邵中教授的指导(包括和他主持的FLINT实验室的合作)下,研究水平上升较快。在邵中教授的支持下,软件安全实验室多次获得国家基金面上项目的资助,目前正在合作申请“海外及港澳学者合作研究基金”。在国际会议和国内外期刊上,两校研究生共同发表了7篇论文,我校研究生单独发表论文10多篇。近6年在编程语言理论及实现技术、软件安全和软件形式验证等研究方向培养了18名博士,其中在高校当教师的有8人,在Intel、Microsoft和Sun公司研发部门工作的有6人,做博士后的有2人。

二、研究领域

(1)程序设计语言理论和实现技术。

这是一个持续活跃了半个世纪的研究领域,目前国际上最活跃的方向是并行编程语言的设计和实现技术、程序验证技术等。我们目前的研究集中在形式程序验证(formal program verification)和出具证明编译器(certifying compiler)两个方向上。通过近几年的国际合作研究,研究水平上升较快。

(2)第2步拟展开的研究方向是计算机网络方面。

有待耶鲁大学相关教授来访,和华蓓教授(可见htttp://staff.ustc.edu.cn/~bhua)和董群峰教授等经过充分交流后展开。

在高可信软件研究领域,联合研究中心以形式程序验证为主要方法,研究提高软件可信程度的理论和技术等,目前正在开展的课题有系统软件的形式验证、出具证明的编译器技术、并发多核软件的开发、自动定理证明系统等

在高可信软件研究领域,联合研究中心近5年的建设目标是:研究如何有效地集成形式程序验证和领域专用语言和逻辑(domain-specific languages and logics)这两种软件技术,形成提高编写高可信软件生产力、提高对它们正确性和安全性信任程度、并且能被工业界接受的软件开发新方法,构建基于此方法并能向工业界推广的开发携带证明大型系统软件的基础结构。这是一项为了把形式程序验证技术推向实用,解决其中理论和技术问题的奠基性研究。这项研究的成果将对提高安全攸关软件的可信度,对建设各种安全的信息系统有着重要作用。

三、研究团队

1、研究人员

目前在高可信软件及相关领域的研究人员如下:  教授:邵中、陈意云、华蓓、董群峰、冯新宇

 副教授:张昱

 博士后:郭宇、李兆鹏、付明

 博士:华保健、郭燕

 博士生和硕士生:20名左右

四、在高可信软件领域中的合作成果

1、近5年连续承担国家自然科学基金面上项目:

 基于语言理论和实现技术的移动代码安全(Security of mobile code based on techniques of programming language theory and implementation)

 类型论在软件安全方面的应用研究(Application Research of Type Theory in Software Security and Safety)

 软件安全性的验证和编译(Verification and Compilation of Software Safety) 面向携带证明软件设计的语言、逻辑和证明(Languages, Logics, and Proofs for Certified Software Design)

2、近5年在编程语言理论及实现技术、软件安全和软件验证方面培养了14名博士,其中在Intel、Microsoft和Sun等公司研发部门工作的有6人,在高校当教师的有6人,做博士后的有2人。

3、近期发表的代表性论文如下:

[1] X.Feng, Z.Shao, A.Vaynberg, S.Xiang, and Z.Ni.Modular verification of assembly code with stack-based control abstractions.In Proc.2006 ACM Conference on Programming Language Design and Implementation, pages 401-414, June 2006.[2] Chunxian Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, and Yu Guo.Foundational typed assembly language with certified garbage collection.In Proceedings of 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, pages 326-335, IEEE CS press, June 2007.[3] X.Feng, Z.Ni, Z.Shao, and Y.Guo.An open framework for foundational proof-carrying code.In Proc.2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation, pages 67-78, Jan.2007.[4] A.McCreight, Z.Shao, C.Lin, and L.Li.A General Framework for Certifying Garbage Collectors and Their Mutators.In Proc.2007 ACM Conference on Programming Language Design and Implementation, pages 468-479, June 2007.[5] X.Feng, Z.Shao, Y.Dong, and Y.Guo.Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.In Proc.2008 ACM Conference on Programming Language Design and Implementation, pages 170-182, June 2008.[6] X.Feng, Z.Shao, Y.Guo and Y.Dong.Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.In Proc.Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments, October 2008.五、欢迎加入联合研究中心

随着联合研究中心的正式成立,研究生导师、博士后和博士研究生的队伍都会逐步扩大。

欢迎对联合研究中心研究领域感兴趣的同学加入中心攻读博士学位。经中国科学技术大学有关部门同意,联合研究中心面向国内外公开招聘研究生导师。招聘条件如下:

教授:具有博士学位,年龄不超过45周岁,在本领域取得了国内外同行所公认的学术成果,有指导博士研究生的能力。

副教授:具有博士学位,年龄不超过40周岁,有较大发展潜力,在本领域取得了一定的学术成绩,有指导研究生的能力。

招聘流程按照中国科学技术大学的规定,中国科学技术大学提供有竞争力的工作报酬和条件。

应聘者将个人简历、研究工作陈述和3位国内外同行专家推荐函,通过电子邮件发到kyhcs@ustc.edu.cn。联合研究中心经初步筛选后,推荐优秀者进入中国科学技术大学招聘流程。

此外,联合研究中心还招收博士后:年龄不超过35岁,在本领域取得了初步的学术成绩。

第二篇:可信软件生产技术

可信软件生产技术是在传统开发技术基础上的发展,传统开发技术主要解决系统功能获取、实现、验证、测试和确认,而可信技术进一步提高软件开发和软件产品的质量。目前,在可信软件生产技术方面的研究主要集中在以下几个方面:

(1)可信软件体系结构与建模方法

面向服务的可信软件的体系结构和形式化建模已成为学术界研究热点,但尚处于研究初期。在可信的概念和结构研究方面,Avizienis等人提出了可信安全计算的基本概念和分类方法;David 等人对大规模互联网服务的体系结构与可信问题进行了深入的研究;在可信软件的建模研究方面,当前主要是采用自动机、进程代数、Petri网、逻辑等,对不同的网络化软件进行了形式化建模和分析,对网络化软件可信特征的建模和方法研究仍不完善。

(2)可信软件构造与验证

可信软件构造主要借助于已有软件工程的方法,但面对开放的网络环境,将服务计算与工程作为一种重要的研究途径。在服务组合研究中,工作流仍是典型的构造方法,为了提高软件组件复用能力、灵活性和可信性,基于服务间依赖关系的软件构造方式是当前一种有益的尝试,但目前尚缺乏对网络化软件的两个重要可信属性(可扩展性和动态演化性)的研究。

在可信软件的验证方法中,大多采用基于概率统计、模糊数学和主观逻辑及证据理论的可信模型等工具,其主要方法是从模型检测和测试角度,探讨对软件可信性的检测。

(3)可信软件演化与维护

可信软件的演化和维护是一个分布、多方协作和维护过程;同时,服务软件/组件具有高度的自治性(且部署在不同的自治域中)和动态性。为此,分布自治的服务软件组合与运行研究中,多源软件的组合与运行模式成为研究软件可扩展性、可用性的主导方法。此外,关于软件的自适应演化方面,大多研究基于人工智能和自动控制的方法, 主要是通过对人类智能和控制方法的模拟, 获取产生自适应演化能力的方法与途径,对网络化服务软件的运行问题很少涉及。一些公司和研究机构在应用服务器、移动应用、组合服务等领域也开展了研究。

第三篇:关于联合组建“XXX工程技术研究中心”协议书

XXX有限公司 XXX大学

联合组建“XXXX工程技术研究中心”协议

甲方:XXX有限公司 乙方:XXX大学

为了充分发挥科研机构与企业的各自优势,建立创新价值链,提升企业自主创新能力,本着资源共享、互惠互利、共同发展的原则,经甲乙双方多次商讨,一致同意联合组建“XXX工程技术研究中心”(以下简称“中心”)。经友好协商,甲乙双方达成如下协议:

一、“中心”任务

围绕甲方的主导产品XXXX等开展相关研究工作,提高产品质量和稳定性。经过双方共同努力,使“中心”建成为具有国内先进水平的技术研发基地,为企业自身的可持续发展、行业的技术进步和打造国内领先的行业龙头企业提供技术支撑并发挥引领作用。

1.利用合作双方的优势,促进XX产业的发展,积极开展XXXX的研究,及时将研究成果实现产业化转化;

2.积极跟踪和掌握XXX科技和产品发展动态,为企业提供技术信息咨询;

3.积极与高等院校、科研院所、以及国际同行进行交流与合作,为企业引进、集成、创新提供保障,培养和培训企业所需的技术人才;

4.及时掌握公司主导产品的市场地位和技术变化趋势;

2.本协议变更必须签订书面文件。在未签订书面变更协议之前,任何一方不得单方面变更协议内容。

3.由于不可抗力因素致使本协议难以履行时,任何一方可以终止或者要求变更协议。但要求终止或变更协议的一方必须提前15天书面通知另一方,并向另一方出具有关证明。

4.由于一方违约致使本协议难以履行的,未违约一方可与另一方协商。协商不成,守约方有权单方面终止本协议,并要求违约方赔偿损失。

六、其它

本协议一式二份,甲乙双方各执一份。本协议未尽事宜,双方另行协商解决。

甲方:XXX有限公司 乙方:XXX大学

代表: 代表:

201 年 月 日

第四篇:视高软件介绍

软件介绍

视高协同视频会议系统是一套专业的多媒体通讯协作视频会议软件,全面贯彻以用户为中心的设计开发理念,能帮助全球用户迅速建立在线视频会议平台,轻松进行沟通。

视高协同视频会议系统凭借领先的音视频通讯技术、丰富的数据协作功能和人性化的会议交互模式得到了全球客户的高度认可。

视频方面,基于MPEG-4的编解码技术使系统能在各种带宽环境中高速传输视频数据,支持同时显示25路高清视频并能轮巡查看所有与

会者视频;音频方面,系统支持G.711、G.723、G.729多种语音编解码技术和智能码流平滑技术,保证了语音数据的稳定性和高保真性,而20路全双工混音技术支持20方在会议中同时进行发言和数据操作。

在数据协作方面,远程电子白板全面领先同行,支持在会议中随时进行矢量文档的共享和操作,支持通过电子白板完成大部分会议中的应用;而远程屏幕共享、协同浏览、文件共享和电子投票等功能为系统锦上添花,确保满足所有会议应用。

会议交互方面,系统深入分析了用户对功能的需求和使用习惯,以业界领先的设计开发理念,为用户提供最合适的视频会议服务,您能在会议过程中方便、快速地跟与会者进行各种形式的交互协作,会议不再枯燥,并将更加有效。

视高协同视频会议系统在视频会议中创造性地引入协同办公应用,为用户提供了除会议沟通外的点对点通讯和信息化办公功能,完全满足实时协同工作的需要。系统支持通过多媒体通讯功能快速建立点对点音视频通讯,并支持建立远程电子白板、文件传输、远程控制和协助等跨网关高级应用,使协同办公得心应手;协同办公模块中内部信息、工作日志、备忘录和文件共享等常用功能让工作更加有序、高效。

视高协同视频会议系统拥有良好的适用性和扩展性,无需昂贵的硬件和网络配置,您只需通过电脑接入网络即可进行多方视频会议,消除空间分隔障碍,十分方便异地实时沟通;此外,系统支持通过级联技术灵活构建会议规模,按需配置,使视频会议资源得到最合理的运用,有效提高了企事业单位的协同工作效率,为客户持续创造价值。

视高协同视频会议系统,专业视频会议沟通平台。

功能特点

高保真语音视频效果

集成在线协同办公系统 任意格式文档协同编辑

高速真彩远程屏幕共享

支持远程协同浏览网页

在线完成电子投票过程

支持会议室背景音乐

有效可控的权限管理策略 20路混音机制

远程控制云台摄像机

与其它办公系统无缝整合支持网页登录视频会议

多样式视频显示及轮巡

多功能电子白板协作

动态PPT、FLASH在线演示

文件快速共享、上传和下载

多媒体文件同步观看

支持会议室横幅字幕

全程会议录制和回放

灵活自定义组织目录

智能回音消除及噪音抑制

自定义带宽及流量

与硬件视频会议互联互通

分布、级联服务器部署大型会议 高强度256位数据加密

人性化操作界面设计

技术优势

高清视频

视高协同视频会议系统通过基于MPEG4的视频编解码技术,能在低带宽下流畅进行多媒体通讯;系统支持25路高清视频实时传输并支持远程调节视频,单一会场最多可同时采集8路视频,完全

满足应用;图像自动去噪及锐化技术、双线性拉伸技术使视频画面在分屏、全屏模式下都能维持画面的真实性,确保会议的优质效果。

高保真语音

视高协同视频会议系统支持G.711、G.723、G.729语音编解码技术,使视频会议语音质量更加优秀、延时更小,并能在低带宽下流畅进行语音通话; 视高智能码流平滑技术,能有效屏蔽抖动,维持语音码流平稳;系统支持20路全双工混音技术,提供了足够多的会议发言人数;环境噪音消除、回声消除技术,提供更为安静的通话条件;系统还支持通过增益麦克风、远程音频调节等方式控制语音质量。

视高电子白板

视高电子白板是同类软件中功能最全、操作最方便、运行最稳定的软件交互式白板。系统支持将纯矢量文档在白板上进行共享,与会者可通过矢量 化工具进行动态标注、编辑、绘制等操作;系统还支持将各类动画、动态PPT在白板中进行在线演示,提升会议的效果,增强人员之间的互动;基于矢量的图像处理技术保证了各种演示和文档的图片在全屏显示时仍能保持高清晰度,而且支持对局部细节进行放大,还可利用注释功能使共享更加生动、形象。网络适应能力

视高协同视频会议系统重点解决了NAT/防火墙的穿越问题,使多媒体数据实时可靠传输,并能智能搜索最优通信路由,自行适应从窄带到宽带的各 种网络环境,提供了具有服务质量(QOS)保证的多媒体组通信,使系统真正支持分布式同步交互中的多媒体实时传输,具有极强的网络适应能力。

安全性

视高协同视频会议系统无论是语音、视频还是其它数据,都采用了高强度256位动态数据加密技术进行加密,并采用多级别、多权限管理体系,提 供了一整套有效可控的权限管理策略,管理员能根据需要灵活分配各成员对共享对象的操作和控制程度,保证系统安全运行,防止信息被非法获取,使操作更加安全可靠。

多服务器级联技术

视高视频会议系统支持通过多服务器级联技术扩大视频会议的数据处理能力,支持多会议室结构,理论上没有会议人数限制,可满足上千人大型会 议的应用。

兼容性

视高协同视频会议系统具有良好的兼容性,可通过网关连接基于H.323协议的MCU或硬件终端,与包括POLYCOM、华为、中兴、泰德等厂商的H.323 设备无缝连接,互联互通。

产品应用

系统应用

视高协同视频会议系统作为行业技术领先、功能全面的代表性产品,被广泛应用于网络视频会议、协同办公、在线培训、远程医疗、远程教育中,并受到客户的一致好评。

应用行业

视高协同视频会议系统基于强大的音视频效果和会议协作能力,应用极为广泛,能满足各行各业对视频会议的需求。

桌面应用配置

对于桌面型终端配置,推荐用户使用USB接口的网络摄像头及耳麦,接上台式计算机或笔记本电脑就可以召开软件视频会议,十分方便快捷。

会议室应用配置

会议室型终端要求较高的音视频质量,我们推荐用户使用相对高端的设备,如投影仪和投影幕、会议室专用 CCD 自动变焦摄像头和视频采集卡、定向麦克风和会议室专用音响系统等。

软件界面

高保真语音视频

电子白板

远程屏幕和程序共享

会议室文件共享 Web页协同浏览 会议投票

全程会议录像

媒体文件播放

灵活的组织目录

即时多媒体通讯

讨论组

内部信息发布与管理

工作日志 备忘录

视高视频会议

视高视频会议视频画质清晰流畅,语音实时保真,电子白板和其它会议协作能力全面领先同类软件,确保所有应用得心应手。

高保真语音视频

视高视频会议支持高清视频显示和无延时语音通话,提供一流的视频会议感受。·16方实时通话

·13种视频显示模式

·双显示器独立输出视频与会议操作

·视频分屏或全屏显示 ·支持视频轮巡 ·25方高清视频 ·支持会议同步 ·支持会议室字幕加载

回到分类查看

电子白板

视高视频会议电子白板功能全面超越所有同类软件,满足各种类型会议的需要。

·文档共享(包括 Word、Excel、Powerpoint、AutoCAD 等软件格式)

·图片共享(包括BMP、GIF、JPG、PNG等图片格式)·多人协同编辑(与会人员都可以在白板上进行浏览、标注、编辑等各种操作)

·幻灯片演示(支持PPT动画演示、FLASH动态播放)

回到分类查看

远程屏幕和程序共享

通过屏幕和程序共享模块,可以十分方便地将桌面和应用程序进行共享,方便进行远程协作。· 远程桌面浏览 · 应用程序共享 · 互动技术协助 · 软件操作培训

回到分类查看

会议室文件共享

用户可将各类文件在会议室中进行共享,方便与会者下载。· 全格式文件共享(包括文档、图片、视频、应用程序等)· 支持文件上传到服务器

· 极速上传和下载

· 清空机制(会议结束后,会议室自动清空共享列表)

回到分类查看

Web页协同浏览

协同浏览模块支持与会人员链接到同一Web页,实时进行浏览和查询。· 网页同步浏览

· 实时网页协作 · 实时信息查询

回到分类查看

会议投票

会议投票功能能在会议前或会议中完成投票的整个过程(发起、投票、统计、发布)。·在线发起投票 ·投票权限设置 ·投票时间设置 ·自定义投票项 ·结果统计与发布 ·投票结果在线保存

回到分类查看

全程会议录像

全程会议录像支持整个会议的视频、音频、电子白板、桌面共享操作进行全程录像及回放。·视频录制

·语音录制 ·电子白板录制 ·桌面共享录制 ·录像回放、查询、发布

回到分类查看

媒体文件播放

视高多媒体播放器,支持在会议过程中播放音视频文件,如产品介绍、宣传片、会议背景音乐等。·支持AVI、RM、WAV、MP3等格式文件的在线播放

·快速解码 ·高清晰度画质 ·流畅播放

回到分类查看

视高协同办公

视高协同办公系统采用先进的架构,集成了多种常用的办公工具模块,与视频会议系统无缝结合,在业界首屈一指。

灵活的组织目录

在协同系统中,管理员能根据人员结构建立组织目录,员工通过目录就能方便地与同事进行沟通。·自定义组织结构目录 ·人员状态显示 ·快速人员查找 ·部门权限管理

·人员权限管理 ·便捷会议室入口 ·自定义通讯录

回到分类查看

即时多媒体通讯

即时多媒体通讯模块能最快地与联系人建立连接,完成文字、视频、音频的沟通,还能进行电子白板、文件传输、远程协助与控制等多项操作。

·点对点沟通(视频、音频、文字)·多人会议

·文件传输 ·白板协同操作 ·远程控制与协助 ·历史记录保存与查询

回到分类查看

讨论组

协同办公系统能快速建立讨论组,完成各种部门内、跨部门或跨地域的项目协作。·快速建组

·一键邀请 ·信息屏蔽 ·发言权限控制 ·多人文字会议 ·讨论组记录管理

回到分类查看

内部信息发布与管理

管理人员能灵活、方便地随时更新新闻、通知、规章制度,规范管理。·新闻公告

·临时通知 ·规章制度 ·活动通知

回到分类查看

工作日志

工作日志模块能帮助员工规划工作,整理工作结果并进行总结汇报,方便上级领导对员工工作进行管理。·日志管理(新建、回复、删除)

·日志查看 ·日志列表 ·多种日志模板选择

回到分类查看

备忘录

备忘录模块方便员工对工作进行规划,包括会议排期、客户约见等一系列商务活动都可以在备忘录中设置贴心提醒。

·备忘录设置 ·备忘录查看 ·修改、查找、删除 ·贴心提示

视高科技一直视客户为立足和发展之本,致力于为客户提供专业、快速的技术和销售支持服务,使客户在最短的时间内体验到应用视高产品服务后所带来的效率上的飞跃。

视高科技在全国23个城市设有服务中心,已经为包括联想集团、海尔集团等全球性企业在内的众多尊贵客户提供了全面的服务和技术支持,积累了丰富的经验,形成了一套行之有效的科学服务体系。

为更好地服务客户,视高科技成立了技术支持中心,由专业技术工程师为您提供包括电话、网络在线、远程操作、预约上门、专家组服务等立体技术支持平台。

■ 技术热线服务

我们拥有业界最专业、最热情的技术团队和客服人员,为您提供7×12小时技术热线服务(电话:400-6722-800)。

■ 网络在线服务

无论您身在何处,只要登录协同视频会议平台,视高工程师都会热情周到地在最短时间内为您解惑答疑。

■ 远程操作服务

若电话和网络在线服务都无法解决问题,经过您的授权,视高工程师将通过远程操作电脑的方式为您服务,效果与现场操作一样出色。■ 预约上门服务

若以上服务方式都无法解决问题,我们将与您约定时间和详细服务流程,由视高工程师上门为您服务。

■ 专家组服务

视高还为用户提供各种专家组服务,包括:进行有针对性的网络环境分析、推荐软硬件系统配置、提供会场应用解决方案、疑难问题会诊等。

视高科技在售前、售中、售后的各个阶段,始终坚持用户至上的理念,所有员工都以饱满的热情,为用户提供咨询、实施、培训、技术支持等服务。

■ 售前咨询 技术支持

视高科技保证在接到您的咨询电话后第一时间安排专人与您联系。视高员工将细致、周到地为您提供有关技术、服务、价格等方面的咨询,并根据您的安排为您进行软件应用演示和在线测试,并为您量身定制专业的解决方案。

■ 售中实施 使用培训

视高科技保证在整个销售实施过程中,全体员工通力配合您的项目,为您提供严格的系统安装和调试服务,部署全面符合应用的平台;视高的专业培训,将使您全面了解视高的产品和服务,更熟练、快捷地应用视频会议。

■ 售后服务 软件升级

在使用的过程中如果有任何疑问或需求,欢迎您与我们联系,视高将给您最满意的答复;客服人员还将定期进行电话回访,全面了解您的使用感受,并为您建立用户档案,服务更加贴心;视高科技为所有软件提供升级服务。华南

0755-26957473 020-87371396 027-86647636 028-86719685 023-67561896 0731-85450387 0851-8532244 0771-5382580 0871-8337278 华北 010-82564969 022-23331479 024-22531079 029-87517827 0531-86952133 0351-8336445 0451-87282296 0991-8853991 华东 021-64327779 0571-85024911 025-84681221 0591-87112423 0371-65669982 0791-86392950 0551-4241328

26957479(深圳)87357601(广州)86647637(武汉)86719651(成都)67561948(重庆)85457390(长沙)5274389(贵阳)2863802(南宁)2295748(昆明)

85809118(北京)23331469(天津)22530189(沈阳)87517857(西安)86956133(济南)8336446(太原)87282297(哈尔滨)8853992(乌鲁木齐)

64327789(上海)85024522(杭州)86899790(南京)87112426(福州)65669983(郑州)86257232(南昌)4224206(合肥)

0755-26551074

深圳、广州、武汉、成都、重庆、长沙、贵阳、南宁、昆明 0755-26744589

北京、天津、沈阳、西安、济南、太原、哈尔滨、乌鲁木齐 0755-26744806

上海、杭州、南京、福州、郑州、南昌、合肥

第五篇:关于联合组建“纺织新材料工程技术研究中心”协议书

XXXX公司

中国科学院宁波材料技术与工程研究所

联 合 组 建

XXXX

工程技术研究中心

协 议 书

二零一零年一月一日 甲方:XXXX公司

乙方:中国科学院宁波材料技术与工程研究所

为了充分发挥科研机构与企业的各自优势,建立创新价值链,提升企业自主创新能力,本着资源共享、互惠互利、共同发展的原则,经甲乙双方多次商讨,一致同意联合组建“XXXX材料工程技术研究中心”(以下简称“中心”)。经友好协商,甲乙双方达成如下协议:

一、“中心”任务

围绕甲方的主导产品等开展相关研究工作,提高产品质量和稳定性。

经过双方共同努力,使“中心”建成为具有国内先进水平的技术研发基地,为企业自身的可持续发展、行业的技术进步和打造国内领先的行业龙头企业提供技术支撑并发挥引领作用。

1.利用合作双方的优势,促进XX产业的发展,积极开展XXXX的研究,及时将研究成果实现产业化转化;

2.积极跟踪和掌握磁性材料科技和产品发展动态,为企业提供技术信息咨询;

3.积极与高等院校、科研院所、以及国际同行进行交流与合作,为企业引进、集成、创新提供保障,培养和培训企业所需的技术人才; 4.及时掌握公司主导产品的市场地位和技术变化趋势;

5.解决公司生产中疑难杂症问题;

6.X年内协助公司开发以下X项新技术产品,使其达到国内领先水品(新产品的技术指标和分工在“中心”每年的工作任务中体现)。

二、双方的责任及义务 甲方权利及义务: 1.根据企业自身发展和市场需求,提出近期与中长期研究课题。3.为乙方无偿提供中试场所及设备; 4.提供乙方研究生创新基地及实习基地;

5.每年提供给乙方X万元的经费,作为乙方在“中心”进行科研的费用。该项经费付款每年在X月底之前支付,以技术开发合同形式付款;

6.承担甲方参与“中心”项目人员的报酬、以及“中心”在甲方工程技术设备的运行等相关费用;

7.乙方协助甲方解决疑难问题效益显著时,视效益情况以成果奖励形式奖励乙方。乙方权利及义务:

1.根据本领域前沿发展动态,提出前瞻性研究课题;

2.为甲方提供技术人员培训基地,甲方可以选派技术人员到乙方学习培训,乙方承担各种相关费用; 为甲方提供研发场所、设备及所需的相关技术支持; 4.为甲方免费提供产品所需的测试分析服务及产品质量认证; 5.协助甲方申报各类科技项目。

6.承担乙方参与“中心”工作科技人员的报酬、“中心”在乙方仪器装备的运行等相关费用;

7.派遣科研人员在合同期内到企业挂职不少于3个月,并帮助开展“中心”的及甲方委派的工作;

8.乙方测试中心优先对“中心”的课题进行安排,对“中心”的检测任务、技术人才及合作项目予以全力支持,尽力保证“中心”项目进度需求;

9.向甲方提供相关科研进展情况和国内外科技信息;

三、组织结构和运行模式 “中心”为甲乙双方共同管理的非法人机构。双方每季度召开一次工作会议,确定跟踪、检查“中心”的主要工作。由甲方推选“中心”主任、负责“中心”的总体工作,乙方推选副主任,负责研发中心的研发工作。

中心主任:XXX 中心副主任:XXX 参加人员:XXXX。

联系人:XXXX

四、成果归属

1.乙方提出并自筹资金在“中心”开展的项目,所形成的知识产权归乙方所有。使用权为有偿转让,甲方有优先使用权;其成果收益的分享在转让合同中另行约定;

2.甲方提出并全额资助在“中心”开展的项目,所形成的知识产权归甲方所有;其成果收益的分享在委托研发合同中另行约定;

3.合作双方共同投资在“中心”开展的项目,所形成的知识产权及其收益归双方共有,分享比例将在具体项目合同中另行约定;

4.“中心”申报项目获得外部经费的支持,原则上以申报单位为主,分配比例由双方友好商定。

五、协议的生效、变更和终止

1. 本协议自签订之日起生效,有效期为X年。有效期满,双方经协商一致,可以继续延长合作期限。

2. 本协议变更必须签订书面文件。在未签订书面变更协议之前,任何一方不得单方面变更协议内容。3. 由于不可抗力因素致使本协议难以履行时,任何一方可以终止或者要求变更协议。但要求终止或变更协议的一方必须提前15天书面通知另一方,并向另一方出具有关证明。

4. 由于一方违约致使本协议难以履行的,未违约一方可与另一方协商。协商不成,守约方有权单方面终止本协议,并要求违约方赔偿损失。

六、其它

本协议一式肆份,甲乙双方各执贰份。本协议未尽事宜,双方另行协商解决。

甲方(盖章):

法定代表人/授权代表:

签约日期:

请尊重知识产权、尊重他人劳动成果,转载信息请注明作者和来源(www.xiexiebang.com)。对

于严重警告仍不听劝阻,肆意转载而不留出处的网站,我们将采取法律措施予以解决!

签约日期:

法定代表人/授权代表: 乙方(盖章):

下载中科大-耶鲁高可信软件联合研究中心word格式文档
下载中科大-耶鲁高可信软件联合研究中心.doc
将本文档下载到自己电脑,方便修改和收藏,请勿使用迅雷等下载。
点此处下载文档

文档为doc格式


声明:本文内容由互联网用户自发贡献自行上传,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任。如果您发现有涉嫌版权的内容,欢迎发送邮件至:645879355@qq.com 进行举报,并提供相关证据,工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。

相关范文推荐

    共建黄河三角洲海岸农业联合研究中心座谈会会议纪要

    黄河三角洲海岸农业联合研究中心筹建工作领导小组 专题会议纪要 【2014】1号 筹建工作领导小组办公室 2014年12月3日 ——————————★————————— 共建黄河......

    高德软件2013年第四季度财务报告

    高德软件2013年第四季度财务报告 高德软件发布了截至12月31日的2013财年第四季度及全年财报。第四财季,高德软件总净营收为3150万美元,而上年同期为4360万美元。净亏损2820万......

    高德软件2013年第三季度财务报告

    高德软件2013年第三季度财务报告 高德软件发布了截至9月30日的2013财年第三季度财报,总净营收为3770万美元,而上年同期为4020万美元,今年第二财季为3820万美元。净亏损为670万......

    高德软件2013年第一季度财务报告

    高德软件2013年第一季度财务报告 高德软件发布了截至3月31日的2013财年第一季度财报,净营收为3430万美元,而上年同期为3570万美元,同比下降3.9%;净利润为570万美元,而上年同期为8......

    高德软件2012年第二季度财务报告

    高德软件2012年第二季度财务报告 高德软件发布了截 至6月30日的2012财年第二季度财报,净营收为4020万美元,同比增长22%。净利润为880万美元,同比下滑8.1%。 第二财季运营亮点:......

    高德软件2012年第一季度财务报告

    高德软件2012年第一季度财务报告高德软件发布了截至3月31日的2012财年第一季度财报,净营收为3570万美元,同比增长40.3%。净利润为890万美元,同比下滑15.9%。第一财季业绩摘要:净......

    高轶—软件工程师年终总结报告

    南京易达信科技有限公司员工2012年工作总结 2013年终工作总结 白驹过隙,转眼间,2013年马上结束,新的一年即将来临,回顾2013过去工作中的点点滴滴,心中无限欢喜,忙碌且充实、并快......

    浙江天搜科技股份有限公司软件可信研究现状小结(精选5篇)

    浙江天搜科技股份有限公司软件可信研究现状小结 在如何保证软件的可信性方面,形式化理论和软件验证技术获得了持续关注。例如,图灵奖得主霍尔提议将验证过的软件(Verified Sof......