Milnor algebras could be isomorphic to modular algebras

We find and describe unexpected isomorphisms between two very different objects associated to hypersurface singularities. One object is the Milnor algebra of a function, while the other object is the local ring of the flatness stratum of the singular locus in a miniversal deformation, an invariant of the contact class of a defining function. Such isomorphisms exist for unimodal hypersurface singularities. However, for the moment it is not well understood, which principle causes these isomorphisms and how far this observation generalises. Here, we also provide an algorithmic approach for checking algebra isomorphy.     

Frequency Domain Frequency Shift for Optimal Filtering of Cyclostationary Signals

Parker, G., Frequency Domain Frequency Shift for Optimal Filtering of Cyclostationary Signals, Digital Signal Processing12 (2002) 561–589Optimum reconstruction of corrupted cyclostationary signals is achieved using the filter class known as the frequency shift filter. This filter requires the received signal to be shifted by the frequencies of cyclostationarity of the signal and with a frequency domain implementation it will often be best to effect the frequency shifts directly in the frequency domain. This paper introduces techniques for exactly achieving these shifts as well as providing more computationally efficient approximate solutions.     

模式化JAVA编程的中文处理

欲陈述解释中文问题产生的根源 ,简要地阐述相关的编码原理和 JAVA中的编码原理 ,然后系统地分析各种问题的实现方法 ,最后提出抽象问题的实质 ,根据中文问题产生的不同阶段 ,划分成不同的模块 ,用模式化的方法提出一个具有一般性的解决方法。     

Towards Weak Bisimulation For Coalgebras

This paper contains a novel approach to observational equivalence for coalgebras. We describe how to define weak homomorphisms, weak bisimulation, and investigate the connection between them as well as the relation to the known theory of bisimulation for coalgebras. The ultimate result of the paper is the correctness-proof for a weak coinduction proof principle.     

一种有效的垃圾邮件过滤新方法

受到信息粒度原理的启发，给出了一种有效的垃圾邮件过滤新方法。该方法训练过程是将训练样本集合中合法邮件类和垃圾邮件类拆分成四个小类，得到四个小类的类中心向量，从粒度原理角度来看，就是采用更细的粒度来描述训练样本的先验知识。过滤过程则将新进来的邮件分别与四个小类的类中心向量进行相似度比较，最终来判定所属类别。在公共垃圾邮件语料库上测试新方法，同时与目前过滤性能较高的KNN方法进行比较，结果显示新方法具有过滤精度高，过滤速度快等优点。     

基于Hadoop的云计算基础架构分析

Hadoop是一个可实现大规模分布式计算的开源软件平台,已经被广泛应用在云计算领域.从Hadoop分布式文件系统的整体架构入手,描述了其分布式数据存储、分布式任务分配、分布式并行计算和分布式数据库四方面的核心内容,并论述了HDFS的工作原理、文件操作流程及Map/Reduce工作原理和计算过程.目的是使开发人员能深入地...     

On the method of dynamic programming for linear-quadratic problems of optimal control in hybrid systems

For a sufficiently wide class of the linear hybrid systems, an algorithm of optimal feedback control was proposed. Consideration was given to the hybrid control systems with autonomous switching, as well as the corresponding problems of the hybrid linear-quadratic optimal control based on the recently suggested principle of maximum. Interrelations between the hybrid principle of maximum and the method of dynamic programming for the systems of this class were discussed. The classical formalism was extended, the corresponding Riccati equations were obtained, and discontinuity of the “hybrid” Riccati matrix was proved. The computational aspects of the established theoretical results were considered.     

利用许可证技术实现.NET组件和控件的授权使用

本文概述了.NET许可证技术的基本原理,并讨论了如何通过定制的许可证提供者类来实现控件或组件的更安全的授权使用方式,以及如何通过定制的许可证类来解决组件或控件的权限管理问题.     

Reducing understaffing and shift work with Temporal Profile Optimization (TPO)

The ergonomic quality of shift schedules can be improved by reducing time periods with understaffing (resulting in work-pressure, poor quality, etc.) and evening, night and/or weekend work.Improving the quality of forecasts regarding future workforce requirements as well as the optimization of work processes by moving as much work as possible to more suitable time zones are two approaches to this.We introduce and propose Temporal Profile Optimization (TPO) as a systematic approach to question the demand as well as its translation to workforce planning. Temporal profiles describe the number of employees needed over time (e.g. for different days of the week, times of day, for different calendar days) as well as the shift-times and staffing levels planned to meet this workforce demand.With Temporal Profile Forecasts we introduce a forecasting method that is based on time-stamped historical data and methodologically supplements traditional time series models like SARIMA in many ways. With Temporal Profile Reengineering we use systematic and often participatory methods from business process reengineering to identify moveable work and streamline the load lines by (re-)distributing movable work such that shifts and schedules are improved.The approach is illustrated along two business cases. Using TP-Forecasts for air traffic controllers increased forecasting accuracy whereby a different shift design was possible resulting in 3–4% less shift work. In a warehouse of an Austrian freight carrier a TP-Forecast together with TP-Reengineering helped to rearrange work processes such that the resulting workforce requirements curve had a more even form. This allowed for shorter shifts than before (thereby decreasing overtime).Experiences made so far stress the potential of Temporal Profile Optimization.     

Android智能手机天气预报系统设计及实现

在分析讨论Android应用系统设计原理的基础上,提出了Android智能手机天气实况预报系统用户界面以及获取并解析城市列表数据的设计方法,给出了在用户界面上呈现列表数据的设计过程,实现了一个简单的Android智能手机城市天气实况预报系统.系统在模拟器上通过调试并正常运行.     

Numerical study of singularly perturbed differential-difference equation arising in the modeling of neuronal variability

The objective of this paper is to present a numerical study of a class of boundary value problems of singularly perturbed differential difference equations (SPDDE) which arise in computational neuroscience in particular in the modeling of neuronal variability. The mathematical modeling of the determination of the expected time for the generation of action potential in the nerve cells by random synaptic inputs in dendrites includes a general boundary-value problem for singularly perturbed differential difference equation with shifts. The problem considered in this paper exhibit turning point behavior which add to the complexity in the construction of numerical approximation to the solution of the problem as well as in obtaining theoretical estimates on the solution. Exponentially fitted finite difference scheme based on Il’in-Allen-Southwell fitting is used on a specially designed mesh. Some numerical examples are given to validate convergence and computational efficiency of the proposed numerical scheme. Effect of the shifts on the layer structure is illuminated for the considered examples.     

Spectral algorithms for supervised learning

We discuss how a large class of regularization methods, collectively known as spectral regularization and originally designed for solving ill-posed inverse problems, gives rise to regularized learning algorithms. All of these algorithms are consistent kernel methods that can be easily implemented. The intuition behind their derivation is that the same principle allowing for the numerical stabilization of a matrix inversion problem is crucial to avoid overfitting. The various methods have a common derivation but different computational and theoretical properties. We describe examples of such algorithms, analyze their classification performance on several data sets and discuss their applicability to real-world problems.     

On the general theory of optimal processes†

A previous paper treating the problem of optimal control of systems whoso control signals belong to a pre-specified class of functions is discussed. The problem is re-examined for a broader class of systems and the results are formulated in a maximum principle of the Pontryagin type. The maximum principle states that a necessary condition for the optimal control is that the first variation of the time integral of the Hamiltonian is zero if the control function can vary in two opposite directions, is non-positive if the control function can vary in only one direction. The free end-point and the fixed end-point problems as well as the variable end-point problems are considered. The admissible controls are assumed to be piecewise continuous and bounded. The requirement of operative convexity as imposed in the related paper is lifted.     

ICT and learning: Lessons from Australian classrooms

Research into Information and Communication Technologies (ICT) in schools is well into its third decade but there is still a pressing need to better understand how computer-based technologies are influencing learning opportunities, and how the local conditions of schooling impact on teachers’ attempts to integrate these technologies in their classrooms. In this article, we provide some insight into these questions through our research in six diverse public schools in the state of New South Wales (NSW), Australia. We observed classrooms and conducted interviews with teachers and other key stakeholders, such as principals and technology coordinators about the integration of ICT. Our goal was to describe and examine the ways in which teachers, in a range of settings, are utilising ICT in their classroom practices to mediate student’s learning experiences Our findings indicate that ICT is largely being integrated in ways that support and supplement existing classroom practices. From our observations, we believe that successful integration of ICT requires fundamental shifts in the core activities of schools. These shifts include new teaching. The cases described in this article suggest some ways in which these shifts may be initiated and sustained.     

A novel continuous fractional sliding mode control

A new fractional-order controller is proposed, whose novelty is twofold: (i) it withstands a class of continuous but not necessarily differentiable disturbances as well as uncertainties and unmodelled dynamics, and (ii) based on a principle of dynamic memory resetting of the differintegral operator, it is enforced an invariant sliding mode in finite time. Both (i) and (ii) account for exponential convergence of tracking errors, where such principle is instrumental to demonstrate the closed-loop stability, robustness and a sustained sliding motion, as well as that high frequencies are filtered out from the control signal. The proposed methodology is illustrated with a representative simulation study.     

On a class of nonstationary random processes

We consider the class of random processes having linear shift operators. This class is an extension of the class of wide-sense stationary processes (which have unitary shift operators). Conditions for a process to have linear shifts are formulated in terms of the covariance function of the process. Sufficient conditions for a purely nondeterministic process to have linear shifts are given. Theorems concerning superposition, products, and linear transformations of such processes are proved, and applications are indicated. A comparison with the class of locally stationary processes is made. The essential concepts involved are also extended to generalized random processes.     

基于关联度和特征约束的软件设计模式识别方法

在程序理解和软件逆向工程研究中,找到准确和快速地描述软件的设计模式和待识别源代码的方法,对于构建合理的设计模式识别框架和高效的识别算法是至关重要的。运用无向图的邻接表和连通分量的原理,提出类与类之间关联度的概念,由待识别源代码构建一个关联类集合,旨在减小设计模式识别算法的搜索空间;根据设计模式的特征,提出基于关联度和特征约束的设计模式识别算法。对Junit、JHotDraw和JreFactory 3个开源应用程序进行的设计模式识别表明,该算法能够准确高效地完成对源代码设计模式的识别。     

宽带接入交换机中Trunking的设计与实现

Trunking是将多个物理链路聚集成一个逻辑链路从而增加网络带宽 ,增强网络稳定性的技术 .本文首先介绍了 Trunking的工作原理 ,然后提出了宽带接入交换机上 Trunking的设计方案 ,并详细阐述了具体实现过程 .本文还提出了一个基于 Trunking的流量均衡算法并对此算法的性能进行了测试 .     

The AMIDAR Class of Reconfigurable Processors

In this contribution we present a novel general model for adaptive processors. We describe its basic principle of operation and introduce several formal characterizations. The adaptive operations that are possible with this model are thoroughly discussed. The model allows runtime variations of the type and number of functional units as well as variations of the communication structure. We introduce simple heuristics to achieve adaptivity of the architecture. Experimental results show that a processor implementing this model can adapt its architecture to the requirements of diverse applications.