基于本体的共享内容对象参考模型语义化

从语义的角度出发探讨如何利用本体实现对共享内容对象参考模型（SCORM）的语义化,使得SCORM标准既能实现资源的标准化又能满足教学的智能化,同时使得SCORM标准可以适应未来语义网络的需求,扩展SCORM标准的应用前景.     

工业通信中基于超宽带的自组网路由策略

针对工业通信中的实时性和可靠性问题,提出了一种基于超宽带技术的自组织网络路由策略,该策略利用超宽带技术定位性好的特点,在位置辅助路由协议的基础上引入分层的路由机制扩展而成,通过限制路由请求的范围和缩短任务的传输距离,来降低网络的洪泛开销和任务的传输时间,从而提高数据传输的实时性和可靠性.仿真结果表明,该策略能够显著改善网络的性能,在路由策略的执行效率上优于传统的洪泛路由协议.     

从含铁离子和磷酸根离子溶液中回收镓的研究

本文研究了PO4^3-对Ga^3＋和Fe^3＋沉淀过程的影响,以及含PO4^3-溶液中Fe^3＋对Ga^3＋沉淀过程的影响。实验结果表明PO4^3-对Ga^3＋和Fe^3＋的沉淀过程具有促进作用,当PO4^3-与金属的摩尔比小于1：1时影响比较显著,摩尔比大于1：1后,PO4^3-的影响不再变化。在含PO4^3-的溶液中Fe^3＋可以使Ga^3＋在较低的pH值下发生沉淀,镓沉淀率随着Fe^3＋：Ga^3＋摩尔比的增加而增加。     

远网快攻战术初探

本文针对92年中古女子排球“超霸杯”的统计数据和目前世界女子排球比赛中近网快攻频频被使用,而又屡屡遭到拦网拦截的事实,提出了远网快攻战术的设想,并对运网快攻战术的方法、作用、可行性及运用原则等问题,进行了较为系统的论述。     

元宇宙视域下网络游戏的传播活动及生态治理——以MMORPG网游《剑网3》为例

元宇宙视域下,以《剑网3》为代表的国产大型多人在线网络游戏由于其特有的社交性、交互性、沉浸式等特点,其传播活动的形态更加全面而复杂：其自我传播是一种类自我传播,其人际传播具有虚拟性和匿名性,其群体传播则呈现出圈层化的特点。受这些新特征影响,网络游戏的传播活动也非常容易出现与现实割裂、负面信息无节制传播等生态问题,这既需要玩家提高认识,努力提升自身的道德责任感,又要求网游开发者正视问题,积极引导和充分发挥网游的传播功能,明确网游不仅是娱乐工具,也应承担更多的文化传播功能。这样,方可营造一个良好的虚拟生态空间。     

基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.     

浅谈机床领域图纸网专利检索策略

审查员除在专利文献中进行检索外,还应当查阅检索用非专利文献。图纸网属于典型的机械领域非专利文献网站,针对图纸网的检索具有自身的特点和重要意义。本文从申请文件本身撰写的角度出发,结合"开拔网"和"沐风网"两个不同的图纸网网站的特点,通过五个实际案例介绍了机床领域在图纸网检索过程中的一些检索策略,从中总结一些可以概括检索关键词的方法,以期最大程度实现高效、全面的检索。     

大跨网壳结构板式橡胶支座刚度分析

实际工程中,支座是假定固定或铰接,而实际结构则是介于二者之间,常常采用板式橡胶支座．结合实际工程进行了大跨度网壳结构的板式橡胶支座计算与构造设计,采用大型有限元软件ANSYS模拟分析,重点探讨了在均匀施加支座竖向压力不变的情况下,调整水平推力的大小,得到三向最大位移,利用公式计算出各水平推力对应的水平刚度和竖向刚度,得到主要的变化规律,在实际工程可供参考．     

互联网高速内容管控系统

近年来,各种反动、谣言、暴力、淫秽等不良和有害信息借助互联网的开放性肆意传播,已经严重威胁到国家安全、社会稳定和民众健康上网。不良信息中的热点敏感内容因关注度高、影响面广,在短时间内往往产生极为严重的负面效果,因此,对热点敏感内容的及时发现与管控已经成为我国互联网监管的一项重大需求。     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.