公共文化服务平台

联合国大学: 作品数：74 被引量：422H指数：9; 相关作者：马志孝梁洛辉陈碧霞王艳青蒋平更多>>; 相关机构：上海交通大学中国科学院云南省林业科学院更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划国际科技合作与交流专项项目更多>>; 相关领域：经济管理自动化与计算机技术政治法律文化科学更多>>

合作机构

墨西哥和拉丁美洲的民族问题被引量：1: 1984年; 多年来,我一直关心并从事民族问题,特别是在社会和经济上处于发展阶段的少数民族和种族问题的研究。我今天特别高兴能在此与诸位谈一谈有关拉丁美洲,特别是墨西哥的民族情况。拉丁美洲的历史基本上可以分为两大时期:第一个时期是十六世纪西班牙和葡萄牙征服之前的时期;第二个时期是自十六世纪欧洲人入侵之后至目前的时期。有关欧洲人入侵之前美洲大陆居民的情况,属于考古学研究的范围。; 罗·斯塔维哈津陈志远; 关键词：民族问题印第安人少数民族土著人西班牙语土著民族

中国对外贸易中隐含流研究综述被引量：2: 2015年; 以中国对外贸易为基础,对中国对外贸易中的隐含流进行综述。总结分析了中国对外贸易现状以及贸易中隐含流的内涵,并对隐含能源、隐含排放、虚拟水、虚拟土地以及隐含太阳能等贸易中主要隐含流进行综述,包括各隐含流的研究内容、研究方法、研究尺度以及存在的不足,最后对中国对外贸易中隐含流研究进行展望。; 田旭耿涌马志孝董会娟吴瑞刘文婧; 关键词：对外贸易

美国的意识形态被引量：1: 2004年; 面对日益激化的中东和伊拉克形势 ,人们加紧思考着一个又一个的“为什么”。著名第三世界思想家阿明的文章提供了一个极其重要的视角 :现状是历史的产物 ,发现其内在逻辑才能洞见症结。文章中所涉及的美国政治文化中的新教原教旨主义与“选民”意识问题 ,大屠杀与奴隶制问题 ,启蒙主义的影响问题 ,移民与个人主义问题 ,社团意识、种族观念与阶级觉悟、政治意识、公民意识的差别问题 ,资本作为单一政党运作的问题 ,军事力量与新纳粹威胁的问题 ,都是值得思考和商榷的大问题。更重要的是 ,阿明提出了“我们有责任现在行动”的警语 ,使一切知识阶层的思辨升华为当代人的使命。; 萨米尔·阿明胡沁; 关键词：意识形态新教统治阶级启蒙思想原教旨主义宗教改革运动

Verilog操作语义研究被引量：4: 2002年; 提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.; 李勇坚何积丰孙永强; 关键词：VERILOG语言操作语义事件调度互模拟

基于CABOSFV聚类算法的汉语词汇类别知识挖掘研究被引量：1: 2013年; 在清华大学973汉语树库的基础上,根据汉语词汇的句法功能分布状况,构建了句法功能分布知识库。在构建的句法功能分布知识库基础上,使用CABOSFV(Clustering Algorithm Based On Sparse Feature Vector)聚类算法,从中挖掘了汉语词汇的类别知识,并对这些类别知识逐一进行了分析。; 王东波朱丹浩; 关键词：知识库

Verilog语言形式化语义研究: 2001年; 在连续离散混合时间模型中考虑 Verilog的语义行为 ,将混合模型中的一个区间作为 Verilog程序一次运行过程的指称 .提出了一种扩展的 ITL来描述这种混合区间 ,从而给出 Verilog的形式语义 .这种语义定义不仅考虑到了各种语言成分的最终执行结果。; 李勇坚孙永强何积丰; 关键词：VERILOG语言形式化语义硬件描述语言

一类并发实时系统的自动验证被引量：2: 2000年; 一个被广泛用于验证实时系统的方法是根据被验证的实时性质 ,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间 .算法只需要在这个有限的等价类空间里搜索就可以得到正确答案 .但是 ,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长 ,以至于在很多情况下 ,穷尽搜索这个空间是不现实的 .该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性 .同时 ,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索 .基于这两个关系 ,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性 .实例研究显示 ,此算法在某些情况下比其他一些工具有更好的时间和空间效率 .; 赵建华郑国梁Dan Van Hung; 关键词：实时系统

中国北方偏远地区农户作物的选择(英文)被引量：5: 2009年; 遗传多样性保护对于全球农业发展至关重要,而有效的保护与农民对不同作物的种植选择关系密切.目前在中国北方偏远地区,农民仍以种植小杂粮为主,所采用品种多为具有广泛遗传多样性的地方品种.通过对该地区农民对不同品种小杂粮选择种植的调查,基于我们的作物选择模型,得出市场不完全和收入水平低是农民种植小杂粮作物的重要原因.建议政府在遗传多样性保护中发挥更重要的作用.; 崔永伟胡瑞法KELLY Peter梁洛辉; 关键词：多样性

Verilog代数语义研究被引量：2: 2003年; 给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的.研究了此代数语义的相对完备性,即参照前面的操作语义模型,相对于扩展Verilog语言的一个子集而言,此代数语义是完备的.即所有符合这样语法的程序,如果它们是互模拟等价的,那么它们同样可以在所提出的代数系统中被推导相等.在完备性证明过程中,采用范式方法,即构造一种语法上特殊的程序,任何属于上述子集中的一个程序通过该代数规则都能够被转化为范式程序,而且范式程序在操作语义模型下是互模拟的当且仅当它们是语法相同的.上述结果具有重要的理论意义,因为现有的进程代数理论主要是针对管道通信并行语言而展开的,而对于像Verilog这种以共享变量通信为基础的复杂并行语言研究还是比较少的,对此类复杂的基于共享变量的并行语言的进程代数理论研究提出了一种通用、有效的方法.; 李勇坚何积丰孙永强; 关键词：代数语义 VERILOG语言程序设计语言

联合国大学：“推动知识进步以保证人类的安全、和平和发展”将语言付诸行动：实施可持续发展教育以成就我们共同的未来: ＜正＞引言:我们正生活在一个充满变革的时代中,生活在一个人与人之间联系日益密切的世界里。日新月异的信息传播系统和道路交通运输系统改变了我们的世界,将它从一个复杂甚至有时有些混乱的地域和疆界分布状况,转变为由诸多岔道以及路...; Hans van Ginkel王民蔚东英; 文献传递

联合国大学

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

联合国大学

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈