期刊文献+
共找到38篇文章
< 1 2 >
每页显示 20 50 100
基于OOAPN模型的多代理软件系统的形式化模型 被引量:1
1
作者 潘洪军 孙吉贵 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2008年第5期1120-1124,共5页
为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式化模型,把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上,提高了OOAPN模型... 为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式化模型,把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上,提高了OOAPN模型之间的异步通讯能力和复杂系统的建模能力。 展开更多
关键词 计算机软件 形式化方法 多代理系统 OOAPN模型 代数规格说明
下载PDF
面向系统能力的形式化分析和测试方法 被引量:1
2
作者 陈平 梁启明 孙伟 《计算机科学》 CSCD 北大核心 2017年第S1期534-538,共5页
国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行描述,存在语义不准确的现象... 国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行描述,存在语义不准确的现象,直接影响系统测试的质量。针对上述问题,提出了一种面向系统能力的形式化分析和测试方法。通过该方法,测试工程师可得到语义清晰的系统能力需求描述,并实施面向系统能力的系统测试,有效地提高系统测试的充分性和准确性,从而提高系统软件质量。 展开更多
关键词 系统测试 系统能力测试 形式化方法 软件需求分析
下载PDF
高校性骚扰受害者的沉默原因:一项初步研究 被引量:12
3
作者 郑力 张冉 《复旦教育论坛》 CSSCI 北大核心 2018年第4期50-57,共8页
校园性骚扰对受害者具有较大的负面影响,但校园性骚扰受害者在遭受性骚扰后往往会选择沉默,且较少主动通过正式途径报告受害经历并寻求帮助。对5所高等院校1355名学生的问卷调查和7名学生的访谈显示,校园性骚扰受害者出于多种原因选择沉... 校园性骚扰对受害者具有较大的负面影响,但校园性骚扰受害者在遭受性骚扰后往往会选择沉默,且较少主动通过正式途径报告受害经历并寻求帮助。对5所高等院校1355名学生的问卷调查和7名学生的访谈显示,校园性骚扰受害者出于多种原因选择沉默,这些原因可被归纳为"个人的理性考量""制度的局限""文化规范的影响"三种类型。在这样的背景下,高校应当建立健全性骚扰防范机制,努力营造对性骚扰受害者友好的环境,并增进公众对性骚扰报告和处理机制的信任。 展开更多
关键词 校园性骚扰 性骚扰受害者 沉默现象 争议解决 正式途径
下载PDF
形式主义框架下的语法化研究——以英语助动词do为例 被引量:7
4
作者 陈旭传 韩景泉 《外国语》 CSSCI 北大核心 2009年第4期18-25,共8页
语法化一向作为功能学派的研究热点,被看作一种由功能或经验驱动并产生语法的途径,对形式学派的语法自主说构成严峻的挑战。本文以英语助动词do的语法化过程为例,对语法化现象进行形式主义的研究,旨在论证语法化现象只是功能中心语特征... 语法化一向作为功能学派的研究热点,被看作一种由功能或经验驱动并产生语法的途径,对形式学派的语法自主说构成严峻的挑战。本文以英语助动词do的语法化过程为例,对语法化现象进行形式主义的研究,旨在论证语法化现象只是功能中心语特征在表征形式上发生变化时所引发的词汇重析,属于具体语言的参数范畴,由于受语言习得者内在保守性影响,该过程包含结构简化。并且,结构变化先于相关语义变化的发生,且独立于其他系统而存在。本文认为形式主义的研究方法对解释语法化的机制更为深入、直观,能更有效地揭示语法本质。 展开更多
关键词 语法化 形式主义 DO
原文传递
Prompt photon production in proton–nucleus collisions at LHC:a comparison among color dipole models
5
作者 Hong-Min Wang Yan-Zhao Wang +1 位作者 Yong-Han Xu Xian-Jing Sun 《Communications in Theoretical Physics》 SCIE CAS CSCD 2023年第12期75-83,共9页
The nuclear modification factor for prompt photon production in proton-nucleus collisions is investigated within color dipole formalism.By means of the Glauber-Gribov approach,the nuclear effects are studied in variou... The nuclear modification factor for prompt photon production in proton-nucleus collisions is investigated within color dipole formalism.By means of the Glauber-Gribov approach,the nuclear effects are studied in various rapidity bins with the evolution equation-based saturation models and the phenomenological dipole models.The theoretical results are compared with the experimental data provided by PHENIX,ATLAS and CMS Collaborations.At forward rapidity and midrapidity,a reasonable agreement with the experimental data is shown for the theoretical results with the modified Kharzeev,Levin and Nardi model,and the Kowalski and Teaney model.Then,we analyze the influence of the initial state energy loss effect on the nuclear modification factor and find that it is obvious only at backward rapidity together with small pT.Finally,the theoretical results are also compared with those of JETPHOX Monte Carlo program and the predictive results for the LHCb at very forward rapidities are presented. 展开更多
关键词 color dipole formalism Glauber-Gribov approach small-r limit
原文传递
自动驾驶汽车的多维评价准则体系
6
作者 陆美钰 王宇雷 +3 位作者 李蒙 吴坚 邱静 陈虹 《中国汽车》 2023年第7期7-17,共11页
自动驾驶(AD)技术是一种能够增强或替代人类驾驶员的技术,但同时也给汽车测试和评估(T&E)技术带来了极大的挑战。由于AD技术替代了驾驶员的感知、决策和控制,因此自动驾驶汽车(AVs)的T&E程序必须从独立的人-车二元T&E转变为... 自动驾驶(AD)技术是一种能够增强或替代人类驾驶员的技术,但同时也给汽车测试和评估(T&E)技术带来了极大的挑战。由于AD技术替代了驾驶员的感知、决策和控制,因此自动驾驶汽车(AVs)的T&E程序必须从独立的人-车二元T&E转变为人-车系统的集成T&E。在复杂的天气、交通和电磁环境下进行公路测试,使得AVs的定量T&E非常困难。为了解决这个问题,本文提出了一种多维度评价准则方案,其中包括运行范围、性能表现和交互与风险保障评价准则。通过形式化方法,即线性时间逻辑(LTL),实现了基于场景的评估方法。在中国GB的典型情景中,本文提出的评价准则方案得到了验证,并且通过基于SCANeR studio软件的模拟实现。 展开更多
关键词 自动驾驶汽车 自动驾驶 评价 运行范围 性能表现 交互与风险保障 形式化方法
原文传递
面向服务软件中异常处理的形式化建模方法 被引量:4
7
作者 蒋曹清 应时 +2 位作者 文静 贾向阳 王一兵 《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第4期118-124,共7页
针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模... 针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。 展开更多
关键词 面向服务软件 异常处理 形式化建模 建模方法
下载PDF
语义异常的不同阐释路径 被引量:2
8
作者 李翠英 《重庆文理学院学报(社会科学版)》 2011年第5期104-108,共5页
语义异常在语言中是普遍存在的现象,虽处于学术研究的边缘,却也一直散见于各种语义学论著中。文章通过对各语义学流派不同观点的梳理,将语义异常现象的分析划分为三种路径:形式的、语用的和认知的,同时指出各路径的特点和不足。
关键词 语义异常 阐释路径 语用 认知 形式
下载PDF
基于形式语言的室内色彩与照明设计路径分析 被引量:2
9
作者 牛艺涵 《流行色》 2022年第8期12-14,共3页
在室内设计中,色彩设计是最主要的设计因素,同时也是一种形式语言,色彩形式语言起到的作用也是其他元素不能相比的,而且同一个色彩可以给予人们不一样的情感变化。灯光照明也是室内设计不可代替的部分,色彩和灯光的运用相辅相成、相互依... 在室内设计中,色彩设计是最主要的设计因素,同时也是一种形式语言,色彩形式语言起到的作用也是其他元素不能相比的,而且同一个色彩可以给予人们不一样的情感变化。灯光照明也是室内设计不可代替的部分,色彩和灯光的运用相辅相成、相互依存,两者直接影响着室内空间的整体风格与氛围。只有梳理清楚色彩和灯光照明的关系和作用,才能更进一步探索室内设计中形式语言魅力展现形式。 展开更多
关键词 形式语言 色彩与灯光 室内设计 实践途径
下载PDF
谈现代语言学四大视角下的句法研究
10
作者 罗健京 邓云华 《湖南工业职业技术学院学报》 2015年第5期27-31,共5页
本文从现代语言学的四大视角讨论了句法的研究。在简要概述各视角的背景知识后,重点阐释了它们各自对句法的解释力,并归纳其优缺点。结构主义的直接成分分析法对语素的研究极为透彻,但却只停留在对于语言内部结构和系统的静态描写;形式... 本文从现代语言学的四大视角讨论了句法的研究。在简要概述各视角的背景知识后,重点阐释了它们各自对句法的解释力,并归纳其优缺点。结构主义的直接成分分析法对语素的研究极为透彻,但却只停留在对于语言内部结构和系统的静态描写;形式主义的转换生成语法理论和格语法理论更注重语法理论的解释力,认为句法自治,强调语言的普遍适用,忽视了言语的灵活性和特殊性;功能主义以意义作为起点对语言进行系统性的描述,但无法解释语义是如何产生的以及如何对语义进行选择的问题;认知主义的构式语法理论更好地解释了意义的建构过程,尤其是超常表达的意义建构,但缺乏科学实证性。最后得出结论,科学研究在不足中发展。 展开更多
关键词 结构主义 形式主义 功能主义 认知主义 句法
下载PDF
向心结构理论的语义转向及其语言学意义 被引量:1
11
作者 颜红菊 徐静怡 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2012年第6期137-140,共4页
向心结构理论是结构主义语言学的理论主张,研究取向是形式的、排斥语义的。随着语言学的发展,向心结构理论研究呈现出语义转向,人们开始诉诸于语义来解释相关的语言现象。向心结构理论的语义转向不仅是向心结构理论本身的创新发展,也反... 向心结构理论是结构主义语言学的理论主张,研究取向是形式的、排斥语义的。随着语言学的发展,向心结构理论研究呈现出语义转向,人们开始诉诸于语义来解释相关的语言现象。向心结构理论的语义转向不仅是向心结构理论本身的创新发展,也反映了语言研究语义转向的趋势。 展开更多
关键词 向心结构理论 形式取向 语义转向
下载PDF
Symmetries and Algebras of a (2+1)-Dimensional MKdV-Type System 被引量:1
12
作者 王建勇 俞军 楼森岳 《Communications in Theoretical Physics》 SCIE CAS CSCD 2010年第6期999-1004,共6页
In this paper, a (2+1)-dimensional MKdV-type system is considered. By applying the formal series symmetry approach, a set of infinitely many generalized symmetries is obtained. These symmetries constitute a closed ... In this paper, a (2+1)-dimensional MKdV-type system is considered. By applying the formal series symmetry approach, a set of infinitely many generalized symmetries is obtained. These symmetries constitute a closed infinite-dimensional Lie algebra which is a generalization of w∞ type algebra. Thus the complete integrability of this system is confirmed. 展开更多
关键词 formal series symmetry approach w∞ symmetry algebra
下载PDF
Analytical Study of Nonlinear Dust Acoustic Waves in Two-Dimensional Dust Plasma with Dust Charge Variation
13
作者 LIN Chang ZHANG Xiu-Lian 《Communications in Theoretical Physics》 SCIE CAS CSCD 2005年第2X期247-251,共5页
The nonlinear dust acoustic waves in two-dimensional dust plasma with dust charge variation is analytically investigated by using the formally variable separation approach. New analytical solutions for the governing e... The nonlinear dust acoustic waves in two-dimensional dust plasma with dust charge variation is analytically investigated by using the formally variable separation approach. New analytical solutions for the governing equation of this system have been obtained for dust acoustic waves in a dust plasma for the first time. We derive exact analytical expressions for the general case of the nonlinear dust acoustic waves in two-dimensional dust plasma with dust charge variation. 展开更多
关键词 nonlinear dust acoustic waves plasma formally variable separation approach exact analytical solution
下载PDF
一个说明语言的设计和其子集编译器的开发
14
作者 江国华 张庆明 《南京航空航天大学学报》 CAS CSCD 1996年第3期419-426,共8页
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的... 基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点。 展开更多
关键词 编译程序 程序语言 形式语言 指称语义
下载PDF
基于Event-B对存在网络攻击的安全协议的改进研究
15
作者 朱俊翔 张翔 《中国电子科学研究院学报》 北大核心 2020年第6期530-538,共9页
设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证... 设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证改进后的协议可以防御已知的网络攻击。首先用初始模型对攻击场景高度抽象,通过对抽象模型的精化,得到反映真实攻击过程的具体模型。然后将描述协议行为的事件从模型中分离出来,单独对其进行精化改进,如果改进后的协议事件重组的模型与具体模型不存在精化关系,则改进的合理性可以得到验证。最后通过NSPK协议被攻击的案例展示了本研究所提出方法的可用性。该框架可用于开发协议,以避免由逻辑漏洞引起的攻击,并验证协议补丁的正确性。 展开更多
关键词 形式化方法 精化理论 模型检测 Event-B方法 安全协议设计 网络攻击
下载PDF
机会发现在多智能体系统中的形式化描述方法
16
作者 周绪川 钟勇 蔡利平 《计算机工程》 CAS CSCD 北大核心 2011年第11期187-189,共3页
针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑Lk,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模... 针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑Lk,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据。给出Lk的结构及语义,证明了Lk的可判定性,且计算可在多项式级时间复杂度内实现。 展开更多
关键词 多智能体系统 知识系统 机会发现 形式化方法 可判定性
下载PDF
史前艺术研究方法新探
17
作者 陈继玲 陈胜前 《东南文化》 CSSCI 北大核心 2016年第3期30-39,共10页
史前艺术遗存研究是探索古代社会生活面貌的重要手段,尤其是在精神领域,有关其研究方法的探讨非常重要,但国内学者鲜有涉足。旧石器时代艺术研究所涉及的方法中最有代表性的为结构主义与萨满教假说,以及其他一系列所应用的方法。这些方... 史前艺术遗存研究是探索古代社会生活面貌的重要手段,尤其是在精神领域,有关其研究方法的探讨非常重要,但国内学者鲜有涉足。旧石器时代艺术研究所涉及的方法中最有代表性的为结构主义与萨满教假说,以及其他一系列所应用的方法。这些方法涉及到不同层次、视角与应用范围,它们可以相互结合,融入到我们称之为"关联的方法"的框架中。目前初步的研究实践显示这种方法是行之有效的。 展开更多
关键词 史前艺术 研究方法 结构主义 形式分析 关联的方法
原文传递
基于圆特性的身份认证与密钥协商
18
作者 葛丽娜 唐韶华 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第5期111-117,共7页
为了加强几何认证方案的安全性,设计了一种基于圆特性的几何认证与密钥协商方案,该方案根据"n维空间圆上n+1个点可以唯一重构一个圆"的n维空间圆构造原理,采用多变量单向散列函数来计算登录消息,加强了用户登录消息的安全性,... 为了加强几何认证方案的安全性,设计了一种基于圆特性的几何认证与密钥协商方案,该方案根据"n维空间圆上n+1个点可以唯一重构一个圆"的n维空间圆构造原理,采用多变量单向散列函数来计算登录消息,加强了用户登录消息的安全性,使方案能抵抗口令猜测、重放、窃听与离线消息分析攻击.文中采用形式化方法证明了该方案是安全的. 展开更多
关键词 身份认证 密钥协商 安全性 圆特性 形式化方法
下载PDF
异地商会与企业跨地区发展 被引量:77
19
作者 曹春方 贾凡胜 《经济研究》 CSSCI 北大核心 2020年第4期150-166,共17页
本文研究异地商会这一正式社会网络是否能帮助企业突破跨地区发展障碍。以手工整理的上市公司新增异地子公司测量企业跨地区发展,以不同时点的异地商会成立为外生冲击,本文构建了多点冲击双重差分模型,实证结果发现:(1)异地商会促进了... 本文研究异地商会这一正式社会网络是否能帮助企业突破跨地区发展障碍。以手工整理的上市公司新增异地子公司测量企业跨地区发展,以不同时点的异地商会成立为外生冲击,本文构建了多点冲击双重差分模型,实证结果发现:(1)异地商会促进了家乡地企业的跨地区发展,家乡地企业向异地商会所在地的新增子公司平均增加47.3%。(2)异地商会的正式社会网络作用是单向的,主要从非市场途径进行信息传递和资源获取,其在异地市场不发达、政府资源控制较强以及市场信息获取成本高的地区更强。此外,异地商会还与地区间的非正式社会网络存在替代作用。(3)进一步,子公司数据与工业企业数据库匹配考察这种异地发展的效果表明,异地商会提升了异地子公司业绩和运营效率,降低了运营费用。本文拓展和丰富了社会网络影响企业发展障碍的相关研究,结论表明更好地促进和发挥异地商会这种正式社会网络作用,可能是解决我国区域间不平衡、不充分发展的重要微观路径。 展开更多
关键词 异地商会 正式社会网络 非市场途径 跨地区发展
原文传递
虚拟企业集成模型的形式化方法 被引量:7
20
作者 刘永和 黄必清 +1 位作者 刘文煌 奚兵 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2000年第4期84-87,共4页
为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方... 为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。 展开更多
关键词 虚拟企业 企业模型 集成计算机辅助制造
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部