安全协议形式化分析理论与方法研究综述

综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法 ),安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战.     

标准化组织知识产权许可政策演变

标准化组织知识产权许可政策经历了从“公平、合理、无歧视”的许可原则到“事前披露”原则的演进。通过对美国Rambus案、高通诉博通案、N-Data案实证分析,我国应该制定对标准化组织知识产权许可政策审查指南,确立并细化“公平、合理、无歧视”和“事前披露”许可原则。     

移动自组网可靠多播协议的综述及研究

移动自组网（MANETs）是一种不依赖于固定路由设施的多跳无线移动通信网络。其带宽的限制,动态变化的网络拓扑结构,结点的频繁移动都给多播协议可靠性研究带来了很大难度。本文分类比较了目前提供可靠性保证的多播协议,并对其优缺点及未来的发展方向进行分析研究。     

园林工程中常用计算机软件综述

随着计算机的普及,计算机软件在园林工程领域中的应用日益广泛,涉及设计、预算、施工、监理等各个阶段,选取园林工程中常用的软件作简单介绍。     

奥运休战协议研究

奥运休战协议的演进经历了"神圣休战"时期和现代奥运会休战时期;奥运休战协议起源于斯巴达、伊利斯和皮萨3国领袖共同签署的"神圣休战协定";"神圣休战"的产生依赖的客观基础是古希腊的地理、政治、经济和宗教环境;现代奥运休战协议的作用是保障了奥运会的正常开展和世界的和平进程;它演进的动力是奥运精神、对和平的追求和国际政治力量;它的内容包括"神圣休战"和《奥林匹克休战决议》;它的价值是公平、正义和秩序;它的未来发展趋势是加强政治合作和进一步规范化、制度化。     

邹容研究综述

邹容在中国近现代史上有着非常重要的历史地位,他的《革命军》被誉为向封建专制制度发出的战斗檄文。对他的生平和思想研究,一直被学界所重视。为推动邹容研究,本文对百年来特别是近三十年来的邹容研究情况进行了综述。     

对录音制品法定许可制度的反思

我国现行《著作权法》规定了录音制品法定许可制度,但从2012年修改草案第一稿对该制度做出了一定修改,到2014年送审稿中完全删除该制度,无论是在音乐产业界还是在学术界都引发了激烈讨论,针对该制度的去留问题至今仍存有不同观点。本文将从录音制品法定许可制度的立法背景以及价值取向等角度出发,结合我国当前现行著作权法中对于该制度规定存在的一些问题进行讨论,并对该制度的去留问题进行探讨,最终提出符合我国国情的观点建议,期望可以为我国录音制品法定许可制度的发展完善有所裨益。     

论标准必要专利不公平高价许可的反垄断法规制

经济的快速发展使标准与专利结合得更加紧密,专利技术开始逐渐融入各类技术标准中,任何企业进入相关市场都必须获得标准必要专利权人的授权许可,否则将承担相应的侵权责任.现实中,专利权人经常通过高价许可行为谋求垄断利益,因此,需要反垄断部门构建完善的法律规制体系,平衡市场主体利益,维护市场公平竞争秩序,尽可能实现预防与规制并举...     

学习策略研究综述

随着知识经济时代的到来 ,社会要求人们成为终身学习者 ,从而学习策略的研究也成为教学论研究的新课题。笔者从学习策略的思想渊源出发 ,重点论述古今中外关于学习策略的理论探索及其教学实践研究 ,进一步阐述了研究学习策略的理论意义和现实意义。为的是在已有研究成果的基础上 ,加深该课题的研究进程和成果 ,不断去丰富学习策略理论。     

浅谈高职院校计算机软件专业教学

通过对高职院校计算机软件专业就业情况的研究,分析我国软件行业对软件人才的要求,探索高职院校计算机软件专业核心能力模块及知识结构,开发高职院校计算机软件专业教学模式及课程体系、考试方法和认证机制。     

职业院校计算机软件专业发展方向初探

随着计算机应用的不断普及,各类职业学校开设的计算机软件专业也越来越多,但从近年来的就业形势来看,软件专业毕业的学生对口就业率确始终不高,在目前软件行业的需求形势下,职业学校的计算机软件专业应该如何开展,职业学校的计算机软件专业到底应该采用怎样的办学模式,才能真正适应社会的需求呢?文章从市场需求、学生能力及综合素质等几方面进行了初步的探讨。     

音乐作品法定许可录音制度之我见——《著作权法》修改草案第46条之立与废

对音乐作品专有录音权的限制旨在防止行业垄断,降低交易成本。国外主要采取法定许可或强制许可模式。《著作权法》修改草案第一稿第46条变我国原有的"准法定许可"为"完全法定许可",具有进步性。但其在法定许可效力范围、缓冲期、付酬标准、著作权集体管理组织权限等问题上未给予明确规定,引发了音乐界和学术界的激烈讨论。第二稿删除了第46条,取消了音乐作品的法定许可录音制度。但回避态度不是法治之进步,立法应在调查研究我国音乐产业实际发展情况的基础上制定出合理可行法定许可制度,以平衡著作权人、首次录音制作者和后续录音制作者的利益。     

柏拉图文艺理论研究综述

柏拉图的思想理论包含哲学、神学、政治学、教育学、诗学等,其文艺思想也承接于多学科理论思想,并形成带有多重特色的文艺观.时代背景及先哲们的文艺思想是影响柏拉图文艺思想的外因,柏拉图的哲学主张、政治理想、美学观点和心理条件是内因.柏拉图的文艺思想对后世西方诗学、西方现代心理文艺理论、二十世纪文艺思潮、中国现当代文学以及中国的文化建设均产生了重要影响.     

体育锻炼动机研究综述

动机是推动一个人进行活动的心理动因或内部动力。文章回顾了体育锻炼动机的的理论基础，介绍了体育锻炼动机的组成成分和常用的测量工具，从动机的年龄差异、性别差异、文化程度差异、经济收入差异、社会文化差异五个方面概括了以往相关研究的成果，并指出了目前研究中存在的问题。     

专业认同研究综述

认同的概念最早由弗洛伊德提出,并用于研究个体认同。专业认同随职业认同研究而兴起并与之混同,与之有关的维度、结构及测量的研究也不断丰富。本文通过对近年来专业认同研究的总结,来了解专业认同现状并提出今后的研究方向。     

海洋文学研究综述

21世纪是海洋的世纪,伴随海洋文化研究的兴起,海洋文学的研究日益引起世人关注。海洋文学渗透着海洋精神的独立品格,20世纪人们逐渐将海洋文学作为一种文学现象进行研究,这对文学史研究具有深远的历史意义和重要的学术价值。海洋是文学艺术的永恒主题,海洋文学是海洋文化发展的一面镜子。     

艺术设计专业计算机软件课程教学方法探索

随着现代科技的飞速发展,计算机绘图软件以其模拟现实的真实性和快速的表现力占据了现代设计中的重要位置,计算机辅助课程的学习已成为各大院校艺术设计专业的必修课程。文章就艺术类专业计算机软件课程教学过程中遇到的问题加以剖析,也对教学方法进行了探索研究。     

港口岸线资源使用许可拍卖模型

为揭示我国港口岸线资源的真实价值,运用拍卖模型和博弈理论,论证英式拍卖与一级密封价格拍卖模式对港口岸线资源使用许可证拍卖的适用性和有效性,分析不同拍卖模式下的投标者最优报价策略和政府期望利润,建立港口岸线资源使用许可拍卖模型,并进行数值仿真.结果表明:对于政府而言,英式拍卖与一级密封式拍卖能带来同等的期望利润,拍卖人数较多情况下,各拍卖者在一级密封价格拍卖过程中报价无限接近其真实报价;对于投标人而言,相较于英式拍卖,一级密封价格拍卖能产生一定预期收益,因此投标人更倾向于一级密封价格拍卖模式.     

公平交换协议设计原则

公平交换协议与传统的安全协议有所不同,导致公平交换协议的设计原则与传统的安全协议设计原则有所区别,因此,必须根据公平交换协议的特点重新考虑一些要素。本文根据公平交换协议的特点,另外给出了4条针对公平交换协议的设计原则,并以攻击为实例来说明这些原则的重要性。这些原则与传统的安全协议的设计原则结合起来,使得公平交换协议从设计的开始就能够考虑各种可能会出现的错误与漏洞,从而大大提高协议设计的质量。