期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
分布式环境下工作流过程定义及形式化描述
1
作者 魏志强 杨传刚 +1 位作者 房桂英 王先逵 《山东工程学院学报》 CAS 2001年第2期5-9,共5页
定义了分布式工作流管理过程中的一些基本概念 ,阐述了工作流参考模型的基本组成及功能模块 ,建立了分布式工作流管理的业务流程描述 。
关键词 分布式环境 工作流管理 过程定义 过程形式化描述
下载PDF
一个柔性的形式化过程建模语言(英文) 被引量:3
2
作者 陈诚 沈备军 顾毓清 《软件学报》 EI CSCD 北大核心 2002年第8期1374-1381,共8页
提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的... 提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模. 展开更多
关键词 柔性 形式化过程建模语言 FLEX语言 软件过程 面向对象
下载PDF
大学英语词汇概念化和形式化教学分析
3
作者 王莉 《长春师范大学学报(人文社会科学版)》 2014年第1期172-173,共2页
本文基于Levelt的话语生成模型,探讨大学英语词汇教学的概念化过程和形式化过程的异同点,揭示大学英语词汇教学的规律,以提高学习者的词汇记忆力。
关键词 话语生成模型 概念化过程 形式化过程 词汇教学
下载PDF
基于过程相似的Web服务功能匹配
4
作者 李明 杨凡 《计算机应用》 CSCD 北大核心 2011年第5期1370-1373,共4页
针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来... 针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来判断请求与服务之间是否具有过程相似性,并结合过程相似判定的结果进行功能匹配;其中,过程相似判定是通过结构相似度计算和行为相似性检测实现的。最后,通过对比实验验证了该算法的可行性和有效性。 展开更多
关键词 WEB服务 自动机 OWL-S 形式化过程 过程相似 功能匹配
下载PDF
软件演化过程建模中的开发人员度量方法
5
作者 陈展 《计算机工程与设计》 CSCD 北大核心 2007年第21期5305-5307,共3页
提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明... 提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。 展开更多
关键词 形式化的软件演化过程模型 度量开发人员 X-S图 稳定性 开发过程的演化
下载PDF
逻辑经验主义的归纳逻辑观浅析 被引量:1
6
作者 欧阳荣庆 《四川大学学报(哲学社会科学版)》 1985年第2期32-37,共6页
自近代以来,自然科学在物理、生物、化学等学科上取得的长足进步,使科学家们确信科学起源于经验事实,尊重观察和实验的经验方法,而鄙弃思辨方法。传统的归纳逻辑论者认为,科学是沿着经验积累,然后概括经验事实形成理论,也就是按归纳逻辑... 自近代以来,自然科学在物理、生物、化学等学科上取得的长足进步,使科学家们确信科学起源于经验事实,尊重观察和实验的经验方法,而鄙弃思辨方法。传统的归纳逻辑论者认为,科学是沿着经验积累,然后概括经验事实形成理论,也就是按归纳逻辑,即从个别经验事实命题推演出一般理论命题的逻辑程序发展的。他们把从某类个别命题推演出该类一般命题,把寻求一般命题的逻辑演算过程形式化,而把从个别到一般。 展开更多
关键词 归纳逻辑 逻辑经验主义 经验事实 过程形式化 逻辑演算 逻辑程序 事实命题 思辨方法 经验方法 自然科学
下载PDF
A FORMAL REPRESENTATION FOR FEATURE-BASED DESIGN 被引量:1
7
作者 孙正兴 丁秋林 张福炎 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 1997年第1期37-46,共10页
Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal re... Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation,design process model and design algorithm.The implementing scheme and formal description of feature taxonomy,feature operator,feature model validation and feature transformation are given in the paper.The feature based design process model suited for either sequencial or concurrent engineering is proposed and its application to product structural design and process plan design is presented. Some general design algorithms for developing feature based design system are also addressed.The proposed scheme provides a formal methodology elementary for feature based design system development and operation in a structural way. 展开更多
关键词 CAD CAM product modelling design process feature based design representation formalism
下载PDF
统计线性模型(Ⅰ)
8
作者 漠草 《数理统计与管理》 1985年第2期46-48,共3页
关键词 统计线性模型 初等矩阵 左乘 N阶行列式 逆矩阵 以证明 代数余子式 单位矩阵 过程形式化 列初等变换
下载PDF
信息保证的未来的作用
9
作者 杨则正 《管理观察》 1997年第9期49-49,共1页
关键词 信息保证 管理信息系统(MIS) 决策支持系统(DSS) 数据模型 过程形式化 原始数据 问题的解决 元知识库 信息技术手段 信息用户
下载PDF
基于Levelt话语生成模型的大学英语词汇教学分析
10
作者 黄立华 《创新教育研究》 2013年第2期23-26,共4页
词汇教学是大学英语课堂教学至关重要的一个组成部分。传统的英语教学以语法教学为主体,词汇教学为辅的方式。这种词汇教学模式已不适应现代多元化社会交际的需求。本论文将以Levelt的话语生成模型为视角,尝试探讨大学英语词汇教学的概... 词汇教学是大学英语课堂教学至关重要的一个组成部分。传统的英语教学以语法教学为主体,词汇教学为辅的方式。这种词汇教学模式已不适应现代多元化社会交际的需求。本论文将以Levelt的话语生成模型为视角,尝试探讨大学英语词汇教学的概念化过程和形式化过程异同点,揭示大学英语词汇教学的规律,并提出一些建设性的意见。 展开更多
关键词 话语生成模型 概念化过程 形式化过程 词汇教学
下载PDF
Potential Impacts of Various Land Use Forms on Land Degradation in Arid Regions (Case Study: Kuwait)
11
作者 Raafat Misak Adeeba Al-Hurban 《Journal of Agricultural Science and Technology(A)》 2013年第5期368-379,共12页
During the last 20 years, land use in Kuwait was remarkably changed in various forms. Such changes resulted in positively constructive, as well as, adversely destructive impacts on the local environment and ecology. I... During the last 20 years, land use in Kuwait was remarkably changed in various forms. Such changes resulted in positively constructive, as well as, adversely destructive impacts on the local environment and ecology. In 1993-1994, a buffer zone of 15 km wide and more than 200 km long was established between Iraq and Kuwait. This allowed the restoration of biodiversity, enhancement of ecological conditions and stabilization of fragile soils. In 1991, long bund walls were constructed along the Saudi-Kuwaiti borders by Saudi Arabia and in 1993-1994, a ground trench was dug along the Iraqi-Kuwaiti borders by Kuwait. Bund walls are piles of excavated soils, 2-3 m high, 3-5 m wide and several tens of kilometers length. Constructing 1 km length of a bund wall required 2,500-3,000 m3 (1,000 m length x 5 m average width x 0.5 m depth) amount of soil, which disturbed a groundcover strip of an average area of 10,000 m2 (1,000 m length x 10 m average width). Border trenches are ground hollows 2-3 m deep, 3-5 m wide and 220 km long. The amount of excavated soil from digging 1 km long trench ranged from 6,000-8,000 m3. Field work indicated that 1 km long of trench had disturbed a groundcover of an average area of 12,000 m2 (1,000 m length ~ 12 m average width). Such man-induced land features are closely related to land degradation processes, as they were of adverse environmental impacts on soil, surface hydrologic conditions and natural vegetation. The main objective of this study is to assess the immediate and long term impacts of the introduced land use forms in selected areas in Kuwait, such as Wadi AI Batin (Western part of Kuwait). To achieve such an objective, intensive field program was designed and implemented and the collected data and available information were analyzed and interpreted. 展开更多
关键词 Bund walls TRENCHES man-induced land features surface hydrologic conditions.
下载PDF
一种基于SEPM的过程片断效率度量和改进
12
作者 陈展 李彤 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第S2期40-44,共5页
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略.效率度量可以帮助我们了解模块的执行效率和并行度.对于一个从SEPM中被截取下来的过程片断,介绍了如何通过定制它的效率度量原则、方法、步骤来进行定量分析和评价,... 提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略.效率度量可以帮助我们了解模块的执行效率和并行度.对于一个从SEPM中被截取下来的过程片断,介绍了如何通过定制它的效率度量原则、方法、步骤来进行定量分析和评价,根据SEPM的特点制定改进策略,挖掘和拓延活动内和活动间的并行性,从而提高该过程片断的效率,使它有能力,为评价整个软件演化模型的效率奠定基础. 展开更多
关键词 形式化的软件演化过程模型 过程片断 效率度量 改进策略 挖掘拓延并行性
原文传递
社会软件及其认知逻辑分析 被引量:2
13
作者 郭佳宏 张朝霞 《自然辩证法研究》 CSSCI 北大核心 2013年第9期29-34,共6页
社会生活的各个方面都离不开逻辑推理和分析,从简单的烹饪技巧到大规模的投票选举,大多数社会过程都包含着推理结构。而把这些具有一定规律的社会过程形式化是有可能的。由此带来的一种有意义的工作是:通过某种方式把逻辑和社会过程联... 社会生活的各个方面都离不开逻辑推理和分析,从简单的烹饪技巧到大规模的投票选举,大多数社会过程都包含着推理结构。而把这些具有一定规律的社会过程形式化是有可能的。由此带来的一种有意义的工作是:通过某种方式把逻辑和社会过程联系起来,把精妙的逻辑原理应用到复杂的过程分析中去,使社会过程形式化、清晰化,从而指导人们进行有效的决策和社会活动。正是基于这个切入点,文章对社会软件——社会过程的形式化分析进行一定程度的探析,并对相关理论作一定的评速和比较。同时,我们还借用了博弈论和认知逻辑中的某些片段用于分析和解决若干具有一定实际意义的问意。 展开更多
关键词 社会过程形式化 逻辑分析 博弈决策 认知逻辑
原文传递
算法社会的文化逻辑——算法正义、“荒谬合理”与抽象性压抑 被引量:12
14
作者 周志强 《探索与争鸣》 CSSCI 北大核心 2021年第3期9-12,共4页
"算法正义"的社会基础算法(algorithm)不是指计算本身,而是指计算的程序,即计算的形式化过程。复杂社会必须借助各种各样的算法,才能实现其内在的组织化职能,这就有了算法社会。算法社会显然不能等同于有算法的社会。算法社... "算法正义"的社会基础算法(algorithm)不是指计算本身,而是指计算的程序,即计算的形式化过程。复杂社会必须借助各种各样的算法,才能实现其内在的组织化职能,这就有了算法社会。算法社会显然不能等同于有算法的社会。算法社会确立了一种算法正义的文化逻辑。2019年开始实施的新税法,提高了个税起征点,也实行了免税额度,同时采用年终总计的方式征缴个人所得税。这样的算法起到了部分消除收入不均衡可能带来的社会负面效果,并呈现出"算法正义"的内涵:一方面,税收不仅是政府资金的来源,还是情绪政治的潜在杠杆,无形地实现了社会资源的合理分配;另一方面,税收通过算法的科学性逻辑,令政策的"执行"获得不容置疑的合法性。 展开更多
关键词 个税起征点 负面效果 个人所得税 形式化过程 抽象性 合理分配 税收
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部