一种基于行为分析的程序异常检测方法

从系统资源保护的角度出发,分析并归纳了进程访问资源的异常行为特征,提出了一种基于行为分析的程序异常检测方法。该方法通过在运行的系统上设置资源防护检查点,采用用户模式API 拦截技术实时检测进程操作资源的行为,并运用贝叶斯算法对程序行为特征作组合分析,发现异常时进行告警。     

非函数依赖程序不变量动态检测技术研究

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势：第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。     

动态检测非函数依赖程序不变量

文章对函数依赖程序不变量和简单非函数依赖程序不变量动态生成理论、方法和技术进行了阐述,提出了一种新的简单非函数依赖程序不变量动态检测的方法.该方法利用数据库中提供的SQL强大查询功能,灵活多变地检测各种常见类型的简单非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件.     

基于模型检测的数据流异常测试技术研究

程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。     

面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.     

AUTOCAD中标准尺寸的标注方法

针对ＡｕｔｏＣＡＤ中尺寸标注变量的缺省设置不符合我国机械国家标准要求折情况,进行尺寸变量分析,并提出变量设置及标准注方法。     

程序不变量检测技术

基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式,程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性,它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结合当前主流的程序不变量研究的相关成果和基于合约的程序不变量程序设计方法,分别从源程序编配技术、测试用例生成技术、程序运行轨迹收集技术和程序不变量分析技术四个方面,对程序不变量挖掘的关键方法和原理进行了详细的剖析。     

软件的变量完整性测试方法

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率．同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准．     

ADSRX程序在风机图纸序列化中的应用

一、前言在AutoCAD绘图系统中，实现风机图纸序列化，可以有两种方法。第一种方法是采用参数化绘图方式，即编制模型级图纸的生成程序，设置有关尺寸变量，改变这些尺寸变量的数值就可以绘制出同系列不同型号风机的图纸。这种方法的缺点是源代码编制量巨大，而且对于不同系列的     

Java 语言中变量和方法的分析及其应用

详细分类说明了变量和方法的概念,分析了变量和方法在java程序设计应用过程中的内存分配问题、在继承时的覆盖问题以及静态变量和静态方法的应用问题,并给出了部分典型案例。本文的研究可以提供java程序开发人员在程序设计过程中恰当的使用变量和方法作为参考,保证开发出来的程序简洁和高效。     

Variable time-step method with coordinate transformation

The variable time-step methods for solving moving boundary problems are presented by transforming the variable space domain. This results in dissociating the mode of advancement of the boundary from the size of the space mesh. That is, a small movement of the moving boundary may be chosen for computing the time interval while the space domain is subdivided into larger space meshes. As a consequence, an enormous amount of saving in computer time may be achieved by using the proposed method. Two sample problems are selected for the illustration of the method.     

大批量定制下产品报价快速响应技术研究

分析了大批量定制生产模式下产品报价的特点，提出了需求特征变量、需求交互视图等概念．通过建立报价规则以及产品需求特征变量与产品模块相应报价间的映射，实现了基于规则的快速报价方法，并应用于电梯产品报价中。     

状态变量法在监控程序设计中的应用

本文分析了基于键语状态图和键语状态表的状态变量法,介绍了其在监控程序设计中的应用,并给出了监控程序的设计流程。     

Differentially private data fusion and deep learning Framework for Cyber–Physical–Social Systems: State-of-the-art and perspectives

The modern technological advancement influences the growth of the cyber–physical system and cyber–social system to a more advanced computing system cyber–physical–social system (CPSS). Therefore, CPSS leads the data science revolution by promoting tri-space information resource from a single space. The establishment of CPSSs increases the related privacy concerns. To provide privacy on CPSSs data, various privacy-preserving schemes have been introduced in the recent past. However, technological advancement in CPSSs requires the modifications of previous techniques to suit its dynamics. Meanwhile, differential privacy has emerged as an effective method to safeguard CPSSs data privacy. To completely comprehend the state-of-the-art developments and learn the field’s research directions, this article provides a comprehensive review of differentially private data fusion and deep learning in CPSSs. Additionally, we present a novel differentially private data fusion and deep learning Framework for Cyber–Physical–Social Systems , and various future research directions for CPSSs.     

基于滑模变结构的感应电动机直接转矩控制

针对感应电动机常规直接转矩控制中存在磁链、转矩脉动大,低速控制不精确等问题,在建立α-β坐标系感应电动机数学模型的基础上,提出了一种基于滑模变结构的新型直接转矩控制方法。该方法利用转速滑模变结构控制器代替常规直接转矩控制中的PI控制器,可有效减小常规直接转矩控制中的磁链和转矩脉动,增强了系统的稳定性。仿真结果证明了该方法的正确性。     

基于效能概念的成本参数估算模型的改进

传统的成本参数估算模型是以技术变量直接作为成本驱动因子,但是提取表征其技术先进性的参量难度较大。改进的参数估算法将效能概念引入建模过程,用作战效能变量代替了技术变量作为成本驱动因子。定义并计算了系统总体技术度,并在其基础上定义设计水平、先进程度和重新设计,改进的参数模型就是这3个新参数的函数。最后考虑了输入参数随机性对估算的影响,对模型进行了Monte Carlo仿真。改进后的参数估算模型层次可调,适用于各种复杂武器系统的成本估算。     

中国信息化的发展进程

从信息化问题的提出及国家信息化管理体制的建立、中国信息化现状、水平测试和中国部分省市信息化发展三个方面阐述了中国信息化的发展进程     

Genetic algorithm with the dynamic probability of mutation in the classification problem

A method of dynamic establishment of mutation probability in the genetic algorithm generation has been proposed in this paper. Results obtained by means of the genetic algorithm with constant and variable mutation probability respectively, have been compared. These methods have been tested on biomedical data.     

Produktgetriebene Entwicklung von Softwareproduktlinien

For the realization of software product families the software-technical concept of the software product line finds an increasing spreading. Due to the high initial costs of current methods for software product line development these methods are not suitable for small and medium-size software enterprises. The contribution of this paper is a method for software product line development which reduces costs for the establishment of a software product line, supports a product-driven advancement of product lines and enables the application of the product line approach in small and medium-size software enterprises. After an introduction to the state of the art, we analyze the requirements for the development of software product lines in small and medium-size enterprises. Subsequently, a product-driven development method is introduced which considers these requirements and supports an evolutionary development of software product lines.