Exclusive-nor sum-of-sum逻辑及其最小化研究

对DRM(dual Reed-Muller)逻辑的非标准形表示形式和之同或和(exclusive-nor sum-of-sum,ENSOS)进行研究,并给出一种启发式的ENSOS逻辑最小化算法。该算法采用立方体覆盖表示ENSOS,对立方体迭代应用XNOR连接运算实现ENSOS逻辑的化简。为在算法结果质量与算法效率之间进行折中,该算法在进行立方体的XNOR连接时采用前瞻和回溯策略。使用基准函数进行验证的实验结果表明,所提出的算法能够获得更为精简的逻辑表达式。     

一种基于ProActive同步性实现读者/写者问题的方法

基于主动对象模式的ProActive,是一个具有并行、分布式、多线程和并发计算的java网格中间件类库,同时是以容错、负载平衡、移动性和安全性等为特征的统一框架。ProActive有着较高层次的并发特征,它提供一个高级的同步机制,易于安全地实现潜在复杂的同步策略。本文基于ProActive的同步性解决读者／写者这个经典同步问题,实现了三种不同的同步策略：“读者优先”、“写者优先”、“公平竞争”,且能在不停顿正读或写的情况下为读者或写者指派不同的同步策略。     

试论物业管理市场结构调整的策略和途径

论文以物业管理市场的三个市场命题为切入点就物业管理区域化整合、物业管理规模扩张、专业化细分以及物业管理企业改制等方面的问题,阐述了物业管理市场结构调整的策略和途径,指出真正的市场化经营是在主营项目不断扩大的同时,使专业项目和辅助配套项目形成新的分工.     

基于C++语言中的二义性辨析及其对策探讨

阐述了面向对象程序设计C 语言中可能产生二义性的若干情况,并通过程序实例,探讨其出现二义性的原因,提出其解决策略。     

基于SSM框架的题库和试卷管理系统的设计与实现

题库和试卷管理系统是高校信息化建设和计算机辅助教学的重要内容,不仅有利于实现教考分离,而且还能减轻教师考前出卷的工作量,提高工作效率。当前,实现此类系统的技术主要是采用.NET和SSH框架等技术,具有一定的缺陷。本文采用新近的主流先进技术,包括SSM框架、FreeMarker模板引擎、Bootstrap前端框架和MySQL数据库等技术,开发了一套基于B/S模式的题库和试卷管理系统。该系统能实现按知识点创建题库和按模板生成试卷,并可对所生成的试卷进行二次编辑等功能。与其他技术相比,基于SSM框架实现的该系统操作简单、使用方便,开发成本低、开发效率高且易于维护和功能扩充,具有较高的可扩展性和可靠性。     

一种基于ProActive同步性实现读者/写者问题的方法

基于主动对象模式的ProActive,是一个具有并行、分布式、多线程和并发计算的java网格中间件类库,同时是以容错、负载平衡、移动性和安全性等为特征的统一框架。ProActive有着较高层次的并发特征,它提供一个高级的同步机制,易于安全地实现潜在复杂的同步策略。本文基于ProActive的同步性解决读者/写者这个经典同步问题,实现了三种不同的同步策略:"读者优先"、"写者优先"、"公平竞争,"且能在不停顿正读或写的情况下为读者或写者指派不同的同步策略。     

基于C++语言中的二义性辨析及其对策探讨

阐述了面向对象程序设计C++语言中可能产生二义性的若干情况,并通过程序实例,探讨其出现二义性的原因,提出其解决策略.