青岛科大牵手德国朗盛进军高性能橡胶研发领域

青岛科技大学与德国朗盛公司近日签订了双方全面科技合作协议。此次科技合作协议的签订是继2008年朗盛青岛高性能橡胶研发中心正式落户青岛科大都市科技园后，双方合作结出的又一硕果，也标志着青岛科技大学与德国朗盛公司的合作进入了实质性阶段。     

唯一极值映照为正则Teichmüller映照的充要条件

设f为单位圆D={｜z｜<1}到自身，且与f有相同边界值的拟共形映照类Qf中的唯一极值拟共形映照，f的最大特征K>1.那么，f为正则Teichmüller映照的一个充分必要条件是存在一列Jordan曲线γn.γn的内部为Dn，∪∞n=1Gn=D,且f｜γn无本质边界点，n=1,2,….即γn上的每一点关于f｜γn的点特征，都小于从Gn到f(Gn)以f｜γn为边界值的极值拟共形映照的最大特征.     

新疆与中亚次区域经济合作发展探析

新疆与中亚多个国家毗邻,是我国陆疆边界线最长、相邻国家最多的内陆省区,在阐述次区域经济合作区的基础上,对新疆参与中亚次区域经济集团的意义进行了分析.同时,指出了新疆与中亚次区域经济合作的区位优势.     

Lax—Milgram定理在一类波动方程精确能控性中的应用

控制理论是近年来讨论的热点.讨论一类具有混和边界的变系数波动方程的精确能控性,利用Lax-Milgram 定理证明该系统相应的齐次系统的初始条件和该系统的初始条件存在着同构映射,进一步证明该系统是精确能控的.     

海峡两岸民商事判决的相互承认与执行再探讨

海峡两岸实现＂大三通＂后,客观上要求实现判决自由流动,因此两岸有必要建立一个有利于判决承认与执行的新机制。本文分析了海峡两岸民商事判决的相互承认与执行的现状及存在的问题,认为理想的模式是在＂一国两制＂基础上通过平等协商达成民商事判决的相互承认与执行的司法协助协议。     

安全协议的自动分析技术

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.     

区域联合求解规范直销

2009年6月3日,广东、福建、江西、湖南、广西、海南、四川、贵州、云南九省(区)工商行政管理局打击传销规范直销工作合作会议在广州珠岛宾馆召开。国家工商总局直销监管局局长王予集和九省(区)工商行政管理局负责打击传销规范直销工作的代表参加了会议。会上,九省(区)代表共同签署了《广东、福建、江西、湖南、广西、海南、四川、贵州、云南九省(区)工商部门打击传销规范直销工作合作协议》(以下简称《合作协议》)。     

基于公钥的密码协议的形式化分析方法

目前，基于密码技术的密码协议对于保证计算机网络安全起着十分重要的作用。这些密码协议的安全性直接影响着网络系统的安全性。形式化方法是一种当前较流行的用于分析密码协议安全性的方法。本文在形式化方法分析密码协议的基础上，对基于公钥的密码协议进行原型抽象和分类，给出了基于协议原型的协议设计方法，并通过实例方法说明此种协议设计方法。     

网络安全认证协议自动分析系统的设计

本文以大量的协议形式化建模研究为基础,以网络安全认证协议为研究对象,采用模型检测技术,开发了网络安全认证协议自动分析系统。该系统功能主要是用来对认证协议进行自动建模与验证。本系统分为用户界面模块、自动分析建模模块以及自动验证模块。     

在IPV4环境下部署IPV6网络的策略

本文主要介绍在IPv4网络上部署IPv6的各种策略，包括Ipv6 over Ipv4隧道技术、在专用数据链路上部署Ipv6、在MPLS骨干网上部署Ipv6、使用双协议栈部署Ipv6。并对各种技术进行详细分析、比较及部署应用。