基于MapReduce模型的并行计算平台设计

现如今人们的生活已经进入了互联网时代,每天网络上都会形成海量的数据。对于互联网企业而言,需要对大量的数据进行系统分类,以便能够找寻对自身有价值的信息。MapReduce是一款能够用于大型计算机集群并发处理大量网络数据的模型,本文对该模型进行了系统的分析与研究,提出了一种更为通用且可扩展的平台。     

复杂网络零模型的量化评估

针对随机置乱算法生成复杂网络的零模型时,因不同阶次零模型成功置乱概率的差异导致难以准确判断零模型何时能够趋于稳定的问题,定义了"成功置乱次数"的概念,并提出使用"成功置乱次数"替代传统的"尝试置乱次数"进行算法设定。提出的成功置乱次数指标仅在随机选择的边满足相应阶次零模型的置乱条件从而被成功置乱后进行累加。各阶次零模型生成实验表明,使用该算法设定方式后各网络拓扑指标均能在较小的成功置乱次数范围内趋于稳定。进一步的量化分析表明,按阶次分别设定成功置乱次数为网络边数的2倍、1倍、1倍即可得到质量较好的0阶、1阶、2阶零模型。     

基于角色模型构建的平台无关模型

MDA把模型分为PIM和PSM,通过PIM到PSM的转换,实现PIM的重用。如何构建PIM是一个重要课题,该文提出了一个基于角色模型的PIM建模方法。该方法首先建立系统用况的角色模型,然后通过角色的组合和分配约束,把角色模型转换成类模型,在不同抽象层次实现模型的重用。最后通过一个Web Application的建模过程说明该方法的使用。     

基于模型的无人机平台管理系统自动测试研究

为实现某无人机平台管理系统的功能逻辑测试,开发了一套通用化的测试设备和测试用例编辑工具;通过总结被控系统的静态及动态特征,用编辑工具生成的测试用例模拟了各系统,建立了系统模型;测试过程中,测试设备的激励信号按条件或时序自动发送,测试用例与平台管理系统完全自主交互,实现了平台管理系统功能逻辑的自动测试;该自动测试方法可以将现有的多个测试用例组合,方便地编辑复杂自动测试用例;通过复杂的测试用例实现了多通道并行自动测试、多被控系统的全任务流程自动测试;该自动测试方法减轻了测试人员负担,使得测试效率提高了4倍,节省了约80%的测试时间。     

基于平台的SOC设计方法研究

论文分析了可重用设计方法和软硬件协同设计方法,提出了一种适合基于平台设计的更细粒度、可更快捷地实现设计重用和软硬件协同设计的结构。     

基于参数化模型的设计计算服务

针对工程设计中设计者需要学会操作过多的仿真分析软件并需要在具备其它学科专业知识的基础上为设计对象建模的问题,提出了一种让设计者借助网络服务平台完成工程设计计算任务的方法.设计者可以通过服务平台,选择由外部其他专业人员已构建好的参数化设计计算模型,在适当地进行远程外部定制函数链接和模型参数在线设置之后,即时获得服务器远程计算后的仿真计算结果.上述思想方法通过开发计算服务平台提供发动机设计仿真分析服务得到了验证.结果表明,这种服务平台可以为机械领域设计者进行诸多仿真计算工作,大大减轻了设计者的建模工作量,提高了设计工作效率,同时避免了因专业知识不够而无法正确建模的问题.     

Sakai平台下脚手架模型的设计

通过在Sakai网络平台中设置脚手架工具模型,从而满足个性化教学的需求和最合适地帮助学习者自主学习,使学生产生学习障碍后得到有效的解决,进而让学习者根据自身实际情况进行选择性学习。     

基于生产模型的制造执行系统平台研究

介绍了一个基于SP95标准的制造执行系统平台,分别从基础框架、模型构建等角度描述了系统的设计思想,并阐述了系统涉及的基于事件的平台运行机制、事件模型设计等关键设计技术.开发的基于数字化生产模型的制造执行系统平台具有一定的可集成性、可扩展性和可重构性,可适用于装配生产企业MES系统的定制与快速开发.     

可重用集成设计单元模型研究

设计重用技术的核心是可重用对象的建模问题。该文提出可重用集成设计单元,用它来表达、组织和管理可重用的信息。首先给出了可重用集成设计单元的定义,分析了它的特点;然后建立了可重用集成设计单元的信息模型;随后讨论了可重用集成设计单元的建模技术———面向对象技术及元数据(Meta-data)管理技术。接着提出了两种建立可重用集成设计单元的方法:有目的地建立可重用集成设计单元和从已有资源中挖掘提取可重用集成设计单元。最后,阐述了在PDM系统上通过出版/订阅(Publish/Subscribe)方式建立可重用集成设计单元库的具体实现方法。     

基于螺旋模型的Web教学平台的设计与实现

以华文写作在线Web教学平台为实例，介绍了螺旋模型速代演化的软件开发过程．阐述了该教学平台的功能模块及设计方案．采用ASP．NET、SQL Server2000等技术以B／S架构方式实现了系统功能设计。在平台的开发过程中强调了螺旋模型的每一轮风险分析、用户需求分析厦功能优化。     

A Quantitative Approach to Software Development Using IEEE 982.1

Although software's complexity and scope have increased tremendously over the past few decades, advances in software engineering techniques have been only moderate at best. Software measurement has remained primarily a labor-intensive effort and thus subject to human limitations. The Space Shuttle's avionics software is an excellent example of how applying standards such as IEEE 982.1 can help alleviate human limitations by providing a quantitative roadmap to answer key questions     

A Graph Approach to Quantitative Analysis of Control-Flow Obfuscating Transformations

Modern obfuscation techniques are intended to discourage reverse engineering and malicious tampering of software programs. We study control-flow obfuscation, which works by modifying the control flow of the program to be obfuscated, and observe that it is difficult to evaluate the robustness of these obfuscation techniques. In this paper, we present a framework for quantitative analysis of control-flow obfuscating transformations. Our framework is based upon the control-flow graph of the program, and we show that many existing control-flow obfuscation techniques can be expressed as a sequence of basic transformations on these graphs. We also propose a new measure of the difficulty of reversing these obfuscated programs, and we show that our framework can be used to easily evaluate the space penalty due to the transformations.      

GAP: A General Approach to Quantitative Diagnosis of Performance Problems

Quantitative performance diagnosis (QPD) provides explanations that quantify the impact of problem causes. An example of such an explanation is it Increased web server traffic accounts for 90% of the increase in LAN utilization, which in turn accounts for 20% of the increase in web response times. This paper describes GAP, a general approach to quantitative performance diagnosis. GAP has two parts: (1) an algorithm for computing quantitative performance diagnoses; and (2) a framework for constructing diagnostic techniques that provides the basis for quantifications produced by the algorithm. The GAP algorithm makes use of a measurement navigation graph, a directed acyclic graph whose nodes are measurement variables and whose arcs have weights that quantify the effect of child variables (e.g., LAN utilization) on parent variables (e.g., response time). The framework for developing diagnostic techniques consists of (a) the choice of statistic (e.g., mean, variance) to aggregate problem values, and (b) the estimator of the statistic.     

基于ASP的机电产品网上销售平台的研究

以ASP(Application Service Provision)哲理为基础,提出了一种机电产品网上销售系统模型,讨论了基于Java方案的系统基本组成与结构框架,并对相关使能技术、以及支持这些使能技术实现的Web数据库设计问题进行了描述.最后,通过一个应用实例说明了该网上销售平台的实用性.     

用HOQ拓展概念的软件描述及其定量结构化方法

为了改善软件的质量和生产性,注目于与其密切相关的软件结构.首先,讨论了现有方法中软件结构分析和设计的问题;然后根据质量设计中的质量屋HOQ(house of quality)与产品设计中的工程图之间的相似性,将质量功能展开QFD(quality function deployment)中的质量屋HOQ概念扩展成一种软件描述工具,并引入H.A.西蒙的系统准分解可能性原理,提出了基于数量化理论3类QMT3(quantification method of type 3)的软件定量结构化方法,再通过与现有方法的比较分析,阐明了该方法的特点;最后,通过应用实例验证了该方法对软件结构分析和设计的有效性.因而为软件质量保证提供了有力的支持.     

一种主机系统安全的量化风险评估方法

随着信息技术安全问题的日益突出,信息安全产品的开发者纷纷寻求可信的第三方的安全评估,而目前针对主机软件系统的评估方法都存在着一定的缺点。该文结合软件系统的弱点信息,提出了一种主机系统安全的量化风险评估方法,并以评估实例分析了评估算法,最后阐明了本评估方法的优势。     

云存储中基于可信平台模块的密钥使用次数管理方法

为保护云存储中数据的机密性并控制密钥的使用次数,提出了一种基于可信平台模块的密钥使用次数管理方法.首先,通过基于密文策略的属性加密算法对密钥加密,使得只有满足一定属性的指定用户能够解密密钥.然后在本地将密钥与可信平台模块绑定,保证密钥的安全存储,并利用可信平台模块的物理单调计数器为每一个密钥生成一个虚拟的单调计数器.其次,通过比较单调递增的计数器值和预定的密钥使用次数值,判断密钥是应被删除还是能继续使用,从而控制密钥的使用次数.最后,利用可信平台模块的防物理篡改功能、计数器的单调性和数字摘要防止攻击者对硬盘数据进行重放攻击.实验结果表明,所提出的方案性能开销小,能够安全有效地存储和保护密钥,达到密钥使用次数受限制的目的.     

量化粗糙集的单调性属性约简方法

单调性在经典粗糙集属性约简过程中发挥着重要的作用。然而,在一些泛化模型(如量化粗糙集模型)中该性质并不存在。针对该问题,提出了量化粗糙集模型中下近似单调约简的定义,并给出了求得该约简的启发式方法。实验结果表明,相较于下近似保持约简算法,下近似单调约简算法不仅耗时短,而且增加了由正域和边界域表示的确定性,同时降低了由边界域带来的不确定性。     

Risk Aversion: A Qualitative Approach and Quantitative Estimates

The qualitative concept of the risk aversion is defined in terms of a preference relation on a set of probability distributions. Risk aversion is quantitatively expressed in terms of representing functionals (risk measure). The relationship between risk aversion and stochastic dominance is investigated. Formulas for computing risk aversion in a perturbed probability model are derived and numerical examples are given.