双方的未来就是在创新管理和知识产权转让方面进行合作, 匈牙利方面已决定要加强其知识经济和创新优势. 毫无疑问, 匈牙利在为人类创造更加美好的未来方面, 提供了独一无二, 无可比拟的工程和科学研究成果(如向古巴和越南提供的有关技术). 然而,在二十一世纪里, 我们开始了创新领域里新的里程碑, 每个国家的作用都已经发生了很大的变化. 现在,大家谈论最多的关键词是合作, 共事, 协作, 分享知识产权. 成功来自于速度, 效率, 互相真诚取长补短, 具备生产能力和能在国际市场上占有一席之地.
匈牙利的知识产权转让方案是由匈牙利ICT公司协会和匈牙利科研学术部门及其它产业组织共同发起的, 其目的在于帮助科研学术部门与前瞻性中小企业进行配对, 在国际合作伙伴面前展现极其富有吸引力的研发机会.
生产能力
匈牙利中小企业 中国中小企业
技术诀窍 技术诀窍
投资 投资
新产品销售到世界各地
分享知识产权
我们方案的主要目标如下:
l 拓展商务机会
l 配对有关技术
l 进行产业界的合作
l 进行科研学术界的合作
l 进行创新意识和商务需求的配对
l 提供国际合作的平台
l 开创技术诀窍的平台
欢迎贵方来到我们朋友之间, 如果您对本方案中所列的项目感兴趣, 或有具体的兴趣和要求, 可随时与我们取得联系.
期望能与你们进行成功的研究和发展合作.
安塔尔.库塞
以近场通信为基础的安全通信识别及其商业应用
项目建议书的简短陈述(包括背景资料)
电子集团本研发项目的主要目的是开发确实可靠的身份验证方法/移动电子识别解决方案
由于通信和消费电子产品的广泛使用,移动产品的通信需求及其移动用户数目都在迅速增长.为了使这些连接更简便,因此我们开发了近场通信技术,然而考虑到身份验证方面的问题, 我们认为安全和使用是一把难以解决的双刃剑,因此它大大地限制了开发这种技术的可能性--移动产品也同样面临这种问题. 本项目将服务于普及消费电子产品和内容服务用户及供应商的更大市场需求.
本项目以明显的市场需求为出发点,考虑到现有的通信技术趋势,在本研发项目的框架以内,我们希望达到以下目的:
*对保证移动产品特别连接的技术解决方案进行研究.
*开发软件产品和相关服务.
期待的成果
*进行安全近场通信的设计.
*实施应用以近场通信兼容产品为基础的个人识别装置.
*为近场通信兼容产品提供支付,身份验证,电子钥匙控制服务和应用开发.
主要的基础设施(可以提供的)
近场通信个人识别卡或者手机
描述体意识服务的应用框架
项目建议书的简短陈述(包括背景资料)
首要目的在于收集描述体意识的所有主要术语和元件,明确定义第三代网络描述体意识应用的上下文和要求,依靠对描述体的了解,其应用需求变得越来越独立自主了,因此减少了对用户输入(如选择位置)的要求.
次要目的在于确定和实施依赖较易开发的位置信息的应用框架(中间件).
期待的成果(关键在于产业化的应用)
为了方便位置意识应用的构建, 就要提供容易实施的环境. 我们必须解决有关定义,感应及位置区域的决定, 定位资料, 快而易的开发, 软件元件的配置和用户界面等问题.
在本框架应用的帮助下, 不需要太多的定位技术知识或位置意识. 就可以更容易地实施 (如小公司) 服务.
主要的基础设施(可以提供的)
*第三代移动网络
*定位装置(全球定位系统, 伽利略系统)
*应用开发环境
开发以太网为基础的工业测试和自动化程序遥控虚拟系统
项目建议书的简短陈述(包括背景资料)
在人们生活的方方面面, 应用遥控操作变得越来越重要了. 在工厂管理的各个层面, 互联网的使用越来越普遍. 开发的重点是放在生产过程组成部分的监控和质量保证体系, 随着互联网的应用越来越普及, 多数工业领域里都提供了以太网的电缆, 这样一来就遇到了一个明显的问题: 如何利用以太网的电缆进行测量而不是仅仅安装一个新的 ‘‘单一目的”电缆(如RS485, 字段总线等). 本项目的重点在于开发以太网测量和控制两个方面:
1. 模块系统的应用. 使用模块系统, 不需要在技术所在地安装电脑或其它电脑设施, 唯一的要求就是能够连接互联网. 测量系统至少应该包括一个网络模块和一个以上的输入/输出模块, 每一个模块可以接通无数个主机或输入/输出模块, 形成一个分布式的电脑系统. 该系统支持实时和嵌入式的应用, 不需主机输入, 模块就可以进行应用.
2. GPIB仪器通过电脑网络(互联网)进行控制, 新一代的GPIB仪器控制系统, 把不同的仪器连接解决方案与GPIB结合起来了, 保留了该系统的优势, 增加了仪器位置更多选择的可能性. 这些结合包括系列总线, 以太网, USB, IEEE 1394(火线)和IEEE1014(VME总线), 作为最普遍应用的解决方案之一, 我们决定采取以太网来开发GPIB系统.
期待的成果(关键在于产业化的应用)
1. 完成以太网为基础的仪器系统应用理论和方法.
2. 完成特殊工业项目系统灵活实施的方法.
主要的基础设施(可以提供的)
不同平台的数据收集设备, 实验室视口和实验室视窗 CVI, 测定电量和非电量的传感器.
虚拟物流网络的最佳形成和运营
项目建议书的简短陈述(包括背景资料)
虚拟物流网络的最佳形成和运营研究项目的详尽阐述, 开发数学模型和设计及控制方法, 研究活动包括以下方面的内容:
*网络(制造商和服务商,供货商,收货和分销仓库, 物流中心)元素的定义, 全球网络的定义.
*加强制造商和服务商的国际物流进程, 重点探索参与国际物流网络的可能性.
*详尽阐述支持物流群作为供应商分散地的概念.
*形成虚拟网络完成外部物流任务, 在本网络以内实现供应链的优化组合.
研究方法如下: 开发建立在数学模型之上的专家系统, 利用启发式优选法进行仿真过程的工作.
期待的成果(关键在于产业化的应用)
1. 支持在匈牙利形成物流中心网络, 并将其与国际网络进行整合.
2. 匈牙利境内已形成了跨越东西的交通枢纽, 要充分利用这些优势.
3. 为发展亚欧经济关系, 提供足够有力的物流支持.
主要的基础设施(可以提供的)
软件: 威特立斯, 泰勒软件
网格中间件元件
项目建议书的简短陈述(包括背景资料)
主要目标: 设计并行式和分布式程序的方法, 我们开发出了和协式并行和分布程序规格及验证的正式模型. 最近研究的主要目的在于, 如何有效地设计和实施电脑簇和网格的算法.
调查研究:
*应用带兆兆字磁盘服务器的电脑簇, 用于数据密集的并行计算.
*寻找运转硬件环境算法参数的最佳值.
*编程语言元素(特别是功能编程语言元素)和通信程序库的适应性.
*在网格环境条件下, 应用要求对象经纪人(ORB)中间件, 我们对网格中间件( 如EDG, Globus等)的结构感兴趣.
在网格上应用, 需要有不同类型的资源, 诸如: 中央处理器, 存储器, 网络带宽和辅助存储器, 网格中间件试验着尽快地和有效地计算出结果,帮助寻找应用的资源.
我们的主要目标在于辅助存储器和数据存取. 许多应用可以读写大文档,通常,这些文档资料在应用时,计算元素里还没有.数据存取的最佳策略取绝于应用的类型.
我们检查了构成数据存取的信息种类并推荐了资源消耗规格语言,从而形成了扩展到EDG JDL的基础. 我们还推荐了把应用中纯计算和分布资源占有分开的框架. 在本框架内, 可以开发网格互动模式的可扩展程序库.
我们建议数据存取模式要么由程序员来规定, 要么在参数扫描应用的情况下, 由监控网格中间件工具来决定,我们研究了在应用中加入数据存取监控的几种方法.
我们对网格环境条件下移动模式的应用感兴趣,我们建议使用与PCC(Proof Carrying Code)有关的经过认证具有特性的代码(CPPCC)体系结构。经过互联网进行应用或受到由中间键允许接受的代码时，应用项或者中间键可以保证本代码不造成损害，不使用更多的资源，不阅读或不改变未授权的数据等。PCC和CPPCC可以提供这种保证的技术，使用PCC和CPPCC，代码使用者要提出安全要求，具体规定存储器的访问条件和可以使用多少资源。代码生产者必须提供一套程序特性和一套加密证明并与发送的代码装在一起，证明本代码确实满足了这些条件。
期待的成果（关键在于产业化的应用）
我们开发了可扩展的ORB的灵活方法，我们的模式是可插入语义元素（PSE），可以使用户实施和将明确定义的启用语义的功能元件进行任意组合。
我们导入了数据存取模式的概念，对应用项数据存取模式的陈述,为资源经纪人和拷贝经理人提供了足够的信息数量和质量，用于决定应用最佳的数据存取策略。
主要的基础设施（可以提供的）
电脑簇
复杂的度量
项目建议书的简短陈述（包括背景资料）
我们开发了编程语言结构复杂的度量，测量相当于足够强制的和面对对象的语言，独立计算我们过去开发程序词性变化的复杂性。
期待的成果（关键在于产业化的应用）
在测试和故障排除方面，包括了软件生命周期更多的组成部分，在软件方面花费最多的地方是软件维护，软件维护的成本取决于代码的结构复杂性。那怕在开发阶段，良好的复杂性测定工具都可以解决好软件关键部分的问题，还可帮助书写良好质量的代码并对预计成本进行估算。
分布式功能程序的正确性
项目建议书的简短陈述（包括背景资料）
我们的目的是进一步利用与行为有关的语义信息来扩展移动代码（已经装有某种信息）并对这些有特性的运行时间进行验证。在把其发往另外一个主机前，我们要利用一个证明系统来检查清晰程序的代码，并捆绑这些特性--利用本代码进行证明这些特性的主要步骤。因此收件人可以既容易又有效地检查本代码是否确实具有假定的特性，这样一来就可以保证一些程序元件的安全特性或者保证不违背整个分布系统。在本研究项目中，我们对相关编程语言进行了定义，构成了对不同安全特性的陈述，我们开发了证明这些特性的方法并尽可能使这些证明程序自动化，并在运行时间里对这些证明进行了检查。
期待的成果（关键在于产业化的应用）
我们导入了支持分布安全性关键应用元件开发的新模式，工具和编程语言概念。在纯功能性语言里，功能变量是常量，但是在互动，在分布的情况下，或者在使用输入输出情况下，我们认为对相同抽象的对象进行一系列价值计算是不同的。我们开发了对抽象对象进行陈述的方法，此方法也可应用于清晰闪耀定理证明核心语言扩展模式的时序特性，并且我们扩展了证明系统来处理时序特性。我们采用CPPCC，一个三方具有特性的移动代码交换系统模式。我们同样设计了扩展到类似系统可以表现出本程序的一些安全特性。本概念是想说明不变式的类别，使用亚类别和信任我标志。这些解释可以表明功能前后的条件及其特性的传播。这些程序特性的解释不仅由编译类别检查人进行鉴别还可由定理证明人进行证明并将其转变成定理。分布功能评价和清晰程序之间的通信需要高水平的过程陈述及控制机制。由于这一原因，因此导入了控制语言，即D-清晰语言，中间语言，即D-方框语言和非正式语义。
