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

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

代数规范说明的应用

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

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

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

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

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

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

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

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

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

Perl扩展到JVM的移植

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

移动计算系统信息流安全

程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难．Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究．本文在其工作的基础上，根据移动计算系统的结构特征，通过对函数式语言λsec进行扩充，加入通讯原语，将其扩展成移动计算语言MobileML，并针对一个简单的移动计算模型，给出了描述程序信息流安全的无干扰性定义，设计了相应的信息流类型系统，用以静态检查保证MobileML语言程序信息流安全．     

基于Java的数据通信综合网管共享存储

动态实时告警数据和静态系统资源数据的存取是影响数据通信综合网管系统性能的主要因素，针对这两类数据各自不同的特点，重点讨论两种基于Java共享存储设计与实现，系统整体性能得以提升．     

人物肖像画及其卡通动画仿真系统的建立

文章主要目的是利用一台普通的个人电脑和一张人脸的正面照片来自动生成具有写实风格或者夸张效果的人物肖像漫画及其动画.AAM模型是一种统计模型,可以很好地应用于人脸的特征点定位.但是AAM模型在信息的处理上忽略了颜色信息的作用,而肤色信息在人脸检测时往往起着非常大的作用.文中主要采用的方法是先利用肤色信息减小AAM搜索的搜索范围,然后基于这种改进的AAM模型,定位照片上的人脸特征,并以此为基础设计了一个人物肖像画生成系统.该算法对近百幅人脸的正面照片进行实验,实验结果令人满意.该方法能够快速生成特定人脸的肖像画并能较好地应用于卡通动画制作向导、多媒体智能娱乐、游戏和网络即时通讯软件等领域中.