基于虚拟机日志记录回放的可逆调试方法

传统的调试器调试程序时,仅仅能够让程序正向运行并获取其当前的状态.提出了一种可以让程序逆向运行,回到过去任意时刻的调试方法,来增强调试器的功能.该方法是通过为Xen虚拟机添加完整的日志记录和回放功能以及对GDB调试器作相应修改来实现的;调试对象可以恢复到其运行过程的任意时刻.该可逆调试器,可以解决大型软件和操作系统内核...     

基于中心型TSK模糊模型的分层模糊系统

模糊系统随着输入维数的增加,其中模糊规则和辨识参数的数量将按指数级增长,针对这一问题,采用分层模糊系统是一种很好的解决方法,但分层模糊系统中各层的辨识变量没有明确的物理含义,无法进行合理的模糊化设计和解释。基于一种分层模糊系统,引用中心性TSK模糊系统思想,从而构造了一种新型的模糊系统。这种新型模糊系统保留了分层模糊系统的结构优势,极大地减少了模糊系统的模糊规则数量和辨识参数数量,又能对用到的内部参数进行很好的解释。并通过实例仿真表明基于中心型TSK模糊模型的分层模糊系统具有较好的逼近性能和更简单的结构。     

浅谈SQL Server 2000的安全管理

数据库的安全（DataBase Security）是指保护数据库不受外来者的恶意访问，为此数据库管理者需要采取相应的保护措施。在众多的数据库开发系统中，SQL Server为维护数据库系统的安全性提供了完善的管理机制和简单丰富的操作手段。本文从登录的角度来考虑SQL Server系统中数据库的安全性管理，供相关读者参考。     

Fodor and Pylyshyn on connectionism

Fodor and Pylyshyn (1988) have argued that the cognitive architecture is not Connectionist. Their argument takes the following form: (1) the cognitive architecture is Classical; (2) Classicalism and Connectionism are incompatible; (3) therefore the cognitive architecture is not Connectionist. In this essay I argue that Fodor and Pylyshyn's defenses of (1) and (2) are inadequate. Their argument for (1), based on their claim that Classicalism best explains the systematicity of cognitive capacities, is an invalid instance of inference to the best explanation. And their argument for (2) turns out to be question-begging. The upshot is that, while Fodor and Pylyshyn have presented Connectionists with the important empirical challenge of explaining systematicity, they have failed to provide sufficient reason for inferring that the cognitive architecture is Classical and not Connectionist.     

Intelligent handling of data by integration of commonsense reasoning

Any intelligent problem solving system should be able, given the known data on a case, to decide whether some item of information is true, false or unknown. In this paper the way in which various forms of commonsense reasoning can be integrated to provide such decisions is described. To this end three structural types of knowledge defined over data, and four strategies for exploiting these structures, are identified. ‘Decide-Status’ integrates the reasoning strategies into a task frame. This frame structure not only integrates the reasoning but also affords the appropriate facilities for providing strategic justifications for its conclusions, if required.     

Does Intentional Psychology Need Vindicating by Cognitive Science?

I argue that intentional psychology does not stand in need of vindication by a lower-level implementation theory from cognitive science, in particular the representational theory of mind (RTM), as most famously Jerry Fodor has argued. The stance of the paper is novel in that I claim this holds even if one, in line with Fodor, views intentional psychology as an empirical theory, and its theoretical posits as as real as those of other sciences. I consider four metaphysical arguments for the idea that intentional psychological states, such as beliefs, must be seen as requiring in-the-head mental representations for us to be able to understand their characteristic causal powers and argue that none of them validly generate their desired conclusions. I go on to argue that RTM, or some computational version thereof, is not motivated by appeal to the nature of cognitive science research either. I conclude that intentional psychology, though an empirical theory, is autonomous from details of lower level mechanism in a way that renders RTM unwarranted.     

高密度电法勘察地下防空洞的效果

根据实地靖勘。选择高密度电法勘察地下防空洞，施工中选用了合适的工作方法，解释中结合地面调查和反演剖面进行综合分析，利用正常土层和有空洞土层的电阻率差异，成功解释推断了沿剖面线上的地下空洞位王和埋深，为灾害治理提供了依据。     

文本类名中的中国古代结构观念探析—以《梦溪笔谈》、《营造法式》为例

分类和定名活动是人类语言和思维的基础,也是结构观念的文本研究可以切入的最基本层面。在《梦溪笔谈》和《营造法式》里,文献编撰的目录组织、结构类型划分、结构构件定名与释名等层次阐释了当时代结构观念的认知特征。     

鄂尔多斯盆地西部延长组长8- 长10油组沉积测井响应特征

鄂尔多斯盆地晚三叠世时沉积构造活动较弱，水动力作用比较强。不同沉积环境具有不同的水动力特点，各种沉积环境的水动力条件，既控制着岩性、粒度、分选性、泥质含量的变化，同时也控制着岩石导电性、自然电位、自然放射性、声波传导特性等物理性质的变化，不同沉积环境形成的层序序列以及岩性变化常常具有各种测井曲线形态，测井曲线正是岩石各种物理性质沿井孔深度变化的物理响应。     

高精度三维地震勘探技术在裴沟矿的应用

郑煤集团裴沟煤矿42采区地表属半丘陵地形,沟壑纵横,高低起伏较大,区内村庄密集,新密至新郑的公路从测区西部穿过。西安煤科院在地震勘探影响因素较多的情况下,采取相应技术措施,使高精度三维地震在裴沟矿采区勘探中取得良好效果,查明了区内的地质构造特征,为矿井的开采设计提供了可靠依据。