使用汉字系统的一种程序设计技巧

本文着重论述了在编程的实际工作中,如何解决带有汉字系统的程序设计问题。阐述了解决这一问题的基本思想和技巧。这种处理汉字的方法,使汉字、词的引用有了统一的处理技术;使程序中定义变量名标识符,有了一般的可遵循的方便方法;从而使调用汉字的速度大大提高;增强了程序易读性;同时使数据项查询、修改、显示等极为方便。     

全国干部定期统计报表系统

本文是为中共中央组织部、劳动人事部统一编制的“国家机关、事业、企业单位干部定期统计报表”而设计的计算机报表系统。并论述了该系统的数据填报与汇总统计的设计思想、系统功能、工作方式以及如何解决多文件、多数据项的汇总等问题。 本系统不仅适用于全国各单位的“干部定期统计报表”工作,而且其设计方法很容易移植、推广到其它统计报表中。     

西藏高原地区玉龙铜矿建设的不利因素和应对措施

通过分析西藏玉龙铜矿湿法炼铜试验厂建设工程实施过程中的遇到的各种困难和所采取的解决办法,总结高原地区矿山工程实施及管理方面的经验。与内地相比,西藏高原地区矿山建设存在与人相关的和与工程外部建设条件相关的两类具挑战性因素。解决好这两类问题,是玉龙铜矿大规模开发建设成功的前提。     

关于嵌入型多值依赖集的蕴涵问题

本文讨论关系模式中函数依赖(FD)、多值依赖(MVD)、嵌入型多值依赖(EMVD)的推理规则,并研究嵌入型多值依赖与多值依赖间的逻辑蕴涵问题,证明了纯嵌入型多值依赖集不能逻辑蕴涵非平凡多值依赖。     

谓词变换函数WP性质的研究

本文讨论了程序设计方法学中谓词变换函数WP的性质。首先,提出了WP的两个公理,并利用这两个公理证明WP的另外两个性质,最后给出了WP的一个新的性质。     

图Gt的性质及其应用

本文给出课表任务图Gt与它的数据结构。讨论了它在课表设计中的重要应用,并证明伪编号总数m>n(n为周课时节数),课表不可排性。     

一个拟PETRI网建模模型

本文利用ＰＥＴＲＩ网和自动机理论，为ＥＡＲ数据模型的数据库设计，建立一个拟ＰＥＴＲＩ网的设计方法，并构造一个建模模型，为数据库辅助设计提供基础框架结构。