基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

明导EDA系统的开发与应用

应用MentorGraphicsEDA系统模拟仿真工具和VHDL语言的模拟、综合、优化工具，研究了智能化电子设计的模拟仿真及VHDL语言描述的电子设计的模拟、综合、优化问题。     

汾河太原段水体细菌质粒的分布研究

以汾河水域太原段水体为监测对象,共选取6个采样点,测试了各采样点的物理指标和化学指标,分离了99株好氧异养菌,用琼脂糖凝胶电泳法测出了质粒菌的比例.结果表明:质粒检出率与水体的污染程度密切相关,在清洁河段中,质粒检出率为5.97%,而在污染段质粒检出率达到25%.通过相关分析得出,质粒检出率与水体COD呈极显著相关,与水体总硬度呈显著正相关,与总氮呈显著负相关,与水体中铁离子和总磷的相关不显著.     

程度补语极性意义的获得——以"死"类词为例

作为程度补语,“死”类词极性意义的获得是两次词义跃升的结果。词义跃升的推动力源于人的认知途径和“死”类词词义特殊性的共同作用。     

试论数字资源著录的元数据解决方案

数字信息时代的到来使快速发展中的数字图书馆面临着如何高效组织、管理数字化信息资源,同时为广大用户提供高水平服务的重大挑战.重点对采用DC元数据作为标准著录元数据集、采用RDF/XM L作为标准编码技术的数字信息著录方案作一研讨,以期促进我国早日实现数字信息著录、管理技术的标准化和统一化.     

齐齐哈尔市不同功能区大气细菌、溶血菌污染探讨

大气微生物是大气污染物的一个重要组成部分，在适宜条件下，它可以使人体致病、农作物减产，危害甚大。目前．我国对大气微生物污染程度的研究多以空气中细菌数量多少来表示，未能反映大气细菌污染的实际危害。本文依据一些种类细菌产溶血毒素可使血平板培养基产生溶血圈的特点，对齐齐哈尔市不同功能区细菌、溶血菌污染状况进行了初步研究。     

《世说新语》中的程度补语研究

在详细调查南朝刘义庆《世说新语》的基础上,对其出现的程度补语(简称程补)作了细致的分析探讨,认为其基本句式可以分为“动 程补 宾”、“(主语) 动 宾 (状)程补”、“动(形) (状)程补”三种。其中,“动(形) (状)程补”格式出现频率最高。在《世说新语》中充当程度补语的动词主要有“毕”“竟”“酣”等;形容词主要有“困”“良久”“危急”等;副词主要有“甚”“极”等。     

A Project Risk Ranking Approach Based on Set Pair Analysis

Set Pair Analysis （SPA） is a new methodology to describe and process system uncertainty. It is different from stochastic or fuzzy methods in reasoning and operation, and it has been applied in many areas recently. In this paper, the application of SPA in risk ranking is presented, which includes review of risk ranking, introduction of Connecting Degree （CD） that is a key role in SPA., Arithmetic and Tendency Grade （TG） of CDs, and a risk ranking approach proposed. Finally a case analysis is presented to illustrate the reasonability of this approach. It is found that this approach is very convenient to operate, while the ranking result is more comprehensible.     

细长受压杆的分岔特性研究

利用Lagrange描述法建立了受压细长杆因弯曲引起的轴向位移与横向位移之间的关系,并建立了由偏微分方程组描述的非线性动力学模型.通过对偏微分方程组的简化,得到了仅含三次非线性项的非线性动力学模型,并利用谱截断方法对此模型进行降阶.利用Lyapunov第一近似理论讨论了降阶模型的分岔特性.研究表明,受压细长杆在弯曲过程中Lagrange坐标的不变性为研究其动力学行为带来极大的便利,压杆的稳定性分析宜采用Lagrange描述法;当忽略杆由压缩引起轴向位移时,由弯曲引起的轴向位移与横向位移之间不存在耦合作用;当轴向压力小于某个值时,压杆只有直线一种平衡状态,且为稳定的;当大于这一值时,直线平衡状态失去稳定性而分支出两个稳定的非直线平衡状态,因而发生叉形分岔.     

论实现陕西总体小康水平的程度与目标选择

全面建设小康社会是一项艰巨、复杂的历史性任务，尤其对陕西这样的欠发达地区来讲，既要“补课”，还要发展。所以，在对全省目前小康社会的实现程度科学分析和评估的基础上，还要对全面建设小康社会的目标有一个清醒的认识，只有这样才能既不迷失方向，又能切合省情，切实可行。