基于ACE的TCP穿透NAT技术原理及实现

在P2P应用中,由于建立TCP连接需要经过复杂的三次握手,受各种因素影响,TCP穿透NAT的成功率常难保证,使得目前大部份P2P应用均采用UDP协议进行数据传输,这要求网络防火墙必须允许UDP数据包通过,与目前大部份网络安全配置相冲突。文中分析了TCP穿透NAT的技术原理,以此为基础,通过使用辅助服务器与欺骗报文相结合、自动区分网内与网外连接等方法,进一步提高实际P2P应用中TCP穿透NAT、建立连接的成功率,同时结合ACE框架,实现了采用该技术的服务器和客户端代码,为大批量数据传输的P2P应用如何使用TCP协议提供参考。

政府信息公开与“网络问政”的内在一致性探讨

本文围绕政府信息公开与"网络问政"的内在关系,阐述政府信息公开对"网络问政"的积极意义,分析当前政府信息公开存在问题对"网络问政"的影响,并从思想认识、工作实践、法律制度等角度提出加强政府信息公开促进"网络问政"发展的对策。

基于ACE的UDP穿透NAT技术原理及实现

NAT的应用使人们在只拥有私网IP的情况下也能访问互联网,解决了公网IP数量有限、但需联网计算机数量日益上升而导致IP短缺的问题,但同时也造成了私网计算机之间无法通信的事实;如何穿透NAT、实现私网计算机之间的通信探讨也就应运而生。该文对UPD穿透NAT技术原理进行深入探讨并结合ACE框架分析了实现该技术的服务器和客户端代码。

信息不完备下的知识遗忘

智能体不仅仅要具备知识学习的能力,还应具备知识遗忘的能力。智能体关于客观世界的信息往往是不完备的,探索信息不完备环境下的知识遗忘问题显得尤为重要。模态谓词逻辑适用于信息不完备环境下智能体知识的不确定性表示和推理,故将知识遗忘的定义扩展到模态谓词逻辑,并分析其基础性质。一般情况下,一阶模态逻辑中知识遗忘是不可定义的。因此,一阶模态逻辑的一个片段被给出,其具有较强的表达能力,且该片段的公式遗忘原子命题是一阶模态逻辑可定义的,遗忘谓词是二阶模态逻辑可定义的。

不确定观测下离散事件系统的可诊断性

从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,所获取的观测往往是不确定的.重点研究观测不确定条件下离散事件系统的可诊断性问题.首先扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性;然后,分别给出各类观测不确定条件下的可诊断性判定方法;在更一般的情况下,各类观测不确定可能共同存在,因此,最后给出一般情况下的可诊断性判定方法.

描述逻辑FL_0概念及术语公理集的表达能力刻画

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。

本体知识库的模块与保守扩充

模块化是软件工程的一种方法,近年来被引入到本体领域,用以支持本体的重用和本体的整合。已有的工作没有讨论同时含有TBox和ABox的本体知识库的模块化的相关问题。在定义本体知识库的模块和知识库的保守扩充的基础之上,给出了知识库保守扩充的验证算法,并且从理论上证明可用知识库的保守扩充的验证算法来验证一个知识库是否为另外一个知识库的模块。

基于中小企业电子商务实施过程的电子商务人才培养模式

基于中小企业信息化实施过程的电子商务专业人才培养模式,利用知识及技能的相关程度设计课程设置与实施过程的结合,把电子商务专业所需的知识、技能分解到课程教学中。突破了课程实训各自独立的不足,保证系列课程的连贯性,提高职业培训的效率;同时让学生具有完整的信息化系统概念,便于在其中一方向提高自己的技能。将实践教学的平台延伸到企业真实环境下,实现了与企业电子商务应用实际真正的"零距离",开辟了应用性人才培养的新途径。

多智能体模态逻辑系统K_n中的知识遗忘

如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。

插件式考试平台实例

基于计算机的考试日渐推广,构建一种能灵活配置、适应性强、高效稳定而又具备二次开发能力的考试平台架构,是此类考试大规模推广应用必须解决的问题。插件式考试平台是一种松散耦合的开放型平台,以可更换的插件为基础,以统一的接口规范为标准,既满足题型的灵活配置要求,又能增强系统的稳定性和兼容性,提高系统开发效率。

虚拟社会有效治理的必要性及路径探讨——以网络问政及“永安警长”案例为切入点

目前,我国虚拟社会发展迅速,同时暴露出不少问题,对虚拟社会的治理刻不容缓。虚拟社会的基本单元是一些志趣相投、利益相关的网民跨越地域和行业边界组成的带有一定标识的网络群体,虚拟社会中"虚拟人"的行为具有"在线"、"互动"、"多元耦合"特征。这种结构和行为特征决定了虚拟社会治理必须将多种治理路径融合,采取多元路径并举的方式;更为重要的是政府不能缺位,发挥政府的主力军作用,才能取得理想的效果。网络问政以尊重公民说话权利作为切入点,以构建政民之间、网民之间良性互动机制作为突破口,以解决各种民主问题作为落脚点,不断注入正能量,发挥主场优势,唱响主旋律,成为中国特色虚拟社会治理的一条非常重要和有效路径。"永安警长"案例是对这一治理路径的有力诠释。

以网络问政和政务微博作为重要平台推进网络内容建设

网络主旋律是一种包含向上、健康、积极主流价值观的网络展示,是一种理性的公共表达,能影响、甚至引导网络的走向。唱响"主旋律"要强调党和政府的中心地位,同时也要强调允许多种声音的表达;要注重寻找"合音",挖掘民间智慧;要以改进网络内容建设为基础和前提,发扬党在传统舆论阵地中的优势。网络问政与政务微博是行政部门可直接控制的网络表达形式,在改进网络内容建设和唱响网上主旋律方面必将发挥重大作用。

多智能体模态逻辑系统KD45_n中的知识遗忘

遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45 n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45 n中知识遗忘的主要性质;最后,提出KD45 n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45 n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。

网友“两代表一委员”公推选举的可行性探讨——基于河源市网选党代表、人大代表和政协委员的调查分析

文章通过对河源市网友"两代表一委员"公推选举方法的剖析,肯定这项创新选举探索具有积极意义,同时指出其存在不足及隐含的弊端。文章在对网友公推选举的可行性进行理论分析的基础上,提出改进的意见和建议。

基于P2P的大规模考试平台实例

在大规模考试中,由于同时参与考试的人员众多,考生登录时的试卷分发和交卷时的试卷回收常常因为并发访问量过大而造成服务器崩溃。P2P以节点平等为核心,淡化中心服务器的角色,以高效的方式向需要资源的节点分发内容,能很好的解决大规模考试中因过分依赖于中心服务器而造成的一系列问题。

基于插件的多课程考试平台实例研究

插件式考试平台是一种以插件为基础,以实现考试课程和题型灵活配置为目的的开放型考试平台,它既能避免重复投资,又能提高开发效率,还能增强系统的稳定性和兼容性。

基于WCF与P2P的分布式大规模考试平台实例研究

利用WCF框架技术可以快速构建面向服务的分布式应用系统，提高系统的可扩展性和稳定性，实现考试题型的灵活扩展，而P2P技术以节点平等为核心，以高效的方式向需要资源的节点分发内容，解决大规模考试过程中大批量数据传输而导致服务器过载的问题。该文在分析WCF和P2P应用开发技术的基础上，介绍了利用WCF和P2P技术的大规模考试平台架构的实现原理。

以Fluent NHibernate框架构建基于.NET的数据库应用

NHibernate是一个面向.NET的ORM映射工具,是Hibernate的.NET版本,用来把对象模型表示的对象映射到基于SQL的关系模型数据结构中去,并提供数据操作方法,能大幅度减少使用SQL和ADO.NET处理数据的时间,提高数据库应用的开发效率,但其基于XML的配置文件过于复杂,而Fluent NHibernate在NHibernate的基础上简化了配置文件的编写,为.NET应用程序使用Hibernate提供了简捷的途径。以一个用户登录实例为基础,介绍利用Fluent NHibernate快速构建基于.NET的数据库应用。

基于ArcGIS Engine的公交规划辅助决策系统的研制

在传统GIS交通规划软件的基础上,利用组件式二次开发工具ArcGIS Engine进行公交规划辅助决策软件的研制,从软件开发的总体设计到空间数据库的搭建,并详细介绍了公交规划辅助决策系统软件的设计过程,以此为基础,创新性的进行了GIS公交规划辅助决策软件的自主独立开发,实现了GIS软件的基本地图操作功能以及公交评价指标的自动辅助计算。