关于地理学中的几个基本问题的哲学思考

地理学作为一门学科的发展应当与哲学分析保持紧密的联系，地理学在理论方面所表现出的进步的状况，是直接与它的学科基础问题被明确的程度高度相关的。文章就地理学研究的逻辑起点、地理学的时间和空间等基本问题进行了试探性的哲学讨论。     

闵科夫斯基内积空间上的Gram行列式

本文在前几篇论文的基础上，就欧氏空间中心Ｇｒａｍ行列式的性质在闵氏空间中做了相应讨论。     

Two methods to solve the ionospheric electron concentration horizontal gradient at Chongqing

The electron concentration horizontal gradient vector of the ionosphere and its south-north and east-west components over Chongqing station are analyzed and calculated, using the first approximation, time correlation and space correlation and another approach introduced. And then, the validity of the two methods is analyzed and compared. Foundation item: Supported by the National Natural Science Foundation of China (69571020) and the Research Fund for the Doctoral Program of Higher Education (RFDP1999048602) Biography: Chong Yan-wen(1972-), male, Ph. D. candidate, research direction: ionospheric modeling and inversion.     

以毛泽东为核心的老一辈革命家诗词研究

老一辈无产阶级革命家中,有许多是才华横溢的诗人,他们形成了现当代旧体诗词创作的耀眼群体。毛泽东是这一群体的核心和领袖。他们以诗感时言志,以诗纪事写实,以诗唱和赠答。这些诗词＂以新材料入旧格律＂,笔下情韵风骨俱现,反映了新中国开天劈地第一代风流人物的情志意绪,描绘了中国革命和建设的壮丽画卷。它是毛泽东思想的艺术结晶,是无产阶级革命文艺的瑰宝,是我党我军和我国革命及建设的珍贵文献资料,其思想认识价值和美学价值永存。     

一类带有非局部源的退化抛物型方程组解的局部存在性

讨论了一类带有非局部源的退化抛物型方程组解的初边值问题.首先给出了问题的最大值原理和比较原理,然后运用一般的逼近思想来得到了问题存在局部解.     

加工能力受扰的可控排序干扰管理

在加工时间可控的单机排序中,面对随机发生的干扰事件,研究了初始加工时间表的制定问题。对于干扰事件造成的影响采用匹配时间排序的应对策略,在干扰事件发生后,通过压缩工件加工时间,使新时间表在某时间点后完全恢复到初始加工时间表。基于工件吸收干扰事件影响的能力,设计复合排序规则来决定工件的优先级。由于问题内在的复杂性,在复合排序规则中,应用遗传算法来确定某给定待处理工件集的最优参数。使用概率分布表示干扰事件的发生时刻和持续时间,并综合概率信息和工件的优先级来制定初始加工时间表。最后,通过随机数值试验模拟,发现本文设计的初始时间表优于根据最短加工时间优先规则制定的初始时间表,验证了方法对于处理干扰事件影响的有效性。     

时间测度链上一类二阶非线性动力方程的振动性

作者研究了时间测度链上的一类二阶非线性动力方程的振动性质.利用时间测度链上的理论和一些分析技巧, 作者得到了该类方程存在非振动解的必要条件及方程振动的充分条件.     

时间同步在晋城电力行政交换网中的应用

时间同步网建设对于电力通信发展具有极其重要的意义。通过分析晋城电力行政交换网存在的问题,结合已建成的时钟同步网现状,阐述了一种可行的实现行政交换网时间同步的思路及方法,并对时间同步在更大范围的应用提出了建议。     

论岩巷掘进的掏槽和光爆问题

结合岩石爆破破碎理论、对岩巷掘进中深孔光爆几个较为关键的技术问题,特别是掏槽爆破和光面爆破进行了较为细致地分析和研究,推荐了较为合理的掏槽形式和掏槽参数、光爆装药和光爆参数,提出了较为合理的起爆延迟间隔时间。     

基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。