计算机辅助建筑结构算量技术与软件

根据近年来计算机辅助建筑算量技术研究及相关软件开发情况,将现有的相关技术方法分为参数输入法、局部建模法、全局建模法和自动识别法4类,深入讨论了其特点,并分析了2个代表性的软件.最后展望了该技术的发展方向.

计算机辅助乱针绣制作技术研究

乱针绣是一种极具艺术和文化价值的工艺产品,计算机辅助乱针绣制作对这一文化遗产的传承和发展具有重要意义.文中将计算机辅助乱针绣制作技术归结为绣线颜色子集选择和交叉针迹参数计算两大关键技术问题.首先,提出了基于遗传算法的绣线颜色子集优化选择方法,通过对标准交叉算子和变异算子的改进实现了绣机绣线颜色种类与绣品视觉效果间的有效折衷.其次,设计了计算机辅助乱针绣制作铺色和精绣两阶段针迹生成策略,并分别提出了一种基于图像亮度梯度的铺色交叉针迹参数算法及一种基于试探和混色原理的精绣交叉针迹参数计算方法,降低了机绣少量颜色而造成绣品与原图像间的色差.最后,给出了一个完整的计算机辅助乱针绣制作处理流程,并以实验验证了文中提出方法的有效性,为计算机辅助乱针绣制作技术的进一步研究奠定了基础.

主观试题的计算机自动批改技术研究

作为网络教学系统的关键技术之一,主观题的自动化批改技术日益受到关注。介绍了近年来国内外开发的具有代表性、性能突出的主观题自动批改系统,包括PEG,LSA,ATM,AutoMark等。

迎接时代挑战 创新人才培养体系——南京大学副校长吕建院士专访

作为一所源远流长、德高望重的中国名校,南京大学一直以来有着诸多声望和美誉,学科特色和办学优势均为国内外称赞。近年来,随着计算机学科的发展,南京大学的人才培养方案得到很多高校的关注。带着经验分享的一种需求,《计算机教育》杂志在风景如画的南大仙林校区专访了南京大学副校长吕建院士。下面是奚春雁主编(简称奚)和吕建院士(简称吕)的对谈。

通用量子计算机:理论、组成与实现

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

计算机读图与数字建筑

建筑业的信息化存在严重的孤岛现象,在设计与审图、施工之间还只能传递纸质图或盘质图。人工读图成了建筑业的一个瓶颈口。本文对计算机读图中的关键问题作了分析。提出了基于特征的计算机读图方法并通过建立数字建筑来填平设计与审图、施工之间的信息鸿沟的解决方案。

一种高效、容错的通用量子计算机体系结构

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

计算机人脸合成系统的设计与实现

描述了一个计算机人脸合成系统的设计目标、系统的结构和功能以及实现技术 。

人工读图机理分析及其在计算机读图中的应用

计算机读图是旨在提高建筑业的自动化、信息化程度的一种重要技术。通过从计算机读图的角度对建筑工程图表示特点的分析和对人工读图机理的分析,本文提出了基于建筑工程图表示特点、借鉴人工读图机理的按序、定向、整体的计算机读图思路,并在此基础上给出了建筑工程图自动识别的描述方法和实现技术。

网格计算机上的映射方法研究

本文提出了将分治计算映射到支持虫蛀和存储转发模式的网格连接计算机上的反射映射方法。这一方法不仅利用二项树通信步中的规则性，而且利用了二项树拓扑结构的规则性。本文还引入了并行计算时所出现的通信开销评价标准。分析表明，此方法对支持虫蛀模式是最优的。

理论计算机科学专题前言

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。

计算机动画中头发表示的研究

文章介绍了头发悬臂梁弯曲模型，提出用面集合仿真真实的头发，生成具有光照效果的图象。同时，提出了以椭球为头壳生成头发模型后，将其移植到实际存在的头部模型上的方法，以及头发与头部的碰撞检测手段，从而获得长有头发的完整的头部图象。

浅论软件技术发展

本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向.

基于移动Agent技术的构件软件框架研究

随着移动 Agent技术的快速发展以及构件软件的广泛应用 ,对一种新型的基于移动 agent技术的构件软件框架的需求日益增长 .通过对传统的构件软件框架的不足的分析 ,提出了一种新的构件软件框架 .与传统的构件软件框架相比 ,新的构件软件框架具有较强的网络环境的动态适应性 .

一种新型自适应神经网络回归估计算法

结合自适应谐振理论和域理论的优点 ,针对回归估计问题的特性 ,提出了一种新型神经网络回归估计算法 FTART3.该算法学习速度快、归纳能力强 ,不仅具有增量学习能力 ,还克服了 BP类算法需要人为设置隐层神经元的缺陷 .直线、正弦、二维墨西哥草帽、三维墨西哥草帽等 4个实验表明 ,FTART3在函数近似效果和训练时间代价上都优于目前常用于回归估计问题的

用于软件保护的代码混淆技术

对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题。文章从软件保护的方法出发,介绍和分析代码混淆技术的方法和目标,并指出了代码混淆技术的优势和发展趋势。

软件安全漏洞的静态检测技术

软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。

语句相似度计算在主观题自动批改技术中的初步应用

文字类主观题的自动批改是实现远程教学系统中在线考试功能的一个关键技术,由于其具有相当的难度,目前国内外在这方面的研究还不是很多,真正实用的系统更少。该文着重对语句相似度的计算进行了深入的研究,利用基于动态规划的语句相似度计算方法实现了文字类主观题的自动批改,测试结果初步达到预期目标。

基于CCM的软件构件组装技术的研究

OMG在推出的CORBA3.0规范中提出了一个构件模型(CCM)。CORBA构件不仅定义了对外提供的功能,而且还定义了构件所需要的外部功能,使得构件可以利用接口进行组装。同时CCM借鉴了EJB、COM等构件模型的优点,并充分利用了CORBA的开放性。本文在对CORBA构件模型以及模型组装框架中的相关技术进行研究的基础上,努力探索基于CCM的构件组装在系统开发中的应用。

软件恢复技术研究

Recently, the phenomenon of "software aging", one in which the state of a software system gradually de-grades with time and eventually leads to performance degradation or crash/hang failure, has been reported. The agingphenomenon is ubiquitous in all kinds of software systems and hard to eliminate thoroughly. A proactive techniquecalled "software rejuvenation" has been proposed[13] to counter the aging problem and increase the software availabili-ty. In this paper, we systematically investigate the basic motivation, concept and development of software rejuvena-tion, and then, detailedly analyze the main research work on it. At last, a prospect about the future research direc-tions is outlined.