基于时态的多级数据访问控制方法

传统的基于身份认证和存取控制的数据库安全机制存在一定的局限性,如无法防止合法用户权限滥用等非法行为。为对数据库存取控制作进一步的扩展,提出了一个基于时态的访问约束模型,以多级数据关系为基础,对数据的访问操作、查询基数和表关联进行约束。文中给出了模型定义、模拟实现及其编译方法,并显示出该模型具有良好的表达力和灵活性,可有效防止数据库内部权限滥用等非法行为。     

基于数学软件的线性规划问题

在传统的线性规划教学中,大部分时间用来计算,以致于没有足够的时间对实际问题进行分析,而我们的教学目的是为了提高学生分析问题、解决问题的能力,因此借助数学软件将计算工作交给它们完成,从而提高教学效率.     

Syntactic Analysis of Chinese/English Code-switching in Besieged City

1.Introduction Code-switching(CS), the alternating use of two or morelanguages by bilingual or multilingual speakers within oneconversational episode, either in the same conversational turnor in consecutive turns, has become an increasingly topical andim…     

MDOCEM中一种改进的启发式任务分解算法

基于多Agent的分布式开放计算环境模型(MDOCEM)中,任务分解是提高任务执行并行度的重要环节。针对有关学者提出的一种启发式任务分解算法,分析了它的特点与不足,并据此提出了一种改进的启发式算法,该算法采用目标驱动的思想,实现了对任务分解问题求取包含操作数最少的可行解的目标.     

关于序列式回缩性的注记

设α(E,E)为介于弱拓扑σ(E,E)和Mackey拓扑τ(E,E)之间的Hellinger-Toeplitz拓朴,称诱导极限(E,t)-ind(E_n,t_n)为α-序列式回缩的,若(E,α(E,E))中每个收敛于0的序列必含于某E_n且为(E,α(E_n,E_n))中收敛于0的序列.我们证明了:α-序列式回缩性蕴涵正则性.特别地,我们证明了下述结论:若诱导极限(E,t)=ind(E_n,t_n)中每个收敛于0的序列必含于某E_n且为(E_n,σ(E_n,E_n))中收敛于0的序列,则(E,t)为正则.     

一种新的机器人轨迹规划方法

本文针对机器人最小时间轨迹规划问题提出了一种二次规划的优化方法，根据轨迹作预规划，在经基础上用机器人关节速度及驱动务矩的约束条件作修正规划，得到了最小时间轨迹的优化解。该规划方法简单实用，对跟踪路径无特殊要求。     

情境语义学与可能世界语义学比较研究探析

情境语义学是一种新型语义理论，虽然它在意义和日常推理的哲学解释上获得极大成功，但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟，但它的可能世界语义学在哲学解释上却存在诸多困难。在这样的情况下，用情境语义学来改造模态逻辑，努力构造一种动态敏感且数学上严格的形式系统，就决定了今后逻辑发展的基本走势之一。     

Equilibrium equations for nonlinear buckling analysis of drill-strings in 3D curved well-bores

With the development of drilling technology,the oil/gas well has evolved from its early vertical straight form to the inclined,horizontal,plane curved,or even 3D curved well-bore.Understanding of the buckling behavior of a drill-string in a well-bore is crucial for the success of a drilling operation.Therefore,equilibrium equations for analyzing the buckling behavior of a drill-string in a 3D curved well-bore are required.Based on Love's equilibrium equations for a curved and twisted rod in space,a set of e...     

Reduced-order Kalman filtering for state constrained linear systems

This paper aims at solving the state filtering problem for linear systems with state constraints. Three classes of typical state constraints, i.e., linear equality, quadratic equality and inequality, are discussed. By using the linear relationships among different state variables, a reduced-order Kalman filter is derived for the system with linear equality constraints. Afterwards, such a solution is applied to the cases of the quadratic equality constraint and inequality constraints and the two constrained state filtering problems are transformed into two relative constrained optimization problems. Then they are solved by the Lagrangian multiplier and linear matrix inequality techniques, respectively. Finally, two simple tracking examples are provided to illustrate the effectiveness of the reduced-order filters.     

多分支多部件水下拖曳系统运动仿真

针对多分支多部件的水下拖曳系统特点,构造了杆和质点组成的通用力学结构;基于虚功原理建立系统动力学仿真模型;以仿真约束力处理浮体在水面的单双侧混合约束问题,避免了约束方程带来的复杂性。对典型系统的动态过程仿真结果表明,该模型可以获得系统的动态过程,正常收敛于稳态位置,浮体的水面约束与下沉过程均符合实际情况。