基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

一品红的生态特性及现代栽培技术

本文阐述了一品红的生物学特性及现代栽培关键技术－－繁殖、温光湿调控、水肥运筹、塑造理想株型的方法。特别是防寒、光周期的调节的理论与实践作了深入论述。     

改进型信号控制的数字有线信道解码接收器

本文首先概要分析了传统的数字有线信道解调解码接收器的不足之处,在此基础上提出了一种改进型的数字有线信道解码接收器的设计思想,并详细概述了它的设计与实现.实践验证了该设计的有效性.     

冷轧扭钢筋的材料性能和应用

文章通过对冷轧扭钢筋的破坏特征、强度指标和可行性等方面的研究,并与其它类型钢筋进行了比较,论证了冷轧扭钢筋材料强度,具有良好的延性和安全稳定性;在应用中体现出成本低,易于施工,操作方便,适用范围较广等优点.展现了冷轧扭钢筋良好的应用前景.     

偏好意下义的 Pareto 极值存在性定理

应用拓扑学和凸集理论等现代数学工具对经济学中的一个非常重要的概念Pareto极值进行了研究，给出了偏好下义的Pareto极值存在性定理。     

一种用于混沌通信的跳频频率合成器设计

现代宽带、多用户通信系统使用了跳频技术提高系统处理增益及抗干扰能力。提出了一种用于混沌保密无线通信系统中的跳频频率合成器设计方法 ,以直接数字式频率合成为核心 ,结合锁相环构成微波快跳频频率合成器。分析了设计方案及理论基础 ,直接数字式频率民器在实际应用中的特性及设计考虑。结果表明 ,以DDS为核心结合PLL的跳频频率合成器 ,可以解决PLL的高鉴相频率与高频率分辨率的矛盾 ,同时扩展了DDS的输出带宽及提高了输出频率 ,对DDS产生的杂散信号有一定的抑制作用     

尺寸可变块匹配双向运动补偿视频帧间编码

为了降低尺寸可变块匹配运动补偿中优化分割的时间复杂性，提出了基于四叉树分割的尺寸可变块匹配双向运动估计和补偿方法。该方法每隔一帧进行一次双向估计和补偿，对于双向补偿帧，利用前一帧的分割信息先进行后向估计和补偿，再对包含复杂运动的小块进行前向估计和补偿，其中的重叠补偿区域采用加权平均。仿真结果显示，在分割的时间复杂性降低了50％的情况下，其峰值信噪比下降很少（平均小于0．1dB），表明该方法是可行的。     

我国社会保障体系及其特色

在我国,建立和完善社会保障体系,关乎改革、发展和稳定的全局。该文论述了建立和完善社会保障体系的重要意义及其体制规范,分析了当前的成就和存在的问题,提出一些切实的建设措施。     

实施党政领导科技顾问制度的实践与体会

文章从科技顾问的组成、工作内容及党政领导科技顾问制度实施情况等方面进行阐述,并提出其对太原市的发展产生了重大的影响.     

极端降雨对黄土沟壑区隧洞施工力学效应影响分析

黄土地区输水隧洞的建设中,降雨入渗极大影响着输水隧洞围岩稳定性。本文利用非饱和渗流理论和数值模拟方法研究了极端降雨条件入渗与黄土沟壑区隧洞的开挖扰动耦合影响下围岩的变形和渗流场演变规律,通过Plaxis3D模型对降雨入渗下新奥法施工过程中围岩力学特性、初期支护过程进行流固耦合分析。结果显示,降雨等级越高,围岩孔隙水压力变化幅度越大,对围岩的稳定性越不利;降雨入渗与开挖扰动会加速土层中渗流场和应力场的重分布过程;基于沟道的汇水特性,隧洞围岩含水率在最初5~10 d呈台阶式增长,拱顶、拱腰和拱趾处的最大变形为17.8 mm、28.2 mm、24.6 mm,最大剪切应力为175.3 kPa、182.5 kPa、150.6 kPa,降雨结束约15~20 d围岩变形速率逐渐减小收敛至特定值,但围岩的应力持续增加,为避免围岩发生塑性变形,故可在15~20 d进行二次衬砌支护。本次研究结果可对极端降雨期黄土沟壑地区隧洞施工安全控制提供参考。