路基路面工程教学中学生文献追踪能力的培养

根据路基路面工程课程的特点,大学阶段培养学生的追踪文献能力是十分必要和重要的。对培养学生文献追踪能力的关键因素进行了分析,提出了培养学生文献追踪能力的教学实施方案,并结合教学案例说明了其教学实施过程。     

数字图书馆数据存储系统解决方案的探讨

文章分析了传统数据存储系统的缺陷和不足,着重介绍了SAN存储的技术特性和解决方案,结合实际应用,提出了图书馆在构建SAN存储解决方案时必须综合考虑的因素,以及SAN将成为数字图书馆数据存储系统发展的趋势.     

山西省96121气象信息声讯平台的技术实现

详细介绍了96121气象信息服务声讯平台全省的技术实现,提出了存在问题的解决方案,阐明了建立96121平台的重要性、必要性和可行性。     

幅相联合处理算法的分析和实时实现

针对多种接收相参处理法对改善因子的限制 ,提出了一种全新的幅相联合处理算法。介绍了该算法的数学分析 ,计算仿真 ,数字信号处理器 (DSP)实时实现方法。该算法分别通过卷积和相关提取不受发射脉冲随机初相、振幅、脉间频率抖动影响的幅度分量和相位分量 ,再联合成新的相参复信号。这个联合信号具有幅度、相位时间一致性好 ,便于用DSP实时实现的优点。理论分析和实际测试表明 :该算法的改善因子性能大于 5 5 d B。该算法的应用使某非相参雷达的杂波中可见度性能提高 10 d B     

设计串联校正装置的一种解析方法

根据时域指标设计串联校正装置,一般使用根轨迹法(图解法)。此类方法无法将静态指标(如位置误差系数 K_p 或速度误差系数 K_r)与根轨迹作图有机结合,使设计计算复杂化。此处提出的解析法可免于这一问题,使设计计算更合理更简单,且物理概念清楚明了。     

局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

地震地质解释系统的实现与质量保证

论述质量保证在开发过程中的重要地位。所制定的规定和守则，适应于管理人员和具体开发人员，提出在满足质量要求下进行开发，并在开发中确保质量的认识。     

一相能量型stefan问题

本文讨论了一相能量型stefan问题.首先利用迭代方法及紧性讨论证明了古典解的存在性;其次给出了解的比较原理,由此证明了解的唯一性。     

Power-Based Arbitrary Decisional Actions in the Resolution of MIS Project Issues: A Project Manager's Action Research Perspective

As a management information systems (MIS) project manager and an action researcher, the author examined, over time, the influence on information system development (ISD) of the informal sociopolitical organizational actions. The paper reports two cases of action research findings concerning the effect on ISD project implementation processes of power-based arbitrary decisional actions in bureaucratic environments. The research focused on the relationship of such unilateral actions to the interconnected subprocesses of deliberate and conscious attempts by the ISD project members to define and resolve system implementation issues. A suggested conceptual framework for the issue-resolution processes (IRP's) and obstacle-coping processes (OCP's) is based on the author's IRP/OCP-related behavioral constructs and theoretical models dealing with soft-systems issues, especially appreciative system theory and soft-systems methodology, and innovative flexible, "complementarist" (Sinn, 1998) or pluralist problem-solving approaches.