Congruences and ideals in pseudoeffect algebras

This paper is devoted to congruences and ideals in pseudoeffect algebras. Let I be a normal ideal in a pseudoeffect algebra E. We show that: (1) the relation ~ _I induced by I is a congruence if and only if for every a∈E, I∩ [0,a] is upper directed; (2) the relation ~ _I induced by I is a strong congruence if and only if I is a normal weak Riesz ideal in a pseudoeffect algebra E. Moreover, we introduce a stronger concept of congruence—namely Riesz strong congruence—and we prove that, if I is a normal weak Riesz ideal in a pseudoeffect algebra E, then ~ _I is a Riesz strong congruence and, conversely, if ~ is a Riesz strong congruence, then I = [0]_~ is a normal weak Riesz ideal, and ~ _I = ~. This work was supported by the National Natural Science Foundation of China (Grant No. 10271069).     

Approximate inference for dynamic Bayesian networks: sliding window approach

Dynamic Bayesian networks (DBNs) are probabilistic graphical models that have become a ubiquitous tool for compactly describing statistical relationships among a group of stochastic processes. A suite of elaborately designed inference algorithms makes it possible for intelligent systems to use a DBN to make inferences in uncertain conditions. Unfortunately, exact inference or even approximation in a DBN has been proved to be NP-hard and is generally computationally prohibitive. In this paper, we investigate a sliding window framework for approximate inference in DBNs to reduce the computational burden. By introducing a sliding window that moves forward as time progresses, inference at any time is restricted to a quite narrow region of the network. The main contributions to the sliding window framework include an exploration of its foundations, explication of how it operates, and the proposal of two strategies for adaptive window size selection. To make this framework available as an inference engine, the interface algorithm widely used in exact inference is then integrated with the framework for approximate inference in DBNs. After analyzing its computational complexity, further empirical work is presented to demonstrate the validity of the proposed algorithms.     

Self-Adhesive Polydimethylsiloxane Foam Materials Decorated with MXene/Cellulose Nanofiber Interconnected Network for Versatile Functionalities

Polydimethylsiloxanes (PDMS) foam as one of next-generation polymer foam materials shows poor surface adhesion and limited functionality, which greatly restricts its potential applications. Fabrication of advanced PDMS foam materials with multiple functionalities remains a critical challenge. In this study, unprecedented self-adhesive PDMS foam materials are reported with worm-like rough structure and reactive groups for fabricating multifunctional PDMS foam nanocomposites decorated with MXene/cellulose nanofiber (MXene/CNF) interconnected network by a facile silicone foaming and dip-coating strategy followed by silane surface modification. Interestingly, such self-adhesive PDMS foam produces strong interfacial adhesion with the hybrid MXene/CNF nano-coatings. Consequently, the optimized PDMS foam nanocomposites have excellent surface super-hydrophobicity (water contact angle of ≈159^o), tunable electrical conductivity (from 10⁻⁸ to 10 S m⁻¹), stable compressive cyclic reliability in both wide-temperature range (from −20 to 200 ^oC) and complex environments (acid, sodium, and alkali conditions), outstanding flame resistance (LOI value of >27% and low smoke production rate), good thermal insulating performance and reliable strain sensing in various stress modes and complex environmental conditions. It provides a new route for the rational design and development of advanced PDMS foam nanocomposites with versatile multifunctionalities for various promising applications such as intelligent healthcare monitoring and fire-safe thermal insulation.     

Cartesian product of compressible effect algebras

In the paper, we prove that is compatible with p}, the set of commutant of p, and , the projection commutant of a, are all normal sub-effect algebras of a compressible effect algebra E, and is a direct retraction on E} is a normal sub-effect algebra of an effect algebra E. Moreover, we answer an open question in Gudder’s (Rep Math Phys 54:93–114, 2004), Compressible effect algebras, Rep Math Phys, by showing that the cartesian product of an infinite number of E _i is a compressible effect algebra if and only if each E _i is a compressible effect algebra. This work was supported by the SF of Education Department of Shaanxi Province (Grant No. 07JK267), P. R. China.     

一种基于耦合度量的类间集成测试序的确定方法

类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对于类间测试顺序问题,文章提出一种基于耦合度量的类间集成测试序的确定方法.采用类间耦合度量与基于图的启发式算法相结合的方法,其中,前...     

基于发布订阅结构的计算机视觉跟踪研究

文中报道了使用发布订阅中间件搭建的一个跟踪系统,通过单摄像头采集图像,经过分析处理,计算出运动物体的相对位置,同时控制摄像头转动,对运动物体进行实时追踪.整个系统主要包括4个方面,以发布/订阅为中心结构连接3个子系统、目标获取、目标跟踪、采集摄像头控制.文中为卡尔曼滤波定义了新的向量,预测目标运动趋势;根据物体的运动信息自行设计了摄像头控制程序.算法有充分的理论依据和实验验证.     

一种基于不变量的工作流协同模型分解方法

现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互关系.为了确保IOPN模型能够被正确地执行,文中提出IOPN模型的弱合理性(relaxed soundness)作为IOPN模型的正确性标准之一.IOPN模型是一种复合模型,其规模一般较大,采用基于状态空间的分析方法,容易产生状态空间爆炸问题,为此文中提出基于不变量的分解方法,能够将一个弱合理的无回路IOPN模型分解为一组顺序图,并提出相关定理:一个无回路IOPN模型是弱合理的当且仅当其可以被分解为一组合法的顺序图.     

A compositional model for CO2 flooding including CO2 equilibria between water and oil using the Peng–Robinson equation of state with the Wong–Sandler mixing rule

This paper presents a three-dimensional, three-phase compositional model considering CO₂ phase equilibrium between water and oil. In this model, CO₂ is mutually soluble in aqueous and hydrocarbon phases, while other components, except water, exist in hydrocarbon phase. The Peng–Robinson (PR) equation of state and the Wong–Sandler mixing rule with non-random two-liquid parameters are used to calculate CO₂ fugacity in the aqueous phase. One-dimensional and three-dimensional CO₂ flooding examples show that a significant amount of injected CO₂ is dissolved in water. Our simulation shows 7% of injected CO₂ can be dissolved in the aqueous phase, which delays oil recovery by 4%. The gas rate predicted by the model is smaller than the conventional model as long as water is undersaturated by CO₂, which can be considered as “lost” in the aqueous phase. The model also predicts that the delayed oil can be recovered after the gas breakthrough, indicating that delayed oil is hard to recover in field applications. A three-dimensional example reveals that a highly stratified reservoir causes uneven displacement and serious CO₂ breakthrough. If mobility control measures like water alternating gas are undertaken, the solubility effects will be more pronounced than this example.     

丙烷脒类似物抑菌活性研究

以番茄灰霉病菌和白菜黑斑病菌等植物病原菌作为供试生物,用抑制菌丝生长速率法测定了合成的10个丙烷脒类似物的抑菌活性。结果表明：在供试浓度为10mg／L时,化合物A1-A5对番茄灰霉病菌、白菜黑斑病菌、苹果干腐病菌和烟草赤星病菌菌丝生长抑制率均在80％以上;化合物B5对小麦纹枯病菌菌丝生长抑制率为82．2％,值得进一步研究。     

Synthesis of alpha-alumina nanoribbons: characterization and their morphological evolution

Single crystalline α-alumina nanoribbons were synthesized by reacting aluminum with silicon monoxide at high temperature. The products were characterized by X-ray diffraction (XRD), scanning electron microscopy (SEM), transmission electron microscope (TEM), and high-resolution transmission electron microscope (HRTEM). The intense peaks of XRD pattern indicate that the prepared nanoribbons have a high degree of crystallinity. In the present work, silicon monoxide was used as an oxidant and precursor, which served to control the reaction rate. An interesting morphological evolution that nanoribbons resulted from nanosaws was described, and these novel nanosaws were also carefully characterized.