移动环境下实时事务处理

1 引言实时数据库就是其中的事务和数据都可能有时间限制的数据库。近些年来,越来越多的研究人员对于移动实时数据库系统(Mobile Real-Time Database System:MRTDBS)中高效的事务处理方法进行了研究,一般认为移动实时数据库就是移动环境(如GSM网络和无线局域网)所支持的实时数据库系统。对于实时事务来说,其完成时间一般有相应的时间约束,满足事务截止时间约束往往比事务逻辑完全正确更重要,例如对于股票查询的延迟响应会导致失去很好的交易机会。为了满足事务的截止时间约束,人们提出了不同的事务调度技术和并发控制协议。     

移动实时数据库系统中的更新分发

数据广播作为移动计算环境下有效的数据分发技术已有许多研究,当数据广播用于发送不断更新的数据时称它为更新分发．现有的更新分发协议因没有考虑实时数据库系统中数据和事务的定时要求而不适合移动实时只读事务的处理．重点研究了移动实时数据库系统中更新分发的问题,提出了混合前向多版本数据广播协议,该协议在保证事务一致性的同时满足了数据和事务的定时约束．模拟实验表明,该协议能够有效地降低事务错过率和提高数据流行性,较现有更新分发协议更适合移动实时只读事务的处理．     

分布式实时数据库并发控制

在集中式实时数据库中，事务并发控制一般采用基于优先级的事务重启或优先级继承．在分布式实时数据库中，由于一个主事务的各参与事务可能分布在多个节点上，事务重启一方面会造成系统资源的极大浪费，另一方面又会加大网络传输的负担．而在优先级继承策略中，被阻塞的高优先级事务的执行完全依赖于阻塞它的低优先级事务，在分布式环境中，事务的执行具有更多的不可确定的因素，这就很难保证被阻塞事务的截止期．本文提出了一种基于数据多映像的并发控制协议，事务因访问数据而形成不同的依赖关系，改变高优先级事务和低优先级事务的依赖关系从而更有利于高优先级事务而又不矢折或阻塞其他事务，从而大大提高事务执行的并发度，更好地满足实时事务的截止期．     

实时内存数据库分区模糊检验点策略

检验点技术是实时内存数据库恢复的关键技术之一．在分析实时内存数据库数据特征基础上,给出了综合考虑数据和事务定时约束的数据检验点优先级计算方法．然后,结合内存数据库段式存储结构,讨论了一种基于数据段检验点优先级的分区模糊检验点策略PFCS—SCP．通过性能测试,表明所提出的检验点策略能减低超截止期事务比率．     

基于语义事务分解的可串行性

数据库应用中长事务的出现严重降低了系统的性能，一些研究者为解决这一问题提出了利用事务的语义信息对事务进行分解的方法，但所得结论仍然存在缺陷．本文从用户定义的后续集出发给出了正确步进串行历史的概念，可以很容易证明正确步进串行历史是用户可接受的正确历史，并以此作为判定一个历史是否正确的基础．重后，证明了当用户给出的后续集满足约束2时，优化前驱图的无环性是判定一个正确历史的充要条件．     

基于UML顺序图的测试方法

本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图．即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的事件系列。最后根据测试准则采用类似于类别一划分方法进行测试用例的生成。另外，我们将此方法应用于一个简化的DHCP协议．解释了方法的一般过程以及方法的可行性。     

一种修改NURBS曲线形状的新方法

曲线曲面的形状修改是计算机几何造型过程中的重要部分．文章提出了一种修改NURBS曲线的新方法，使得修改后的曲线在多个参数点处满足用户给定的几何约束(如点约束、切矢约束)，首先引入了一些新的概念如：局部曲线、总曲线、多余约束和多余曲线等．对于每个参数点分别计算出一系列满足该点处几何约束的局部曲线，并由此构造了总曲线．接着插值一条满足多余约束的多余曲线．最后运用构造Coons曲面的思想，计算出最终的修改曲线，它等于总曲线减去多余曲线．同时我们发现两种现存的修改NURBS曲线的方法是一样的．实例表明此方法适用于CAD软件系统。     

基于信息约束的数据库查询界面的自动生成

在分析了现有数据库用户查询界面和条件生成在数据库应用中存在的问题后，基于面向对象的概念，提出了可视对象数据描述表结构、信息来源和取值方式等约束的用户查询界面和条件的生成方法，并给予了形式化描述。查询条件的生成采用的是合取范式的标准形式，用户界面的生成采用了标准的可视对象。该方法已经得到了实现，并在实际系统中获得了应用。     

支持分布式合作实时事务处理的协同检验点方法

在实时事务执行时，事务故障或数据竞争会导致事务重启，为减少事务重启损失的工作量，可以采用检验点技术保证事务的时间正确性．在一类分布式实时数据库应用中，不同结点的事务通过消息交换形成合作关系，为保证合作事务间的全局一致性，当某一事务记检验点时，相关事务也要记检验点．传统协同检验点方法没有考虑应用的定时约束，不能很好地支持分布式合作实时事务处理．该文提出了一种基于图论的协同检验点方法，利用在每个计算结点上为每个合作事务集维护的局部有向图，使用一个基于图论的计算过程标识出应记检验点的事务，该方法既具有最小协同检验点特性，又使全局检验点的时延最小．实验表明该算法减少了全局检验点时延，有利于实时事务截止期的满足．     

基于知识的装配前趋约束图的生成

装配前趋约束图的生成是装配规划的关键环节，也是其中最困难的一步.该文在讨论了几种装配前趋约束图生成方法的具体实现以及它们的优缺点之后，提出利用几何知识和装配经验知识相结合的方法，建立装配知识库/数据库，给出了几种在复杂度上可行的解决方法.最后给出结论，并简单地讨论了结合知识的数学算法的优越性，同时讨论了今后发展的方向.     

Approximate discrete maximum principle for the difference approximation of optimal periodic control problems

Distinctive features of the difference approximation for optimal periodic control (OPC) problems are considered. It is shown that the convergence conditions on approximate solutions imply consistency conditions on the time grid step and the accuracy of the periodicity constraint approximation such that the approximate discrete maximum principle holds for a sequence of discretized problems. A specific form of this principle when applied to the difference approximation method for OPC problems is analysed and computational methods are discussed. Application of this approach to a class of systems non-linearly dependent on control variables, and occurring in the chemical industry, is suggested.     

基于逻辑一致性判定的广义不透明谓词检测方法

不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对程序恶意性判定的影响,以广义不透明谓词后趋依赖的属性为依据,结合逻辑恒定判定,提出了基于逻辑一致性的广义不透明谓词检测方法。通过静态分析提取谓词前置条件约束、后趋逻辑约束和谓词判定表达式,以相交基本块搜寻初筛谓词,并依据约束求解方法判定广义不透明谓词。构造原型系统并进行测试,结果表明该方法能精准高效地检测出恶意代码中的不透明谓词。     

三维装配几何约束组合的分类求解策略

针对两个刚体之间的三维几何约束求解问题,依据几何约束的参数结构 分析了角度约束和距离约束的解耦性,给出了角度约束和距离约束可解耦求解的条件;然后 对两个刚体之间的几何约束进行组合分析,总结出约束度不小于2 的几何约束构成的组合只 有几十种,且均可采用几何推理方法进行求解;最后阐述了附加方向约束、冗余约束和矛盾 约束对数值求解的不利影响,提出了三维几何约束组合的分类求解策略,并用实例验证了该 求解策略的有效性。     

Constraint—Preserving Architecture Transformations：A Graph Rewriting Approach

Architecture transformations are frequently performed during software design and maintenance.However this activity is not well supported at a sufficiently abstract level.In this paper,the authors characterize architecture transformations using using graph rewriting rules,where architectures are represented in graph notations,Architectures are usually required to satisfy certain constraints during evolution.Therefore a way is presented to construct the sufficient and necessary condition for a transformatio to preserve a constraint.The condition can be verified before the application of the transformation.Validated transformations are guaranteed not to violate corresponding constraints whenever applied.     

Vague熵的约束条件和新模糊熵的构造

Vague集合的模糊熵既应包含Vague集的未知性又含有本身的不确定性。分析了现有Vague熵约束条件和构造方法上存在的缺陷,提出改进的Vague熵约束条件和Vague熵的公理化定义,给出一种新的Vague熵的构造方法,通过算例比较,指出这种新的模糊熵更加合理,更符合人们的直觉。     

A projected stochastic approximation method for adaptive filters and identifiers

Generally, when stochastic approximation is used to identify the coefficients of a linear system or for an adaptive filter or equalizer, the iterate Xnis projected back onto some finite setG={x:|x_{i}|leq B, alli}, if it ever leaves it. The convergence of such truncated sequences have been discussed informally. Here it is shown, under very broad conditions on the noises, that{X_{n}}converges with probability 1 to the closest point inGto the optimum value of Xn. Also, under even weaker conditions, the case of constant coefficient sequence is treated and a weak convergence result obtained. The setGis used for simplicity. It can be seen that the result holds true in more general cases, but the box is used since it is the only commonly used constraint set for this problem.     

Vague集模糊熵的新构造方法

模糊熵作为一种度量模糊集的模糊性和信息量的工具,很多学者提出了多种度量方法,但这些方法中对Vague集模糊熵的约束条件的定义不够全面严谨,对现有的模糊熵构造方法进行了分析,给出了改进的Vague集模糊熵的直观约束条件,并根据Vague集的三维图提出了一种新的模糊熵构造方法,最后通过对定理的证明表明新的模糊熵构造方法同时考虑到了Vague集未知信息和不确定性信息两方面带来的模糊性,证明了新的Vague集模糊熵的定义更加合理。     

针对一般线性约束的Petri网控制器设计方法

针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器.最后将该方法与Iordache和Moody提出的方法作比较,实验结果显示该方法更简单、有效.     

二维RCA空域映射Petri网时间性能分析

为了更有效地优化粗粒度可重构单元阵列映射加速性能,提出了一种行节点无依赖约束的空域映射调度方法,基于相同条件下,采用时延Petri网对若干个按约束已经被划分映射到可重构单元阵列的数据流子图的运行情况进行了分析,通过一个实例比较了行节点有依赖和无依赖的运行结果,结果表明该种空域映射方法具有可行性。     

Adaptive skin color modeling using the skin locus for selecting training pixels

Techniques for color-based tracking of faces or hands often assume a static skin model yet skin color, as measured by a camera, can change when lighting changes. Therefore, for robust skin pixel detection, an adaptive skin color model must be employed. We demonstrate a chromaticity-based constraint to select training pixels in a scene for updating a dynamic skin color model under changing illumination conditions. The method makes use of the ‘skin locus’ of a camera, that is, the area in chromaticity space where skin chromaticity under various lighting and camera calibration conditions is observed. Skin color models derived from the technique are compared with that derived by a common spatial constraint and is shown to be more consistent with manually extracted ground truth skin model per frame even as localization errors increase. The technique is applied to color-based face tracking in indoor and outdoor videos and is shown to succeed more often than other color model adaptation techniques.