基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换,通过包含、否定和插入等规则来合并真值表,以解决检测组件约束时存在的冗余与冲突问题,并获得期望行为的最小组件集合,从而保证了组件约束之间相互一致.与基于规则模式表方法相比,所提算法克服了人工检测的不确定性,改善了检测的时间性能,并可将冲突错判率降低大约10%,平均处理时间降低大约33%.

基于Pro/E Mechanica的带螺栓多约束组件结构分析与优化设计

螺栓联接是煤矿机械中常用的一种联接方式,通过带螺栓多约束组件建立参数化模型,针对组件模型特性引入同步变化理论,构建了基于组件的改进型多约束优化数学模型。在实例分析和优化设计中,结合相关设计理论进行对比,证明了方法的合理性,从而为各种工程实际下的带螺栓组多约束组件的合理有效设计提供了有力的理论和实践依据。

支持EJB动态分布的组件迁移模型与算法

Web应用服务器是Web计算环境下的新型中间件,为基于组件的分布式Web应用提供了基础运行平台.组件静态分布限制了事务性Web应用在运行期间适应执行环境变化的能力.为了满足Web应用的动态分布需求,Web应用服务器需在底层为组件提供一种动态迁移的能力.如何维持组件迁移前后的一致性是组件迁移中最棘手的问题之一.为解决此问题,定义了组件迁移一致性约束CMC(componentmigrationconstrains),并给出了在J2EE(Java2platformenterpriseedition)应用服务器中支持EJB(enterpriseJavaBean)动态分布的组件迁移模型和SLB_Copy,SFB_Copy,EB_Copy3个迁移算法.分析得出SLB_Copy,SFB_Copy和EB_Copy均满足CMC约束.迁移模型和算法已在自主研制的Web应用服务器WebFrame2.0中实现,并已应用到自适应负载平衡、失效恢复等多个方面.

基于产品特征向量的产品配置研究

在制造行业中,为了提高产品配置对不同产品的适应能力,降低知识表达难度,提出了基于产品特征向量的产品配置方法。文章在产品特征可量化的条件下,建立了产品配置模型,给出了特征的向量表示方法,并根据产品特征向量,定义组件约束。在配置求解过程中,将用户对产品特征的需求转化为产品特征向量,给出配置求解算法。最后提供成功案例。

基于RPCCA的无人机目标跟踪定位算法

针对目前无人机(UAV)对于行人目标的识别准确度不高,数据传输不稳定并且易受干扰和现有无人机目标跟踪系统一般是利用卫星信号进行定位,传输数据成本较高且具有一定的局限性的问题,提出了基于正则化成对约束组件分析的无人机目标跟踪定位算法,利用正则化成对约束组件分析实现了无人机对目标的准确识别,利用WiFi进行大数据稳定、实时的传输,与基于卫星的定位算法可以形成互补,在此基础上,利用扩频通信进行重要数据的准确传输,改善了系统的抗干扰性能。实验结果表明:该算法不仅可以有效地识别与跟踪目标,而且可以实时传输无人机的位姿参数与目标检测结果。

The Counting Problem of an Order N-group of Set

In this paper, we discuss the counting prob lem of an order n-group of set (A 1,A 2,…,A n) which satisfies ∪ni=1A i=｛a 1,a 2,…,a m｝ and one of the following: (1) ∩ni=1A i=Φ; (2) ∩ni=1A i=｛b 1,b 2,…,b k｝;(3) ∩ni=1A 1｛b 1,b 2,…,b k｝; (4) A i≠Φ (i=1,2,…,k). We solve these problems by element analytical meth od.