期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
面向嵌套式系统结构的端口自动机行为表达方法 被引量:2
1
作者 薛岗 张云春 +1 位作者 刘笛 姚绍文 《计算机应用》 CSCD 北大核心 2016年第7期2016-2020,2030,共6页
针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题,提出一种基于端口自动机的行为表达方法(PAM)。该方法基于系统状态、输入和输出端口来定义对象和结构上的运算。通过证明发现:PAM在运算上具有结构保持特征,是一个函子。基于P... 针对系统多层嵌套式结构范畴模型的动态行为描述与分析问题,提出一种基于端口自动机的行为表达方法(PAM)。该方法基于系统状态、输入和输出端口来定义对象和结构上的运算。通过证明发现:PAM在运算上具有结构保持特征,是一个函子。基于PAM,还就并行、串行和反馈等行为组合,以及应用等相关问题进行了讨论和分析,相关结论表明PAM可被应用于描述或分析具有嵌套式结构的系统动态行为。 展开更多
关键词 系统行为表达方法 嵌套式系统结构 端口自动机 范畴论
下载PDF
机器工作机理的行为表述方法及其在产品创新设计中应用的研究 被引量:2
2
作者 邹慧君 张青 王学武 《机械设计与研究》 CSCD 北大核心 2005年第5期11-15,共5页
机械产品创新设计的出发点是它的工作机理,机械产品创新设计的初步结果是它的运动方案。实现产品创新设计的关键是要找到从工作机理到机械运动方案的一条可行途径。本文研究了机器工作机理的内容、主要特征、类别,提出了机器工作机理分... 机械产品创新设计的出发点是它的工作机理,机械产品创新设计的初步结果是它的运动方案。实现产品创新设计的关键是要找到从工作机理到机械运动方案的一条可行途径。本文研究了机器工作机理的内容、主要特征、类别,提出了机器工作机理分解方法和分解步骤,将机器工作机理最终构建为一个工艺动作过程。最后,用实例说明如何根据机器工作机理来进行机械运动的方案设计。 展开更多
关键词 机器 工作机理 行为表达方法 工艺动作过程 执行动作 机构系统 机械运动方案
下载PDF
Speech Acts and the Truth-Conditional Analysis of Temporal Expressions
3
作者 Douglas J. Wulf 《Journal of Philosophy Study》 2013年第2期97-112,共16页
Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable ... Truth-conditional approaches to tense and other temporal expressions have relied on both linear-time and branching-time frameworks as needed. However, in the truth-conditional enterprise generally, it seems advisable to settle on a single depiction of time. Linear time is the simpler framework, and branching time faces difficulties for which we seem to have no immediate solutions. This paper defends the applicability of linear time. The apparent branching of time results from the use of speech acts other than factual assertion. Truth in correspondence with specific conditions is relevant when making factual assertions. However, we are in no epistemic position to advance factual assertions about the future, but only suppositions and predictions. For these, the truth-conditional content is employed differently. For suppositions and predictions, we only "pretend" to reference things, to assert facts, and to accept them as "true." There is a wide array of alternatives about what we can suppose or predict, giving the impression of branching options. Suppositions and predictions under active consideration are often marked with present tense, whereas those that are inactive (not presently under active consideration but nonetheless relevant) are often marked with past tense. 展开更多
关键词 English language (modern) SEMANTICS imperfective paradox non-factual before TENSE aspect application of truth-conditional semantics
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部