时间的向度——奥古斯丁《忏悔录》中的时间观探析

从古希腊的先哲亚里士多德开始,经中世纪的奥古斯丁,到18世纪的康德,再到近现代的柏格森,胡塞尔和海德格尔,哲人们对时间探索的脚步从未停止过。奥古斯丁区分了客观的时间和"内在时间"1,把时间归结为人的心灵的延展。文章以奥古斯丁的《忏悔录》为本,首先找出了奥古斯丁时间观中时间的两个向度,即时间是上帝创造的和时间是人的心灵的延展;然后对文本进行深入解读,分析奥古斯丁时间哲学的重要思想,把他的的时间观拆分为时间的受造、时间的长度、时间如何存在、时间的延展和时间如何度量等5个部分进行探析;最后着重分析了奥古斯丁的时间观的现象学效应,探讨了奥古斯丁时间观对胡塞尔现象学的影响以及二者在讨论时间问题上的差别。     

一种支持实时软件时间建模的形式化方法

随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。     

揭开时间“真容”的面纱

我们居住的世界受时间的掌控,随着我们对时间的了解越多,疑问也就越多:时间是真实的存在吗?时间会终结吗?时间是什么?幻象还是现实关于时间,有两种截然不同的看法。     

具有学习与退化效应的单机排序问题

研究了具有学习效应与退化现象的单机排序问题,给出了目标函数为最大完工时间、总完工时间的多项式时间算法;并证明工件的权重与加工时间一致时加权总完工时间问题、工期与加工时间一致时最大延迟问题均有多项式时间算法.     

实时分布式系统的时间同步化策略

实时分布式系统必须建立统一的时间服务系统或时间服务器，以实现系统的时间统一。从时间同步着手，分析了时间同步技术——网络时间协议(NTP)和直接连接时间技术，比较了几种分布式系统的时间同步化策略。针对工程实际，参考主仆式及时间服务器的时间同步化策略，提出得到时间校正值的一种算法，并用Socket编程在某电力系统中得到实现，保证了电力系统调度自动化实时性。     

神奇的现实——扎西达娃与托尼·莫里森的魔幻叙事

扎西达娃和托尼·莫里森的魔幻叙事主要体现于其匠心独运的时间叙事和神话叙事之中.扎西达娃融合加西亚·马尔克斯循环时间叙事和藏民族轮回时间观,形成其独特的循环时间叙事,而莫里森则借鉴胡安·鲁尔福非时间的时间叙事和博尔赫斯迷宫式时间叙事,再融合非洲文化之时间观,构建其时间文本结构.他们亦利用本民族神话和传说进行神话叙事,赋予现实以神话般的意义,从而创造出神奇的现实.     

基于GPS的局域网时间同步的研究

当今社会的发展,局域网时间同步对于授时服务器的时间准确度要求越来越高。GPS作为时钟源可以很好提供准确的时钟源,采用C／S模式．客户机定时向时间服务器请求时间信息,根据双方交换的时间信息,客户机与授时服务器时间的同步,从而达到局域网的时间同步。     

时间的操作定义

关于时间是什么？牛顿在《自然哲学的数学原理》一书中对“绝对时间”给出了一个描述,爱因斯坦没有给“相对论时间”下过定义,所以到目前为止,还没有一个统一的时间定义。无论是牛顿的时间还是爱因斯坦的时间都需要用他们建立的整个理论体系去理解时间的含义,这样的结果导致普通人理解物理时间概念的困难．本文试图给时间下一个操作定义,以弥补关于时间概念在认识论上的不足。并用相关实验说明定义的正确性,最后用新的时间定义重新分析了相对论运动时钟变慢的物理原因。     

考虑多种时间因素的作业车间调度优化

为了简化模型和研究的需要,在大部分作业车间调度研究中,加工时间是主要考虑对象,但是统计表明非加工过程时间在生产制造过程中的占比超过90%。车间生产过程的调整时间、运输时间和故障时间等辅助时间在调度中有着重要作用,时间因素的忽略导致很多调度结果不能在实践中得到良好的应用。针对这个问题,根据作业车间生产实际过程,从调度的应用出发,综合分析了运输时间、调整时间、等待时间、故障时间、加工时间等多种作业车间时间,研究了多种辅助时间条件下的作业车间调度问题,建立其调度模型并设计了改进遗传算法进行求解。最后验证和比较了作业车间经典调度用例,结果显示,考虑时间因素对作业车间调度优化性有较好的改进。     

时间序列平稳性检验

对于一个时间序列的分析首先要判断是否是平稳时间序列,即看它的均值和方差是否随时间的变化而变化,且自相关函数是否与时间间隔有关而与所处的时刻无关。通常,大多数时间序列是非平稳的。因此,首先要检验平稳性,然后再将非平稳时间序列转化成平稳时间序列。在时间序列分析中,为检验序列的平稳性,经常要用到一阶差分,二阶差分,有时为选择一个合适的时间序列模型还要对时间序列数据进行对数转换或平方根转换等。从时间序列数据和时间序列模型2方面来阐述时间序列平稳性的检验,共介绍4种检验法。在实际中可以将这些方法与实际背景相结合来判断时间序列的平稳性。