查询词典 piecewise monotonic function

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

This paper aims at detecting bursts of both monotonic and non-monotonic aggregates over multiple windows in data streams.

为了在数据流上检测多个滑动窗口上的单调聚集函数值和非单调聚集函数值的突变，提出了基于分形技术的构建单调搜索空间的突变检测算法。

This paper aims at detecting bursts of both monotonic and non-monotonic aggregates over multiple windows in data streams.

数据流上的突变检测技术由于其在风险分析、网络监测、趋势分析等领域广阔的应用前景而受到学术界和工业界越来越多的关注。

The school of abstract logic holds that logic deals with the validity of argument, which is completely abstracted from the context of the argument used, and is essentially deductive logic and monotonic; while the school of embedded logic insists that logic is the study of standards for good arguments in real life, therefore it is essentially non-monotonic.

对这个问题的两种不同回答，形成了逻辑学的两个学派－抽象逻辑学派和具体逻辑学派。抽象派主张逻辑学是研究有效论证的科学，具体派则认为逻辑学是研究好论证的标准的科学。

An efficent piecewise linear function model is presented, it can be used to analyze chaotic circuits with piecewise linear elements by the general circuit program PSPICE.

本文提出了一种用通用电路分析程序PSPICE对含分段线性元件的混沌电路的模拟方法，采用有效的分段线性函数模型对动态混沌电路进行分析。

For the problem that the suppression of co-channel interference and suppression of noise can't be balanced in signal-to-jamming and noise ratio maximization method for the linear precoding of multiuser multiple-input multiple-output downlink systems, an improved scheme that the term of noise variance is modified as a piecewise linear function is proposed, in which the balance between suppression of co-channel interference and suppression of noise can still be maintained even when the noise variance is a small value through piecewise modifying the term of noise variance, and thus the bit error rate and capacity of the systems are further improved.

针对多用户多输入多输出系统下行链路线性预编码的信干噪比最大化方法中，共信道干扰抑制和噪声抑制不能有效平衡的问题，提出将其中的噪声方差项修正为以噪声方差为变量的分段线性函数的改进方案。该方案通过对噪声方差项的分段修正，在噪声方差的值较小时依然能够保持共信道干扰抑制和噪声抑制间的平衡，从而使系统的误比特率性能和容量得到进一步提高。

The piecewise-linear feedback control law is off-line computed by LMI optimization problems and the on-line control computation reduces to the simple evaluation of the defined piecewise linear function, which makes the online computational efficiency significantly improved.

针对预测控制滚动优化命题的在线计算任务大，作者提出了一种基于分段反馈的离线预测控制算法，通过离线求解线性矩阵不等式优化命题构造分段反馈控制律，在线运行时只需实施满足条件的反馈控制律，极大地提高了控制器在线计算效率。

A new simplified three-dimensional piecewise continuous autonomous system (a modified model of unified chaotic system) was introduced by replacing a quadratic nonlinear term in a unified chaotic system with a piecewise linear signum function.

通过用分段线性符号函数替换统一混沌系统中部分二次项，得到一个新分段连续的自治系统(称为统一混沌系统修改模型)。

Though comparing Canny operator and center B spline dyadic wavelet, the following conclusion is proven in this dissertation: a Center B spline function has tight support and Canny operator hasn't. b Center B spline function asymptotic convergence to Gaussian function and the derivative of Center B spline function asymptotic convergence to Canny operator. c The derivative of fourth order center spline B function is more suitable as a optimal edge detector than Canny operator. d Center B spline function can balance the smoothing and approximation of original data, and the fourth center B spline function is the only optimal solution of two order smoothing problem. e The error between the valve of time-frequency uncertainty of the fourth center B spline function and the lower bound of time-frequency uncertainty does not exceed 0.143% of the lower bound. f The derivative of center spline B function can construct a stability dyadic wavelet and can give a fast algorithm for multiscale edge detection, but Canny operator can do neither.

作者给出了Canny算子与中心B样条二进小波严格的比较证明，得出如下结论：a中心B样条函数具有紧支集，Canny算子不具有紧支集。b中心B样条函数的极限收敛于高斯函数，中心B样条函数的导数收敛于Canny算子。c四阶中心B样条函数的导数比Canny算子更接近最佳边缘检测滤波器。d中心B样条函数比高斯函数更能兼顾对原函数平滑和逼近的折中要求，并且四阶中心B样条函数是二阶逼近问题的唯一最优解。e四阶中心B样条函数的时频测不准关系值与时频测不准关系下界的逼近误差不超过0.143％。f中心B样条函数的导数可以构成稳定的二进小波，存在快速的多尺度算法；而Canny算子不构成稳定的二进小波，无法给出快速的多尺度算法。

Along with the time development, the computer technology more and more thorough various trades and occupations, have provided thorougher and a convenient service for the general users In order to realize raises department's working efficiency, uses the resources fully, reduces the nonessential manpower, physical resource and financial resource goals and so on disbursement, presented various information management system The paper will design university student's dormitory information management system's Web and realizes using the solution The university student's dormitory information management system is one safe and the highly effective proprietory system, designs specially for the information engineering institute This system has used many technologies, for instance JSP, JDBC, Web service and so on The proprietory system use's database is SQL the Server 2000 databases The university student's dormitory information management system's major function includes: May realize to the student's dormitory information inquiry function, including fast inquiry function and classified inquiry function; To the student's dormitory information's input function, the revision function, deletes the function and the statistical function Realizes the dormitory Control section through the system above function regarding the student's dormitory information current management, namely facilitates the dormitory administrative personnels to keep abreast of the student lodging situation and the billeting situation comprehensively promptly; Has provided some simple data inquiry for the user and outputs each kind of information and so on

随着时代的发展，计算机技术越来越深入各行各业，为广大的用户提供了更为周到和便捷的服务。为了实现提高部门的工作效率，充分利用资源，减少不必要的人力，物力和财力的支出等目的，出现了各种各样的信息管理系统。论文将设计一个高校学生公寓信息管理系统的Web应用解决方案并予以实现。高校学生公寓信息管理系统是一个安全和高效的专用系统，专为信息工程学院设计。这个系统使用了很多技术，比如JSP，JDBC ，Web服务等。专用系统使用的数据库是SQL Server 2000 数据库。高校学生公寓信息管理系统的主要功能包括：可以实现对学生公寓信息的查询功能，包括快速查询功能和分类查询功能；对学生公寓信息的录入功能，修改功能，删除功能和统计功能。通过系统上述功能实现公寓管理部门对于学生公寓信息的日常管理，即方便公寓管理人员及时全面地掌握学生住宿情况及公寓分配情况；为用户提供了一些简单的数据查询并输出各种信息等。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。