欧盟竞争法“基础设施原则”司法实践研究

在欧盟的法律秩序当中,欧盟法院担任着一个关键的角色,通过其判决持续地为欧盟的法律秩序强化司法的保护。在公共服务业的各种限制竞争行为中,滥用优势地位是其主要的表现形式。20世纪90年代欧盟竞争法的显著发展之一就是出现了"基础设施原则"(EFD)这一重要法律规定,而这一时期欧共体法院的司法判例有着深远的影响。     

一种具有自我恢复功能的脆弱性水印技术

脆弱性数字水印技术主要用于检测图像内容的完整性，即检测是否被篡改，并对其进行定位，它是解决数字产品内容保护的有效方法，而自嵌入水印技术不但具有检测篡改的能力，而且能够对被篡改区域进行修复，作者在对现有的自嵌入脆弱性水印进行分析的基础上，提出了一种改进的具有修复功能的自嵌入水印算法，大量的实验结果表明该方法的有效性与实用性。     

基于承诺方案的去中心化可信众包平台设计与实现

为去除传统众包对第三方中心机构的依赖,同时保障众包任务的公平分配和结果的可信提交,提出了一种基于区块链智能合约的可信众包平台设计方案。首先提出了一种基于承诺的两阶段提交机制,并将其运用至接包者的数据提交过程中,以解决区块链上的数据透明度问题,使接包者之间无法相互窃取数据;其次设计了一种无偏随机选择算法,从分散的接包者池中选择相对独立的接包者,杜绝了接包者之间可能的串谋;最后通过模拟选人实验和以太坊上原型系统的实现,验证了选人算法的随机性和整体方案的可行性。     

针对三值光学计算机的C语言扩展

为了将三值光学计算机(ternary optical computer,TOC)数据位众多和光学处理器硬件可重构性这两个特点应用于高级语言程序中,提出并实现了针对三值光学计算机的C语言扩充技术.该技术中的用户可见部分包括一组C语言扩充语句和一个用户运算请求文件自动生成软件模块,其中扩充语句采用C语言函数的书写方式,并采用专用字头SZG_;运算请求文件自动生成软件模块将用户在给定界面中送入的运算方式和输入数据自动转换成预先制定的数据文件格式,生成SZG文件.三值光学计算机返回的运算结果会自动保存在与运算请求文件相同的目录下,且文件名由对应的运算请求文件名加后缀R.SZG组成.用户不可见部分包括:对扩充指令的编译进程、SZG文件生成机制、运算请求状况记录进程、运算结果接收进程和三值光学计算机端服务进程.使用该技术,用户不必改变编程习惯,可直接在C语言程序中使用三值光学计算机.该技术已在由PC机和嵌入式系统组成的三值光学计算机模拟环境中进行了实验,实验结果表明,该技术行之有效.     

基于网络教学平台的桥梁专业毕业设计改革

在分析传统桥梁毕业设计指导过程缺陷的基础上,以多媒体技术和网络技术为基础,以桥梁抗震方向为例,提出了一种基于网络教学平台的毕业设计指导方案,包括预习模块、指导模块、设计计算模块、自检模块、虚拟设计模块、范例模块、成果提交模块、批阅模块和参考资料模块,最后分析了它的优缺点.研究表明,基于网络教学平台的毕业设计指导方案,可以确保学生做到自主选题、自主学习、独立设计、自我检测,提高学生的自学能力、解决问题能力和创新能力;可以加强教师对学生的了解,提高教学效率,做到因材施教.     

基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统.     

基于叶片角变化规律的液力变矩器改型设计法

研究了三维设计环境下液力变矩器叶栅系统改型设计方法,提出以叶片角变化规律为基础对原型叶片进行改型设计.首先,通过初始化图形交换规范(IGES)与三维软件交换叶栅系统的三维信息;然后,利用De Boor算法的开花计算叶片上各点处的叶片角,将反映叶片角沿叶片内外环设计基线变化的曲线拟合成非均匀有理B样条(NURBS),通过调整NURBS曲线的控制点以及各控制点权重值,实现叶片角变化规律的调整;确定了新的叶片角变化规律后,叶片的空间形状即可确定,从而可以生成新的叶栅系统模型;最后,对新生成的叶栅系统进行性能预测,得到满意的结果后即可进入后续详细设计阶段.利用该方法构建了液力变矩器改型平台,使用该平台分别以提高变矩性能和提高效率为目标对某款液力变矩器进行改型研究,结果表明所提出的方法行之有效,有助于提高改型设计的效率.     

谈术语应用教育

术语应用教育是术语教育的一个重要分支。当前,术语学界在对术语教育开展研究的同时,对术语应用教育研究也有所触及。通过从理论研究和实践工作两个方面对术语应用教育的剖析,提出当前及将来开展术语应用教育的重点任务和方向,即当前应以开展术语规范应用教育为主,而将来应实现在开展术语规范应用教育的同时,在高校开设术语学课程。     

一种改进的实信号IFFT算法

由于重量轻、体积小、功耗低、功能强的小卫星工作在无人干预的低温 ,高辐射的空间环境中 ,因此星上计算机系统必须满足集成度高、寿命长、可靠性高、抗辐射能力强的要求。针对立体测绘小卫星的特点 ,我们设计了满足上述要求的集集中控制与分布控制优点于一身的星上计算机系统 ,对其可靠性进行了分析 ,并对提高其可靠性应采取的关键技术进行了简要的论述。     

用于定性推理的智能化空间方法研究

在已设定智能化空间概念的前提下 ,提出了赋值单形与判断的定义。探讨了客体、表观指标与判断之间的相互关系 ,提出了用于定性推理的智能化空间方法。同时 ,根据智能化空间的网络结构特点 ,借助于机器人路径规划的势函数思想 ,设计了一种用于推理的特别算法。最后 ,通过一个求重问题 ,说明了定性推理的实质是一个用定量手段处理定性问题的智能行为过程。