检索结果-内蒙古大学图书馆

科学技术与辩证法 2001年第1期18卷 49-52页

作者：章铸吴志坚中共芜湖市委党校管理科学教研室 241000 南京解放军理工大学气象学院计算机应用教研室 211101

虚拟不是现实的对立物 ,更非神话 ,它无需玄学的支持 ,也不等同于网络世界的虚拟生存。虚拟技术首先是计算机科学中的重大发明 ,然后才引伸出本体论和认识论的哲学语境和生存意义 ;而探究虚拟条件下现实性向可能性的转换 ,只有引入“虚... 详细信息

虚拟不是现实的对立物 ,更非神话 ,它无需玄学的支持 ,也不等同于网络世界的虚拟生存。虚拟技术首先是计算机科学中的重大发明 ,然后才引伸出本体论和认识论的哲学语境和生存意义 ;而探究虚拟条件下现实性向可能性的转换 ,只有引入“虚拟实践”范畴 ,才能以“在场”的姿态诠释主体基于现实性又能超越感知局限的多样化选择。

关键词：虚拟现实虚拟实践物质实体关系实在

来源：评论

学校读者我要写书评

暂无评论

级数求和RMI解题机

引用

Journal of Mathematical Research and Exposition 2001年第1期21卷 153-158页

作者：王建东徐利治肖奚安朱梧槚南京航空航天大学计算机科学与工程系 210016 大连理工大学应用数学系 116023 空军气象学院数学教研室南京210012

本文从ＲＭＩ原则出发对各种级数求和的方法进行分析，将许多幂级数归结为是由几种基本幂级数演变而来的，总结出若干适用面较广的映射算子．介绍了在此基础上实现的能对相当大一部分幂级数及数项级数求和的ＲＭＩ解题机．

关键词：级数求和关系映射反演 RMI解题机幂级数数项级数

来源：评论

学校读者我要写书评

暂无评论

Hough变换OCR图象倾斜矫正方法

引用

中国图象图形学报（A辑） 2001年第2期6卷 178-181页

作者：瞿洋杨利平西安空军工程大学工程学院航空管理工程系计算机教研室西安710038 南京空军司令部气象处南京210018

在光学字符识别 ( OCR)图象扫描输入的过程中 ,扫描图象或多或少会出现某种程度的倾斜 ,这种图象的倾斜不仅会给下一步字符的切割造成困难 ,也影响最终的字符识别精度 .通常情况下 ,为避免用户重新扫描 ,可以通过软件方法对图象进行矫... 详细信息

在光学字符识别 ( OCR)图象扫描输入的过程中 ,扫描图象或多或少会出现某种程度的倾斜 ,这种图象的倾斜不仅会给下一步字符的切割造成困难 ,也影响最终的字符识别精度 .通常情况下 ,为避免用户重新扫描 ,可以通过软件方法对图象进行矫正 ,为此提出一种利用 Hough变换进行图象倾斜矫正的方法 .为克服 Hough变换计算量大的缺点 ,该方法采用了变分辨率图象金字塔策略 .实验结果表明 ,该方法能快速准确测量出扫描图象的倾斜角度。

关键词：光学字符识别倾斜矫正 Houhg变换图象金字塔处理

来源：评论

学校读者我要写书评

暂无评论

虚拟现实:网络时代的技术福音?——兼与李湘德、钱振勤二同志商榷

引用

自然辩证法研究 2000年第4期16卷 27-31页

作者：吴志坚章铸南京解放军理工大学气象学院计算机应用教研室江苏南京211101 中共芜湖市委党校管理科学教研室安徽芜湖241000

以计算机技术为核心的信息革命 ,对迄今为止的人类思维、生活方式、生存状态 ,仍在产生巨大的冲击和震撼 ;与此同时 ,恐惧现实世界和推崇“虚拟现实”的造神运动已经萌芽。本文站在科学人文主义立场 ,坚信虚实世界的理性边界不可模糊。

关键词：现实时空虚拟现实网络文化民族国家

来源：评论

学校读者我要写书评

暂无评论

MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

引用

数学杂志 2000年第3期20卷 305-310页

作者：顾红芳白鹏肖奚安朱梧槚南京通信工程学院数学教研室南京210016 解放军信息工程学院基础部郑州450002 空军气象学院数学教研室南京211101 南京大学计算机软件新技术国家级重点实验室

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从... 详细信息

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .

关键词：三值逻辑命题联结词语言表达能力等效性

来源：评论

学校读者我要写书评

暂无评论

CSCW技术及在军事气象上的应用

引用

计算机系统应用 1999年第10期8卷 39-40页

作者：顾大权侯太平蒋林翟建设南京空军气象学院计算机教研室 211101

一、CSCW的体系结构CSCW系统与一般分布式系统或集成化系统的最大差别在于CSCW是借助计算机节省来支持人与人之间的协同工作,CSCW不仅需要局域网,而且有的还需要广域网,同时需要有高效的通信能力来支持协同工作。从CSCW的实现方法来看,C... 详细信息

一、CSCW的体系结构CSCW系统与一般分布式系统或集成化系统的最大差别在于CSCW是借助计算机节省来支持人与人之间的协同工作,CSCW不仅需要局域网,而且有的还需要广域网,同时需要有高效的通信能力来支持协同工作。从CSCW的实现方法来看,CSCW的体系结构可归结为集中式和分散式两种。在集中式结构中,模块是按客户/服务器(Client/Server)模式组织起来的。将协调管理、应用共享、通信接口等模块集中放在服务机上,在用户机上放应用工具、用户界面以及窗口服务等模块。用户机要向服务机请求某种任务…

关键词： CSCW 军事气象气象数据库客户/服务器

来源：评论

学校读者我要写书评

暂无评论

用VB实现对Windows中SysTray的操作

引用

微电脑世界 1999年第21期 77-79页

作者：侯太平南京市空军气象学院计算机教研室 211101

在Windows 9x/NT任务栏的右端有一个称为SysTray的区域,里面有一些应用程序的图标,如系统时间、输入法、音量控制等。应用程序可以通过响应该区图标的鼠标事件来完成特定的功能。将应用程序的图标置于SysTray中,然后在任务栏中隐藏应... 详细信息

在Windows 9x/NT任务栏的右端有一个称为SysTray的区域,里面有一些应用程序的图标,如系统时间、输入法、音量控制等。应用程序可以通过响应该区图标的鼠标事件来完成特定的功能。将应用程序的图标置于SysTray中,然后在任务栏中隐藏应用程序,可以使Windows桌面变得简洁,而又不影响对应用程序的操作,这特别适用于在后台运行而又有用户交互界面的常驻程序,例如电子词典、Web服务器和计划任务(TaskMan)等。用VC对SysTray实现操作比较容易,但用VB却不然,为此,本文介绍用VB实现操作SysTray的方法。

关键词：应用程序 Windows 鼠标事件任务栏回调函数隐藏应用程序系统时间电子词典用户自定义常驻程序

来源：评论

学校读者我要写书评

暂无评论

任意精度数字运算的程序设计

引用

电脑学习 1998年第3期 35-37页

作者：顾大权南京空军气象学院计算机教研室南京211101

来源：评论

学校读者我要写书评

暂无评论

MP＊中的等值完全析取范式

引用

南京航空航天大学学报 1998年第4期30卷 359-365页

作者：姚楠顾红芳肖奚安朱梧槚军事经济学院数学教研室通信工程学院数学教研室空军气象学院数学教研室航空航天大学计算机科学与工程系

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。该范式分为三个部分，即真值项、清晰... 详细信息

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了ＭＰ＊中的析取范式问题。另外，本文还证明了一个等值公式，把真值程度词在等值的意义下用含清晰化算符的公式表示，扩充了ＭＰ＊的形式推理规则。

关键词：数理逻辑命题演算中介逻辑范式析取

来源：评论

学校读者我要写书评

暂无评论

在军队机关构造办公自动化系统的方法

在军队机关构造办公自动化系统的方法

引用

第十届中国计算机学会网络与数据通信学术会议

作者：石磊顾大权气象学院计算机教研室(南京)

该文结合军队机关办公的特点，深入分析了在军队机关使用Intranet思想构造办公自动化系统的一般方法。

关键词： Intranet 办公自动化 WWW 网关接口网络安全

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：