基于随机数的复杂控制流程序迷惑设计

对于软件安全及其知识产权问题,软件保护技术的应用是非常必要的。利用软件保护中的迷惑技术,提出了基于随机数的复杂控制流程序迷惑算法,该算法同样适用于分支结构和循环结构的程序中。在保持程序功能的同时,增加了静态分析的难度,程序中拥有的方法越多,其静态分析的代价越大。该迷惑方案适用于面向对象程序。     

一种关于PHP源代码安全漏洞的静态检测方法

PHP脚本语言是一种当前比较流行的服务端脚本语言,多用来开发Web应用程序。文中介绍了一种针对PHP的静态缺陷分析方法,能有效检测出PHP中常见安全缺陷,如SQL注入、XSS等,文中给出了对当前比较流行的几个开源PHP工程的检测结果,其中大部分缺陷是可以远程利用的。     

通过静态分析提高程序测试的效率

静态分析器是一种初步具备处理数据对象的测试程序，它是融编辑，语法分析和静态语义检查为一体的软件工具，本文阐明了静态分析器在软件开发环境中的作用和意义。     

静态程序的合法性检查研究

介绍了静态分析软件合法性的规则、算法思想以及模块、迁移标的数据结构，分析了模块之间存在的各种可能的关系以及其对应关系应采取的算法策略，并具体分析了如何进行程序设计来满足测试的要求。     

基于Soot的Java程序竞争静态检测工具设计

设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.     

静态时序分析及其在IC设计中的应用

讨论了静态时序分析算法及其在IC设计中的应用。首先，文章讨论了静态时序分析中的伪路径问题以及路径敏化算法，分析了影响逻辑门和互连线延时的因素。最后通过一个完整的IC设计流程介绍了静态时序分析的应用。     

具有带宽约束的静态多播路由算法

网络通信中的多播分为单树多播和成组多播。本文研究具有带宽约束的静肪多播路由问题,分别建立了基于带宽约束的单树多播和成组多播的数学并构造了相应的路由算法,利用此算法可使成组多播达到全局最优。     

一种电子电路的静态分析方法

在非线性电子电路的静态分析之中,提出了一种数值计算方法———Newton-Raphson迭代法。该方法是在建立起电子电路的结点电压方程之后,应用Newton-Raphson迭代,从而可获得电路结点的直流电压。这种分析方法具有计算简单、准确等特点。     

基于PDMS的静态微流体混合器的制作与仿真

通过采用模塑法制成一种基于聚二甲基硅氧烷(PDMS)的静态微流体混合器.根据流体动力学理论对其进行了理论分析,并给出了两种流体混合的仿真分析结果.对以数值模拟为依据制作的微流体混合器进行了水与红墨水的混合实验,获得了相吻合的结果.     

双语法规则程序依赖性分析

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。     

基于层次化随机游走算法的静态P/G网分析

将随机游走法和层次法相结合,采用层次化随机游走法对静态P/G网(Power and Ground Networks)进行分析.针对大规模的电路,在通过多层的参数提取和建模得到静态P/G网模型后,运用层次法将P/G网分割,在子网内采用随机游走法,并且在此基础上比较5种加速算法.实验数据表明,改进的双共轭梯度(BCG)随机游走法的计算速度是普通随机游走法的6倍以及是层次法的14倍.新方法有效地节省了计算时间,有益于对P/G网的研究.     

分布式情境感知分层模型设计与角色分析

情境感知是普适计算环境的本质特征之一.本文提出了一种面向分布式情境感知的分层模型,通过情境资源的空间划分,刻画了传感器到情境知识的逐层抽象的特质.同时,分层模型对情境感知系统中的角色及角色间的关系进行了有效规约.本文通过与经典的Context Toolkit模型比较,证明了分层模型的运行时负载低的优点;通过模型的主动性分析,验证了情境感知主动性对系统数据收发负载的正反比影响.分层模型将在分布式情境感知系统部署和配置中发挥重要作用.     

多层蜂窝系统双向溢出呼叫模型及分析

该文给出了N层蜂窝覆盖系统双向呼叫溢出信道指配策略的一般模型及分析方法,并给出了一个4层模型分析结果。通过设定不同参数,该文方法可用于分析任意多层蜂窝系统双向溢出、单向上溢出、单向下溢出、部分双向溢出和部分单向溢出等呼叫溢出策略。     

A Model for Static Conflict Analysis of Management Policies

Management of today's distributed systems is becoming increasingly complex. There is an obvious requirement for a flexible mechanism to help manage such systems. Rule-based management is one such mechanism. However, in order for rule-based management to become widely usable a method is required by which conflicts between management policies (defined as rules) can be identified and resolved. This paper creates a set theoretic model for rules as a trituple of the relationship between the subject, action and target of a policy. It also identifies two classes of policy set — 'syntactically easy policy set' (SEPS) and 'syntactically non-easy policy set' (SNEPS). SEPSs are policies which are sets of all the Cartesian products of its subjects, actions and targets, whereas SNEPSs are only a subset of that Cartesian product. Conflict analysis of SEPSs has been handled in other papers; this paper addresses conflict analysis of SNEPSs. A method for resolving conflict is suggested. The paper also raises some issues that arise when considering a database of policies.     

Dynamic Threshold Delay Characterization Model for Improved Static Timing Analysis

Transistors within a gate take a finite amount of time to switch and hence there is always a propagation delay associated with it. These delays are evaluated by standard cell characterization techniques using EDA tools. However, these standard measurement methods tend to fail when simulating the design with practical values of slope and load and gives rise to the problem of negative or non-monotonic delays. Negative/non-monotonic delays lead to false positives during static timing analysis, synthesis and simulation of circuits and are undesirable. Hence, there is a need to implement new methods for characterization of propagation delay that will lead to more realistic monotonic delay values, ultimately achieving early timing closures. One such method of delay measurement based on actual switching thresholds has been proposed in this work.     

基于均一化模型的MFC悬臂梁静态变形分析

采用基于平面应力假设和二维周期性位移场假设的均一化模型分析了P1型粗压电纤维复合材料(MFC)致动器的宏观性质,研究了该模型对于MFC悬臂梁静态变形分析的适用性。ANSYS仿真结果表明,该模型适用于分析MFC悬臂梁静态变形,采用该均一化模型与不采用均一化模型相比,悬臂梁挠度的相对误差不超过5.77%,且该均一化模型中压电应力矩阵的e32分量对梁挠度的影响(e32效应)为次要因素。在采用该均一化模型的基础上进一步忽略其e32效应与原均一化模型相比,粱挠度的相对误差不超过1.36%。     

基于新工科的多元协同人才培养评价层次分析模型

教育部新工科建设已经成为高校持续深化工程教育改革的风向标,旨在加快培养社会急需的卓越工程科技人才。文章阐述了基于新工科的多元协同工程人才培养评价内涵,从培养理念、培养机制、师资队伍和培养目标质量监控等方面,构建评价指标体系及层次结构模型,运用层次分析法设计指标权重和排序,对多元协同育人的工程人才培养新模式进行探索分析,为进一步深化工程教育改革提供一种量化分析方法,并进行了一致性效验,效验结果验证了模型结构及权重设置的正确性和有效性     

移动IPv6分层式路由管理模型的分析与研究

分层移动IPV6协议减少了注册延迟，但仍具有路由不够优化等问题。通过分析HMIPv6．提出一种基于分层机制的移动IPv6路由管理模型。该模型支持路由优化，能在域内、域间移动时实现快速切换以减少延迟．提高网络资源利用率。仿真分析结果验证模型的有效性．     

基于模块的层次化模型判别

模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计，往往是由多个相互关联的部分组成，利用此特点，本文提出一种基于模块的层次化建模方法，通过对设计描述进行分析。并结合待验证的性质，达到提高模型判别器性能的目的。实验表明，用这种模型可以实现状态数的有效减少。     

网络访问控制的层次模型

划分安全域是保护资产的一项重要措施。面向安全域划分的需要,提出了网络访问控制的层次模型,把网络访问控制划分为网络边界访问控制、安全域边界访问控制、主机网络访问控制3个层次,并探讨了网络组织、非军事区、地址转换、访问控制策略等关键问题。网络访问控制的层次模型有效地做到了纵深保护信息资产的目的。