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

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

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

基于Petri网的TCP协议异常检测模型

从面向连接的角度出发，以Petri网为工具，建立了TCP协议异常检测模型．该模型以TCP协议的状态变迁图为基础，并根据协议规范可对传输报文的标志位进行系统的分析，从而识别出标志位非法组合构成的畸形报文（FIN—RST报文）．模型中规定了各种状态下可接收的标志位集合，同时还细化了各状态下的超时异常，据此可准确地检测出各种异常，以抵御已知和未知的非法行为．利用该模型不仅可发现已知异常事件，还可对未知漏洞进行防范．通过实验发现，网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上．     

基于工作流技术的PDM文档管理

首先分析了PDM动态文档的流转问题，给出了一种PDM动态文档的流转机制．并且提出了一套基于扩展Petri网的PDM动态文档流程建模方法，给出了扩展Petri网的形式化定义以及建模规则，在此基础上描述了PDM动态文档流程的实例化以及PDM动态文档管理的具体实现。     

基于EXCEL的零件管理方法

根据产品的结构提出一种新的基于Excel的零部件管理方法，构成制造BOM，同时可以将这些数据导入数据库。通过VBA开发实现了零件的分类汇总、自动统计计算等功能，使用VBA开发EXCEL进行零件管理及工艺设计是一种很好的方法。     

型钢混凝土(SRC)梁受弯承载力计算方法比较

<钢骨混凝土结构设计规程>和<型钢混凝土组合结构设计规程>是现有的两部型钢混凝土设计规程,为了便于工程设计人员正确选用,对这两部规程的分析思路、并将相应的计算值与实验数据进行比较,得出两部规程不同的设计特点,并提出了现阶段存在的主要问题,最后提出一些适合工程应用的建议.     

Some Problems of Rails For High-speed Railway of China

Acciording to running experience of high-speed railway abroad,a full attention must be paid to some requirements of specifica-tion of rails for high-speed railway,such as materil mechanical properties,rimension tolernces,straightness,surface flatness and so on.It is suggested that the long-length rails should be laid in high-speed railway,and the feasibility of producing,welding and transporting of long-length rails should be researched.On the basis of technical innovation of domestic manufacturers,it is practicable to lay 50-100mlong-length rails should be researched.On the basis of producing,welding and transporting of long-length homemade rails in high-speed railway of China.The following welding programme of rails for hiah-speed railway can be adiop-ted:50-100m long-lenath rails can be welded as 500m long rail string through flash butt welding in plant,then in field the reid string can be welded through a mobile flash butt welding or thermit welding.As the specification of rails or high-seed railway is rigorous.some related techniques to long-length rails should be researched and practised as soon as possible,including mobile flash butt welding tech-nique,transporting and reinforcing techniques of lon-length rails,etc…     

CIMS环境下SD-PDM系统设计

根据对企业生产和需求的调研,基于现代集成制造系统应用集成平台环境,设计并建立了沈阳电机股份有限公司产品数据管理(SD PDM)系统·确定了SD PDM的功能需求,主要包括项目管理、任务管理、过程管理及产品结构和配置管理·建立了由应用层、数据库层、网络层和系统层组成的4层开放式体系结构,进行了系统的功能设计,给出了SD PDM系统的操作流程·最后分析了系统技术平台选择、编码规则设计和用户权限限制等几点关键技术·SD PDM系统已在企业投入使用,提高了企业管理水平,缩短了制造和供货周期·     

我国公共图书馆标准规范内容体系构建

根据"图书馆学五要素"提出了公共图书馆标准规范的内容体系框架,包括服务与管理标准、馆藏建设标准、技术标准、工作人员标准和建筑与设备标准五大部分.     

聚讼与规范：经济犯罪概念的认定与特征的“限制”性释义

经济犯罪的概念虽被提出和使用很久,但至今仍未统一定论。我国的刑事政策决定了经济犯罪的客体,经济犯罪主要侵犯的客体是国家整体经济的秩序。本文在对域内外经济犯罪概念进行的聚讼与争鸣分析后,认为经济犯罪是指从事经济活动的自然人和法人在经济运行过程中,实施违反经济法规,侵害经济管理秩序和经济协调关系,情节严重,依法应当承担刑事责任的行为。经济犯罪概念的认定与特征的＂限制＂性释义取得规范,不仅易于了解经济犯罪的特殊性,也可使刑法的效能得到最大发挥。