期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
面向未解释程序的合作验证方法
1
作者 杜一德 洪伟疆 +1 位作者 陈振邦 王戟 《软件学报》 EI CSCD 北大核心 2023年第7期3116-3133,共18页
未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(c... 未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(counterexample-guided abstraction refinement,CEGAR)框架被提出,并展现了良好的验证效率.即使如此,对未解释程序的验证工作依然需要多次迭代,特别是利用该方法在针对多个程序验证时,不同的程序之间的验证过程是彼此独立的,存在验证开销巨大的问题.发现被验证的程序之间较为相似时,不可行路径的抽象模型可以在不同的程序之间复用.因此,提出了一个合作验证的框架,收集在验证过程中不可行路径的抽象模型,并在对新程序进行验证时,用已保存的抽象模型对程序进行精化,提前删减一些已验证的程序路径,从而提高验证效率.此外,通过对验证过程中的状态信息进行精简,对现有的基于状态等价的路径抽象方法进行优化,以进一步提升其泛化能力.对合作验证的框架以及路径抽象的优化方法进行了实现,并在两个具有代表性的程序集上分别取得了2.70×和1.49×的加速. 展开更多
关键词 合作验证 未解释程序 反例抽象精化 路径抽象 复用
下载PDF
自主探究,还是合作验证?
2
作者 张晨 潘菊平 《江苏教育》 2004年第11B期24-24,共1页
“探究学习”是新课程倡导的一种学习方式,它以其特定的形式受到越来越多老师的青睐,但我们不能简单地认为只要组建合作小组,学生围在一起议论、探究就会自然生效。曾听过一节《圆的认识》,其中有这样一个环节:要求学生自主探究同... “探究学习”是新课程倡导的一种学习方式,它以其特定的形式受到越来越多老师的青睐,但我们不能简单地认为只要组建合作小组,学生围在一起议论、探究就会自然生效。曾听过一节《圆的认识》,其中有这样一个环节:要求学生自主探究同一圆内半径、直径的特征及二者之间的关系。教者给每位学生提供一个圆和一张记录纸,在记录纸上写着。 展开更多
关键词 自主探究 合作验证 小学 教学方法 课程理念 数学 《圆的认识》
下载PDF
Empirical study on cooperative learning approach to College oral English teaching
3
作者 白晶 王丽丽 《Sino-US English Teaching》 2010年第5期15-20,共6页
As a creative and effective teaching method adopted by many countries, cooperative learning is one of the most widespread and fruitful areas in modern education theory. With the introduction of the concept of cooperat... As a creative and effective teaching method adopted by many countries, cooperative learning is one of the most widespread and fruitful areas in modern education theory. With the introduction of the concept of cooperative learning among College oral English teaching, students could undergo all-round training in English proficiency, cooperative ability, self-learning ability and sense of competition. This paper mainly focuses on how to make full use of cooperative leaning in College oral English teaching, and tries to verify that cooperative leaning is a practical and effective teaching mode which could enhance the College oral English classroom teaching quality. 展开更多
关键词 cooperative leaning oral English teaching practical experiment teaching mode/method
下载PDF
Simple and Low-Cost Re-Authentication Protocol for HeNB 被引量:1
4
作者 赖成喆 李晖 +1 位作者 张跃宇 曹进 《China Communications》 SCIE CSCD 2013年第1期105-115,共11页
The 3rd Generation Partnership Project(3GPP)defined a new architecture,called Home eNode B(HeNB).The 3GPP has also presented a protocol for communications between HeNB and core networks for mutual authentication.To re... The 3rd Generation Partnership Project(3GPP)defined a new architecture,called Home eNode B(HeNB).The 3GPP has also presented a protocol for communications between HeNB and core networks for mutual authentication.To reduce the authentication costs associated with communication,computation and energy,this paper proposes a simple and low-cost re-authentication protocol that does not compromise the provided security services.The proposed protocol uses as the re-authentication parameter a Master Session Key(MSK)that has already been computed in the initial authentication,and does not require the full initial authentication to be repeated.Moreover,the proposed protocol does not modify the 3GPP infrastructure,and is easily applied to the HeNB system.Finally,the security of the proposed protocol is verified by Automated Validation of Internet Security Protocols and Applications(AVISPA)and Burrows-Abadi-Needham(BAN)Logic;detailed evaluations of performance are also given.The analysis results illustrate that the proposed protocol can achieve at least 50%cost reduction in communication and 58%cost reduction in energy.The computational cost is also reduced by half compared with the initial authentication. 展开更多
关键词 HeNB AUTHENTICATION SECURITY 3GPP
下载PDF
Optimal Deployment Density for Maximum Coverage of Drone Small Cells
5
作者 Chao Dong Jiejie Xie +3 位作者 Haipeng Dai Qihui Wu Zhen Qin Zhiyong Feng 《China Communications》 SCIE CSCD 2018年第5期25-40,共16页
With the proliferation of small and mini drones, Drone Small Cells(DSCs) can cooperative multiple drones to provide communication service for ground users as emergency means or supplementary ones of traditional terres... With the proliferation of small and mini drones, Drone Small Cells(DSCs) can cooperative multiple drones to provide communication service for ground users as emergency means or supplementary ones of traditional terrestrial cellular networks. In this paper, we study the fundamental problem of optimizing the deployment density of DSCs to achieve the maximum coverage performance. Most related works do not consider cumulative inter-cell interference when studying the coverage performance of DSCs. First, we derive an approximate and closed-form expression of the cumulative inter-cell interference which comes from both probabilistic Line-of-Sight(Lo S) and Non-Line-of-Sight(NLo S) links. Then, we analyze the coverage performance of DSCs and derive the transcendental function of optimal deployment density to obtain the maximum coverage. Last, we propose an algorithm to get the optimal deployment density with low complexity. We conduct both field experiments and Matlab simulations to verify the correctness of theoretical analysis. In addition, we show the impact of some factors on the relation between the deployment density and coverage performance through extensive numerical simulations. 展开更多
关键词 drone small cells deployment density coverage ratio inter-cell interference
下载PDF
“汉光-19号”演习一线直击
6
作者 吴健 《国际展望》 2003年第10期12-13,共2页
这是台军历次“汉光”演习中规模最大、参演兵力最多、演练层次最高的一次,共有5个战区、包括海陆空各军种与兵种的数万兵力投入此次演习。
关键词 “汉光-19号”演习 台湾省 “自卫防卫作战”能力 “联合作战指挥机制实战验证 “联合计算机兵棋推演” “联合作战能力抽测评鉴” 网络中心战 作战平台 陆军 空军 海军
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部