基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

社会主义经济制度伦理的建构

经济制度与伦理的结合研究有助于社会主义经济制度的建立和完善,有助于推动社会主义的制度创新.文章主要从伦理学的角度探讨了经济制度问题,着重对社会主义经济制度伦理的建构原则及其建构的三个层次进行了探讨.     

模糊时滞系统的稳定性

文章考虑了T-S模糊模型的指数稳定性和模糊观测器的设计问题,利用模糊观测器的状态反馈和矩阵不等式技巧,给出了闭环系统指数稳定的充分条件.     

徇私舞弊不移交刑事案件罪若干问题探析

现行刑法规定徇私舞弊不移交刑事案件罪之后,理论及实践中对该罪的主客观要件等基本问题的争议甚多,对该罪的罪名、罪状、法定型的修订建议更是歧见迭出.文章首先根据现行立法对该罪的基本构成的相关要件进行了全面阐述,探讨了该罪在立法领域的缺陷,建议将本罪罪名更改为"故意不移交刑事案件罪",在基本构成要件中取消"徇私舞弊"和"情节严重"的规定,在规定基本法定型的基础上,规定升格法定型并明确其构成条件,总体上提高本罪之法定型.     

分布式数据库约束性关联规则挖掘

针对分布式数据库和约束条件的特点,提出了2种在分布式环境下挖掘约束性关联规则的有效算法,即基于Apriori算法的DMAIC算法和基于频繁模式树的DAMICFP算法.此外,进行了实例验证和测试分析,指出了这2种算法各自的优缺点及适用条件.研究结果表明:DMAIC算法可靠性高,通信协议简单,适用于对通信性能要求不高的分布式数据库;DAMICFP算法执行效率高,通信性能好,适用于对通信性能要求较高的多项目分布式数据库;这2种算法均能有效地解决分布式挖掘约束性关联规则的问题.     

一类不确定的非线性时滞大系统的鲁棒稳定性

针对具有分离变量的不确定时滞大规模系统,基于非线性的Lyapunov泛函和矩阵不等式的分析方法,获得了一些不依赖时滞的鲁棒稳定性判据.所考虑的不确定时滞大规模系统具有时变未知且有界的不确定参数和状态时滞,非线性的执行机构具有分离变量的形式.这类系统也可以看成线性系统的自然推广,其实际背景是把一个线性系统的部分线性元件换成了非线性元件.所获得的鲁棒稳定性判据适用于系统具有多个非线性执行机构的情形.     

营养液组份检测与控制系统的设计与实现

将动态矩阵控制引入营养液组份控制领域，并提出一种“模型改造”的方法：将激励信号引入非自衡对象，使其变为一阶稳定系统．试验结果表明：动态矩阵控制可以将营养液中的各组份浓度控制在设定值．     

An extended nonlinear state predictor for a class of nonlinear time delay systems

An extended nonlinear state predictor (ENSP) for a class of nonlinear systems with input time delay is proposed. Based on the extended Kalman filter (EKF), the ENSP first estimates the current states according to the previous estimations and estimation errors, next calculates the future state values via the system model, and then adjusts the values based on the current errors. After a state predictive algorithm for a class of linear systems is presented, it is extended to a class of nonlinear time delay systems and the detailed ENSP algorithm is further proposed. Finally, computer simulations with the nonlinear example are presented, which demonstrates that the proposed ENSP can effectively and accurately predict the future states for a class of nonlinear time-delay systems no matter whether the state variables change quickly or slowly.     

Reliable fuzzy control with domain guaranteed cost for fuzzy systems with actuator failures

The reliable fuzzy control with guaranteed cost for T-S fuzzy systems with actuator failure is proposed in this paper. The cost function is a quadratic function with failure input. When the initial state of such systems is known, a design method of the reliable fuzzy controller with reliable guaranteed cost is presented, and the formula of the guaranteed cost is established. When the initial state of such systems is unknown but belongs to a known bounded closed domain, a notion of the reliable domain guaranteed cost (RDGC) for such systems is proposed. For two classes of initial state domain, polygon domain and ellipsoid domain, some design methods for reliable fuzzy controllers with the RDGC are provided. The efficiency of our design methods is finally verified by numerical design and simulation on the Rossler chaotic system.     

综合集成研讨厅中的研讨信息组织模型

提出了用于支持群体研讨的信息组织模型,其目的是在以计算机为媒介的群体研讨中,使人们通过结构化的发言来提出方案并对其进行辩论,从而提高群体研讨效率和有效性,同时提供群体记忆的功能.作者认为,在任务导向的群体研讨中,每一条发言都具有一定的目的和指向性,而发言之间存在着各种性质的关系.因此,在这个群体研讨信息组织模型中,发言按其目的被分为主意、论证、疑问和资料等4类,不同的发言通过相关、支持、反对、补充和质疑等5种语义关系按其指向联系起来,这样研讨中的发言就被组织成一个动态的树结构.这个模型在作者开发的一个综合集成研讨厅的原型系统中已得到应用,实践表明它是可行的.