逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

自然与规范:当代科学哲学自然主义转向的两难困境

法因的"自然本体论态度"采取一种哲学上的"最小主义策略",是沿着自然主义方向对传统的科学哲学重新定向的努力,但法因本人的理论也陷入自我循环,没有解决长期困扰自然主义者的自然与规范的二元悖论的问题。劳斯的科学实践哲学最终并没有清晰地阐明规范性与因果性的关系问题,没有找到一条走出当代科学哲学所面临的自然与规范的两难困境的出路。"实践的规范自然主义"的合理性模式或许是一条走出当前理论困境的出路,但其内容和细节尚有待进一步丰富和完善。     

一种基于身份代理重加密的云数据共享方案

针对云存储环境对隐私数据安全共享的迫切需求,提出一种安全、高效的云密文数据共享方案.该方案利用基于身份的代理重加密技术,将隐私数据加密后上传到云存储服务器中.为了实现数据的安全分享,数据所有者可以生成一个重加密密钥发送给代理服务器.代理服务器利用重加密密钥将数据所有者的密文转化为数据共享者的密文,而代理服务器却不能读取加密的数据.该方案不需要使用公钥证书,从而缓解了传统公钥加密方案的繁琐公钥管理过程.此外,该方案在随机预言机模型下是可证明安全的,从理论上保证了云数据共享方案的安全性.     

用于异质用户出行管理的可交易许可证研究

针对公共交通与私家车出行方式并行的双模式交通系统,在考虑不同用户的时间价值情况下,通过引进可交易的道路许可证政策,建立了均衡出行交通模型.研究发现,许可证政策将拥挤产生的交通成本内部化,在缓解交通拥堵的同时,通过经济手段,降低了系统总成本.进一步地,本文证明如果汽车比公交快,那么时间价值较高的人会选择私家车出行;反之,如果公交比汽车快,时间价值相对较高的有车族会选择公交出行.通过与OD收费进行比较,我们得到在收费为正的情况下,许可证政策可以得到与基于OD收费相同的效果.最后,算例结果表明,许可证政策使得部分人选择公交出行的成本更低,达到鼓励公交出行的目的;甚至在许可证发放数量少于临界数量的情况下,选择公交出行的人会获得正收益.     

基于STM32的实验室危险化学品管理系统

旨在实现高校对实验室危险化学品的智能化管理,以降低其潜在的风险,设计了一种基于STM32 F767的实验室危险化学品管理系统.该设计以STM32 F767作为主控芯片实现门禁功能,由STC12C5A60S2完成对危险化学品相关信息的获取,而管理员则可通过Web网页实现智能化管理.     

法锥条件下非凸规划的非内点同伦方法

利用不可行的内点同伦方法(CHIIP)求解非凸规划问题的KKT点. 证明了当非凸规划问题的可行域满足法锥条件时, 跟踪同伦方程产生的同伦曲线可得到非凸规划问题的KKT点, 且该算法具有全局收敛性.     

产生随机数的新方法

总结了随机数产生的一些方法,并利用马尔可夫链给出了一种随机数产生的新方法.由于过程中转移概率矩阵产生具有随机性,同时服从区间(0,1)上均匀分布,产生的随机数也具有随机性,故双重随机性保证了状态空间中随机数的产生具有更好的随机性.     

一种分层加密在数字电视条件接收系统中的应用

条件接收系统(CAS)为数字电视的运营提供了必要的技术手段. 条件接收系统为了防止信息被窃,密钥应及时更新,使得加密算法不能轻易被破译;同时还要节省带宽,减少算法的计算时间. 针对以上的特点,结合条件接收系统中多层加密体系,提出了一种分层加密方法,提高了整个系统的安全性和效率,降低了带宽.     

激励科技创新提升发展实力

随着发展思路的调整和增长方式的转变,建德经济近几年经历了一段高速发展期,2006年,全市共完成生产总值112亿元,实现财政收入13.1亿元,工业总产值300.9亿元,人均GDP接近3000美元.这标志着建德经济的发展进入到一个关键时期,即由投资驱动向创新驱动转变的新阶段,传统生产要素对经济增长的贡献份额将呈现递减趋势,科技进步与创新将日益成为经济社会发展的主导力量.在新的一轮竞争中,建德要实现新的超越,保持经济又好又快的发展,必须充分发挥科技的支撑和引领作用,不断加快科技自主创新步伐.     

基于Agent的集卡调度建模与仿真研究

日益大型化的集装箱船舶对集装箱码头的生产调度提出了较以往更加严格的要求.集装箱码头中的集卡调度是否合理对于提高整个码头的装卸效率具有重要意义.利用agent和哈佛体系结构对集卡动态调度进行建模,以AnyLogic仿真平台为实现工具,基于数据库中实际的生产数据,融合黑板系统和消息通讯形成多agent之间的协同机制,引入操作系统中的资源分配算法调度集卡.最后仿真了具体的港口生产实例,其结果优于以往文献的仿真结果,充分验证了上述建模仿真思想的可行性和可信性.