工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 可计算性理论 >>>
搜索结果: 1-6 共查到可计算性理论 系统相关记录6条 . 查询时间(1.001 秒)
2022年12月10日至11日,第四届国际高性能大数据暨智能系统会议(The 4th International Conference on High Performance Big Data and Intelligent Systems, HDIS 2022)采取线上方式举办,并取得圆满成功。本届会议由中国计算机学会(CCF)、中国人工智能学会(CAAI)联合主办,IEEE Computer ...
2021年12月5日至7日,第三届国际高性能大数据暨智能系统会议(2021 International Conference on High Performance Big Data and Intelligent Systems,HPBD&IS 2021)采取线上线下结合的方式在澳门召开,并取得圆满成功。会议由中国计算机学会、中国人工智能学会联合主办,IEEE Computer Society技...
山东大学软件学院高性能计算与系统结构研究中心以计算机系统结构理论为基础,主攻高性能计算、大数据处理与分析,智能硬件与边缘计算、网络与云计算、嵌入式与物联网应用方向的研究工作,现有教师7人,其中教授2人,副教授4人,讲师1人,包括泰山学者特聘教授1人。近几年来,中心师生已在IEEE TPDS、TC、TOS、TCAD、TECS等国际知名期刊和SC、NSDI、FAST、DAC、PPoPP、IPDPS、D...
利用势为3的非均匀概率空间的无穷乘积,在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。
针对OFDMA系统的下行链路,提出了一种面向不同业务的低复杂度资源分配算法。方案基于上行链路分配的思想,先进行用户功率和子载波数的确定;然后引入基于用户信道状态、速率要求和延时约束的优先级函数。在子载波的分配中,根据优先级函数分配子载波以满足各类业务的具体要求。仿真结果表明,该算法能够充分利用多用户分集增益,在相同的通信服务质量条件下,算法提高了系统性能,降低了计算复杂度,具有现实意义。
为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,并使用公理系统完成系统性质的证明.最后通过一个实例来展示投影时序逻辑及公理系统系统验证中的应用.

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...