化学反应的物理研究

大家都知道,在自然科学中,物理、化学、生物是其中最重要的三大学科,至少在中学是这样的。三大学科看似独立完整,其实也有着紧密的联系,尤其是物理和化学,在我看来,化学反应可以用物理理论来解释,甚至演算。化学反应分好多类,如氧化还原反应、离子反应等。先拿氧化还原反应来说     

科技术语翻译中的选词问题探讨——以“转基因”为例

科技术语翻译中的不规范或讹误现象并非鲜见,主要体现在词义理解错误、择词错误/不当。于是,术语翻译的首要问题在于选词(选义择词),即确定词义,并选择适当措辞。为了解决这个问题,必须根据横组合纵聚合理论,先构建某术语的可行释义纵聚合语义场,弄清其准确词义,其次才能不断进行横组合搭配演算确定恰当的术语表达,从而帮助译者选择最佳翻译方案。通过对术语"转基因"的来源考证和重新演算,说明如何从纵聚合关系中选择词义,如何在横组合关系中搭配措辞;建议改译为"基因改良"或"基因移植"。     

学生时代的好习惯

这是20多年前的一件事。连续几天,我在教室里捡纸团,有同学很窘地说:"老师,这不是我丢的。"我让他不必介意,因为我不是来帮他们搞卫生的。我逐一打开这些揉成一团的草稿纸,为的是看看学生使用草稿纸的习惯。一般情况是:学生不在意草稿纸摆     

正结合演算

从结构推理的观点来看,结合演算是一种很弱的逻辑,因为它仅容纳一种结构规则,即“结合规则”。正结合演算作为一种“正命题逻辑”,是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B,阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值,证明了系统BL和系统B的等价性。     

数学模型方法及其应用

数学模型方法是数学方法的一种特殊类型，所谓数学方法是指以数学为工具进行科学研究的方法，即用数学语言表达事物的状态、关系和过程，经推导、演算和分析，以形成解释、判断和预言的方法．数学模型方法是通过建立和研究客观对象的数学模型来揭示对象本质特征和变化规律的方法。     

哲学逻辑对判断的非反否定演算研究

形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。     

On modeling and analyzing multi-agent systems using n-calculus

Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.     

西方家庭教育四大法宝

欧美的小孩子都比较独立,他们的家庭教育中有值得我们学习的地方。一、博览群书"读史使人明智,读诗使人聪慧,演算使人精密,哲理使人深刻。"卢梭的父亲是钟表匠。他常常一边工作一边教年幼的卢梭博览群书,使他最终成为一位伟大的启蒙思想家、文学家。     

对逻辑推理四大基础类型的反演算和非演算

用中华传统8大阴阳矛盾范畴分析数学中的开闭区间,得出相同、相似、相异、相反这4大逻辑推理基础类型问存在着三极对立统一的组成关系,进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。由此说明：只有将对逻辑词的外延否定演算和对描述词的内涵否定演算对称互补起来,这才可能形成一个较为完善的现代数理逻辑关于能指否定和断定否定相互结合的逻辑演算体系。     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。