产品外形协同设计系统的研究与实现*

提出了协同设计工作模式,给出了系统的工作流程,定义了用户的权限分配,研究了基于交互日志的传输方式,讨论了协同设计过程中的实时更新机制.最后采用了基于MVC的体系结构构建了一个原型系统,该系统在实际应用中,验证了该技术思路的正确性.     

基于电磁感应的矿井探测方法研究及仿真

本文首先分析了矿井探测中遇到的信号干扰种类,结合噪声信号的特点,提出了基于电磁感应的矿井探测方法,给出了其原理图和设计原则.然后详细论述了电磁感应探测方法的具体实现,给出了各主要测试参数的计算公式,明确了在探测过程中需要采集的各种信号.为了验证提出的电磁感应探测方法,最后采用了MATLAB建立了仿真测试模型,并给出了仿真测试结果.     

面向智能电网的云计算技术研究

对面向智能电网的云计算技术进行了研究。首先,引入了云计算的基本概念,分析了它的关键特征。其次,将云计算和智能电网技术进行了融合,提出了智能云的概念。随后,深入研究了智能云的构建、资源管理和安全策略问题。最后,给出了结论和未来的研究工作。     

无线互联 纺织未来

因特网的发展引起了新的产业革命,变革了经济的运行模式,刺激了广大企业的创新意识,促进了教育的普及和提高,大大改变发展中国家的工业化模式,甚至会改变国家之间的力量对比。不仅如此,互联网还造就了崭新的一代群体。就像60年代电视改变了人们的娱乐方式,造就了“电视一代”;80年代电脑改变了人们的工作方式,促成了“电脑一代”一样,九十年代Internet改变了人们获取信息的方式,诞生了“网络一代”。互联网对人类社会的影响是深刻而长远的,即给人们带来挑战,更给人们带来机遇。     

数据交换在数字化校园中的作用与实现

本文首先概要介绍了数据交换的基础概念和现状,分析了现有的数据交换技术,研究了主要的数据交换机制,对数据映射、工作流技术进行了探讨,重点介绍了数据交换的技术。在理论研究的基础上,设计了一个基于标准XML数据格式和XSLT数据映射格式,结合工作流引擎的数据交换系统模型。该系统模型解决了校园网多个异构系统的数据集成和业务集成的问题,充分考虑了系统的安全性和扩展性,为校同网的信息化建设提供了很好的参考模型。     

发挥多媒体技术的优势,营造轻松的学习氛围

小学语文教学应用于多媒体技术,实现二者的整合,营造了宽松的学习环境,突出了学生的主体地位,激发了学生的创新意识。多媒体技术的应用为小学语文教学改革带来了机遇与挑战,为学生提供了全面的感性材料,活跃了教学气氛,激发了学习欲望。多媒体技术与小学语文教学有机结合,形成了一种全新的学习方式。本文试就发挥多媒体技术的优势,营造轻松的学习氛围进行了阐述。     

基于LabVIEW的光纤惯组自动测试软件的设计与实现

针对传统惯组测试设备测试效率低、可扩展性差的缺点,基于LabVIEW设计开发了光纤惯组自动测试软件.针对软件实现的关键技术进行了研究,主要包括利用插件式的程序架构,设计了低耦合高内聚的测试模块,增强了软件的扩展性和可维护性;设计了详实的配置文件,实现了测试流程的自动化;同时利用多线程和定时循环的软件机制满足了高速数据采集的要求.实际应用证明,该软件提高了测试效率,促进了自动测试设备领域的新发展.     

智能家居及其发展趋势

介绍了智能家居的发展历程,阐述了智能家居的定义和功能,介绍了其关键技术和嵌入式在智能家居中的应用,预测了其发展趋势,阐明了研究智能家居的重要意义,并指出了智能家居在控制系统、智能建筑系统和计算机领域的广泛运用,将使电子科学和计算机科学等科学中产生革命性的变革.     

仿真技术在包装机械研制中的应用

该文阐述了传统的新产品的开发过程和利用计算机仿真技术开发新产品的过程,总结了这两种开发过程的特点,给出了系统仿真的一般步骤.介绍了计算机仿真技术及其在包装机械研制中的两个实际生产的例子,并总结了利用计算机仿真技术开发新产品的特点,它加快了新产品的研制和开发过程,提高了劳动生产率,降低了生产成本,保证了交货日期,提高了产品质量.因此,计算机仿真技术在包装机械研制领域将会得到越来越广泛的应用.     

天下视频Flash 制作下载转换通

宽带流行了,播客兴起了,FLV吃香了,菜鸟也坐不住了,迅即抱回了DV,开通了播客。历经N天修炼,Flash视频终于成为菜鸟的拿手好菜之一。播客的兴起,使得Flash视频(FLV)格式大行其道。究其原因,不外乎FLV视频避免了不安装特定视频插件就     

控制理论发展历程的简要回顾

简要回顾了控制理论的发展历程,给出控制理论各个阶段的发展特点,对认识控制理论的发展脉络和各种控制理论的地位及作用具有借鉴意义。控制理论的发展经历了几个重要的阶段,从传统控制理论到现代控制理论,再到大系统控制理论;从计算机控制理论到智能控制理论、人机结合控制理论,再到自主型控制理论,在每一个阶段都有其独到的特色,并且各个阶段的理论相互继承、相互影响,水乳胶溶共同发展。     

粗糙集中的知识熵

从信息熵的角度对粗糙集理论进行研究，用熵理论的方法来讨论粗糙集中的一些基本概念，并从粗糙集的角度证明知识熵的一些性质，在知识熵与粗糙集理论之间建立映射关系，为寻找高效的决策规则建立了知识熵的基础。     

子句型自相容缺省理论的扩张

自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省的理论的研究基础上,进一步研究了子句型闭自相容缺省理论,文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Ｒｅｔｅｒ关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。     

泛论控制工程对控制理论的需求

从控制理论的内容上将控制理论分为模型控制论和工程控制论,并且阐述了两者的关系;讨论了反馈控制系统对控制理论的需求,从目标函数的多少、控制策略集的大小以及控制策略的求取三方面研究反馈控制系统对控制理论的要求;研究了自动化对控制理论的需求。为了解决此课题,从扩展目标函数入手,给出复杂控制系统的概念,并且给出了复杂系统控制理论的主要内涵,展望了复杂控制系统控制理论的意义。     

基于Rough Set理论的推理机制的研究

对Rough Set理论中属性域约简、决策表及Rough算子等问题进行了研究,分析了Rough Set理论与模糊集理论及证据理论的关系,着重对基于Rough Set理论的推理机制进行了研究。     

A type-theoretic interpretation of constructive domain theory

We present an interpreation of a constructive domain theory in Martin-Löf's type theory. More specifically, we construct a well-pointed Cartesian closed category of semilattices and approximable mappings. This construction is completely formalized and checked using the interactive proof assistant ALF. We base our work on Martin-Löf's domain interpretation of the theory of expressions underlying type theory. But our emphasis is different from Martin-Löf's, who interprets the program forms of type theory and proves a correspondence between their denotational and operational semantics. We instead show that a theory of domains can be developed within a well-defined fragment of (total) type theory. This is an important step toward constructing a model of all of partial type theory (type theory extended with general recursion) inside total type theory.     

DS 证据理论研究进展及相关问题探讨

在对证据理论的建模、推理、决策到评估各层面最新进展梳理的基础上, 针对证据理论现有研究中存在的 一些问题、混淆和误解, 结合仿真算例进行了分析和探讨, 包括据理论与概率论的关系, 证据冲突与反直观结果的 关系, 证据距离的定义以及证据理论的评价准则问题等. 最后对证据理论的发展方向进行了展望. 该研究旨在为人们正确理解和使用证据理论提供参考和借鉴作用.     

模糊证据理论及其在信息融合中的应用

为了使证据理论能更加有效地应用,把证据理论向模糊集推广,利用模糊集的隶属函数提出一种构造证据理论中的基本概率赋值函数的方法,实现了模糊理论和证据理论的有效结合。不但有效地解决了证据理论中的基本概率赋值函数的不易确定问题,而且由于证据理论应用于实际更加方便和有效,融合结果也更加合理。     

Putting the ‘theory’ back into grounded theory: guidelines for grounded theory studies in information systems

Over the past decade, there has been increasing interest in the use of grounded theory in information systems research. Grounded theory is a qualitative research method that seeks to develop theory that is grounded in data systematically gathered and analysed. The purpose of this paper is to suggest guidelines for grounded theory studies in information systems. Our guidelines are based on a framework for theorizing in grounded theory studies that focuses on conceptualization and theory scope. Our hope is that the guidelines will help to raise the quality and aspirations of grounded theory studies in information systems.     

在一类缺省理论中关于证明理论的完备性问题

缺省推理是各种非单调推理系统中最在影响的系统之一。Ｒ。Ｒｅｉｔｅｒ对规范缺省理论作了一系列的研究。他还提出了证明理论，并证明了这一证明理论对于规范缺省理论来说是完备的。Ｗ。Ｅｔｈｅｒｉｎｇｔｏｎ则提出了应用范围更为广泛的有序半规范缺省理论。本文先证明了这类缺省理论具有半单调性等各种性质，然后证明了Ｒ。Ｒｅｉｔｅｒ的证明理论对于有序半规范缺省理论也是完备的。