从形式语义学的角度看汉语时态算子对正极项的允准

极性敏感现象是语言的一种共性。本文通过对汉语中的时态副词的研究,证明了时态副词也是一种正极项,并验证了Ginnakidou所提出的真实性算子对极性敏感项的允准的假说同样适用于解释汉语中的正极项的分布。     

时态范畴化的认知语言学研究——以现代法语时态为例

本文在认知语言学的视野内、在原型范畴理论的参照下,详细考察了法语时态范畴化的一些基本特征,指出其所具有的原型性、延续性和边界模糊性,以期对法语时态的教学提供帮助。最后笔者也提出了对原型范畴理论所存在的问题的一些思考。     

日本人的“ラち”、“そと”意识与日语的时态转换

从日本人的“ラち”、“そと”意识角度出发，通过对川端康成、志贺直哉的几部小说进行分析统计，探讨日语在描写过去的事件中，插入“内时态‘る’形”的条件和原因。分析发现当作者为了使作品更生动，或是作者与作品中人物产生“同感”时，或是表达作者的主观思想、评论时，往往发生时态的转换。     

基于时态关系模型的儿童保健系统的设计研究

根据当前时态数据模型的理论,为儿童保健管理信息系统建立了一个可行的时态关系模型,并对系统中的查询做了简单的描述,最后分析了这种建模方法的优缺点.     

小议「ティん」的较力持续意义

一般认为日语的“体”的研究开始于松下大三郎。其后，金田-春彦把“体”的问题再次提出，他围绕「ティん」的用法与动词分类，论述了“体”及影响“体”意义的要素。使“体”的研究走向新阶段。随后，“体”的研究迅速发展，在寺村秀夫、工藤真由美等的推动下，现在“体”的研究已经到达了一个新的水平。「ティん」作为体的形式之一，它所表达的各项意义也越发清晰，本文主要就它的效力持续意义及其与其他意义的区别进行详细分析。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

试论外币报表折算方法的选择

作为当今国际会计领域公认的三大难题之一，随着经济全球化的迅猛发展，外币报表折算方法的选择显得越来越重要，这也成为了目前会计理论界和实务界一直探讨的焦点之一。在时态法和现行汇率法的争议中，现行汇率法暂时占据上风，也成为我国企业外币报表折算方法的现行选择。     

自动化仓库客户服务管理问题的时态逻辑描述

在扩展的时态逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为．     

试评王维《送别》英译文的人际功能

运用韩礼德的系统功能语言学的人际纯理功能理论对王雏的《送别》一诗和它的四种英译文作初步的探讨,从中可以看出,语气,交际角色以及时态均具有人际意义。在检验系统功能语言学在诗歌分析中的可操作性和可运用性的同时,对于翻译问题也提出了一些疑义和看法。     

时空数据模型研究原则与表达方法的探讨

时空数据模型的三个基本要素是空间位置、属性和时间．确定研究尺度范围内地理信息基元，合理表达时空关系和模型的层次体系是时空数据模型研究的基本原则．时空数据模型的表达方法主要有序列快照模型、基图修正模型、时空复合立方体模型、基于特征的时空数据模型和图谱数据模型．目前条件下，时空数据模型研究的重要意义在于，扩展传统地理信息系统的功能，实现时态地理信息系统(TGIS)的时序分析与规律预测．