Bivariate Scientific Function Finding in a Sampled,Real-Data Testbed

This article reports the results of a study of domain-independent function finding based on a collection of several hundred real scientific data sets. Prior studies have introduced the controversial idea of discovering functional relationships of interest to scientists directly from the data they collect. The evidence presented here supports the view that this is sometimes possible, but it also suggests how often purely data-driven discovery is not possible and how much more difficult it may be than has often been assumed. Experience with sampled examples of real scientific data suggests as well that emphasis on search in prior studies may have been misplaced. For the function-finding problems studied here, scientists typically propose only a handful of different functional relationships. The difficulty is not in searching through a large space of relationships but in evaluating a few common ones to determine if they are likely to be of scientific interest.     

智能化红外焊缝检测仪的实时信号自相关分析

详细介绍了在改进红外焊缝检测仪的过程中实时信号的一种抗干扰方法－－自相关方法。重点离自相关方法的数学模型，软件框图及设计思想，并给出了实验结果。     

Stability analysis and antiwindup design of uncertain discrete-time switched linear systems subject to actuator saturation

This paper investigates the stability analysis and antiwindup design problem for a class of discrete-time switched linear systems with time-varying norm-bounded uncertainties and saturating actuators by using the switched Lyapunov function approach.Supposing that a set of linear dynamic output controllers have been designed to stabilize the switched system without considering its input saturation,we design antiwindup compensation gains in order to enlarge the domain of attraction of the closed-loop system in the presence of saturation.Then,in terms of a sector condition,the antiwindup compensation gains which aim to maximize the estimation of domain of attraction of the closed-loop system are presented by solving a convex optimization problem with linear matrix inequality(LMI)constraints.A numerical example is given to demonstrate the effectiveness of the proposed design method.     

一种改进的灰度预测模型

灰色预测模型通常是GM模型,但预测精度有时不令人满意。在对模型GM做了进一步研究的基础上,提出了一个预测精度较高的新灰色预测模型,并从理论上证明了这种模型可以有效提高建模数据序列的光滑度。最后把此方法应用于东部某镇GDP的建模中,试验结果表明该方法是可行且有效的,所建模型的精度优于传统GM（1,1）模型的精度。     

全局优化的一类新的F-C函数

针对求解全局优化问题,有很多种求解方法。文中提出了一种快速求解一般无约束最优化问题的辅助函数方法。即F-C函数方法。该方法与填充函数法和跨越函数法相比较,既有相同点又有不同点。F-C函数法最大的优点就是在极小化F-C函数阶段中只需要进行一次局部极小化算法就能得到比当前极小值更低的目标函数局部极小点。文中在无Lipschitz连续的条件下,给出了一类新的求解全局优化问题的F-C函数。文中讨论了该F-C函数的优良性质并对该函数设计了相应的算法。最后,通过数值试验表明该F-C函数方法具有有效性和可行性。     

裂纹对石墨烯拉伸力学性能影响的数值仿真

为研究裂纹对石墨烯力学性能的影响,以锯齿型石墨烯为研究对象,基于分子动力学方法,采用Tersoff势函数分析裂纹长度对石墨烯拉伸力学性能的影响以及含有裂纹的石墨烯在不同应变率下的拉伸变形破坏过程.结果表明,裂纹长度的增加大大减小石墨烯的抗拉强度和抗拉应变,对弹性模量有一定影响;裂纹降低石墨烯的抗拉应变对应变率的敏感性,但对于含有裂纹的石墨烯,仍可以增大加载速率来提高石墨烯的抗拉性能.     

一种基于相关函数法铁磁谐振波形研究

对铁磁谐振波形进行了系统的分类分级,提出了一种基于Matlab的相关函数方法,并且利用大量数据进行对比,已经得到了效果验证,经过桂林市电力电容器责任有限公司认证,具有良好的实际效果。     

基于.NET Remoting口令系统的设计

由于B/S模式下客户机对服务器的验证困难,提出了使用Remoting程序对网站的真伪进行验证。方案实现了客户端和服务器端的相互认证、服务器端敏感信息的安全存储和每次认证产生不同的会话密钥,安全分析表明,所提的方案能有效防范钓鱼网站等的常见攻击,增加了系统的安全性。方案使用.NET进行实现,证明是可行的。     

Probabilistic heuristic estimates

Though they constitute the major knowledge source in problem-solving systems, no unified theory of heuristics has emerged. Pearl [15] defines heuristics as criteria, methods, or principles for deciding which among several alternative courses of action promises to be the most effective in order to achieve some goal. The absence of a more precise definition has impeded our efforts to understand, utilize, and discover heuristics. Another consequence is that problem-solving techniques which rely on heuristic knowledge cannot be relied upon to act rationally — in the sense of the normative theory of rationality.To provide a sound basis for BPS, the Bayesian Problem-Solver, we have developed a simple formal theory of heuristics, which is general enough to subsume traditional heuristic functions as well as other forms of problem-solving knowledge, and to straddle disparate problem domains. Probabilistic heuristic estimates represent a probabilistic association of sensations with prior experience — specifically, a mapping from observations directly to subjective probabilities which enables the use of theoretically principled mechanisms for coherent inference and decision making during problem-solving. This paper discusses some of the implications of this theory, and describes its successful application in BPS.This research was made possible by support from Heuristicrats, the National Aeronautics and Space Administration, and the Rand Corporation.     

空管系统中键盘快捷功能的研究与实现

目前国内空中交通管制系统人机界面的操作越来越趋于人性化,从可用、能用到好用的人机界面发展过程中,软件提供快捷的功能和方便的操作流程起到了很重要的作用,因此研究软件开发对键盘快捷键的支持就显得尤其重要。本文对可以实现的方法进行比较,分析实现方法的优劣,提出了一种实现键盘快捷功能的方法。