基于有限优先级的动态调度算法

实时任务调度是实时系统中的关键问题,实时动态调度是实时调度的主要方面。当实时调度应用于实际的任务系统时,仅能使用有限的优先级数量。实时调度在理论分析时,都假设系统能够识别任意多的优先级。该文提出了在优先级数量有限的条件下的动态调度算法,给出了一个任务系统动态调度所需的最小优先级的数量的算法,并对算法的复杂性进行了分析。     

一种非周期软实时系统的缓冲设计方法

研究了任务的到达时间和执行时间均不确定的非周期软实时系统,采用排队论的分析方法,非周期软实时系统被看成是典型的随机离散事件动态系统,并被模型化为一个M/M/1/H混合制排队系统,讨论了抛弃率、截止时间错过率和平均截止时间超过量等三种性能指标,并在此基础上进行了缓冲容量的最优设计。性能分析表明缓冲设计方法能有效地改善系统的性能。     

具有区间参数的瞬态温度场数值分析

针对不确定结构的瞬态热传导问题,提出一种将结构的各个物理参数和温度的初、边值条件均视为区间变量,并利用区间分析进行处理的方法。对具有区间参数的热传导抛物型方程的求解,在空间域上利用有限单元离散,在时间域上利用差分离散,将区间分析和常规的有限元法相结合,建立了基于单元的区间有限元方法。利用矩阵摄动公式求解结构的区间有限元方程,获得了结构瞬态温度场响应的范围。通过一瞬态热传导问题的算例表明该方法的可行性和有效性。     

分布式实时计算系统的一种调试方法

针对分布式实时系统的特殊性,对分布式实时语言DRTC++编写的分布式实时应用程序,利用DRTDebug的设计和调试原理,提出分布式实时计算中不确定性等问题的解决方法,得到分布式实时程序运行信息的收集模型。该模型简便、实用,可以直接用于分布式实时程序的调试中。     

时序逻辑的语法语义比较分析

随着信息技术的快速发展,信息和通信技术(ICT)系统被广泛使用,因而其可靠性非常重要.本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴.     

时间序列建模、预报的原理

本文介绍时间序列理论的基本内容,以及各种基本模型。最后对各类时序模型做预报公式。     

基于XGBoost与LR融合模型的信用卡欺诈检测

随着银行卡业务的不断发展,各种各样的信用卡欺诈方式已经给金融机构带来严重的威胁,使得信用卡欺诈检测成为一个十分紧迫的任务。为解决此问题,提出一种XGBoost与LR融合模型。该模型首先运用XGBoost算法自动进行特征组合和离散化,然后将新构造的特征向量运用在逻辑回归LR模型上,通过XGBoost与LR融合模型进行分类预测。实验结果表明,与经典传统算法相比,提出的XGBoost与LR融合模型具有更好的欺诈检测性能,提高了信用卡欺诈检测的准确率。     

基于遗传算法与模糊控制的建模方法

从实时系统的需求出发,研究利用遗传算法实现实时模糊控制的新技术,包括规则的形成、前提参数的训练,通过对比不同的训练参数规模,讨论了训练参数规模的大小与模型“范化”之间的关系。 经检验,用遗传算法生成的模糊系统模型输入变量少、规则数目少,并且误差小于多数传统算法生成的模型,整个模型的形成过程时间空间复杂度小、易于控制,且不受经验知识的约束,适用于实时系统。     

利率为马氏链的离散时间比例再保险风险模型的破产问题

总结了带随机利率和相依利率离散时间风险模型的相关成果，在此基础上，将马氏链利率引入模型中，进一步研究了离散时间比例再保险风险模型，在常数策略下，考虑利率具有不可数状态齐性马氏链结构，并利用递推方法，得出了破产前盈余、破产后赤字分布及其联合分布所满足的积分方程，给出了证明过程，并由此推导出破产概率、破产时赤字的分布以及破产前盈余分布各自满足的积分表达式，最后同样利用递推的方法研究了破产持续时间的分布，给出了破产持续时间为k期的概率所满足的积分表达式，结论进一步丰富了离散时间风险模型的破产问题的研究成果。     

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言FramedTempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与FramedTempura相比,能有效地重用代码,提高了代码的可读性和可维护性。     

小波变换的离群时序数据挖掘分析

针对时序数据进行离群数据挖掘方法的研究。通过对时序数据进行离散小波变换,将其从时域空间变换到频域空间,使时序数据映射为多维空间的点。该方法具有多尺度、时移不变性等特点,经离群时间序列进行离散小波变换后,不仅具有良好的保距性又达到降低维数目的。然后提出一种基于距离的离群时序数据挖掘算法。仿真试验表明了该方法的有效性。     

基于K4的超模态逻辑

D.M.Gabbay在“超模态逻辑理论：模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4［T·,K·］,主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。     

基于自动机模型数据关联性能评估算法

提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。     

支持分布式实时服务的开放系统环境

针对一个实际的开放系统环境,提出了实时活动的概念和有关的控制模型;阐述并探讨了模型中各层次的实时可调度公式。为了使实时服务在开放系统中得以具体实现,文中给出了系统的计算模型。     

开放类3-值逻辑的元性质

经典逻辑是建立在封闭世界预设的基础上的,但逻辑系统也可以建立在开放世界预设的基础上.鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑.该文将对这一逻辑建立系统,并证明其元逻辑性质.     

分布式实时嵌入式系统端到端性能确保

针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高系统吞吐量。实验结果证明ICA能为具有端到端非周期任务模型的分布式实时嵌入式系统提供更好的性能确保。     

求解最优可满足性问题的算法设计

最优可满足性问题是一类典型的NP完全问题,该文提出一个基于离散问题连续化转换的拟物思想,求解转化为CNF范式的最优可满足性问题的算法,使得关于CNF范式取真的充要条件转化为连续函数的f（x珟）=0.设计的算法来源于物理模型;在映射变换的过程中充分利用了连续性以及改进的梯度算法.该算法简便、实用,而且以最小码覆盖问题为例,对该算法进行了实际的设计与分析.     

基于高速公路货车收费数据库的全息样本遴选

为了确定与全年高速公路交通流量相似度最高的样本区间,为交通流量分析提供可靠的样本选择方案,以国内某省一年高速公路货车收费流水数据库的数据为对象,建立基于时间、空间、轴型三个维度的相似评价指标体系.采用欧氏距离、平面向量夹角公式以及熵权法来计算各样本与全年数据之间的离散度.结果表明:单一考虑某个维度时,结果有差异,无法代表整体特征;在相似评价体系下,离散度最低的样本分别是三月、第十八周和周一.     

开放系统中智能体竞争的时态逻辑

时态逻辑模型检测是自动验证最重要的方法之一.近年来,模型检测技术与人工智能的结合,成为一个研究的热点.具体地,就是扩充或者修改模型检测的时态逻辑,使之能够刻画多agents系统的特征.交互时态逻辑(Alternating Time Temporal Logic),以下简称为ATL,是其中较为成功的框架.使用ATL,可以刻画多个agents的相互合作,即,agents通过相互合作保证计算系统进入预定的某个(些)状态.然而,agents之间的冲突,是现实计算系统的一个重要特征.文章基于ATL,扩充其为一种表达力更强的时态逻辑,称之为竞争交互时态逻辑(Competition Alternating Time Temporal Logic),简称为CATL.CATL的表达力,体现在它不仅可以刻画agents的合作,也能够刻画agents相互的竞争.而且,CATL的表达力并没有以提高计算复杂性为代价.     

普通逻辑基本规律若干理论问题探讨

对逻辑规律的正确理解与把握 ,涉及对人们逻辑精神的培养 ;然而 ,现行教材对逻辑规律的一些问题并未准确阐述 ,甚至是模糊的。从逻辑的学科性质及普通逻辑的特点考察 ,逻辑规律规范的对象是思维形式 ,而不是思维内容 ;非形式谬误是在内涵语境前提下言说的 ;从逻辑抽象与规律要求的角度看 ,逻辑规律的公式表示是合理的 ,并非不完善。