摘要：随着开源软件项目规模的增大,如何快速地学习、理解一个软件项目成为基于复用的软件开发活动中的一个重要环节。这些开源软件项目的源代码和文档集的数量都比较庞大,开发人员在学习过程中查找和阅读这些软件信息需要花费大量的时间和精力。为此,提出一种基于自然语言的软件信息检索方法,以帮助开发人员快速地检索并理解其需要的软件信息。基于该方法,设计并实现了NaLSiSe工具。NaLSiSe工具在中国计算机学会主办的第一届软件研究成果原型竞赛中荣获优秀奖。以Lucene为例,验证了该工具可以有效减少开发人员阅读源代码和文档的工作量,同时具备简洁的用户界面和友好的用户体验。

摘要：本构模型是形变体仿真中最重要的因素之一,现有的基本本构模型的应力应变关系具有一定的局限性,形变行为比较单一.近年来,很多研究工作探讨如何设计更加复杂并满足设计师需求的材质模型.将材质模型分为3类:传统的具有单一材质属性的均质材质、具有复合结构的非均质材质以及根据基本材质模型通过编辑材质参数和结构以及编辑形变行为的材质模型.此外,梳理了近年来材质本构模型方面的研究成果,分类总结了相关技术及其优缺点,最后,讨论并指出形变体仿真中,本构模型应用与设计领域主要的技术挑战和需要进一步探索的方向.

摘要：三维建模技术在工程设计、数字城市、文化娱乐和国防军事等应用领域起到基础和核心的作用.随着信息技术的发展,以三维扫描仪和智能手机为代表的场景感知和采集设备性能的快速提升,以及计算机图形学、立体视觉和机器学习等学科领域的蓬勃发展,使得三维模型的获取更为便捷,为三维模型的快速构建提供了强有力的系统支持,极大地推动了三维模型在工程设计等相关领域的深入应用.

摘要：随着互联网的发展以及edx,Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及。互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源。然而,当前的互联网教学辅助平台中存在一个明显的不足:学生无法及时针对教学视频细节在云端记录并分享笔记或寻求帮助。这将会影响学生对视频形式的教学内容的理解,也不利于形成优质的学习生态系统。由此,设计了一种面向Chrome浏览器的视频云笔记工具,并采用了HTML5,***,MongoDB等关键技术对其进行了实现。该工具能够针对互联网教学视频资源的细节内容记录、发布笔记并在云端共享,有利于学生对视频教学资源中细节的整理、理解、讨论和最终掌握;同时该工具可以根据学生人群在使用工具的过程中产生的数据对视频内容进行一定程度的解析,挖掘视频教学资源中的关键点,从而降低学生获取关键知识的难度,辅助学生的学习过程。最后,进行了相关的实例研究,结果证明了所提出的分析设计方案的可行性和有效性。

摘要：随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长,并始终制约着软件开发效率和质量的有效提升.软件的结构复杂性,尤其是高层结构的复杂性,是软件复杂性的一种重要表现.如何实现对软件高层结构复杂性的有效控制,是当前开放、动态、难控的网络环境下大规模软件系统开发与演化所面临的主要问题.针对这个问题,我们将设计阶段高层结构复杂性的控制模型―软件体系结构模型―扩展到整个软件生命周期,提出了一种以体系结构为中心的软件开发方法―ABC.该方法将软件生命周期各阶段的核心制品与活动,统一到软件体系结构模型及对其连续迭代的细化、映射和转换,实现对软件高层结构复杂性的一致、灵活、系统化的建模和管理.本文旨在系统性地总结ABC方法在软件体系结构建模方面的成果,并重点介绍近几年在协同式特征建模、运行时体系结构生成、体系结构逆向恢复与建模等方面取得的新进展.

摘要：车辆自组网(VANETs)是一种物联网在智能交通领域的重要应用形态,近年来已经成为学术界和工业界共同研究的重点。VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护的文献逐渐成为研究的一个热点,涌现了一大批研究成果,这些成果对VANETs的实用化具有重要意义。代理签名是现实世界中应用领域非常广泛的一种数字签名技术。在不同的场景下,代理签名有大量的变体,其可形成一个代理签名簇。提出了一个基于代理签名簇的VANETs隐私保护框架(PS-PPF);在VANETs系统体系架构层面上提出了一个面向实用的VANETs隐私保护框架;划分了4个级别设置;分析了7个关键角色;探讨了4个关键代理签名:条件隐私保护型代理签名、身份认证授权型代理签名、防追溯滥用授权型代理签名、业务前置授权型代理签名。该框架不仅能对车辆身份隐私和位置隐私进行安全保护,还具备良好的实际部署能力和可扩展能力。最后,指出了一些该框架的实际扩展说明。PS-PPF可用于规范和指导实际运营系统的规划和建设。据悉,这是第一个面向实用的基于代理签名簇的VANETs隐私保护框架设计方案。

摘要：目的设计以需求为导向的从统筹管理到安全保障的残障人口数据智能分析平台框架。方法运用DATAI-WebEX、主动学习、Browser/Server架构、基于用户角色的访问控制功能、贝叶斯网络、地理信息系统分析技术、聚类分析、回归分析等智能关键技术,提供多源异构残障人口数据数据融合、智能分析与安全访问和数据共享等功能。结果基于智能关键技术所设计的中国残障人口数据智能分析平台,能够实现结构化和非结构化残障人口数据的信息对齐和数据融合,能够提供残障风险模块聚类、残障风险因子识别、残障分布分析、残障规模动态轨迹预警、残障等级发生发展预测,可以为残障敏感数据支持"分类分箱"安全便捷的访问提供保障,实现残障人口数据安全共享。结论基于智能关键技术所设计的中国残障人口数据智能分析平台,能够针对残障人口数据提供"全面融合-智能挖掘-安全共享"等技术。

摘要：在当今的教学中,课堂教学和互联网教学是两大主流。然而,无论是在课堂教学还是在互联网教学中,当前的学习辅助平台都存在着一个明显的不足:学生无法及时针对讲义细节在云端共享笔记或寻求帮助,没有形成便于学习和交流的知识分享机制。这不利于学生对讲义知识的深刻理解,也不利于形成优质的学习生态系统。针对这一不足,在分析现有教学平台和云笔记产品的基础上,设计了一个面向Chrome浏览器的云笔记插件的系统架构,并采用HTML5、***等关键技术进行实现。该插件能够针对互联网讲义资源中的任意细节记录笔记、提出问题并云端共享,有助于学生在课上、课下对讲义资源中的细节的理解、讨论与最终掌握,加强现有学习辅助平台的功能。最后进行了相应的实例研究,证明了所提出的方案是可行有效的。

摘要：作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

摘要：在无线自组织网络中,经常选取一些节点形成虚拟主干网,用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点,虚拟主干网需要具有一定的容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造容错虚拟主干网,并通过模拟实验评估了算法的性能。近年来,WangFeng等人设计了常数近似算法用来构造2-连通虚拟主干网。本文将设计一个常数近似算法用以在无线自组织网络中构造一个2-连通k-支配虚拟主干网。