一种Java程序Chopping方法

程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chopping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。     

程序模型检测的两阶段框架

模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方法各自优缺点的分析,提出了一种两阶段程序模型检测框架,通过结合两种程序模型检测方法,可有效提高程序模型检测对较大规模程序的适用性。     

基于类跟踪的程序分析技术

本文基于信息流分析技术,提出了对对象式语言进行程序分析的类跟踪技术和类跟踪的实现方法,并基于此技术给出了一种针对对象式语言程序的程序分析和程序分片方法,对于程序分析和程序理解及程序文档化具有一定意义。     

一个形式化的程序设计方法及其实验系统

本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为程序的算法模型。这种算法模型具有通用性,它表示的程序可以等价地变换为某种程序设计语言的程序文本,如FORTRAN或PASCAL程序。 文中提出了“程序语句生成器”的概念及有关的程序变换规则,论述了利用循环不变式自动构造循环程序的原则和方法。文章还扼要介绍了应用这个方法的一个小型自动程序设计实验系统APES-82。     

ADSRX应用程序的开发与实例

本文给出了一个ADSRX程序实例,通过该实例阐述了ADSRX程序的结构,ADSRX程序的编译方法和跟踪调试方法。可将该程序作为模板程序,在此基础上增加其它的外部函数。     

面向语句分值的C程序静态评分方法

针对现有评测方法结果过于粗糙的问题,提出面向语句分值的C程序静态评分方法.定义答案程序中语句分值的表示形式,引入程序语句依赖图准确表示待判定程序的语法结构;基于语句分值及依赖关系将程序语句依赖图划分为路径片段集合,通过匹配待判定程序和答案程序的路径片段集合相似度获得程序分值.实验结果表明,相比现有评测方法,该方法能够明显提升程序评分的准确度.     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

基于不变量的程序运行保护方法

程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象.提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行.该方法根据检测出的程序不变量,配置程序保护策略.运行环境支持对程序插装保护代码,执行保护策略.实验表明方法是有效的且使用方便,保护带来的性能损失不大.     

程序开发与程序错误分类

本文结合程序开发和程序设计的基本方法,分析程序错误存在的种种不同背景,形式及一些有代表性的观点,对程序错误和程序进行分类,提供了对程序科学地进行直觉分析的若干依据和方法。     

程序缺陷自动修复研究进展及关键问题

程序缺陷自动修复是指针对程序中存在的缺陷,自动生成相应的程序补丁,进而使程序恢复正常运行.首先,根据补丁生成方式的不同,将程序缺陷自动修复方法划分为4类,分别为基于搜索的、基于语义的、基于机器学习的以及基于错误报告驱动的程序缺陷自动修复方法.基于搜索的程序缺陷自动修复方法运用启发式算法在搜索空间内通过搜索生成程序补丁;...     

m子序列的密码学性质研究*

文中所提m子序列是根据m序列的状态转换特征,通过交叉改变状态转换次序而形成新的序列。通过随机性测试软件（NIST）验证m子序列具有和m序列相似的随机性,使用BM算法可以得出这种伪随机序列具有非常高的线性复杂度,同时验证了其补序列也具有非常高的线性复杂度,并说明m子序列具有良好的线性复杂度谱,抗线性攻击能力强。m子序列的数量庞大,一个周期为 的m序列,改变反馈函数就可以至少产生 个m子序列。产生m子序列的反馈函数经证明具有良好的代数免疫度,抗代数攻击能力较强。m子序列具有良好的密码学性质,应用前景良好。     

Vague故障诊断方法在振动故障诊断中的应用

提出模糊数据[hij]化成Vague数据[hij]的转化公式：[Ki(hj)=hij=[tij,1-fij]=(hij)2,(hij)1/2],以及Vague集[H]和[G]之间的相似度量公式：[Mm(H,G)=1ni=1n3-f(m)hi-f(m)gi-c(m)hi-c(m)gi-d(m)hi-d(m)gi3+f(m)hi-f(m)gi+c(m)hi-c(m)gi+d(m)hi-d(m)gi]。应用Vague故障诊断方法,进行汽轮发电机组的振动故障诊断,其效果是理想的。     

Semantics of context-free languages

Meaning may be assigned to a string in a context-free language by defining attributes of the symbols in a derivation tree for that string. The attributes can be defined by functions associated with each production in the grammar. This paper examines the implications of this process when some of the attributes are synthesized, i.e., defined solely in terms of attributes of thedescendants of the corresponding nonterminal symbol, while other attributes are inherited, i.e., defined in terms of attributes of theancestors of the nonterminal symbol. An algorithm is given which detects when such semantic rules could possibly lead to circular definition of some attributes. An example is given of a simple programming language defined with both inherited and synthesized attributes, and the method of definition is compared to other techniques for formal specification of semantics which have appeared in the literature.     

生成de Bruijn序列的加元算法

提出一种加元算法,通过对给定的一个m+1元的de Buijn序列添加一元来产生m+2元de Bruijn序列。实现的方法是通过由一个m+1元de Bruijn序列找出它的Look-up表标签,并由该Look-up表标签产生多个m+1元Look-up表标签,然后合成这些Look-up表标签产生一个m+2元Look-up表标签,再由它产生m+2元de Bruijn序列。     

面向虚拟现实环境的任意形状模型的开发

提出了一种基于网格数据结构的对存在于计算机中任意形状模型进行直接变形操作的方法。用多层分辨率方法解决了不同变形范围的问题,并提出了此方法所需的接触判断的高速算法和变形算法,通过实验证实了此方法的有效性,支持了虚拟空间的三维形体创造活动。     

改进的并行ORTHOMIN（m）算法

通过利用ORTHOMIN（m）算法的固有性质,消除ORTHOMIN（m）算法的内积计算数据相关性,给出了一种改进的ORTHOMIN（m） （IORTHOMIN（m））算法。同ORTHOMIN（m）算法对比,IORTHOMIN（m）算法与ORTHOMIN（m）算法有相同的收敛性,在基于MPI的分布式存储并行机群上进行并行计算时,同步开销次数减少为ORTHOMIN（m）算法的一半。数值计算结果与理论分析表明改进的IORTHOMIN（m）算法的性能要优于ORTHOMIN（m）算法。     

几种彩色模型在不同光照条件下的稳定性分析

彩色图象虽然比灰度图象多了一个色彩信息，但在彩色图象的获得过程中往往容易受到环境光线的干扰，这对彩色图象的处理和分析带来很大的困难，本文利用二色反射模型对几种彩色模型的光照稳定性进行了分析，然后用颜色试验进行了验证，结果表明，rgb和HS在白光下具有光强不变性，mlm2m3在不同强度和颜色的光照下都表现了较高的稳定性，经改进的m1m2m3(n1n2n3)减弱了噪点的影响，稳定性更好。     

A review of Nyström methods for large-scale machine learning

Generating a low-rank matrix approximation is very important in large-scale machine learning applications. The standard Nyström method is one of the state-of-the-art techniques to generate such an approximation. It has got rapid developments since being applied to Gaussian process regression. Several enhanced Nyström methods such as ensemble Nyström, modified Nyström and SS-Nyström have been proposed. In addition, many sampling methods have been developed. In this paper, we review the Nyström methods for large-scale machine learning. First, we introduce various Nyström methods. Second, we review different sampling methods for the Nyström methods and summarize them from the perspectives of both theoretical analysis and practical performance. Then, we list several typical machine learning applications that utilize the Nyström methods. Finally, we make our conclusions after discussing some open machine learning problems related to Nyström methods.     

Generation of summary and difference frequency radiation in the field of few-cycle laser pulse propagating in periodically-poled lithium niobate

The results of numerical study of the generation process of summary and difference frequency radiations (SFR and DFR) arising via interaction of linearly polarized a few-cycle laser pulses propagating in a quasi-phase-matching (QPM) LiNbO₃ crystal is present. Considered the interaction of pulses having the central wavelengths of 0.81 μm, duration of 10 fs with the electric field amplitude 600 MV/m, propagating along the normal to the optical axis. The period of QPM LiNbO₃ crystal in numerical simulations is 12.6 μm and chosen such that QPM generation of DFR takes place at 3 μm. It is shown that at this period take place the simultaneous QPM for SFR at 0.41 μm, 0.36 μm, 0.33 μm, and 0.31 μm and for DFR at 3 μm wavelengths respectively.     

Anxiety as a factor in underwater performance

Thirty-two divers were divided into four groups. Each group made one dive to 6 m or 30 m in day or night conditions. Measures of manual dexterity, time estimation and cognitive performance were obtained on the surface and under water. Heart and respiration rate were monitored prior to water entry and during the dive. A self-report anxiety questionnaire was presented before and after the dive. Heart rate dropped under water in the 6 m groups and rose in the 30 m groups while respiration rate remained elevated throughout. Self-report anxiety fell in the 6 m groups and increased in the 30 m groups. A 14–30% decrement occurred in manual dexterity at 6 m and a 45–47% decrement at 30m. Cognitive performance improved at 6 m but there was a 26–36% decrement at 30 m. While time estimation varied widely on the surface all groups tended to overestimate a time standard under water in comparison with the surface. The results support the notion that anxiety is a contributory factor in the decrement of performance under water.