摘要：介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。

摘要：基于角色协同(Role-Based Collaboration,RBC)的软件工程与协同计算方法以角色为基础进行研究,能有效促进信息系统的抽象与分类,有利于单元协作与协同计算.为支撑RBC及其角色引擎,本文从元理论角度出发,运用子结构逻辑对RBC的关键元素:群组、角色和代理进行了考量与印证,并提出了系列多项式时间复杂度的角色扮演逻辑系统(Role Playing Logic,RPL)及相关代数模型.通过逻辑强刻画与形式化方法对RBC系统基本关联性和层次结构的剖析,系列角色扮演逻辑可因不同的设计需求做扩充与变化,以支撑RBC做各类工程应用与研发.

摘要：传统的依靠数理统计选择使用频率较高的信息共享链路,易产生网络拥塞、信息共享时延过大、信息投递成功率低等问题,针对以上问题,结合网络通信技术,研究了资源受限约束下信息的共享路径。根据目标网络信息传输特性,设计了信息通信链路,通过优化链路时隙及信道资源,提高目标网络信息通信可靠性,构建目标网络信息通信链路模型,针对资源受限约束下信息分发共享可靠性最大化问题,给出了链路优化模型;采用遗传算法解决优化模型链路选取和时隙分配的相互干扰,得到优化后的信息共享路径。实验结果表明,所提方法使得目标网络信息共享延迟、信息投递成功率以及通信可靠性能都得到了进一步的提升。

摘要：1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,形式晦涩,无直观性与运算性,因而一般不用于知识推理。另一方面,1983年Allen提出了13种时态关系运算,并使用区间逻辑对时态关系进行表达,但这些运算只能表示时间本身的运算关系,未能体现时间与属性之间的映射关系,不能表达时态数据库属性间的推理与运算。此外,时态数据库中仍存在着许多开问题,例如在做属性推理与运算时出现的Now语义的不确定性问题。基于此,我们提出一种基于时态数据库属性推理的类型逻辑系统,其主要思路为将属性映射为类型,将类型映射为时间向量子集,以时间向量集为逻辑语义模型,在推理中从句法逻辑系统剥离对时间的表示,减少逻辑算子,与时间相关的运算单纯由语义模型支持,从而降低复杂性,提高运算能力。并且由于该类型逻辑系统是基于构造性语义的,能直观解释Now的不确定性问题。文中给出了相对该系统的时态数据库属性推理的应用示例,从技术可操作性上介绍了根据该类型逻辑设计的时态推理中间件原型及工作流程,最后从元理论范畴证明了系统可靠性与完全性的逻辑性质及切割消除与判定性的证明论性质。

摘要：随着使用年限的增加,水泥混凝土路面会受到内在以及外部环境因素影响,产生一定的质量问题,缩短水泥混凝土路面使用年限,降低其道路性能,对社会交通运输发展造成不良影响。论文阐述了水泥混凝土路面加铺沥青混凝土面层技术的意义,对接缝处理、填缝作业、旧水泥混凝土面板处理技术以及增强加铺沥青混凝土面层性能分析等内容进行介绍。

摘要：1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展。然而在语法分析方面,Lambek演算与范畴语法的结合仍存在不足,就传统的Lambek演算而言,由于其过于刚性,因此所能处理的语法问题还有限。本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,L_(TM)系统)。L_(TM)系统在相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定性。鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambek演算),这为计算机界研发自然语言的编译工具提供了有力支撑。由此,我们希望所设计出相应的L_(TM)演算系统,也终将能推动计算机编译系统对时态问题进行处理。

摘要：数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配置表以及布局函数将组件表达式生成可视化视图。在进行单步调试后,通过对比单步调试前后的可视化数据方式生成组件演变行为,运用有限状态机理论构建数据结构演变模型,该模型的执行使得组件发生演变,同时生成可视化动作。使用动画单元执行可视化动作,实现数据结构演变的可视化呈现,帮助初学者理解数据结构相关程序的执行过程。实验结果表明,将该方法应用于1个数据结构演变可视化框架StructV,并应用于1个在线可视化编程实训云平台的研发,可有效降低初学者理解数据结构演变过程的难度,并提升编程实训时的程序调试效率。

摘要：液化石油气价格变化大,为规避资金风险,经营企业须适度安排储气量。为此,从片区及用户历史用气数据出发,提出并运用SARIMA模型建模,以预测并指导下一阶段片区的储气量。采用历史数据进行检验,该建模方法能够更合理得为企业安排资金、组织液化石油气储量提供科学的决策支持,提高企业资金周转率,降低资金风险。

摘要：地震发生后往往会导致通信中断,快速建立和恢复稳定可靠的通信网络是灾区救援的重要任务.无人机可以跨越地理限制作为通信中继快速组网,因此基于群组角色指派对非饱和式救援时期的无人机灾区中继任务分配进行研究.首先利用最小生成树构建通信网络,群组角色指派进行任务最优化分配.由于受机械与电气特性限制,无人机飞行时存在水平与垂直误差,因此直线航距不能作为模型评价的主要依据.对此,设计高效的贪心回溯算法,以尽可能减少误差纠正次数为目标,求解无人机飞行轨迹,并依此建立代价矩阵.实验结果表明,在群组角色指派建模体系下,航迹规划算法与分配算法快速可靠,能高效并精确地部署通信网络,对无人机执行灾区中继救援任务形成重要支撑.

摘要：在特定拓扑环境下,在线社交网络推荐机制的友好程度是决定推荐优劣的关键之一,其成功与否受制于关系结构与交互结构的共演化。基于此,以关系结构推动交互结构为演化前提,以"学者"交互为特定领域的在线社交网络"学者网"为应用背景,通过E-CARGO模型建模,采用角色协同方法,针对学者网用户拓扑中的水平好友关系与垂直等级关系设计并仿真了相关好友推荐机制。经实验问卷调查,分别约67.69%与86.16%的用户接受基于拓扑层次与推荐方向的好友推荐方式,相关推荐机制自然、友好,用户评价度较高。