代数规范说明的应用

本文讨论如何应用代数规范说明方法来说明软件系统。     

细碎腭式破碎机取代二段圆锥的实践和探讨

细碎腭式破碎机由于其破碎比大、能耗少、重量轻、价格低等优点而受到建筑行业的欢迎和普遍采用,然而在选矿厂上应用并不多见,我矿根据南京铅锌银矿的经验,对上海多灵有限公司生产的PEX-200/1000细碎腭式破碎机作为第二段破碎来取代PYE900/75圆锥破碎机,进行了偿试。 1.破碎筛分工艺流程计算     

程序设计语言的代数规格说明方法

程序设计语言的形式规格说明是程序设计语言标准化、编译器自动生成和程序正确性证明的基础。良好的形式规格说明对语言的设计者、实现者和使用者都是有益的。 1.程序设计语言的代数规格说明方法 代数规格说明方法起源于ADJ小组,他们把语言的语法作为初始代数T,语义论域则是同样基调(signature)上的代数A,使得语言的语义由唯一同态f:T→A自动给     

Perl扩展到JVM的移植

Perl扩展作为Perl语言与其他语言的接口，使得Perl能够解决更加复杂的问题。该文从Perl扩展的创建入手，深入分析了Perl解释器的动态链接技术以及Perl扩展的工作原理。然后分析了Perl扩展到Java虚拟机移植的可行性和难点，最后给出了移植的几个实现方案及其评估。     

支持用户自定义谓词的自动定理证明的研究

在先前设计的一个出具证明编译器原型基础上,增加了可用来描述数据结构性质的自定义谓词,对断言语言表达能力方面做了提升.在出具证明编译器的框架内,借助自动定理证明技术,针对自定义谓词的特点,设计了专门的推理规则,由此实现自定义谓词专用的自动定理证明器原型,并将它并入系统原来的自动定理证明器中.该原型可以用来证明操作单链表、二叉树等共享数据结构的程序的性质,其程序规范中可以使用自定义谓词描述数据有序性、链表长度等性质.     

虚拟桌面系统的实现原理

设计和实现了一个虚拟桌面系统VDT,用于对Windows中的窗口进行管理,以方便Windows用户对窗口的使用,VDT创建了一个能够轻松操作的多个工作空间,这些工作空间将显示器扩展到一个虚拟空间中,重点介绍了这个系统的原理和实现。     

Constraint—Preserving Architecture Transformations：A Graph Rewriting Approach

Architecture transformations are frequently performed during software design and maintenance.However this activity is not well supported at a sufficiently abstract level.In this paper,the authors characterize architecture transformations using using graph rewriting rules,where architectures are represented in graph notations,Architectures are usually required to satisfy certain constraints during evolution.Therefore a way is presented to construct the sufficient and necessary condition for a transformatio to preserve a constraint.The condition can be verified before the application of the transformation.Validated transformations are guaranteed not to violate corresponding constraints whenever applied.     

综合服务资源管理系统的设计与实现

综合服务模型旨在为不同的业务类型提供所需的服务质量，服务质量保证的实现是依赖于对系统资源的合理分配，管理和使用，该文介绍了综合服务资源管理软件在Linux操作系统上的设计和实现，并给出了对该软件系统的测试结果。     

基于交换型集线器的组网技术(下)

基于交换型集线器的组网技术（下）李津生陈意云洪佩琳３．建立地址变换表交换型ＨＵＢ利用地址变换表对分组进行交换处理。它根据收到分组的端口的号码和该分组内的源ＭＡＣ地址建立端口与终端ＭＡＣ的地址变换表。交换型ＨＵＢ并不是永久保存它通过学习得到的地址。在某...     

项重写系统的并行实现方案

项重写系统的并行归约可以提高归约的效率，在无共享内存的Ｔｒａｎｓｐｕｔｅｒ网络上实现时要考虑任务的分配，项的拼装，归约任务的控制等问题，其中怎么样减少机间的机内进程的通信慢提高系统效果的关键。本文从控制方式角度讨论在不同拓扑结构的Ｔｒａｎｓｐｕｔｅｒ网络上实现项重写系统的方案，重点介绍基于树形结构下的控制方法，进程安排和通讯形式。