一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.     

多旋翼无人机:新设计、新应用及新发展

多旋翼无人机经历十年的高速发展,已经从单一场景应用向广域场景蔓延,从单机飞行到多机协同再到集群控制.伴随着技术的突飞猛进,无人机在结构上不断迭代创新,在载荷上持续推陈出新,以适应行业发展的需求.本文首先介绍了多旋翼无人机最新发展的设计结构,然后罗列了多旋翼无人机在各行业的应用场景,最后描述了多旋翼无人机的发展趋势.     

基于卡尔曼预测采样与空域图描述的稳健红外目标跟踪

目标状态采样策略和观测概率模型是影响粒子滤波理论框架下红外目标跟踪性能的主要因素.为了提高红外目标跟踪性能,介绍了一种基于卡尔曼预测采样与空域图描述的红外目标跟踪方法.目标状态采样采用卡尔曼预测采样策略,通过卡尔曼预测过程将目标的观测信息组合到重要性建议分布;采用空域图技术实现红外目标的稳健描述,通过计算参考目标的空域图与目标样本的空域图之间的Bhattacharyya距离,建立观测概率模型.传感器自运动场景、辐射不稳定场景及海杂波背景下的红外目标跟踪实验证明:该方法是有效的和稳健的.     

一种计算机取证中需求定义的方法

如何描述和规范计算机取证需求是计算机取证基本理论及基本方法研究中较为突出的一个问题.本文结合软件工程及安全工程的思想提出了场景需求定义法,它对计算机取证需求的制定给出了一套定义方法.基于以上定义方法,需求的制定可以面向所有计算机取证环境,即它不限定哪类取证环境应该提供哪些取证需求,而是在实际应用中根据实际需要来确定,这为描述不断变化的复杂现实应用环境中的安全需求提供了灵活性.     

SRLtoRadl生成系统及其范畴论语义

形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl.     

基于多模态特征转换嵌入的场景图生成

场景图生成是计算机视觉领域中的热点研究方向，可连接上、下游视觉任务。场景图由形式为<主语-谓语-宾语>的三元组组成，模型需要对整幅图像的全局视觉信息进行编码，从而辅助场景理解。但目前模型在处理一对多、多对一和对称性等特殊的视觉关系时仍存在问题。基于知识图谱与场景图的相似性，我们将知识图谱中的转换嵌入模型迁移至场景图生成领域。为了更好地对此类视觉关系进行编码，本文提出了一种基于多模态特征转换嵌入的场景图生成框架，可对提取的视觉和语言等多模态特征进行重映射，最后使用重映射的特征进行谓语类别预测，从而在不明显增加模型复杂度的前提下构建更好的关系表示。该框架囊括并补充了现存的几乎所有转换嵌入模型的场景图实现，将四种转换嵌入模型（TransE、TransH、TransR、TransD）分别应用于场景图生成任务，同时详细阐述了不同的视觉关系类型适用的模型种类。本文所提框架扩展了传统应用方式，除独立模型之外，本文设计了新的应用方式，即作为即插即用的子模块插入到其他网络模型。本文利用大规模语义理解的视觉基因组数据集进行实验，实验结果充分验证了所提框架的有效性，同时，得到的更丰富的类别预测结...     

基于WiMAX技术和IEEE 802.16标准的固定宽带无线连接商业案例模型3

设定场景2：都市环境中的住宅用户、中小型企业用户和无线保真回程市场分区。表9和图5、图6描述了场景2的商业案例。这一部署场景覆盖的地理区域与场景1一样，但却需要通过增设37个基站来进行扩容，除了要向住宅用户市场分区提供服务外，还要满足中小型企业用户市场的容量需求，并为30个无线保真（Wi—Fi）热点提供回程连接。虽然中小型企业用户的数量还不到住宅用户数量的十分之一，但其每用户平均收益（ARPU）较高，使收入总额提高了一倍（参见图6）。与只有住宅用户的市场相比。它的投资回收期缩短了6个多月。     

红外遥感模型的辐射场景图高分辨率研究

针对红外遥感模型的辐射场景图应用过程中需要变焦的需求,研究红外遥感模型的辐射场景图高分辨率,采用TITAN模型建立红外遥感模型,分析红外遥感模型的辐射场景传输过程,并通过Cool-Torrance模型赋予红外遥感模型表面细节信息,选取基于熵变分的图像分辨率增强技术增强红外遥感模型辐射场景图分辨率,将原始红外遥感模型辐射场景图通过离散熵变分模型滤波,降低图像噪声;将新的行或列插入去噪后图像相邻行或列中,重复上述步骤实现辐射场景图放大,最终放大后图像即高分辨率辐射场景图。实验结果表明,采用该方法获取的红外遥感模型高分辨率辐射场景图峰值信噪比均高于33 dB,且具有较优的视觉质量。     

移动互联网Naming网络技术的发展

现有互联网架构缺乏统一的主机标识描述处理机制,难以满足应用业务和网络的多样性需求。本文从现有业务需求出发,研究了网络的中期发展趋势,提出了网络演进过程中衍生的技术问题以及移动互联网Naming网络技术发展的特点、适用场景。     

智慧家庭需求分析及系统设计研究

随着传感技术、计算技术和网络技术的推进发展,家庭的安全、娱乐、电器的自动控制需求爆发出来,不再是科幻电影描述的场景,文章从家庭需求出发首先分析了家庭智能化的需求,然后提出了家庭安全、电器的自动控制、娱乐系统等信息化实现方案,最后对未来智慧家庭的发展进行了展望。     

基于知识的软件可信性需求获取

针对软件系统的可信性需求获取,本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因,因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策,并且现实世界积累的软件系统失效和其引发问题的相关知识,可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足,从而帮助分析人员发现更多的软件系统的可信性需求.     

一种基于角色的特征模型构件化方法

为了解决领域特征模型混杂交织及其与需求模型过度耦合的问题,本文设计了一种特征模型构件化方法.该方法引入角色的概念,并以角色为中介设计了特征-角色-构件映射算法,将在领域分析过程中提取和抽象的特征映射到不同的构件模型上.通过角色的中介作用,方法实现了特征模型和需求模型的解耦,各个特征模型的可变点可以自由方便地选择和组合,...     

Opportunistic Grassmannian Beamforming for Multiuser and Multiantenna Downlink Communications

Scheduling in a broadcast channel based on partial channel-state-information at the transmitter is carried out in an opportunistic way. In this paper, the number of generated beams is larger than the number of available base station antennas, where the beams are obtained through Grassmannian line packing to guarantee the largest orthogonality among them. Approximate expressions and bounds are derived for the sum capacity of the proposed approach together with its scaling law. For practical systems, we show that this scheme can increase the number of serviced users under a minimum-rate-per-user requirement.     

基于使用实例模型的多媒体软件需求获取方法

针对多媒体软件开发过程中，开发者不能准确把握客户的实际需求的问题。将标准建模语言的使用实例模型技术应用于需求获取。开发实践表明，应用该方法使得在开发后期和维护阶段的工作大大简化，从而加快多媒体软件的开发进程。     

Knowledge representation and sharing using visual semantic modeling for diagnostic medical image databases.

Information technology offers great opportunities for supporting radiologists' expertise in decision support and training. However, this task is challenging due to difficulties in articulating and modeling visual patterns of abnormalities in a computational way. To address these issues, well established approaches to content management and image retrieval have been studied and applied to assist physicians in diagnoses. Unfortunately, most of the studies lack the flexibility of sharing both explicit and tacit knowledge involved in the decision making process, while adapting to each individual's opinion. In this paper, we propose a knowledge repository and exchange framework for diagnostic image databases called "evolutionary system for semantic exchange of information in collaborative environments" (Essence). This framework uses semantic methods to describe visual abnormalities, and offers a solution for tacit knowledge elicitation and exchange in the medical domain. Also, our approach provides a computational and visual mechanism for associating synonymous semantics of visual abnormalities. We conducted several experiments to demonstrate the system's capability of matching synonym terms, and the benefit of using tacit knowledge in improving the meaningfulness of semantic queries.     

Online video summarization on compressed domain

Recent advances in technology have increased the availability of video data, creating a strong requirement for efficient systems to manage those materials. Making efficient use of video information requires that data to be accessed in a user-friendly way. Ideally, one would like to understand a video content, without having to watch it entirely. This has been the goal of a quickly evolving research area known as video summarization. In this paper, we present a novel approach for video summarization that works in the compressed domain and allows the progressive generation of a video summary. The proposed method relies on exploiting visual features extracted from the video stream and on using a simple and fast algorithm to summarize the video content. Experiments on a TRECVID 2007 dataset show that our approach presents high quality relative to the state-of-the-art solutions and in a computational time that makes it suitable for online usage.     

软件开发中的需求获取

针对需求获取这一重要问题,提出了“需求陈述”和“构想文档”。“需求陈述”陈述了软件方案的需要,“构想文档”是为软件开发团队创建的,有助于开发人员明了项目的目的和范围。此外,对需求来源的确定、需求的收集方法进行了描述,对需求获取中常见的问题进行了讨论。     

Distributed Replication in Aspect-Oriented Software Architectures Using Ambients

Replication has become a fundamental requirement for distributed systems in order to avoid network overload as well as to provide fault tolerance. The objective of this work is to show how replication can be supported in an abstract and technology independent way. The work presented in this paper is called Ambient-PRISMA. Ambient-PRISMA combines PRISMA and Ambient Calculus. PRISMA is an approach for developing aspect-oriented software architectures. Ambient Calculus is a formalism that provides primitives for specifying distribution, mobility and replication. In this way, both the advantages of PRISMA and Ambient Calculus are obtained.     

一种应用于MPEG-2AAC格型自适应滤波器的FPGA实现

本文给出了格型自适应滤波器在AAC中的应用，提出了一种AAC解码器中预测模块的FPGA实现方案，该方案根据时序图进行VHDL语言的描述，并采用流水线结构和运算单元分时复用，可以有效地提高运算速度，满足实时性的要求。     

Design of a nanopower current reference with reduced process variability

In this paper we present the design of a 0.18 μm CMOS current reference based on a variability-aware approach, in such a way to obtain a very low process sensitivity of the reference current. Its relative standard deviation is 1.4 % based on measurements performed over 23 samples from a single batch. The requirement of low process sensitivity is met together with the very low power consumption of 290 nW, at the cost of a large area occupation of 0.245 mm². Key to obtain this result are the use of the “classical” bipolar bandgap topology, which can be optimized for low-power/low-spread operation so as to outperform MOS-based bandgap circuits, and the use of devices that are intrinsically more stable towards process, such as diffusion resistors.