服务协同环境中的业务过程建模与验证

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。     

地域性水系与人居环境的和谐发展——以威海石岛河景观改造工程为例

通过对山东威海石岛河的景观改造设计工作的分析,展示了如何在针对水系的景观设计工作中解决自然生态保护与人居环境之间的矛盾;在探索寻求人居生活环境与自然生态保护之间的平衡点方面进行了初步的研究.总结了对于地域性、区域性、功能性较强的水系进行景观设计时,围绕保护居民生命财产安全、保护自然环境、提高人居环境质量三方面内容而进行景观设计的一些经验和方法.     

高新技术公司的营销战略及案例分析

根据市场营销理论和公司经营战略,研究了高新技术公司营销的特点.通过对中国光谷高科技公司营销战略的实证分析,阐明了高科技公司在不同的时间和空间,面对不同的竞争对手,只有采取差异化营销策略,才能在市场中站稳脚跟和保持竞争优势.     

局部特征点的3维模型变换域水印算法

目的 为进一步提高变换域水印的鲁棒性,解决多分辨率小波变换对三角形网格形状的限制,提出一种基于局部特征点的变换域水印算法。方法 首先根据经度角和纬度角对模型分区,并求出局部特征点;其次由局部特征点的模长与非局部特征点模长的均值构成的比值组成2维矩阵,对2维矩阵进行离散小波变换,并修改小波系数中的各分辨率层的中高频系数来嵌入水印;最后通过逆向离散小波变换得到空域信号,修改3维模型局部特征点的模长以得到含水印的3维网格模型。结果 本文方法能够不受平移、旋转、均匀缩放和顶点重排序的影响,并能有效抵抗噪声、简化、剪切、细分、量化和联合攻击等一系列的常见攻击。结论 实验结果表明,该算法具有很好的鲁棒性和不可见性,对模型的网格形状无严格要求。     

结合相似性拟合与空间约束的图像分割

目的 图像中的目标一般含有很多子类,仅仅利用某个子类的特征无法完整地分割出目标区域。针对这一问题,提出一种结合相似性拟合与空间约束的图像交互式分割方法。方法 首先,通过手工标记的样本组成各个目标的字典,通过相似度量搜寻测试样本与各个目标的字典中最相似的原子建立拟合项;再结合图像的空间约束项,构建图像分割模型;最后利用连续最大流算法求解,快速实现图像分割的目的。结果 通过对比实验,本文方法的速度比基于稀疏表示的分类方法的速度提高约13倍,而与归一化切割(N-Cut),逻辑回归(logistic regression)等方法相比,本文方法能取得更稳定和准确的分割结果。此外,本文方法无需过完备字典,只需要训练样本能体现各个子类的信息即可得到稳定的图像分割结果。结论 本文交互式图像分割方法,通过结合相似性拟合以及空间约束建立分割模型,并由连续最大流算法求解,实现图像的快速准确的分割。实验结果表明,该方法能够胜任较准确地对自然图像进行分割以及目标提取等任务。     

结合特征适配与拉普拉斯形变的3维人脸重建

目的 数字娱乐产业的发展要求3维人脸重建技术能重建高分辨率3维人脸,并具有较高计算效率和重建准确性。针对这一情况,提出一种基于单幅图像的高分辨率3维人脸重建方法。方法 该方法包含特征适配与拉普拉斯形变两部分。预先用1组3维人脸样本上的3维特征构造可变形模型。给定图像时,从其上自动提取2维特征点,并根据获得问题最优解的必要条件进行特征适配以重建个性化3维特征;然后基于拉普拉斯方法,用该3维特征对一般人脸模型进行变形以获得特定高分辨率3维人脸;最后通过纹理合成获得真实感人脸。结果 用本文方法和已有方法分别进行可变形模型适配和模型变形,本文的特征适配方法具有更快的收敛速度和更高的准确性,拉普拉斯方法具有更小的重建误差。纹理映射后的3维人脸具有很好的视觉效果。结论 本文方法将特征适配与拉普拉斯形变结合起来进行高分辨率3维人脸重建。实验结果表明所提出的方法具有较高的计算效率和准确性,能实现较为理想的高分辨率3维人脸重建。     

基于ARM和FPGA的1553B总线设备检测系统的设计

1553B总线在军事领域应用非常广泛,目前针对1553B总线设备的检测系统并不能完全满足实际应用需求。为使计算机与1553B总线设备的数据通信更加方便,提高总线设备检测效率,基于ARM和FPGA设计了一种1553B总线设备检测系统。首先给出了系统的总体设计框架,详细介绍了硬件设计和软件设计方法。设计时采用了模块化的方法,对ARM模块、FPGA模块及接口连接部分进行分别设计。ARM模块实现了USB和以太网双接口。用FPGA设计1553B协议IP核采用自顶向下的方法。同时,也对外围电路和电源模块进行了优化设计。完成设计后进行了仿真验证,结果表明设计实现了接收与发送功能,符合设计要求。最后,在电路板上进行了实际调试,测试取得了良好的效果,能够满足实际应用要求。     

基于故障树和双向联想记忆神经网络的桥式起重机故障诊断方法

针对桥式起重机的故障诊断系统,提出一种基于故障树(FTA)和双向联想记忆神经网络(BAM)相结合的故障诊断方法。通过FTA建立系统故障树,收集桥式起重机所有故障模式,进而归纳出BAM的学习样本,然后对样本学习联想,得到系统诊断结果。两种方法的结合,不但可完成单个故障的诊断,还可实现多种故障的综合处理,提高诊断能力。     

Theoretical investigation on cyclic reciprocal derivative chronopotentiometry: Kinetic study of totally irreversible electrode processes

Theoretical expressions and mathematical analysis in cyclic reciprocal derivative chronopotentiometry (CRDCP) are presented for totally irreversible electrode processes corresponding to the application of symmetrical and unsymmetrical programmed currents. For two successive unsymmetrical programmed currents, the effect of the currents ratio b (b = |I₂(t)/I₁(t)|) on the (dt/dE)–E curves is discussed. The electrochemical behavior of totally irreversible electrode processes has been studied corresponding to the application of the unique unsymmetrical programmed Φ^m(I₀) proposed recently. CRDCP characteristic parameters obtained for totally irreversible electrode processes are different from those of reversible electrode processes. Therefore, a comparison of CRDCP between both mechanisms is presented. Based on the mathematical derivation, alternative methods for kinetic measuring are described. It is prospected that CRDCP is convenient and applicable for studying the reversibility of the electrode processes in form of CRDCP characteristic parameters.     

Research progress on water resources management theory of “basing four aspects on water resources”EI北大核心CSCD

In order to implement the rigid constraint system for water resources and promote refined management of water resources, based on the analysis of the concept and notion of “basing four aspects on water resources” and the summary of the experience of water resources management, the basic theory and management guidelines for water resources control of “basing four aspects on water resources” are proposed. The latest progress of “ basing four aspects on water resources” is systematically sorted out, and it is pointed out that further research on the water resources control of “basing four aspects on water resources” should be deepened from the aspects of macro-system evaluation system construction, water resources optimization allocation model reconstruction, and refinement of water resources control system. © 2023, Editorial Board of Water Resources Protection. All rights reserved.