轻松料理汉字库

软件开发过程中的汉字处理一向是黄皮肤黑头发的同行们的热门话题.由于国情要求更多的中文软件,因而在越来越多的软件中应用汉字小字库,以提供方便更多人的汉字界面.提取汉字小字库的方法早已发表过不少,但大多需要建字库者将所要提取的汉字筛选好,即需要将重复的汉字剔除,以建立紧凑的字库.如此筛选剔除,费时、费眼、费神,还未必整理得完全.另外,调用的方法很少提及,不外乎就是将已入库的汉字再在纸上抄或打印一遍,编上     

高阶谓词演算向一阶数学理论■_(γω)的转化及其与编程语言的牵连

■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。     

面向神经元的程序设计

在文〔O中,我们提出了大神经元(即神经网络)原理.大神经元原理指出,神经元、神经网络均是一个特殊的对象,也具有对象的所有性质如抽象、封装、继承和多态.为明确起见,我们在这里扩展有关神经元、神经网络的定义.     

使用触发器维护数据的相关完整性

描述了在数据库应用系统中利用触发器维护数据相关完整性的实际意义:介绍了在SYBASE数据库应用系统中创建和删除触发器的基本语法,并对触发器涉及的临时表和全局变量进行了说明:给出了使用触发器维护数据相关完整性的应用方法和应用实例。     

一个面向对象的实时分布式语言的指称语义

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．     

面向对象程序设计体裁嵌入FFP-AST系统

FFP语言是这样的一种纯粹的泛函程序设计语言,它奠基于严格的数学理论基础之上,是归约语言L₄的一个子类^[2,3]。本文将面向对象编程(OOP)体裁相当简洁地嵌入到FFP-AST系统中。这样,一方面,揭示了面向对象编程体裁(OOPP)与泛函编程体裁(FPP)之间的近亲关系;另一方面,为OOPP奠定了 FFP-AST语义描述。本文实质上也提供了一种“加于FFP语言之上的兼备FPP和OOPP的编程语言”。贯穿文中的方法论归结为:紧密联系和使用自动机这一概念。     

L^6PC中的动态任务调度

在分布式计算机系统中,多机之间的动态任务调度是取得系统高速、高可靠性和资源分享的核心措施。我们在由八台80286AT机连成的立方体拓扑结构上开发成功了一个分布式操作系统的研究模型(L~6PC),本文对其基于概率计算和梯度招标的动态任务调度算法进行了介绍。初步试验表明,该调度算法实现简单,有广泛的实用价值。     

基于数字细菌的立体声音乐版权保护研究

基于声音空间变换、小波融合、独立成分分析(ICA)以及数字细菌等技术,提出一种保护立体声音乐产品的知识产权的新方法。将水印数据同时嵌入到两道声音的小波系数中,提取水印时,利用独立成分分析,通过无监督神经网络,获得无噪音的水印。为保证水印的安全,在多媒体数据中嵌入水印后,水印作为隐藏的独立成分信号起着免受数字细菌攻击的作用。数字细菌平时处于休眠状态,用于保护多媒体数据。如果水印遭到破坏,则数字细菌被激活以攻击盗版数据。该技术可用于立体声音乐的版权保护。     

基于Transputer的中粒度多任务管理的研究

Ｔｒａｎｓｐｕｔｅｒ是一种特别适于并行处理的处理器芯片，但是由于缺乏系统支撑软件使得对其开发显得很不方便。ＭＧＰＯＳ是一个基于Ｔｒａｎｓｐｕｔｅｒ网络的单用户多任务并行处理操作系统，它支持现有Ｔｒａｎｓｐｕｔｅｒ的ＯＣＣＡＭ程序设计模型，同时允许在装载时根据硬件资源情况对任务进行分配，此外所提供的存储管理接口和任务通信接口等功能为应用程序的开发提供了良好的基础。本文着重描述了该操作系统任务管理的设计思想及其关键技术，同时对其所特有的一些性能也进行了说明。该平台的建立为并行处理技术的进一步研究提供了有力的支持。     

需求分析与获取的方法学与技术

本文给出需求工程的一般框架，在对需求分类的基础上主要讨论非功能性（即非行为性）需求，提出对软件需求规范和分析技术的要求，并强调对现有相关工作评价的其中两个方面。