描述逻辑的动态时序扩展

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。

边沿取样电路和同步动态时序电路综合

本文提出用电容代替触发器作为记忆元件的双边沿同步动态时序电路（ＳＤＳＣ）的综合方法．基于电路三要素（信号、网络和负载）理论，首先推导出边沿取样定理；接着研究普适双边沿状态图和电路图的关系，再将卡诺图方法由门级发展到元件级；最后提出ＳＤＳＣ的状态编码原则，从而形成有效的ＳＤＳＣ的综合方法，用此方法设计了一些结构极简单的动态电路，诸如错码检测电路仅用２２个ＭＯＳ管，８４２１ＢＣＤ码十进制计数器仅用３１个ＭＯＳ管等．

基于多参数动态时序的技术预测方法与实证研究

为能够更加精细地识别技术发展变化趋势,借鉴统计学中数据分析指标,在对技术研究有关文献与该技术发展变化关系进行分析的基础上,通过技术主题提取、模型构建与技术预测3个步骤,引入平均值、波动区间、波幅时长3个模型参数,提出利用技术主题词频差值反映一定时间区间内技术发展变化特征的多参数动态时序技术预测模型,并将该模型方法应用于挥发性有机物处理技术领域的技术预测,提取得到8个技术主题,识别出热分解技术是其中的重点技术,结合该领域研究和发展实际,证明该模型方法可行、有效。

用动态时序模型分析发电机组的振动特性

系统的动态振动特性虽然可用有限元法计算，但用有限元法时，往往要引入一系列人为假设，从而易导致计算结果与实际不符。该文应用动态时序ＡＲＭＡ模型计算了某发电机组的振动特性参数，取得了满意的效果。

交叉耦合绝热动态触发器及同步动态时序电路

本文提出交叉耦合绝热动态触发器及其同步时序电路综合方法。首先利用文献[1]的电路三要素理论定量描述交叉耦合型绝热锁存器。由绝热主锁存器和从锁存器构成一个单相输入的绝热触发器。在交叉耦合型绝热触发器的基础上,本文提出绝热同步动态时序电路综合方法。用此法设计出绝热8421BCD码错码检测电路(仅用50管),总功耗小于三个绝热ADL非门的功耗,计算机模拟验证本文方法的正确性。

基于改进BP网交通流动态时序预测算法的研究

针对城市交通“智能运输系统” ,提出了基于改进BP神经网络理论模型的路面交通流动态时序的预测算法。在BP算法的自适应学习率 ,在动量法优化网络收敛性等方面 ,进行了深入研究 ,并改进了基本BP算法中的收敛速度慢和易陷入局部最小点等问题。文章给出了基于改进BP算法的交通流动态时序的预测算法仿真实验 ,结果验证了该算法的可行性和先进性。

动态时序分析及其在纳米级IC设计中的应用

文章讨论了动态时序分析算法及其在纳米级IC设计中的应用.首先,针对静态敏化算法存在的静态伪路径(StaticFalsePath)问题,提出了动态敏化算法,分析了静态敏化和动态敏化的关系.最后讨论了在电源噪声和串扰噪声影响下的动态时序分析.实验结果表明,串扰噪声条件下的动态时序分析结果比静态时序分析给出的保守结果准确得多.

动态时序电路和广义时序机

本文基于用广义输入信号表示的广义时序机，研究动态时序电路.考虑电容负载时得出了动态单元电路特征方程，利用电容存储信息和触发器的类似性，建立了时序电路统一理论，将常规时序电路和动态时序电路理论统一起来.证明实现动态时序电路的条件，结合实例论述各型动态时序电路、伪动态时序电路和静态时序电路的开关级结构间的等价转换.

带测试动作的动态时序逻辑扩展

作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支持测试动作,提出一个DLTL扩展DLTL+和一个判定DLTL+公式可满足性的tableau算法,并给出了算法的正确性以及其时间复杂度为2O(n)的证明。分析表明,DLTL+提供了一种直接的、有效的测试动作支持方式,该方式比已知的其他方式更具有实际应用价值。

基于动态时序描述逻辑的动作理论

动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。

多产品现金盈亏平衡的动态时序临界收益确定法

本文针对传统多产品现金盈亏平衡分析方法存在 的问题和不足，运用动态时序临界收益法确定多产品的现金盈 亏平衡点，为企业生产经营决策与规划提供可靠的依据。

基于动态时序优化的配电网调度研究

针对电力系统运行过程中配电机组配电时段偏差,导致配电网安全性能下降的问题,提出基于动态时序优化的配电网调度方法。采集实测数据与后续各时段估算数据,根据动态时序递进,确定配电网中不同调度单元剩余时段的调度策略,以能耗提升成本最低和调度量最高为优化目标,优化偏差参数,利用拉格朗日对偶性,转化对偶问题,求解配电网实时调度模型。仿真分析表明:所提方法能够有效提高配电网性能和消纳风电能力,进一步优化配电网调度成本。

论经济预测的动态时序法

时间序列起源于预测,特别是市场经济预测,而在经济预测中所运用的预测方法不外乎定性分析(如德尔菲法、历史数比法等)和定量分析两大类。而定量分析又可大体分成因果模型(如回归分析法、经济计量法、投入产出法等)和时间序列模型(如移动平均法、加权平均法、指数平滑法以及博克斯——詹金斯法、动态数据系统法等)。

基于动态时序移位的视频特征学习方法

视频动作识别旨在分类不同视频片段中的动作,而一个视频片段中的动作连续存在于整个时间维度,因此对连续动作所包含的时序特征进行学习是视频动作识别任务中的一个重要方向。现有方法主要通过更多的卷积操作学习时序特征,获取视频动作时序信息的同时增加了模型的复杂度和计算量;而时序移位操作则通过沿时间维度对通道特征进行移位实现时序信息的建模,减少了计算量,但只考虑了低层次通道的时序特征学习,缺乏通道选择的依据,且忽略了时序移位对整个时空特征结构的影响。为此,提出基于动态时序移位(Dynamic Temporal Shift,DTS)的视频特征学习方法。首先,利用双层全连接神经网络学习不同层次通道上多个时间维度特征间的相关性,获得整个通道的注意力分布,并固定双层全连接神经网络的参数用于保存全局特征信息。然后,设计DTS模块,依据通道的注意力分布动态选择通道进行移位。此外,为消除时间维度上特征的移位对全局时空特征结构的影响,利用全局信息进一步学习全局时空特征(Global Spatiotemporal Feature)。在UCF101和Something-something v2公开数据集上取得较好的识别效果,验证了方法的有效性。

基于动态时序的岗位招聘数据挖掘研究

当前动态数据挖掘的算法大多是静态数据挖掘算法的改进算法,计算过程十分繁琐。为此,提出了一种基于动态时序的用于岗位招聘数据的挖掘技术。充分利用各类时序数据相互依赖的特征,通过隐马尔可夫模型创建由时序数据转换而来的似然空间,再以分层聚类的方式对时序数据的动态特征进行分类。实际应用结果表明,所提出的算法适用于网络环节下岗位招聘大数据的分析与挖掘。

基于动态时序的特征复合协同过滤算法

协同过滤算法是推荐系统中研究较为广泛和深入的算法,为解决传统协同过滤算法无法处理时间动态变化的问题,提出一种新的改进算法:SpecialTSVD++算法。在传统SVD++算法中分别融入用户评分的时间信息、用户和物品的时间偏置,并且加入用户特征信息,增强数据与时间的关联度,体现数据的动态变化,并且结合用户属性产生个性化推荐结果。Movielens-10m数据集上的实验结果表明,SpecialTSVD++算法通过对时间动态变化带来的推荐影响进行优化处理,使推荐结果更加贴近用户当前需求,能显著提升推荐系统准确率。

一种基于动态时序划分的视频理解方法

近年来,随着语言-视觉模型的快速发展,结合视觉编码器和大语言模型进行视频理解的方法极大超越了传统的视频行为分类模型。由于大语言模型可以很好地进行信息的归纳和推理,因此可以将视频帧的特征输入大语言模型,从而得到每一帧的场景描述,最终整理成一个视频的详细信息。尽管上述方法可以得到一个视频非常详尽的描述,但是却忽略了视频中不同场景的重要性,从而无法准确理解视频中的关键信息。文章提出了一种基于动态时序划分的视频理解方法,首先根据场景对视频进行切片,然后通过一个自适应的重要性评估网络计算每个视频切片的重要性得分,最后基于重要性得分将每个视频切片的特征进行加权平均得到最终的视频特征。相较于直接提取视频特征的方法,该方法所获取的视频特征结合了不同视频片段的重要性,更容易理解视频中的关键信息。该方法在多个视频理解基准上进行实验,均获得5%~10%的提升,充分证明了该方法在视频理解中的有效性。

多风电场支撑电网频率稳定的动态差异化时序协同控制策略

针对大规模风电接入带来的系统调频能力不足和调频能量透支引发的频率二次跌落问题,提出一种多风电场动态差异化时序协同的频率支撑控制策略。首先,阐述综合惯量控制下的风电调频原理,基于能量守恒理论分析频率响应阶段风电场群的动能变化过程,揭示多风电场调频时序对调频效果的影响机理。然后,考虑多风电场群同时调频引发的频率二次跌落风险,从场站交互视角逆向设计风电场群调频时序和任务分工,并依据风电实时调频能力动态调整投入顺序,以保证初期过程惯量安全需求,并提升频率最低点、抑制风电场群退出调频导致的系统频率严重二次跌落。最后,通过3机9节点测试系统和某实际电网算例对所提控制策略进行仿真分析,结果验证了所提策略的有效性和实用性。

SBAS电文时序动态编排算法

星基增强系统(SBAS)通过GEO卫星转发SBAS电文实现对GNSS服务性能的提升,以满足民航用户不同飞行阶段的导航需求,因此,合理有效的电文内容及播发时序设计是系统实现高质量服务的重要保证。为提高电文编排的灵活性,避免固定时序填补空余电文引起的播发资源浪费,提出了一种SBAS电文时序动态编排算法,在满足国际标准要求的前提下,综合利用SBAS电文龄期和最大播发间隔实现待播发电文的自动选择。利用NTMF实测数据对当前各主要SBAS的电文进行了特性分析,对所提方法的单双频SBAS电文编排效果进行了评估。结果表明:所提算法可保证电文时序符合国际标准要求,实现了重要电文的优先播发,将空余时隙进行动态分配实现了各类型电文播发间隔的近等比例缩短。与固定时序相比,单频SBAS完好性电文播发间隔缩短约15.0%,首次定位时间缩短约8%,双频SBAS电文首次定位时间缩短约6.5%;与固定时序的BDSBAS B1C电文相比,完好性服务能力提升约14.7%,首次定位时间缩短约16.7%。所提算法有效提升了SBAS电文播发的播发效率,实现了SBAS播发资源的100%有效利用。

转Bt基因棉田害虫和天敌组成及优势类群时序动态

在系统调查棉田节肢动物的基础上,就长江流域下游棉区种植转Bt基因棉对棉田害虫和天敌组成、数量以及时序动态的影响进行了分析。结果表明,转Bt基因棉田和常规棉田基本接近,均以棉蚜为害虫优势种,天敌优势种为草蛉、龟纹瓢虫、三突花蛛。按照营养关系分析表明,转Bt基因棉田和常规棉田均以植食性类群在营养层中占绝对优势,其次是捕食性天敌类群,而寄生性天敌较少;刺吸类害虫是植食性害虫的优势功能集团,瓢虫类、蜘蛛类和草蛉类为优势捕食性类群。转Bt基因棉能够显著减少棉田鳞翅目等靶标害虫类群的发生,而对其它非靶标害虫如刺吸类害虫以及棉田天敌发生没有显著影响。