期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
区间时序逻辑的标记相继式演算
1
作者 胡成军 王戟 陈火旺 《计算机学报》 EI CSCD 北大核心 1999年第11期1121-1126,共6页
区间逻辑在许多领域如人工智能、形式化方法中都有成功应用.其中,区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视.由于区间时序逻辑具有较强的表达能力,这也使得该逻辑的定理证明变得相当困难.该文提出了区间时序逻辑的... 区间逻辑在许多领域如人工智能、形式化方法中都有成功应用.其中,区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视.由于区间时序逻辑具有较强的表达能力,这也使得该逻辑的定理证明变得相当困难.该文提出了区间时序逻辑的一个标记相继式演算,并给出其可靠性和相对完备性结论.该演算应用于机器辅助定理证明工具中,可以有效地提高证明的自动化程度.在高阶逻辑证明工具PVS中,作者尝试性地实现了这一演算,获得了很好的效果. 展开更多
关键词 区间时序逻辑 相继式演算 定理证明 人工智能
下载PDF
形式模糊命题逻辑中的机械推导算法
2
作者 邓安生 李业丽 《松辽学刊(自然科学版)》 1992年第1期28-30,33,共4页
本文给出了形式模糊命题逻辑中的一种机械推导方法,并且证明了它的有效性和完备性。
关键词 模糊命题逻辑 相继式
下载PDF
预见性与相继性双侧去骨瓣减压术治疗重度颅脑损伤的临床观察 被引量:1
3
作者 詹结民 曹小亮 +1 位作者 陈加涛 朱子进 《锦州医科大学学报》 CAS 2020年第3期75-77,共3页
目的比较预见性和相继性双侧去骨瓣减压术治疗重度颅脑损伤患者的临床疗效和安全性。方法将2016年9月至2019年9月我院收治的80例重度颅脑损伤患者随机分为对照组(n=40)和实验组(n=40),对照组采用相继性双侧去骨瓣减压术治疗,实验组采用... 目的比较预见性和相继性双侧去骨瓣减压术治疗重度颅脑损伤患者的临床疗效和安全性。方法将2016年9月至2019年9月我院收治的80例重度颅脑损伤患者随机分为对照组(n=40)和实验组(n=40),对照组采用相继性双侧去骨瓣减压术治疗,实验组采用预见性双侧去骨瓣减压术治疗。比较两组患者手术前后颅内压变化和术后并发症发生情况,采用哥斯拉哥评分(GOS)评估患者预后效果。结果两组术后1、2、3 d的颅内压均低于术前(P<0.05),在术后1、2、3 d的颅内压上,实验组明显低于对照组,差异具有统计学意义(P<0.05);实验组的并发症总发生率为7.50%(3/40),低于对照组的25.00%(10/40)(P<0.05);对比GOS恢复良好率和死亡率,实验组明显更优,差异具有统计学意义(P<0.05)。结论相较于相继性双侧去骨瓣减压术,重度颅脑损伤患者采用预见性双侧去骨瓣减压术后颅内压得到进一步降低,减少术后并发症,预后效果良好,安全性较高。 展开更多
关键词 预见性术 相继性术 重度颅脑损伤 双侧 去骨瓣减压术 安全性
下载PDF
王浩算法的Java实现 被引量:1
4
作者 梁晟 赵雷 《科技信息》 2010年第05X期56-56,206,共2页
用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。
关键词 王浩算法 相继式 JAVA语言
下载PDF
智能计算机自动分析系统的探讨
5
作者 程退安 曹珍富 《哈尔滨工业大学学报》 EI CAS 1985年第A3期96-100,共5页
目前,关于智能计算机的研究已成为每个计算机工作者共同关心的课题,在我国,这方面工作还刚刚开始。本文探讨的是智能计算机课题中最关键问题之一——描述并建立一个新的自动分析系统,从而方便地解决了,计算机在学会一些知识后,通过分析... 目前,关于智能计算机的研究已成为每个计算机工作者共同关心的课题,在我国,这方面工作还刚刚开始。本文探讨的是智能计算机课题中最关键问题之一——描述并建立一个新的自动分析系统,从而方便地解决了,计算机在学会一些知识后,通过分析准确地采取行动。 展开更多
关键词 智能计算机 自动分析 课题 连接词 第五代计算机 连词 矢列 相继式
下载PDF
A stochastic user equilibrium model solving overlapping path and perfectly rational issues 被引量:1
6
作者 YAN Dong-mei GUO Jian-hua 《Journal of Central South University》 SCIE EI CAS CSCD 2021年第5期1584-1600,共17页
Traffic assignment has been recognized as one of the key technologies in supporting transportation planning and operations.To better address the perfectly rational issue of the expected utility theory(EUT)and the over... Traffic assignment has been recognized as one of the key technologies in supporting transportation planning and operations.To better address the perfectly rational issue of the expected utility theory(EUT)and the overlapping path issue of the multinomial logit(MNL)model that are involved in the traffic assignment process,this paper proposes a cumulative prospect value(CPV)-based generalized nested logit(GNL)stochastic user equilibrium(SUE)model.The proposed model uses CPV to replace the utility value as the path performance within the GNL model framework.An equivalent mathematical model is provided for the proposed CPV-based GNL SUE model,which is solved by the method of successive averages(MSA).The existence and equivalence of the solution are also proved for the equivalent model.To demonstrate the performance of the proposed CPV-based GNL SUE model,three road networks are selected in the empirical test.The results show that the proposed model can jointly deal with the perfectly rational issue and the overlapping path issue,and additionally,the proposed model is shown to be applicable for large road networks. 展开更多
关键词 stochastic user equilibrium cumulative prospect theory generalized nested logit method of successive averages
下载PDF
Generalized nested logit-based stochasticuser equilibrium model with distance constraint of electric vehicles
7
作者 Yan Dongmei Guo Jianhua Park B.Brian 《Journal of Southeast University(English Edition)》 EI CAS 2022年第2期186-194,共9页
Considering the range anxiety issue caused by the limited driving range and the scarcity of battery charging stations,the conventional multinomial logit(MNL)model with the overlapping path issue was used in route choi... Considering the range anxiety issue caused by the limited driving range and the scarcity of battery charging stations,the conventional multinomial logit(MNL)model with the overlapping path issue was used in route choice modeling to describe the route choice behavior of travelers effectively.Furthermore,the generalized nested logit-based stochastic user equilibrium(GNL-SUE)model with the constraints of multiple user classes and distance limits was proposed.A mathematical model was developed and solved by the method of successive averages.The mathematical model was proven to be analytically equivalent to the modified GNL-SUE model,and the uniqueness of the solution was also confirmed.The proposed mathematical model was tested and compared with the GNL-SUE model without a distance limit and the MNL-SUE model with a distance limit.Results show that the proposed mathematical model can effectively handle the range anxiety and overlapping path challenges. 展开更多
关键词 traffic engineering stochastic user equilibrium generalized nested logit multinomial logit method of successive averages distance limit
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部