摘要：通用量子计算机(universal quantum computer)在求解某些在经典计算机上具有超多项式复杂度的问题方面存在着潜在的巨大优势.通用量子计算机体系结构在很大程度上影响量子计算功效和量子程序设计风格.文中提出一种通用量子计算机的体系结构,并考虑了在该体系结构下计算能力的扩展和容错性能等问题.

摘要：由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模,提出一种汇编级的系统状态模型,作为汇编语言层设计和验证的纽带.通过定义系统状态模型的合法状态和状态转换函数来建立系统状态模型的论域,并以此来描述汇编层的论域.通过验证汇编层的功能模块的正确性来保证汇编语言层设计的正确性,达到对系统功能实现的正确性验证.同时,使用定理证明工具Isabelle/HOL来形式化地描述这一系统状态模型,基于这一形式化模型,在Isabelle/HOL中验证系统模块的功能语义的正确性.以实现的安全可信OS(verified secure operating system,简称VSOS)为例,阐述了所提出的形式化设计和验证方法,说明了这一方法的可行性.

摘要：以＂女性主义＂（Feminism）视角反思人文、社会及历史等学科是在20世纪六七十年代女性主义运动第二次浪潮的基础上发展起来的,并在此后形成一股巨大的学术思潮,在文学、艺术、历史、电影等学科领域引起广泛的论争。尽管音乐学界对此反应较为迟钝,但在整个音乐学界对颇具＂科学＂意味的、以实证主义为首的传统音乐学加以反思的同时,女性主义音乐批评（Feminist Music Criticism）以一种颇为激进的姿态出现,成为美国＂新音乐学＂（New Musicology）研究的一个重要分支。

摘要：在20世纪90年代后现代文化背景下,女性主义产生了新的变化,她们更加关注女性主义内部的多元文化身份和性别的多元特征,致力于揭露由种族、阶级、国家、年龄、性取向等造成的"差异"(Difference)现象。受其影响,音乐学界也开始关注与性别有关的种种差异,文章即以露丝·索莉(Ruth ***)于1993年主编的《音乐学与差异:音乐研究中的社会性别和性》一文为例,探讨后女性主义音乐批评的关键问题。

摘要：通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底层量子物理设备、量子计算机体系结构、量子资源调度和上层量子程序设计语言、量子算法及量子应用软件等多方面进行努力.文中结合国内外在上述各方面研究的最新进展以及作者自身的研究结果,从计算机系统的角度为通用量子计算机的研究和制造绘制一幅蓝图,并详细阐述了其中的困难与努力方向.

摘要：VR作为一个以沉浸式体验为主要特点的计算机仿真系统,可以创建和体验虚拟世界,从传统动画到VR动画,叙事的侧重点从讲述故事转变为互动体验,如何利用这种新兴载体讲故事,是目前行业内一个基本空白的状态,叙事的方式更多的注意力是在故事和体验之间找平衡。本文从传统电影美学视角考察VR动画作品,探讨对运用于动画的VR叙事提出一些问题和设想,从而进一步探寻新技术应用的价值点和未来发展新方向。

摘要：为有效解决在日蚀区太阳能热推进器推力失效、电力中断的问题,提出了蓄热式太阳能热光伏-热推进双模系统结构,并对系统各部件建立相关物理数学模型,分析了工质种类、工质流量等因素对推进性能的影响。结果表明,为保证推进器在日蚀区30min内持续提供推力和电力供应,砷化镓热光伏电池在无工质工况下能提供10W左右的低功率电力供应,在设计工况下能提供50W^110W的电力供应;液氢作为工质时,最大比冲将达到806s,随着工质流量的持续增加,比冲损失速率呈现先加快后减慢的变化趋势;液氨作为替代工质具有更快的加热速率,其比冲为240s^300s远低于氢工质比冲,其推力系数1.77要略高于氢工质推力系数1.7。通过本文研究,蓄热式太阳能双模推进系统具有较好的可行性,且推力及比冲适中,有望弥补低比冲化学推进和小推力电推进技术的不足。

摘要：文章以"实验动画"为线索,探索音乐和动态画面的融合,以及对音乐的视觉化操作,通过一些个案研究、设计现象、个人创作方法和理论背景,探讨此类动画设计过程及音乐与动画之间多科性的混合实践要素,并试图挖掘出这些影响要素在动画中使用的可行性。

摘要：20世纪80年代后期,女性主义音乐学家借鉴女性主义电影、艺术及文学批评,从跨学科角度对音乐文化进行探讨,女性主义音乐批评进入到以社会性别(Gender)为主要分析范畴的历史时期。此后,社会性别成为一个有效的音乐分析范畴,为20世纪末的西方理论界提供了新的思考模式。本文从五个方面对社会性别的研究对象和研究历程加以分析,以期对国内学界提供借鉴和思考。

摘要：量子计算被认为是有可能超越经典计算的一种新型计算模型,目前国内外已有大量相关实验和理论工作围绕量子计算及量子计算机而展开.南京大学计算机系量子计算和量子信息研究小组在量子计算领域中的量子程序设计语言方向上开展了一些工作,设计了一种量子程序设计语言NDQJava并在经典计算机上对其处理系统加以模拟实现.为了更好地描述量子计算的逻辑流程并和物理模型相对应,在NDQJava处理系统的设计和实现过程中定义了量子汇编及机器语言.量子汇编语言作为高级量子程序设计语言和量子器件之间的接口语言,其设计必须考虑完备、简明、易用三方面的因素.为了模拟实现NDQJava处理系统亦定义了量子机器语言并通过软件解释执行.文中在定义了量子汇编及机器语言后着重描述了NDQJava处理系统中汇编及解释程序的设计思想与实现方法,对其中的若干关键问题给出了相应图表及源程序片段加以阐明.