Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

混合遗传算法在砂土液化势评价中的应用

基于历史地震液化实例资料和现场实测 SPT值 ,建立了应用混合遗传算法的砂土液化势智能评价模型 ,并实际评判了特大型润扬长江公路大桥工程区的砂土液化 ,且进一步分析和研究了桥址区潜在液化层的空间分布规律和概率统计特征 ,并与规范判定法结果作了对比 ,取得了较好的成果。实例应用表明了该法是可行和可靠的 ,为大桥的设计和施工提供了科学依据 ,对基础工程的可靠性分析和最优设计具有重要实际意义     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法，为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图；然后为关键模块生成形式化规格说明。生成的结果清晰明确，有助于软件工程师理解VB源程序。     

某工程基础选型设计

本文讨论的是某工程基础选型设计.通过对地质勘察资料的详细分析,初步设想采用予应力管桩基础、水泥搅拌桩复合地基、换填砂石地基处理三种方案.按照建筑地基处理技术规范JGJ79-2002,J220-2002和建筑地基基础设计规范B50007-2002的要求,结合各方案的施工工艺以及工程造价的比较,最后决定采用换填砂石地基处理.本工程现已施工,基本达到较为满意的预期效果.通过对基础选型进行的优化分析,既保证基础的强度、刚度与可靠性要求,又经济合理,希望和同行共同分享这份经验.     

一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.     

MPEG-2传送流复用的软件实现

根据MPEG-2标准的传送流语法规定，阐明了多路传送流的复用原理，提出了用软件实现多路传送流的复用方法，并在现有计算机资源的基础上，以VisualC 为开发平台，实现了6路节目合成为一路传送流，为硬件实现复用技术提供了极有价值的参考和依据。     

新课标实施以来基础体育教学发展回顾与反思

新课程标准不仅在课时数上进行了改革,而且在教学内容上也进行了新的调整。从体育课程执行情况来看的调查发现,总体上执行情况较好,部分学校对执行新课程标准不到位的主要原因是场地设施缺乏和学校领导对体育教育不够重视。针对所存在的目标定位不准确、概念认识不清晰、评价机制不完善等问题,提出具体的对策和建议。     

A solution of spatial query processing and query optimization for spatial databases

Recently, attention has been focused on spatial query language which is used to query spatial databases. A design of spatial query language has been presented in this paper by extending the standard relational database query language SQL. It recognizes the significantly different requirements of spatial data handling and overcomes the inherent problems of the application of conventional database query languages. This design is based on an extended spatial data model, including the spatial data types and the spatial operators on them. The processing and optimization of spatial queries have also been discussed in this design. In the end, an implementation of this design is given in a spatial query subsystem.     

校园网VLAN的研究与实现

在一个大型的校园网中，VLAN可以按照应用的需求灵活多变的划分逻辑子网，实现信息高速、高效的通讯。以CISCO6509为例，研究并实现校园网VLAN的划分与安全解决方案，分析网络吞吐量与输入负载的关系。