基于程序设计的软件水印关键技术研究

应用程序设计技术实现软件水印,比较了两种当前主流的软件水印实现方式,研究了一种与软件开发过程同步的软件水印技术,从软件水印的嵌入和提取两个方面对这种新的软件水印技术进行描述和形式化证明,开发出一个同步嵌入软件水印的示例程序来演示软件开发商信息的嵌入和提取过程。结果表明采用程序设计实现的软件水印技术可以很好地完成软件版权信息的隐藏和提取工作,是一种用于版权保护工作的有效方法。     

基于中国剩余定理的动态水印方案

针对动态图水印性能指标之间的制约关系，提出了从分解水印图变为分解水印数据以提高隐藏信息量的设计思想，分析了称为抽象水印的方案，并结合动态图水印的明显优势，给出了一种基于中国剩余定理的动态水印方案。通过分析提高了动态水印性能的策略，指出软件水印技术的进一步发展方向。     

基于非参数统计的软件水印实现方案

软件水印虽然早在上世纪就提出来了，但一直进展不大，至今还没有商用的案例。在失体介绍软件水印后，提出了一种新的软件水印方案。新方案在水印嵌入时充分利用动态软件水印的PPCT结构，并结合统计数据和利用统计方法，采用秩和检验的方法进行水印检测。最后通过实验进行了验证，结果表明新方案具有较强的健壮性，能抵御多种常见的攻击。     

软件水印实现软件版权保护

根据软件水印原理,软件水印可以应用于验?证软件版权所有。其方法是将软件版权信息作为水印内容,以可执行文件作为嵌入载体。在分析可执行文件各节结构存在一定程度的空余存储空间之后,可以利用这些空余空间或者构造空余空间,将水印信息经过加密并设计通用的策略嵌入其中。同时修改可执行文件的相关特征数据,以实现嵌入水印的隐蔽性。嵌入的水印密文可以被提取并解密,从而声明软件版权。     

云环境下的软件保护方案

分析云环境下各方通过协作完成任务的应用场景,发现该场景中存在遭受软件使用方的安全攻击,然后设计了一种云环境下的软件水印方案以抵抗该风险。通过在云计算环境中增加一个软件水印服务,该服务只能被云服务提供商访问,软件开发人员在上传软件前嵌入可见的安全标签,上传后由软件水印系统嵌入不可见水印,该水印与可见安全标签对应,如果该软件被使用方修改后重新嵌入可见安全标签并上传,则水印检测模块可以检测到该可见安全标签与提取出的水印不匹配的现象,从而告警。最后,在Hadoop框架下实现该方案,并分析了该方案的时间复杂度、漏报率和误报率。分析表明,该算法正确且能够有效地解决协作云下来自软件使用方的安全攻击。     

公开可得到的无密码水印系统的安全性分析

在许多水印商用场合，水印嵌入和检测软件作为一个黑盒子能够公开地被得到，基于这种水印系统模型，针对目前常用的三种水印嵌入方法进行安全性分析。理论分析表明，攻击者能够在保证电子产品质量的前提下很容易地删除水印，最后，提出相应的改进方向。     

混淆技术在软件水印保护中的应用研究

伴随Internet的飞速发展，软件版权面临着巨大挑战。软件水印是保护软件版权的有效手段之一。因此，软件水印也就成为盗版者攻击的主要目标。如何对软件水印实施有效保护成为亟待解决的问题。混淆技术可以降低程序的可分析性、增强软件水印的隐蔽性能，从而起到保护软件水印的作用。编排变换、控制流程变换、数据变换是混淆技术的主要方式。     

探究基于多常量编码的动态图软件水印保护技术

软件产品的普及与知识产权的保护间具备相互关联性,即软件保护技术的研发和应用是软件产业高度发展的产物,其囊括了软件指纹、软件加密和软件水印等。动态水印和静态水印是软件水印技术的两个方面,其中动态水印主要是在程序运行阶段就指令予以跟踪,进而获取水印的数据结构。本文就基于多常量编码的动态图软件水印保护技术展开讨论。     

一种Java软件水印植入虚方法的永假式构造

软件水印是近年来出现的软件版权保护技术,它通过在软件作品中嵌入版权信息(水印)来达到版权保护的目的。针对基于字节码的Java软件水印算法,提出一种永假式的构造设计方法,用于水印算法中虚方法的植入。利用Java语言的反射机制动态随机生成一个0、1字符串,对该字符串进行正反码编码和解码,得到一个始终全为0的字符串,以此作为永假式的条件,确保虚方法不被执行。永假式的构造具有良好的隐蔽性,能抵抗多种常见的水印攻击。     

带你参观能驱赶“水印”的驱逐舰

平时，我们下载到的一些图片往往带有水印要去掉，就用PhotoShop手动处理，而现在涌现了不少去水印的软件，自动化的处理，有些效果还不错，那么这些自动去水印的软件是如何实现的呢？它们怎么能分辨哪些是水印，哪些是正常图片？     

The introduction of a design heuristics extraction method

This paper introduces a novel method for analyzing conceptual design data. Given a database of previous designs, this method identifies relationships between design components within this database. Further, the method transforms these relationships into explicit design knowledge that can be used to generate a ‘heuristic-based’ model of the design domain for use at the conceptual stage. This can be viewed as a knowledge extracting method for the conceptual design stage. Such a method is particularly interesting, as the conceptual stage typically lacks explicit models to describe the trade-offs that must be made when designing. The method uses either principal components analysis or self-organizing maps to identify the relationships, and this paper describes all the elements required by the method to successfully extract and verify design knowledge from design databases.     

Creative design through knowledge clustering and case-based reasoning

New product design is inspired by the existing design. The clustering of similar design cases therefore enhances new product development (NPD). At the beginning of NPD, the success of creative design highly depends on the designers’ subjective judgments and try-and-error attempts due to its very obscure prospect. To facilitate an efficient approach for generating creative ideas, this paper proposes a new design method by integrating fuzzy relational analysis, case-based reasoning (CBR) and C-K theory. The proposed design method involves four specific sections: design criteria importance ranking; similarity measurement for design knowledge; knowledge clustering method for innovation and a step-by-step design algorithm. Moreover, a new battery buckling machinery is used as a empirical study to verify the workability of the proposed method. The contributed method shows its advantages to cultivate the inspirations from the existing design and generate creative design concepts from knowledge combination.     

多层次可拓物元基因概念设计方法的研究

面对现有概念设计方法创新层次和可操作性时常不能兼顾的困境,合理地将可拓学的冲突解决理论和生物生长中的中心法则引入概念设计过程中,以多层次产品分解粒度作为设计信息表达载体,借助可拓变换的推理机制提出了一种多层次可拓基因推理的概念设计方法,较好地解决了兼顾问题.讨论了设计方法的总体框架和相应原型系统,实例化地验证了方法和系统的可行性.     

单级低压涡轮气动设计方法研究

研究一套单级轴流式涡轮气动设计仿真程序。在通流设计阶段,融入了先进的可控涡和可变涡轮功设计思想,有着AMDC、Soderberg、Carter三种模型可供选择。仿真程序采用一种新的涡轮平面叶栅反设计方法,相比传统反设计算法,更加简单实用;在原有理论基础上,引入非均匀有理B样条曲线,改进了前、后倒圆生成方法,消除了低能阻塞区;为验证设计程序,给出了单级涡轮设计实例进行仿真,结果表明程序稳定,可以实现涡轮叶片设计,叶片通道收敛效果良好。     

Design patterns selection: An automatic two-phase method

Over many years of research and practices in software development, hundreds of software design patterns have been invented and published. Now, a question which naturally arises is how software developers select the right design patterns from all relevant patterns to solve design problems in the software design phase. To address this issue, in this paper, we propose a two-phase method to select a right design pattern. The proposed method is based on a text classification approach that aims to show an appropriate way to suggest the right design pattern(s) to developers for solving each given design problem. There are two advantages of the proposed method in comparison to previous works. First, there is no need for semi-formal specifications of design patterns and second, the suitable design patterns are suggested with their degree of similarity to the design problem. To evaluate the proposed method, we apply it on real problems and several case studies. The experimental results show that the proposed method is promising and effective.     

Stabilising feedback control schemes of dynamical systems with completely unknown saturated inputs: an adaptive design method

The objective of this paper is mainly to present a simple design method to synthesise the stabilising feedback control schemes for dynamical systems with input saturations. In this paper, such a simple design method, called an adaptive design method, is presented so that (i) the presented design method is easy to understand for the system designers; (ii) it is not necessary to know any information on the saturated input nonlinearities; and (iii) the resulting control schemes are simple and easy to implement in practical control problems. Here, a linear dynamical system with any unknown saturated input nonlinearities is used to describe this method. For such dynamical systems, by making use of the presented design method, the resulting feedback control schemes consist of a conventional optimal control law and an adaptive control gain, and the resulting closed-loop control dynamical systems are globally stable. By combining the presented adaptive design method with other control ones, a number of interesting results can be expected for a rather large class of dynamical systems with saturation in the actuators. Finally, some illustrative numerical examples are provided to demonstrate the validity of the presented adaptive design method.     

Evaluation of an optimal design method for a multilayer perceptron by using the design of experiments

We evaluated the performance of an optimal design method for a multilayer perceptron (MLP) by using the design of experiments (DOE). In our previous work, we proposed an optimal design method for MLPs in order to determine the optimal values of such parameters as the number of neurons in the hidden layers and the learning rates. In this article, we evaluate the performance of the proposed design method through a comparison with a genetic algorithm (GA)-based design method. We target an optimal design of MLPs with six layers. We also evaluate the proposed designed method in terms of calculating the amount of optimization. Through the above-mentioned evaluation and analysis, we aim at improving the proposed design method in order to obtain an optimal MLP with less effort.     

A method and advisor tool for multimedia user interface design

This paper describes a multimedia user interface design method and a design assistant tool which supports the method. The method covers specification of user requirements and information architecture, selection of appropriate media to represent the information content, design for directing attention to important information and interaction design to enhance user engagement. Guidelines for media selection and design for attractiveness, i.e. usability and user experience, are given. The method was evaluated in a case study design of a crowd control simulation training system, which demonstrated the method was usable and gave good solutions against an expert gold standard design. The tool provides advice on media selection and attention effects that match specification of the information content expressed as information types and communication goals. A usability evaluation was carried out to measure the usefulness and effectiveness of the tool in comparison to the method, and the results showed that the tool has a positive impact on multimedia design.     

线性广义系统的区间观测器设计

本文研究了连续时间线性广义系统的区间观测器设计问题.首先根据正系统的稳定性判据提出了一种基于线性矩阵不等式的广义区间观测器直接设计法,然后通过引入更多的设计自由度进一步放宽了区间观测器的设计条件,扩大了设计方法的适用范围.所提出的设计方法无需坐标变换,是一种直接设计方法.最后,通过两个仿真算例验证了所提出方法的有效性.     

Research on construction and application of gene network model for form design based on consumer’s preference

With developments in science and technology, product innovation is the key to enterprise performance in the competitive market. In consumer demand-oriented modern product design, effectively combining product design with the esthetic perceptions and preferences of consumers is a problem that urgently needs to be addressed. However, the traditional design method is completely dominated by designers without user participation. The purpose of this study was to give designers an impetus for restructuring and upgrading a design. A gene network design model was developed with the advantages of a gene network and neural network. This allowed the target elements of a product design to be obtained using a nonlinear network. Finally, a case study was used to show the detailed procedure of the design model. To reveal the advantages of the proposed model, it was compared with other methods such as a gene-based design method, an emotional design method, and a fuzzy Kano design method. The results showed that the proposed model was more efficient and scientific, and provided consumers with a multidimensional evaluation system to determine the optimal design schemes.