科技文献之逻辑增长模型的推演

指出了国内几篇提出的文献增长模型所存在的问题.根据乘法原理提出文献科研关系的假说,提出了“研究领域大小”概念,进而修正指数增长模型得到逻辑增长曲线模型.     

实践科学发展观制度中介的逻辑依据

科学发展观从理论走向实践既是作为理论的科学发展观本身的要求,亦是现实发展实践的迫切需要。科学发展观从理论走向实践并不具有直接的现实性,必须经由制度中介。由制度作为科学发展观从理论走向实践的物质载体和中介路径,其逻辑依据在于制度与人之存在和发展之间的内在关联、制度与观念之间的双向互动。人之存在和发展需要制度的生成及其作用的发生,观念需要内化于制度并得到制度的强化。作为科学发展观从理论走向实践的中介的制度,一方面关联着现实的人及其发展实践活动,一方面关联着顺应发展实践生成的观念。     

有限理论结论基于根的余式和结论集的表示

二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分,并进一步讨论了余式的性质。利用有限理论结论集的一般表示,得到了结论集的相关结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法。     

银盘水电站三支臂弧形门制作技术

银盘水电站泄洪表三支臂弧形工作门曲率半径是目前国内最大的。本文针对三支臂弧门的制造特点,重点从三支臂弧门重要部件制造技术、关键工序及制造过程焊接质量控制等方面进行系统的阐述。     

基于AJAX和SSH框架的企业网网管系统设计

SSH（struts＋spfing＋Hibemate）框架技术是目前最受关注、应用最为广泛的架构之一。其设计并实现了企业网网管系统,从表示层、业务逻辑层和持久层分别探讨了系统实现的关键技术,其中用Struts负责表示层实现,Spring负责业务逻辑层实现,用Hi—bemate负责持久层实现,在表示层加入AJAx技术对页面进行优化,形成了ASSH框架。研究结果证实,ASSH框架的使用不仅简化了系统的开发过程,而且提高了系统的灵活性,可维护性,可扩展性,可移植性和组件的可复用性。同时,也极大地提高了Web页面的访问效率。     

基于PLC的异步电动机监控系统的设计及应用

本文介绍基于可编程逻辑控制器(PLC)的异步电动机监控系统的设计及实现。同时,在获得异步电动机运行参数的前提下,实现电动机保护和速度控制的硬件和软件设计。     

基于BAN逻辑的SADSR协议安全性分析

移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,指出了协议应满足的条件.并对协议的运行过程进行了形式化,给出具体的分析方法.采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性.     

基于区间二型模糊逻辑的短期电力负荷预测

针对电力负荷的波动具有强随机性而难以准确预测的问题,引入区间二型模糊逻辑方法以减小预测误差.提出一个区间一型非单值二型模糊逻辑模型,用于一小时电力负荷的时间序列预测,并利用反向传播算法来调节模型输入及规则前、后件的参数.同时,构建一个基于反向传播算法的非单值一型模糊逻辑模型,将其预测结果作为检验性能的基准.仿真结果表明...     

用完备匹配解决逻辑判断问题

有些逻辑判断问题的条件往往给得很多,看上去错综复杂.本文利用图论中图的知识,将所给条件转化成图,利用完备匹配将头绪纷繁的事物关系理清,从而给出逻辑判断问题的答案.     

《中外医疗》投稿说明

1、稿件应具有科学性、先进性和实用性,论点明确、数据准确、逻辑严谨、文字通顺。2、计量单位以国家法定计量单位为准;统计学符号按国家标准《统计学名词及符号》的规定书写。3、所有文章标题字数在20字以内。4、参考文献应引自正式出版物,在稿件的正文中依其出现的先后顺序用阿拉伯数字加方括号在段末上角标出。5、参考文献按引用的先后顺序列于文末。6、正确使用标点符号,表格设计要合理,推荐使用三线表。