深度神经网络的测试输入选择与度量标准研究综述

随着深度神经网络在各个领域受到广泛应用,对其进行测试评估并确保其安全性显得尤为重要。测试输入选择方法可以帮助在测试数据集规模较大且标注成本较高的情况下,对测试样本进行选择与排序,以提高测试效率和测试覆盖率。为了深入了解深度神经网络测试输入选择领域的研究进展,对近5年来91篇相关领域的学术论文进行了系统梳理。介绍了深度神经网络测试的基本概念和流程,包括深度学习系统的构建、测试输入的选择和测试结果的评估;概括分析了各种度量标准和测试输入选择方法的适用场景与不足之处,以及彼此之间的相互联系。最后,指出了当前深度神经网络测试输入选择与评估工作面临的挑战和机遇。     

移动计算形式理论分析与研究

移动计算是在网络技术发展中涌现出的一种新计算范型,文章旨在从形式抽象的角度来认识移动计算的本质特点,文中分析了网络计算平台的综合特征,总结了移动计算范型的曲型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ,以及Ａｃｔｏｒ扩充模型,针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资     

移动计算及移动计算网络

随着因特网的普及和发展、无线移动通信技术的成熟以及计算机处理能力的不断提高,新的业务和应用不断涌现。这些变化在对人类的信息处理能力提出更高要求的同时,也为人们提供了更有力和更方便的工具和手段。为了提高工作效率和随时能够交换和处理信息,人们提出了移动计算的概念。移动计算是指人们可以随时。随地进行“计算”。移动计算网络(Mobile Computing Network MCN)是指能够支持移动计算的网络。     

移动集群计算关键技术研究

随着集群和移动计算技术的快速发展及广泛应用,一种结合了这两种技术的新的计算方式——移动集群计算应运而生。分析讨论了移动集群计算的体系结构和实现移动集群计算的一些关键问题及解决方案。     

移动学习的文本教学资源建设研究

移动学习文本教学资源建设,除了技术方面应该解决的问题,还应在教学内容的编排上坚持适时、适度等原则。适时,就是要与时俱进;适度,就是要围绕教学目的展开。尤其要注意的是：首先,形式要灵活,以语言文字为主,配以必要的音像、画面等元素。其次,文本资源建设中的资料需要有针对性,要与学生的认知水平、生活经验相符。     

网络化移动测试系统的组播控制研究

提出了组播移动测试结构－一种开发灵活的网络化测试系统的软件结构。该结构宏观方面集中于Internet技术，如组播和移动计算，在微观方面集中于基于Java和执行器的结构，利用组播移动测试结构可以构建开放的，可移植的，可动态配置的系统。本文描述了其结构及其应用领域。     

移动计算中的移动数据库

移动计算模式代表着网络发展的一种必然趋势。国际著名的IT市场研究机构Meta Group和Gartner Group等研究报告表明,在未来的10年之内,80％以上的商业用户将采用远程或移动的解决方案;全球将有数亿职员的日常办公环境是非传统的工作环境。这是一个巨大的市场,而在其中占据数据管理核心地位的移动数据库技术也将具有广阔的市场前景和发展空浙。     

移动计算技术发展综述

本文说明了移动计算环境的定义与概念，介绍90年代后期移动计算技术发展的现状，以及移动计算技术为我们的高科技发展带来的机遇和挑战。     

最长公共子序列算法在文字录入测试中的应用

测试Word中的文字录入内容,是开发Office等考试软件过程中的一个关键 技术问题.常用的处理方法是关键字检测法.通过检测Word文件中的关键字,可以测试出考 生操作的大概结果,但是很不准确.利用最长公共子序列算法进行文字录入测试,可以很 好地解决这一问题.     

On Cost Aware Cloudlet Placement for Mobile Edge Computing

As accessing computing resources from the remote cloud inherently incurs high end-to-end (E2E) delay for mobile users, cloudlets, which are deployed at the edge of a network, can potentially mitigate this problem. Although some research works focus on allocating workloads among cloudlets, the cloudlet placement aiming to minimize the deployment cost (i.e., consisting of both the cloudlet cost and average E2E delay cost) has not been addressed effectively so far. The locations and number of cloudlets have a crucial impact on both the cloudlet cost in the network and average E2E delay of users. Therefore, in this paper, we propose the Cost Aware cloudlet PlAcement in moBiLe Edge computing (CAPABLE) strategy, where both the cloudlet cost and average E2E delay are considered in the cloudlet placement. To solve this problem, a Lagrangian heuristic algorithm is developed to achieve the suboptimal solution. After cloudlets are placed in the network, we also design a workload allocation scheme to minimize the E2E delay between users and their cloudlets by considering the user mobility. The performance of CAPABLE has been validated by extensive simulations.      

信息系统中非结构化文本数据的输入技术研究

针对信息系统中的半结构化和非结构化的文本数据,利用行业文本通常是针对某一关键术语的规范化描述等特性,提出并设计了“键词驱动的动态模板”输入技术,能在不影响既有系统应用和保持其文本数据原始性的同时,有效解决有限长度的文本数据的可统计性等问题。     

基于移动Agent的无线移动计算模型及应用

传统的分布式计算模型客户/服务器模型不适应无线移动计算环境,文中详细分析了扩展的客户/服务器模型及其存在的问题。在此基础上将移动agent应用到扩展的客户/服务器模型,无线移动计算的性能得到了改善。文中还分析了基于移动agent的无线移动计算模型的特点,其中最重要的一点是信息和服务完全分离。最后将基于移动agent的无线移动计算模型应用到移动电子商务系统,设计了一个产品电子交易的原型。     

基于移动Agent的无线移动计算模型及应用

传统的分布式计算模型客户／服务器模型不适应无线移动计算环境，文中详细分析了扩展的客户／服务器模型及其存在的问题。在此基础上将移动agent应用到扩展的客户／服务器模型，无线移动计算的性能得到了改善。文中还分析了基于移动agent的无线移动计算模型的特点，其中最重要的一点是信息和服务完全分离。最后将基于移动agent的无线移动计算模型应用到移动电子商务系统．设计了一个产品电子交易的原型。     

基于时序逻辑的移动计算的形式方法分析

At present,mobile computing is widely considered as a new computing paradigm supported by advanced computational technologies.One of main characteristics of this paradigm is the ability to dynamically change the binding for hardware and/or software components,that is mobility. Although there are many languages appeared to announce supporting mobile computing,the requirements and features of this paradigm are still scarcely recognized.So a lot of research is being expanded on formal models and methods for mobile computing. In this paper,we analyze a temporal logic based formalism for mobile computing——Mobile Unity. At first,we summarize the features of mobile computing,and generalize that mobile systems should be decoupled,strongly-autonomous,context-dependent and owning new requirements for location-transparency.Then we introduce Mobile Unity,its extensions for U NITY from syntax to computational semantics,specially analyze the correspondence between the language structures of Mobile Unity and the abstraction of mobile features,such as location,mobility,transient interactions etc.At the end,we conclude its some deficiency for supporting mobile computing.     

基于可信计算的移动终端用户认证方案

摘要针对移动终端（ME）的特性,提出了结合USIM（Universal Subscriber Identity Module）和TPM（可信平台模块）的可信移动平台（TMP）,并以智能手机主流处理器为基础,讨论了TMP的设计案例以及TPM在ME中的三种构建方法．在提出的TMP框架内,利用RSA-KEM（密钥封装）机制和Hash函数,设计了口令、指纹和USIM相结合的用户域认证方案,实现了用户和ME、用户和USIM间的相互认证,强化了用户域的安全,并可满足TMP标准草案中安全等级3对用户认证的要求．该方案在不要求使用者与ME预先协商信任关系的前提下,既可区分攻击者和合法用户,又可辨别ME的主人和普通使用者,并能在认证过程中及早发现攻击行为,避免不必要的计算花销．定量及定性分析表明,该方案的离线和在线两种工作模式在三种不同的TPM架构下的安全性、通用性和执行效率均优于TMP标准中引用的方案,且获得了比Lee等众方法更高的安全性和通用性．     

一种面向移动计算的机密性与完整性模型

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性.     

基于IP的移动通信协议路由算法分析

因特网应用的快速发展,移动主机用户的不断增加,使得对移动计算机网络的研究显得更为重要。该文分析讨论了基于ＩＰ的移动通信协议的路由算法问题。通过对协议的路由选择格式、地址转换的复杂性、算法的额外开销、以及与Ｐ协议的兼容性和安全性等问题的讨论,着重分析了Ｃｏｌｕｍｈａ建议、Ｓｏｎｙ建议和ＩＥＴＦ建议的路由策略。     

一种面向移动计算终端的几何压缩方法

鉴于移动计算终端具有显示屏幕小、对模型精度要求较低和处理能力相对较弱、处理高细节度的模型十分吃力,以及受带宽所限,需要对模型进行渐进传输等特点。而已有的几何压缩和简化方法又对移动计算终端的这些特点针对性不够,为此,围绕在移动计算终端上进行3维图形的显示,根据移动计算终端的特点,提出了一个实现过程简单、简化效率较高的几何压缩方法,同时提出了一个基于顶点相邻三角形单位法向量变化的边折叠几何压缩算法,并通过计算顶点相邻三角形单位法向量差值来识别出模型的特征点,提出了一个特征保留的策略。实践表明,完整的基于单位法向量变化和特征保留的边折叠几何压缩算法可以在保持模型外观的同时,有效地降低模型的规模。最后给出了该压缩方法在移动计算终端上的应用情况。通过用该压缩算法对模型进行预处理,实现了在移动计算终端上进行3维图形显示的这一目的。随着移动计算技术的发展,移动3维图形的应用将会越来越多,因此该压缩方法在移动3维图形计算方面具有较好的应用前景。