Prolog的编译实现

编译技术是实现高效率Prolog系统的一个重要手段。本文提出了设计prolog编译系统时应解决的几个重要问题。这些问题包括:系统设计方案、中间代码的选择、编译器的设计、交互性问题、数据库及数据库操作内部谓词的实现方法等。文中论述了我们对这些问题的看法及提出的解决方法。     

集合之间基本操作的保密计算协议

保密集合操作是特殊安全多方计算中的一个重要研究内容。考虑了集合操作问题的保密计算,基于一些基础的密码学方案和协议为集合相交、集合相并、集合包含这几个基本的集合操作问题提出了相应的保密计算协议,并对其性能做了分析与讨论。它们作为重要的密码学基本协议对解决保密计算几何,保密数据挖掘等其他相关安全多方计算问题有着重要的应用价值。     

簇图编辑问题的研究进展

簇图编辑问题是一个重要的NP-难问题。作为相关性聚类问题的一个特例,它在计算生物等领域有着重要的应用。参数计算理论出现后,参数化的簇图编辑问题逐渐引起了很多人的注意。介绍了求解簇图编辑问题的近似算法、参数算法和它的一些变形,着重分析了参数化簇图编辑问题核心化和FPT算法的最新结果。最后提出了关于该问题的一些研究方向。     

离散制造业中生产批量计划问题的模型与算法

制造业是衡量一个国家和地区的综合经济实力和发展水平的重要标准,是民生之本和产业主体。制造业的重要组成成分之一是离散制造业,其中的重要问题是生产批量计划问题（Lot-sizing Problem,LP）。生产批量计划问题是企业生产过程中的重要决策问题,与运筹学、管理科学和工业工程等领域联系紧密。迄今为止,国内外学者对该问题的研究历史已超过50年。在参考国内外相关文献的基础上,对生产批量计划问题的模型和求解算法作了系统、全面的总结,指出了将来可以进一步研究的重点方向。     

校园网信息安全存在的问题及对策

校园网络是各个学校的重要基础设施,在教学、科研和学生的管理工作中,起着重要的作用。但是,随着校园网规模的不断扩大以及其开放性和共享性,校园网内信息安全问题日益突出。文章针对校园网信息安全问题进行了详细的阐述,并对这些问题提出了相关的解决对策。     

我国互联网内容管制的现状及存在的问题

随着互联网的迅速发展,互联网所带来的一系列安全问题也相应出现其中一个最重要的问题就是互联网的信息安全问题,开放的互联网系统大都面临着各种各样的安全问题,病毒、黑客攻击,对银行、税务以及其他重要系统的非法侵入,对人们身心有害的信息,以及虚假信息等等都会影响到互联网的安全。因此,互联网安全已经成为互联网健康发展的障碍。并且成了危害国家安全的重要方面,影响到社会的秩序与稳定。如何保障互联网的运行安全和信息安全问题已经引起了全社会的普遍关注,特别是互联网的信息安全成为了政府以及个人关注的重要问题。现今世界各国都在为如何进行网络治理进行探讨。互联网急需政府的立法和管制。     

方差优化问题的复杂性：从生产线到计算机网络

在许多工程系统中,方差优化对保持性能稳定、提高系统服务质量具有重要的意义.方差优化问题也是组合优化中较困难的二阶离散优化问题.通过引入完成时间方差和等候时间方差这2个重要的子类问题,具体论述了此领域的研究现状与最新理论进展,讨论了方差优化的2个重要特例问题的复杂性,指出了其中一个特例问题属于P类问题,其所有最优解均具有对称螺旋结构,且此螺旋型的结构还存在于一大类任意阶的偏差问题.基于方差问题的特性,总结并拓展了其在实际工程领域、特别是计算机网络系统领域的新应用.     

空间遥感及其对经济的影响

随着遥感技术逐步趋于成熟以及今后几年内计划将要发射的空间飞行器数量日益增长,一个重要的问题摆在了我们的面前,即在过去的25年内对地观测系统产生了何种重要的经济影响?又因为对地观测系统耗资如此巨大,所以更重要的也许是系统对未来经济和社会将造成什么影响、它的重要性何在、我们又将怎样使其超越过去以加强其对未来社会和经济的影响等问题。本文根据几个简单但却很能说明问题的模型来讨论上述问题。     

基于分支回溯的NAE-3SAT问题求解算法

NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目.     

热转印印字头的驱动电路

文中论述了驱动电路设计中遇到的几个问题：功耗问题、引线问题；同时也论述了驱动电路的几个重要方面：发热元件分块、发热元件与决驱动电路的连接及驱动电路的设计。