数理逻辑之研究对象、学科归属、定义及研究领域

鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.     

基于信息内容保护的安全体系模型研究

该文着眼于信息内容细粒度的安全性,提出了颗粒技术,基于该技术提出信息内容安全体系模型,并以WORD文件内容为例,实现了基于内容的安全体系原型系统.     

湖南省消防救援总队解读《湖南省人民政府办公厅关于加强基层消防安全综合治理工作的意见》

<正>近日,省政府办公厅印发了《湖南省人民政府办公厅关于加强基层消防安全综合治理工作的意见》(以下简称《意见》)。现将有关内容解读如下：一、出台背景习近平总书记强调“基层强则国家强,基层安则天下安,必须抓好基层治理现代化这项基础性工作”,指出“维护公共安全体系,要从最基础的地方做起”。基层是国家治理的神经末梢,是党和政府联系人民群众的纽带,基层管理水平直接关系人民群众生产生活,决定着国家治理的根基和水平。     

基于DIKW图谱的虚拟社区用户性格分类与转换方法

随着社交网络的发展,网络虚拟社区的成员数量快速增长.在虚拟社区中,用户会偏向选择浏览自己喜欢的内容,同时倾向与具有相近或相关兴趣爱好或目的的人进行内容交流与处理合作.在虚拟社区中,用户之间的交互内容以数据、信息和知识的形态存在.虚拟社区上大量的数据、信息与知识形态的网络类型化资源中保留了许多网络用户使用“痕迹”.这些痕迹是真实用户的数字化存在代表.为了实现对虚拟社群用户生成内容按照偏好和兴趣进行量化调控,采用数据信息知识及智慧（data information knowledge wisdom,DIKW）图谱对这些类型资源进行建模.根据用户DIKW图谱结合自我构建理论将用户按性格指数进行进一步的归类,并根据DIKW图谱结合自我决定理论将用户的心理需求分类.根据性格指数和心理需求设计了针对不同用户的不同的性格转换方法,模拟了用户生成内容的产生.     

一种基于虚拟维修仿真的交互式电子技术手册生成方法

基于并行工程思想,提出了一种基于虚拟维修仿真分析过程的结果数据制作装备交互式电子技术手册(IETM)的方法。主要研究工作为:构建了一种基于主题的IETM内容数据模型(CDM),给出了典型装备IETM的组成结构;分析了典型虚拟维修仿真分析过程中的结果数据;提出了虚拟维修仿真系统和IETM创作系统的并行集成框架,设计了集成接口和相关模型,在产品生命管理平台下实现了二者的集成;在基于Jack软件环境的虚拟维修仿真系统中,以某型榴弹炮为例,进行虚拟维修样机建模、维修任务生成、虚拟维修仿真,最后通过以上结果数据生成了该榴弹炮的4级IETM系统。     

专家预测2015会成为反科技年

<正>多年来,拥有最新的电子设备或者应用程序一直是地位的一种象征,但这种事情很快就要发生改变。根据专家们的预测,2015年将成为"反科技年",人们将开始抛弃电子设备、社交网站以及其他科技产品,转而追求简单的生活。最近的数据显示,一些社交网站的人气正在下降,     

暗“香”浮动的数字水印

暗渡陈仓 网络技术与信息技术的兴起,使我们可以借助计算机、数字扫描仪、打印机等电子设备方便、迅捷地将多媒体信息(图像、音频和视频信息)传送到世界各地。而通过网络传输数据文件或作品,极有可能使某些个人或团体在未经所有者许可的情况下拷贝、传播有版权的内容,甚至篡改文件与作品的内容。因此,如何在网络环境中对多媒体产品进行