OWL Lite形式化基础及应用研究

介绍了描述语言SHIF（D）以及本体语言OWLLite，证明了OWL Lite的形式化基础是SHIF（D），总结出OWLLite的推理问题可以归约为描述逻辑sHIF（D）知识库的满足性。最后设计了基于本体的手足口病的辅助诊断系统（HFMDS），由OWL Lite推理工具进行相应地推理工作，便于医生提出相关的治疗方案及临床建议。     

数据库设计工具PoWerDesigner正向工程的研究与实践

介绍了一种新的数据库设计工具Power Designer的编程设计方法，详细描述了将概念数据模型（CDM）通过Power Deslgner正向工程转换为物理数据模型（PDM）以度其具体的应用。     

基于综合经济效益优化的匝道合流车辆编队策略

研究高速公路匝道车辆序列合并编队的优化协调问题,根据环境参数优化设置合并阈值,减少排放、节约编队成员时间成本和燃油资源.首先,针对合流中自由车辆与已有车队同时存在的复杂场景给出阈值编队方案,结合车辆运动学和全期望公式,计算与编队阈值相关的特征值:1)队列规模概率;2)时间增量期望;3)队列间距期望.然后,根据特征值分析各经济成本增量,并利用连续动力学状态方程的转换推导行驶约束安全集,建立基于阈值的优化编队模型,在安全性前提下最大化车辆队列的全程综合经济效益.最后,通过仿真对比所提出策略与直接编队策略,验证所提出策略能够提升综合经济效益并满足计算实时性要求.仿真结果表明了巡航距离以及车辆密度对编队的综合经济效益影响较大.     

联合车速–队列感知的路边单元分组调度随机优化

路边单元(RSU)是车联网中为其无线覆盖范围内过往车辆提供信息服务的基础设施,路边单元间的分组传输可通过移动车辆"存储–载带–转发"的方式进行,其传输过程中分组的端到端时延由源RSU缓存中的排队时延与车辆载带过程的传播时延两部分组成.为使RSU间分组传输过程中平均端到端时延最小化,本文提出一种联合车速–队列感知的路边单元分组调度随机优化方法,该方法根据源RSU缓存队列长度和经过源RSU覆盖范围的车辆速度状态作分组调度决策.通过马尔科夫决策(MDP)框架对分组传输过程中的平均排队时延和平均传播时延进行分析,建立一个非线性平均端到端时延最小化问题并求解.仿真结果表明,所提出的RSU分组调度随机优化方法可以显著降低RSU间分组传输过程中的平均端到端时延,并提高系统中分组传输的吞吐量.     

基于C语言的俄罗斯方块的设计与实现

介绍利用C语言开发俄罗斯方块游戏的设计和实现方法 ,对于编写类似的游戏程序具有指导和借鉴作用。     

基于车辆载带中继的路边单元突发业务分组调度最优策略

高速公路车联网场景中, 路边单元(Roadside units, RSUs)可作为多种周边监测数据的汇入网关, 其业务具有突发特性, 且可通过移动车辆以“存储−载带−转发”方式传输到与骨干网络互联的RSU. 针对RSU间业务传输问题, 源RSU可根据实时业务到达率按需匹配资源, 以应对业务突发性对分组端到端时延的影响. 本文首先针对RSU突发业务传输过程建立突发业务到达模型、车辆到达模型和离散车速状态模型; 进而利用受限马尔科夫决策过程对系统状态转移过程进行分析, 并建立非线性平均端到端时延最小化问题; 最后通过分析最优解的形式得出最优分组调度策略具有门限结构. 仿真结果验证了RSU间业务传输过程中排队时延和传播时延之间存在折中, 且该分组调度策略能降低业务传输过程的平均端到端时延.     

蜂窝车联网侧行链路信道测量与分析

蜂窝车联网侧行链路接口(PC5)采用终端到终端直接通信的形式,因其通信延迟低、传输容量大和传输可靠性高的特点而具备广阔的科研和工程前景。为了实测蜂窝车联网侧行链路信道特性,使用具有PC5接口的车载板卡在城市道路进行了通信测量工作,并依据测量结果从信道特征对PC5接口信道进行了分析。分析了通信收包时延随距离和信噪比变化的特征,将实测参考信号接收功率值与自由空间和双射线两种路径损耗经验模型及对数距离和双斜率两种路径损耗拟合模型的预测值进行了对比,并引入了四种相关性分析算法,从数值偏移量、线性相关程度和几何形态相似度等角度分析了模型预测值与实测数据的关联性,最终验证了双斜率路径损耗模型最适合表征PC5接口通信信道在城市环境下的衰落特征,基于该模型测算得到的路径损耗指数和阴影衰落方差也进一步说明此模型能够更好地结合实验环境表征信道特性。     

The Applicability of Debye-Hückel Model in NaAl(OH)_4-NaOH-H_2O System

1 INTRODUCTION NaAl(OH)4-NaOH-H2O system plays a paramount role in the industry of alumina production, and the calculation of its activity coefficients can not only aid to perfect the theory of alumina production, but also accelerate the research and the development of new technology for reducing the production cost and energy consumption. However, the solution in alumina industry has high concentration with extremely complex structure, and the properties of the solution are easily affe…     

Activity coefficient calculation model for NaAl（OH）4-NaOH-H2O system

Resorting to Debye-Hückel equation, the conception of the apparent dielectric constant ε' of sodium aluminate solution is introduced. By supposing that all the influences are attributed to it, ε' is successfully related to caustic ratio αK, concentration mNaoH, T and temperature T. Then an activity coefficient calculation model for NaAl (OH)4-NaOH-H2O system from 25 ℃ to 100 ℃ is established, which can be used in much wider αK and mNaoH, T ranges than those covered by the equilibrium solubility data.     

微蜂窝中高效地最大化具有QoS需求用户数的资源分配策略（英文）

Small cells have been regarded as an appealing technique to boost resource reuse ratio.On the other hand,their large-scale and self-organised tendency would complicate the interference environment of mobile networks.Meanwhile,traffic class is booming in recent years,which leads to higher demand for network designers on Quality of Service(QoS)provision,and therefore users' diverse requirements may not be guaranteed in such an interference limited scenario.To maximise the number of users with QoS demands as well as resource reuse ratio,we formulate the resource allocation problem into a multi-objective l0norm form.It is shown to be NP hard,and an iterative method is employed to approach the optimal solution.Because of its limit of being not adaptive to large-scale networks,we also design a heuristic method based on chordal graph,which,however,could result in performance loss when the size of networks is small.Finally,by combining these two methods,we devise a hybrid algorithm such that the allocation performs both efficiently and effectively.Simulation results illustrate the performance of our proposed methods in terms of outage probability and resource reuse ratio.