基于功耗泄漏的密码芯片指令分析

结合逆向工程思想和旁路攻击原理,利用密码芯片的旁路功耗泄漏信号对芯片指令进行建模攻击,选取指令功耗轨迹上的有效点建立指令旁路模板,并提出指令类划分方法.通过对AT89C52单片机上运行的单周期单字节指令进行分析,验证了旁路模板指令恢复的可行性.     

振动故障诊断的Petri网模型及系统实现

针对机械振动故障的传播特点,提出5种故障诊断的Petri网模型及其相应的故障诊断算法,用软件工程方法进行分析、设计和实现,得到机械振动故障诊断的Petri网系统。实践证明该方法能降低故障误诊率和漏诊率,解决复杂环境下机械振动故障诊断和故障预报的难题。     

一种基于数据挖掘的量化新增需求代码量的分析方法

需求演化频繁发生于软件项目中,并且在很大程度上影响着软件项目的成败。对需求演化的影响进行准确的估算,将有效地帮助项目管理者降低软件项目失败的风险。其中,如何量化新增需求对软件项目的影响,是一个尤其难以解决的问题。提出一种基于数据挖掘的需求演化影响的量化分析方法,将新增需求与软件项目已有需求进行聚类,对于聚类结果进行分析,能够相对准确地量化新增需求将要产生的代码量。     

安全协议的设计流程及层次模型研究

借鉴软件工程的思想,提出安全协议设计流程以及安全协议的层次模型和安全属性层次模型,并对该层次模型进行攻击分析。分析每一层面临的各种攻击手段和攻击方法,重点探讨了层间攻击,并用两个典型的例子给予说明。最后将提出的模型和框架作为安全协议工程的基础发展安全协议工程,以期最终解决安全协议设计和应用的问题。     

A representation method for performance specifications in UML domain

Performance related problems play a key role in the Software Development Process (SDP). In particular an early integration of performance specifications in the SDP has been recognized during last years as an effective approach to speed up the production of high quality and reliable software. In this context we defined and implemented a technique for automatically evaluating performance aspects of UML software architectures. To achieve this goal the starting UML model of the software architecture under exam has been mapped into a performance domain afterwards analyzed. The performance indices are inserted in the UML model exploiting the OMG Profile for Schedulability, Performance and Time Specification standard. However, to really automate the process, it was mandatory to specify the UML software representation by fixing semantic rules. The goal of this paper is the formalization of the model representation, characterizing the syntax and the semantics through which specifying performance requirements and behaviors into UML models in order to be compliant with the technique we implemented.     

基于超协调逻辑处理含有非协调信息的系统规约

随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约。     

基于蚁群算法的高速公路入口匝道控制

提出一种具有普适性的蚁群算法,该算法对参数的转移概率和信息素的计算方法进行了改进,提高了算法的全局性能,将其用于高速公路入口匝道控制器的参数寻优.建立了高速公路交通流模型,结合非线性反馈理论设计了蚁群算法优化的入口匝道PI控制器,给出了蚁群算法优化的步骤,并用Matlab软件对控制器进行了仿真研究.仿真结果表明,基于蚁...     

Multiscale computation for bioartificial soft tissues with complex geometries

The mechanical function of soft collagenous tissues is inherently multiscale, with the tissue dimension being in the centimeter length scale and the underlying collagen network being in the micrometer length scale. This paper uses a volume averaging multiscale model to predict the collagen gel mechanics. The model is simulated using a multiscale component toolkit that is capable of dealing with any 3D geometries. Each scale in the multiscale model is treated as an independent component that exchanges the deformation and average stress information through a scale-linking operator. An arterial bifurcation was simulated using the multiscale model, and the results demonstrated that the mechanical response of the soft tissues is strongly sensitive to the network orientation and fiber-to-fiber interactions.     

Axiom-based ontology matching

Abstract: Managing multiple ontologies is now a core question in most of the applications that require semantic interoperability. The semantic web is surely the most significant application of this report: the current challenge is not to design, develop and deploy domain ontologies but to define semantic correspondences among multiple ontologies covering overlapping domains. In this paper, we introduce a new approach of ontology matching named axiom-based ontology matching. As this approach is founded on the use of axioms, it is mainly dedicated to heavyweight ontologies, but it can also be applied to lightweight ontologies as a complementary approach to the current techniques based on the analysis of natural language expressions, instances and/or taxonomical structures of ontologies. This new matching paradigm is defined in the context of the conceptual graphs model, where the projection (i.e. the main operator for reasoning with conceptual graphs which corresponds to homomorphism of graphs) is used as a means to semantically match the concepts and the relations of two ontologies through the explicit representation of the axioms in terms of conceptual graphs. We also introduce an ontology of representation, called MetaOCGL, dedicated to the reasoning of heavyweight ontologies at the meta-level.     

Assisting designer using feature modeling for lifecycle

This paper presents a product dynamic model and design for X solution (DFX) developed in C++ with the OpenCASCADE geometric kernel, allowing the designer not only to get feedback on the viability of his design choices but also to collect data for process and task planning, maintenance and end-of-life strategy planning. The implemented method evaluates automatically both the efficiency factors and the incompatibilities between development characteristics in order to optimize the design of the product for multiple domains. The framework of this DFX solution, based on the product data structure, consists of imposing integration constraints concerning the development process during the entire design product process. In this paper, simple assemblies are used as brief examples to demonstrate the application of the proposed integrated design solution, its effectiveness to improve the design for X and collecting useful data for entire lifecycle duration. The method developed has been formalized with the NIAM model.