海外赛博朋克研究前沿问题追踪

赛博朋克是科幻小说的一个流派,它关注高科技语境下的边缘人群.与传统科幻小说不同的是,赛博朋克叙述的科学技术不仅是可能发生的,而且有些技术处于正在使用状态.目前学界关注的热点是:关于威廉·吉布森的<神经漫游者>的研究;关于赛博朋克主题的研究,包括人类未来的赛博生活与精神生活;还有蒸汽朋克的研究.赛博朋克在顺应、预测人类可能的生活的同时,也从人文精神角度对人机生活的诸多问题进行了反乌托邦式的反思,而这种反思正是单一科学主义的解毒剂.     

GOCAD在赛博铜矿区三维地质建模中的应用

地质调查由浅入深已成未来发展趋势。构建三维地质模型可以了解矿区结构矿架,直观地展示地质体空间展布与相互关系,并在此基础上进行矿产的三维预测研究。本文通过GOCAD软件,以钻孔数据为建模数据源对赛博铜矿区进行三维模型构建。通过获取的初步地质模型成果为后续结合地球物理数据构建更精细的三维地质模型奠定了基础。     

基于模糊逻辑的数字滤波器设计

针对传统滤波器单一模型设计的缺点,提出一种将滤波噪声统计特性与模糊逻辑相结合的数字滤波器设计方法.该方法根据噪声统计特性,利用缩短三角型模糊函数,确定模糊逻辑滤波器的参数.通过滤波噪声标准偏差与最大滤波噪声门限的比较,提出了分别采用单值滤波和均值滤波的方法,并推导了均值滤波方法中的周期抽样数目.给出了算法具体设计步骤,包括:滤波方法选择、连续信号周期采样、模糊化数据处理和去模糊化.仿真表明,基于模糊逻辑的数字滤波器对不同标准偏差的噪声均有良好的滤波性能,并且设计经济合理,时间开销小,软硬件易实现.有工程应用价值.     

中国共产党对马克思主义结合中国实际逻辑进路的选择

在马克思主义与中国实际结合的过程中,存在着"四化"即马克思主义中国化、马克思主义化中国、中国化马克思主义、中国马克思主义化.在结合的过程中,中国共产党选择了一条沿着"马克思主义化中国--马克思主义中国化--中国化马克思主义--中国马克思主义化"的逻辑进路,表现为对马克思主义摹写--建构--运用的过程.其实质是理论--实践--理论-实践的逻辑发展过程.这条与"实践--理论--实践"道路相悖的道路选择既有符合中国社会实际的方面,但也给中国社会的发展带来了一些问题.     

奥钢联林茨钢铁公司用模糊逻辑控制改善烧结厂生产操作

对烧结工艺过程来说，烧透点（ＢＴＰ）的精确控制和混合料槽料位的自动调节是确保高生产率和产品质量的关键因素，本文阐述了一个满足这些要求的模糊逻辑控制系统，并将其结果与传统的闭合回路控制系统作了对比。     

休谟问题与归纳逻辑的发展

本文以休谟问题和归纳逻辑的发展为研究对象,以休谟问题的提出为切入点,回顾了古典归纳逻辑,具体讨论了休谟问题对归纳逻辑的诘难,以及现代归纳逻辑的不同流派对休谟问题的解答,以皮尔士为代表的实用主义回答,以及凯恩斯和卡尔纳普为代表的"逻辑概率"的回答,阐述了休谟问题对现代归纳逻辑发展的重要作用.     

真值表在PLC逻辑梯形图编程中的应用

通过炼钢厂一作业区称重辊道控制系统、热送转盘控制系统两个实例，说明真值表在逻辑梯形图中的应用程序和方法，使用真值表，逻辑梯形图编程思路清晰，程序简单实用。     

模糊逻辑控制在焊接中的应用进展

介绍了近年来模糊逻辑在焊缝跟踪、焊接电源和焊接质量控制中的应用技术进展，探讨了模糊逻辑在弧焊过程控制中的应用途径．     

逻辑能认识真理吗?

逻辑可修正吗?逻辑真理可错吗?近期逻辑学界对此进行了激烈的讨论.逻辑可修正的争论实质是概念内涵与外延之争,而逻辑真理可错的争论却是认识之争,在其背后隐含着逻辑能否认识真理的问题.如果把逻辑真理等同于逻辑有效式,认为逻辑真理不是真理,则必然否认真理在逻辑中的存在.逻辑真理不应该是指那些在一个系统内有效的逻辑式,而是那些在系统内外都成立的有效式,因此逻辑真理是不可错的,是真理的一种形式,真理是能够在逻辑中找到的.     

理想信息流逻辑的树图系统

依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理.针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性.     

基于文本语料的涉恐事件实体属性抽取

基于语义角色分析,提出了一种三元组涉恐事件实体属性抽取方法,为网络空间涉恐活动的监测及预警提供技术支持。首先,基于西北政法大学“反恐怖主义信息网”文本语料数据进行数据采集和清洗等预处理工作,采用朴素贝叶斯文本分类算法识别涉恐事件文本,并采用关键词提取算法TF-IDF（Term frequency-inverse document frequency,词频-逆文档频率）构建涉恐专有词库,结合自然语言处理技术构建带词性的涉恐专有词库。然后通过语义角色分析、句法依存分析,提取了主语谓语宾语关系、定语后置动宾关系、人名//地名//机构和介宾关系主谓动补4类涉恐三元组结构。最后,利用正则表达式及带词性的涉恐专有名词分析,在4类三元组短文本中提取出恐怖事件发生时间、发生地点、伤亡情况、攻击方式、武器类型和恐怖组织6类实体属性。对采集的4221篇文章数据进行实验分析,6类实体属性抽取的测评结果F1值均超过80%,对网络空间的涉恐事件监测及预警,维护社会公共安全具有重要现实意义。      

The effect of psychosocial factors in schizophrenia. Theoretical and practical-therapeutic consequences

The author first comments on the interaction of heredity and environmental factors and the need for an integrative psycho-social-biological model to understand all kinds of psychiatric disturbances. He then gives a selective presentation of research done in the last 20 to 30 years which clearly demonstrate the influence of psychosocial factors on schizophrenia. In the authors' multifactor scheme the above mentioned psycho-social-biological interactions in the premorbid, acute and chronic phases of the illness are shown. Based on the organisational integrating influences of the affects on the way of thinking according to the concept of "affect logic" he concludes that primarily emotional factors which secondarily influence the way of thinking play an important part in the development of schizophrenia. From this point of view schizophrenia could be classified as an "affective psychosis" sui generis (like mania and depression). Various consequences in the field of psychotherapy, sociotherapy and pharmacotherapy ensue.     

智能化钢铁制造流程信息物理系统的设计研究

现代钢铁制造流程是集成烧结、球团、焦化、炼铁、炼钢和轧钢等多工序过程的耗散结构体系.钢铁制造流程是在物质流、能量流和信息流协同运行的条件下,完成一系列复杂的冶金过程和转变.探讨了对钢铁制造过程物理本质以及运行特征的认识和研究,提出了现代钢铁制造流程物理系统的设计理念和方法.阐述了流程工程动态精准设计体系在钢铁冶金工程设...     

How a return to theory could help alliance research.

This report aims to clarify alliance theory and extend its role in psychotherapy research. Bordin's (1979) alliance theory concerns the nature and quality of participants' collaborative, purposive work. Alliance is actualized in therapist techniques, client participation, and the dyad's relational features. Alliance is a property of all components of therapy, a concept superordinate to these components and not a component itself. Viewing technique and alliance as equivalent components of therapy confuses 2 levels of thinking, as does conflating alliance with the overall therapy relationship. Examples from contemporary research reports illustrate these points. The logic of alliance measures is clarified, as are the limits of measures' ability to capture key features of collaborative work. This approach opens new avenues for alliance research. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

铝电解槽锂盐富集数据模型应用研究

结合大量数据资料,对郑州轻金属研究院提出的锂盐富集数据模型开展应用和研究,分析和总结了铝电解体系中Li元素的运动和平衡规律,并对电解温度和过热度对铝电解中LiF含量的影响作了较深入思考。     

Impact of dynamic 3D transoesophageal echocardiography in the assessment of atrial septal defects and occlusion by the double-umbrella device (CardioSEAL)

Previous research has supported theoretical claims that dichotomous thinking may be a risk factor for suicide. However, the concept of dichotomous thinking is vague, and thus far, no measures of it have been developed. This study developed a coding scheme useful on Thematic Aperception Test (TAT; Murray, 1943) protocols and applicable to other verbal productions to refine the concept of dichotomous thinking and to assess its utility as a predictor of suicidality. Suicidal patients had a significantly elevated rate of a narrowly defined type of dichotomous thinking involving diametric or polarized possibilities. However, suicidal and nonsuicidal patients did not differ on weaker forms of dichotomous thinking involving nonexclusive or nonbinary alternatives. Suicidal patients produced shorter TAT stories than nonsuicidal patients, supporting other findings in the literature that suicidal patients tend to be cognitively and affectively "shut down." Traditionally designated "suicide cards" also yielded shorter stories but did not elicit higher rates of dichotomous thinking.     

过热蒸汽温度单神经元模糊自适应控制策略仿真研究

将模糊控制和神经控制相结合,设计出单神经元模糊自适应控制方案.该方案充分利用了模糊逻辑对非线性的逼近性和神经控制自适应的特点.仿真结果表明,本控制策略比PID串级控制、二维PD型模糊控制和单神经元自适应控制具有更好的控制效果.     

基于EtherCAT总线的七自由度机械臂的隐蔽攻击技术

针对七自由度机械臂控制系统提出了一种七自由度机械臂隐蔽攻击模型。首先基于推导的机械臂逆运动学方程,对基于EtherCAT总线的七自由度机械臂进行运动规划与建模;其次,根据粒子群算法的研究与分析,提出了基于混沌理论的多种群粒子群优化的七自由度机械臂系统PID参数辨识算法;最后搭建了七自由度机械臂的攻击实验平台并使用辨识的参数结合隐蔽攻击原理开展了机械臂系统的攻击实验,并且将所提出的隐蔽攻击技术与其他传统攻击技术进行了比较。结果表明,所提出的七自由度机械臂隐蔽攻击方法可以破坏机械臂系统的数据完整性和准确性,并且具有很好的隐蔽性,验证了所建立的攻击模型的有效性和可行性。      

Satellite-Based Energy Balance to Assess Within-Population Variance of Crop Coefficient Curves

Quantifying evapotranspiration (ET) from agricultural fields is important for field water management, water resources planning, and water regulation. Traditionally, ET from agricultural fields has been estimated by multiplying the weather-based reference ET by crop coefficients (Kc) determined according to the crop type and the crop growth stage. Recent development of satellite remote sensing ET models has enabled us to estimate ET and Kc for large populations of fields. This study evaluated the distribution of Kc over space and time for a large number of individual fields by crop type using ET maps created by a satellite based energy balance (EB) model. Variation of Kc curves was found to be substantially larger than that for the normalized difference vegetation index because of the impacts of random wetting events on Kc, especially during initial and development growth stages. Two traditional Kc curves that are widely used in Idaho for crop management and water rights regulation were compared against the satellite-derived Kc curves. Simple adjustment of the traditional Kc curves by shifting dates for emergence, effective full cover, and termination enabled the traditional curves to better fit Kc curves as determined by the EB model. Applicability of the presented techniques in humid regions having higher chances of cloudy dates was discussed.     

智能法律合约及其研究进展

从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件。进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证。最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价。上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向。