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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

碱处理结合盐辅助分散液液微萃取GC-MS/MS检测即食鱼制品中7种N-亚硝胺

为提高N-亚硝胺的相关检测效率,建立了碱处理结合盐辅助分散液液微萃取(SADLLME)气相色谱-串联质谱法(GC-MS/MS)检测即食鱼制品中7种N-亚硝胺的新方法。样品经氢氧化钡溶液热处理,转移目标物至水溶液中,在辅助盐硫酸钠近饱和条件下,以二氯甲烷为萃取剂进行SADLLME,应用GC-MS/MS进行检测。方法检出限为0.10~0.19μg/kg, 定量限为0.28~0.56μg/kg;加标水平为1、5、10μg/kg时,加标回收率为79.19%~117.40%,相对标准偏差为1.06%~10.30%。结果表明:此方法灵敏、可靠,选择性好,样品前处理简单,能够满足相关食品中N-亚硝胺检测的需要。