期刊文献+
共找到10,738篇文章
< 1 2 250 >
每页显示 20 50 100
中国大城市非正规公共空间治理——对城市流动摊贩空间疏导模式的后现代反思 被引量:63
1
作者 黄耿志 薛德升 +2 位作者 徐孔丹 杨燕珊 陈昆仑 《国际城市规划》 CSSCI 北大核心 2019年第2期47-55,共9页
如何协调现代性/正规性与非正规性的矛盾是21世纪城市规划面临的一个挑战。本文通过分析广州流动摊贩疏导区治理的性质和矛盾,提出"合理正规化"的问题。研究认为,疏导区是一种基于空间操作的正规化机制,它以空间固定为基础,... 如何协调现代性/正规性与非正规性的矛盾是21世纪城市规划面临的一个挑战。本文通过分析广州流动摊贩疏导区治理的性质和矛盾,提出"合理正规化"的问题。研究认为,疏导区是一种基于空间操作的正规化机制,它以空间固定为基础,通过施加一套源于正规经济的管理措施来改造和管控非正规性。然而,疏导区的"正规本位主义"忽视了非正规经济嵌入现实实践的自然特性和优势,使其面临潜在的可持续性危机。这个危机隐含于疏导区四个正规化要素与流动摊贩特性之间的矛盾,表现在区位固定与流动性、租金缴纳与低成本、合同约束与灵活性、产品管制与自主性等方面的紧张关系。广州案例表明了协调既定的现代空间秩序与非正规的公共空间使用之关系的复杂性,带来的启示是对非正规的规划响应不应只是简单地将源于正规经济的既定规范施加于非正规,而应充分考虑非正规自身特性、需求和规律。这或许需要规划师突破现代规划框架,发展应对流动性、灵活性等表征后现代性特征的规划理论和方法。 展开更多
关键词 城市非正规性 公共空间 流动摊贩 正规化 后现代主义
原文传递
文献计量与内容分析——文献群中隐含信息的挖掘 被引量:54
2
作者 朱少强 邱均平 《图书情报工作》 CSSCI 北大核心 2005年第6期19-23,共5页
在对文献计量和内容分析进行特征归纳与比较的基础上,提出这两种研究方法所具备的一致性逻辑,即:通过借助于某种直观的或选定的形式化体系及定义在此形式化体系之上的运算集,对文献的某些外部特征与粗略内容特征进行量化统计,力图发现... 在对文献计量和内容分析进行特征归纳与比较的基础上,提出这两种研究方法所具备的一致性逻辑,即:通过借助于某种直观的或选定的形式化体系及定义在此形式化体系之上的运算集,对文献的某些外部特征与粗略内容特征进行量化统计,力图发现附着在大量文献群背后的隐含信息;探讨这两种方法在应用中必须满足的、隐含的预设前提;认为文献计量和内容分析都可以归并到信息计量与分析的类属下,发挥各自优势,进行理论、方法与应用的综合。 展开更多
关键词 文献计量 内容分析 隐性知识 形式化 比较研究
原文传递
文档管理系统中的工作流技术 被引量:12
3
作者 毛根生 毛波影 王丹亚 《浙江大学学报(自然科学版)》 CSCD 2000年第1期60-64,共5页
讨论工作流 ( Work Flow)技术中的工作流描述语言和工作流计算模型 ,提出了一个形式化的计算机公文流通管理系统 .基于工作流协同式公文流通管理系统将工作流的计算模型有效地应用于文档管理中 。
关键词 工作流 形式化 办公自动化 文档管理系统
下载PDF
包容还是新的排斥?——城市流动摊贩空间引导效应与规划研究 被引量:45
4
作者 黄耿志 李天娇 薛德升 《规划师》 北大核心 2012年第8期78-83,共6页
针对广州以空间疏导治理流动摊贩的模式,以青年社区摊贩疏导区及周边流动摊贩区为例,对疏导区政策效应进行研究,结果表明,虽然疏导区满足了摊贩对获得安定感、改善经营环境、扩大经营规模的需求,但摊贩内含的靠近主要人流、经营空间开... 针对广州以空间疏导治理流动摊贩的模式,以青年社区摊贩疏导区及周边流动摊贩区为例,对疏导区政策效应进行研究,结果表明,虽然疏导区满足了摊贩对获得安定感、改善经营环境、扩大经营规模的需求,但摊贩内含的靠近主要人流、经营空间开放化、分享市场和集聚分布、灵活流动、低成本、利用社会联系等需求未能得到满足。不符合摊贩需求的疏导区可能会扼杀摊贩原有优势,使其陷入更糟的状况而倾向于重返非正规活动。据此,摊贩疏导区规划应满足摊贩特定组合的需求,以使摊贩入疏导区后能获得比入疏导区前更好的经济收益。 展开更多
关键词 非正规部门 摊贩 正规化 空间疏导 广州
下载PDF
需求工程研究新进展 被引量:21
5
作者 张家重 徐家福 《计算机研究与发展》 EI CSCD 北大核心 1998年第1期1-5,共5页
需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程... 需求工程研究进展日渐显著,它可归结为需求工程的对象化、形式化和自动化三个主要方面.文中在讨论了需求工程有关的基本问题之后,围绕着上述三方面总结了其代表性工作、研究现状和发展趋势,并简要介绍了作者近期在面向对象需求工程及其自动化方面所做的一些工作. 展开更多
关键词 需求工程 面向对象 软件自动化 软件开发
下载PDF
作战任务的形式化描述及其过程表示方法 被引量:35
6
作者 程恺 车军辉 +1 位作者 张宏军 王亮 《指挥控制与仿真》 2012年第1期15-19,共5页
为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务... 为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。 展开更多
关键词 作战任务 作战行动 形式化 IDEF3 仿真
下载PDF
论大数据证据质证的形式化及其实质化路径 被引量:33
7
作者 程龙 《政治与法律》 CSSCI 北大核心 2022年第5期96-114,共19页
如何确保大数据证据的质证活动不流于形式和空谈,成为了司法实务中亟需解决的关键问题。实践中,大数据证据直接运用偏少但采纳率高,基本上是对其衍生品具体结论的质证,预测性警务生成的大数据证据被用于定罪证明,质证与说理方式传统且... 如何确保大数据证据的质证活动不流于形式和空谈,成为了司法实务中亟需解决的关键问题。实践中,大数据证据直接运用偏少但采纳率高,基本上是对其衍生品具体结论的质证,预测性警务生成的大数据证据被用于定罪证明,质证与说理方式传统且单一。同时,大数据证据的直接运用存在“数据倾倒”的危险;而其间接运用则存在“黑箱效应”的困境。“间接质证”问题突出,司法审查中存在“数据独裁”与“证据偏在”倾向。这些质证形式化问题的形成,在刑事诉讼质证模式的传统分析维度上,主要与诉讼质证形式化、交叉询问缺失以及庭前阅卷制度缺陷相关;在“大数据时代”刑事诉讼嬗变的现代分析维度上,主要与大数据时代司法裁判思维的变迁、大数据相关性论证取代因果性论证、对被追诉人数据权利保障不足、控辩平等严重失衡以及大数据的预测性警务运用与刑事法基本原则的抵触相关。未来须从被追诉人权利保障、裁判规则、质证思路等三个方面进行完善,以确保大数据证据质证的实质化。 展开更多
关键词 大数据证据 质证 形式化 实质化
下载PDF
差序格局下绩效评价公平与员工绩效关系研究 被引量:31
8
作者 马君 王雎 杨灿 《管理科学》 CSSCI 北大核心 2012年第4期56-68,共13页
运用参照认知理论,探讨差序格局下员工绩效评价公平感知对工作绩效的特殊作用机理。以本土企业39个工作组274名员工为研究对象,结合个体感知差异和组织差序氛围两个层面的影响因素,运用线性阶层模型检验二者跨层次交互作用对员工绩效的... 运用参照认知理论,探讨差序格局下员工绩效评价公平感知对工作绩效的特殊作用机理。以本土企业39个工作组274名员工为研究对象,结合个体感知差异和组织差序氛围两个层面的影响因素,运用线性阶层模型检验二者跨层次交互作用对员工绩效的影响,同时对组织为削弱偏私主义而强化绩效评价公平的努力效果进行检验。研究结果表明,与西方经典理论不同的是,绩效评价公平感知正向影响任务绩效仅在低差序氛围下才显著,因而淡化差序氛围的影响、降低主管在绩效评价中的主导权有助于提升公平感知对任务绩效的预测力;正规化与程序公平、分配公平的交互作用对任务绩效有负向影响,揭示出绩效评价的本土实践存在一个公平悖论,即不实行刚性化评价难以消除黑箱操作,而实行刚性化评价又容易落入买椟还珠陷阱;正规化与互动公平的交互作用对任务绩效有正向影响,说明注重情理交融、增强规则的张力有助于提高绩效评价的有效性。 展开更多
关键词 绩效评价公平感知 差序格局 正规化 工作绩效
原文传递
增强型包过滤防火墙规则的形式化及推理机的设计与实现 被引量:14
9
作者 邹勇 白跃彬 赵银亮 《计算机研究与发展》 EI CSCD 北大核心 2000年第12期1471-1476,共6页
防火墙是一种重要的网络安全技术 .对防火墙的核心技术——规则和推理机进行了研究 ,提出了增强型包过滤防火墙的规则形式化定义、推理机的抽象模型和推理算法 .据此 ,设计和实现了相应的推理机 ,同时给出了防火墙的设计实例 ,以此做为... 防火墙是一种重要的网络安全技术 .对防火墙的核心技术——规则和推理机进行了研究 ,提出了增强型包过滤防火墙的规则形式化定义、推理机的抽象模型和推理算法 .据此 ,设计和实现了相应的推理机 ,同时给出了防火墙的设计实例 ,以此做为对上述工作的验证 .最后 ,总结了该防火墙的优点 。 展开更多
关键词 网络安全 防火墙 规则 推理机 形式化
下载PDF
用XYZ/E形式化体系结构风格 被引量:13
10
作者 焦文品 史忠植 《软件学报》 EI CSCD 北大核心 2000年第3期410-415,共6页
该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 。
关键词 软件体系结构 风格 形式化 XYZ/E
下载PDF
试析师生互动的形式化——对语文课堂师生互动的观察与反思 被引量:23
11
作者 赵嫚莉 《学科教育》 北大核心 2004年第9期1-6,共6页
新一轮基础教育课程改革非常重视学科教学中的师生互动。然而 ,现有课堂教学中 ,师生互动往往华而不实 ,出现了师生互动形式化的现象。本文结合语文阅读教学课堂中的观察与实践 ,对师生互动形式化的现象进行分析 ,并试着提出一些有效的... 新一轮基础教育课程改革非常重视学科教学中的师生互动。然而 ,现有课堂教学中 ,师生互动往往华而不实 ,出现了师生互动形式化的现象。本文结合语文阅读教学课堂中的观察与实践 ,对师生互动形式化的现象进行分析 ,并试着提出一些有效的建议。 展开更多
关键词 中学 语文 课堂氛围 教学理念 师生互动
下载PDF
基于构件和XML的信息系统集成平台的研究 被引量:11
12
作者 姚全珠 戴建峰 《计算机工程与应用》 CSCD 北大核心 2004年第19期113-115,共3页
该文提出了一种基于构件和XML技术的信息系统动态组装框架平台,该框架能实现基于构件的信息系统的插座式组装。通过XML对信息系统及其构件进行形式化描述,使该框架具有很好的可扩展的机制,可方便地实现软构件的复用、组装。在该框架平... 该文提出了一种基于构件和XML技术的信息系统动态组装框架平台,该框架能实现基于构件的信息系统的插座式组装。通过XML对信息系统及其构件进行形式化描述,使该框架具有很好的可扩展的机制,可方便地实现软构件的复用、组装。在该框架平台下构建的企业信息系统,具有很强的灵活性和伸缩性,能根据现代企业需求多变的情况方便地进行快速重构。 展开更多
关键词 构件复用和组装 框架信息系统 XML 形式化
下载PDF
国内语言幽默研究十年回顾与思考:2001~2010 被引量:24
13
作者 王晓军 林帅 《外语研究》 CSSCI 北大核心 2011年第5期28-33,112,共6页
最近十年(2001~2010)国内语言学界对语言幽默的研究集中在语用学、认知语用学、认知语言学、修辞学、语言逻辑学、系统功能语言学等七个领域。国外同时期的研究则在普通语言研究的同时,着重于认知语言学和计算语言学的研究。通过对比... 最近十年(2001~2010)国内语言学界对语言幽默的研究集中在语用学、认知语用学、认知语言学、修辞学、语言逻辑学、系统功能语言学等七个领域。国外同时期的研究则在普通语言研究的同时,着重于认知语言学和计算语言学的研究。通过对比可以发现,今后国内该领域的研究应该在内容、方法、理论目标以及应用取向等方面做出更大努力。 展开更多
关键词 语言幽默 语用 认知 形式化 综述 对比
下载PDF
高绩效工作系统与创新行为的关系研究:一个有调节的中介模型 被引量:23
14
作者 王宏蕾 孙健敏 《科学学与科学技术管理》 CSSCI CSCD 北大核心 2017年第12期61-73,共13页
基于来自60个部门的366份领导—员工有效配对样本,从自我决定理论视角探索高绩效工作系统与创新行为的关系及其内在机制,并考察了部门正式化的调节作用。运用跨层次分析的方法,结果表明:(1)高绩效工作系统对创新行为有显著的正向影响;(2... 基于来自60个部门的366份领导—员工有效配对样本,从自我决定理论视角探索高绩效工作系统与创新行为的关系及其内在机制,并考察了部门正式化的调节作用。运用跨层次分析的方法,结果表明:(1)高绩效工作系统对创新行为有显著的正向影响;(2)自主性在高绩效工作系统与员工创新行为之间起到中介作用;(3)正式化调节了高绩效工作系统与自主性的关系,当正式化水平较高时,高绩效工作系统正向影响自主性,但当正式化水平较低时,高绩效工作系统与自主性之间的关系并不显著;(4)正式化也调节了高绩效工作系统通过自主性影响创新行为的路径。 展开更多
关键词 高绩效工作系统 创新行为 自主性 正式化 自我决定理论
原文传递
行政约谈实效性的保障机制建构——兼论约谈法治化进阶 被引量:21
15
作者 马迅 杨海坤 《山东大学学报(哲学社会科学版)》 CSSCI 北大核心 2017年第1期79-87,共9页
行政约谈的法律效力存在不稳定性。具有浓郁职权主义色彩的行政行为效力"四要件"说,在面对行政约谈的实效性难题上缺乏解释力。行政行为形式论的桎梏、法律原则的运用不足和约谈制度设计的缺陷是导致行政约谈实效性梗阻的主... 行政约谈的法律效力存在不稳定性。具有浓郁职权主义色彩的行政行为效力"四要件"说,在面对行政约谈的实效性难题上缺乏解释力。行政行为形式论的桎梏、法律原则的运用不足和约谈制度设计的缺陷是导致行政约谈实效性梗阻的主要原因。多元开放式选择理念为行政约谈效力机制的构建提供了新思路。应鼓励"行政法律关系论"和"行政过程论"等多元方法论的应用;在约谈主体间,通过导入信赖保护原则,形塑"协商—互动"型行政法律关系,汇聚行政约谈效力机制的"灵魂";在约谈运行过程中,实现外部约谈与行政调查、行政处罚的衔接,内部约谈与行政问责的衔接,搭建约谈效力机制的"骨架"。 展开更多
关键词 行政约谈 实效性 形式论 基本原则 效力机制
下载PDF
面向复杂对象系统的多人多层次多目标综合评价问题的形式化研究 被引量:13
16
作者 王宗军 《系统工程学报》 CSCD 1996年第1期1-9,共9页
本文针对具有广泛实际背景的复杂对象系统(COS)的多人多层次多目标综合评价问题(M3CEP),分析了COS及其多人多层次多目标综合评价的特征,提出了M3CEP的六元组描述方法,给出了描述COS综合评价指标体系的有序评... 本文针对具有广泛实际背景的复杂对象系统(COS)的多人多层次多目标综合评价问题(M3CEP),分析了COS及其多人多层次多目标综合评价的特征,提出了M3CEP的六元组描述方法,给出了描述COS综合评价指标体系的有序评价树(OET)和最小有序评价树(SOET)的概念,提出了多专家在对COS综合评价时的两种合作规则,给出了OET中评价指标节点和子评价(评价)节点知识的形式化描述方法,从而使不同评价专家的定量评价、半定量评价和定性评价信息统一于对应的评价指标节点和子评价(评价)节点之中,这样便为M3CEP的建模和基于知识的推理求解做了必要的准备。 展开更多
关键词 复杂对象系统 多目标综合评价 系统工程
下载PDF
多Agent仿真中Agent行为的形式化描述方法 被引量:16
17
作者 曹军海 张和明 熊光楞 《系统仿真学报》 CAS CSCD 2004年第11期2398-2400,共3页
提出了一种从状态、动作、动作序列到活动,逐步地建立对Agent行为的形式化描述方法。该方法能有效地用于多Agent仿真系统的设计中Agent行为特征的分析、定义和描述。
关键词 AGENT MAS 建模 仿真 形式化
下载PDF
复杂决策问题形式化方法研究 被引量:14
18
作者 于长锐 徐福缘 向阳 《管理科学学报》 CSSCI 2002年第6期9-16,28,共9页
在对决策问题复杂性原因研究的基础上,为复杂决策问题形式化下了准确的定义,并提出复杂决策问题形式化方法的逻辑框架.该框架由3部分组成,即复杂决策问题表示层、复杂决策问题结构化层和定量分析模型综合层.针对各层次所要解决的关键问... 在对决策问题复杂性原因研究的基础上,为复杂决策问题形式化下了准确的定义,并提出复杂决策问题形式化方法的逻辑框架.该框架由3部分组成,即复杂决策问题表示层、复杂决策问题结构化层和定量分析模型综合层.针对各层次所要解决的关键问题,进行了深入探讨. 展开更多
关键词 复杂决策问题 形式化方法 复杂性 定性分析 表示层 结构化层 定量分析模型综合层
下载PDF
供应链的一种形式化建模方法 被引量:8
19
作者 刘晋 沈春林 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第6期537-544,共8页
介绍了 Meta图的有关概念 ,提出了基于 Meta图的离散制造业供应链的建模方法 ,给出了基于 BOM表的建模步骤 ,讨论了供应链 Meta图模型的特点 ,对最大 Meta路以及加权 Meta图进行了定义 ,并对供应链中物料的数量关系、成本、时间、生产... 介绍了 Meta图的有关概念 ,提出了基于 Meta图的离散制造业供应链的建模方法 ,给出了基于 BOM表的建模步骤 ,讨论了供应链 Meta图模型的特点 ,对最大 Meta路以及加权 Meta图进行了定义 ,并对供应链中物料的数量关系、成本、时间、生产能力等要素在模型中的表示方法进行了讨论。为用系统化的手段进行供应链管理的定量分析提供了理论基础。最后 ,利用模型对一个微机生产企业的供应链速度、成本、柔性等性能测度进行了定量分析 。 展开更多
关键词 图论 供应链 META图 形式化 可视化 企业战略管理 建模方法
下载PDF
群体智能算法总体模式的形式化研究 被引量:8
20
作者 汪镭 康琦 吴启迪 《信息与控制》 CSCD 北大核心 2004年第6期694-697,702,共5页
在对群体智能算法给出形式化定义的基础上 ,给出了群体智能算法的总体模式框图 ,并以微粒群优化算法实例进行了具体算法模式的形式化描述 .
关键词 群体智能 算法模式 微粒群优化 形式化
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部