现代主权的工具性初探--构建对主权的完整理解

当前对主权的急论忽视了主权的工具性，现代主权为人民所有，人民委托国家行使主权，国家便有了主权的本质属性，主权是人类对自身发展的关注，新情况并没有改变主权属民的本质，但主权先例方式有新变化，它以国家机构先例主权方式的改变和创新为成本，带来的却是更大收益；主权所有者-人民利益增长和充分实现；主权先例机构-国家的主权地位强化；人民认同提高；国家机器及国家职能扩大和强化，这才是对主权的完整观察。     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

基于霍尔三维结构的信息化教学资源建设研究

一、信息化教学资源 信息化教学资源是指支持教和学活动的学习材料，学习工具和交流工具等资源，是经过数字化处理再加工和制作的，     

绩效考核四种工具分析

绩效考核四种工具分析人力资源管理正日益受到企业高度重视,绩效管理作为人力资源管理的核心,更加备受重视,一个企业绩效管理的好坏直接决定了该企业在市场中的存亡。因此,国内有学者提出,在某种意义上,企业管理就等于绩效管理。在企业的绩效管理体系设计中,常用的绩效体系设计工具有MB0、KPI、BSC等。许多人在运用绩效管理工具时是为了设计绩效体系而设计,而没有考虑这些绩效工具是否适应该企业的实际。那么这几种绩效设计工具到底有什么关     

家庭无线网络安全问题分析与解决

在信息时代,计算机网络得到普遍的应用,无线局域网以其新的发展优势,补充有线网络的一些不足,成为家庭布网的新宠儿,但是接踵而来的安全问题造成众多家庭的困恼.该文通过分析无线网络的安全威胁,提供常见的安全技术,引导普通家庭进行基本的安全设置,从而实现家庭式无线网络的安全使用.     

圈图工具与紫外发散

LoopTools(圈图工具)是粒子物理中用来进行单圈图积分的工具,它大大简化了单圈图的计算,但另一方面,圈图计算中的紫外发散在计算过程中需要使用者进行额外的检测.这里对这一部分做了简单的介绍并给出了相应例子.     

SaaS模式在电子政务的应用对策

近年来,SaaS逐渐成为软件发展的又一个趋势。SaaS是指软件即服务(Software As A Service),也称为软件运营服务。它是用户获取软件服务的一种新形式,不需要用户将软件产品安装在自己的电脑或服务器上,而是按照事先约定的服务水平协议(Service Level Agreement),直接通过网络向专门的提供商获取自己所需要的、带有相应软件功能的服务。SaaS离我们并不遥远。很多年之前出现的在线电子邮箱、在线交流工具等,都可以看作是SaaS模式。     

未来空中交通设想

生活在21世纪的我们,每人拥有一辆轿车不再是什么稀奇事,可是拥有一架自己的飞机,那就非常了不起了。车子越来越多,它所带来的不仅仅是交通事故的频发,而且还会使已经不堪重负的地球环境进一步恶化。这一切表明我们不应只在陆地上发展个人交通运输工具,还应将发展着眼于我们头顶的这片蓝天。     

CIMT2011展览成效显现

第十二届中国国际机床展览会(CIMT2011)于4月11-16日在北京新国际展览中心举行。来自28个国家和地区的1400余家知名机床工具制造厂商汇聚北京,为历届中国国际机床展览会规模最大。本届展览的主题是复合型、高效率、高精度、自动化与重大专项。公司MGKF1600/4数控高精度立轴复合磨床和EL1507/Hz高精度数控     

马克思历史唯物主义的逻辑起点探析

理论界有些人研究的结果认为,劳动是历史的起点,"劳动"范畴也就当然地成为历史唯物主义的逻辑起点。并从劳动出发,探究历史唯物主义的逻辑结构,得出"劳动"范畴是"打开社会奥秘的钥匙"的结论(以下称劳动起点论)。对于这个结论,笔者从人类提升的本质是什么?真正人的"劳动"究竟从哪儿开始等几个方面进行了不同的探究。认为工具不仅是人所以为人的起点,也不仅是人类劳动的起点,同时也是历史的起点。"劳动先于工具存在"的观点是不符合实际的。工具是历史整体关系中最基本的范畴,是人类一切活动的最初的前提与基础。