唯一做语义计算的编程理论！袁崇义提出OESPA新编程理论
从科学出版社获悉，该出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Theory of Programming》，书中提出了面向语义的新编程理论OESPA，这是目前唯一能做语义计算的编程理论。 袁崇义介绍，OESPA包括计算模型（编程语言）OE，语义谓词SP和语义公理A。传统的程序语言以社会学中的形式语言学为理论基础，没有考虑语义形式化的需求。OE则是二合一的，定义OE的公式既是编译程序需要的形式语法，又是定义语义公理的形式基础。 “传统数学中的谓词只能描述程序单独一个状态的性质，而程序语义是程序初态和终态之间的关系。SP联系初态和终态，能准确描述程序语义。语义谓词SP从语义公理A演变而成。从SP推出的SP公式和SP演算，用于程序的语义计算和语义综合，可借助符号处理工具完成程序正确性证明。”袁崇义表示，一旦开发出相应的符号处理系统，测试就不再是编程......阅读全文
唯一做语义计算的编程理论！袁崇义提出OESPA新编程理论
从科学出版社获悉，该出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Theory of Programming》，书中提出了面向语义的新编程理论OESPA，这是目前唯一能做语义计算的编程理论。 袁崇义介绍，OESPA包括
可编程高温炉的编程曲线如何正确设置
可编程高温炉的推出，有效解决了普通高温炉存在的温度波动太大的难题，其智能化控制系统也保证了仪器的控温度，除此之外，可编程高温炉也免除了普通箱式电炉使用前繁琐的配置过程，控制系统采用LTDE技术可编程智能仪表。下面小编为大家介绍下如何设置高温电炉的编程曲线：1、接通电源，打开仪器后面的循环风机开关按↑
软硬酸碱理论的理论原理
在软硬酸碱理论中，酸、碱被分别归为“硬”、“软”两种。“硬”是指那些具有较高电荷密度、较小半径的粒子（离子、原子、分子），即电荷密度与粒子半径的比值较大。“软”是指那些具有较低电荷密度和较大半径的粒子。“硬”粒子的可极化性较低，但极性较大；“软”粒子的可极化性较高，但极性较小。 此理论的中心主旨是，
酸碱离子理论的理论贡献
酸碱质子理论扩大了酸碱的含义及酸碱反应的范围，摆脱了酸碱必须发生在水中的局限性，解决了非水溶液或气体间的酸碱反应，并把在水溶液中进行的解离、中和、水解等类反应概况为一类反应，即质子传递式的酸碱反应。但是，质子理论只限于质子的放出和接受，所以必须含有氢，不能解释不含氢的一类化合物的反应。它包含了所有碱
色谱理论保留时间的理论
保留时间是样品从进入色谱柱到流出色谱柱所需要的时间，不同的物质在不同的色谱柱上以不同的流动相洗脱会有不同的保留时间，因此保留时间是色谱分析法比较重要的参数之一。保留时间由物质在色谱中的分配系数决定：tR = t0(1 + KVs / Vm)式中tR表示某物质的保留时间，t0是色谱系统的死时间，即流动
干细胞编程参照
研究人员首先通过一系列体外实验，鉴定了19个转录因子。这些转录因子在人类胶质母细胞瘤干细胞中的表达水平，显著高于其他更为分化的肿瘤细胞。随后，研究人员对这些因子逐个进行测试，检测它们将已分化肿瘤细胞诱导回干细胞状态的能力。最终他们确定了四种关键的转录因子，POU3F2、SOX2、SALL2和OLIG
价键理论共价键理论
价键理论是基于路易斯理论电子配对思想发展起来的共价键理论。价键理论将应用量子力学解决氢分子问题的成果推广到其他共价化合物中，成功解释了许多分子的结构问题。海特勒-伦敦法沃尔特·海特勒（W.H.Heitler）和弗里茨·伦敦（F.London）在运用量子力学方法处理氢气分子的过程中，得到了分子能量E和
色谱理论关于保留时间的理论
保留时间是样品从进入色谱柱到流出色谱柱所需要的时间，不同的物质在不同的色谱柱上以不同的流动相洗脱会有不同的保留时间，因此保留时间是色谱分析法比较重要的参数之一。保留时间由物质在色谱中的分配系数决定：tR = t0(1 + KVs / Vm)式中tR表示某物质的保留时间，t0是色谱系统的死时间，即流动
“细胞编程与重编程的表观遗传机制”项目评审结束
国家自然科学基金重大研究计划“细胞编程与重编程的表观遗传机制”2010年度项目评审会近日在北京举行，本次会议内容是重点项目答辩和培育项目复审。会议评审专家由13位组成，包括5位指导专家组成员和8位特邀专家。本重大研究计划管理工作组成员和生命科学部相关处和学科的负责人也参加了会议。 评审会之
色谱理论(基本概念和理论)（一）
一、基本概念和术语1．色谱图和峰参数Ø色谱图(chromatogram)——样品流经色谱柱和检测器，所得到的信号-时间曲线，又称色谱流出曲线(elution profile)。Ø基线(base line)——经流动相冲洗，柱与流动相达到平衡后，检测器测出一段时间的流出曲线。一般应平行于时间轴。Ø噪音
路易斯理论共价键理论
路易斯理论，又称“八隅体规则”、“电子配对理论”是最早提出的，具有划时代意义的共价键理论，它没有量子力学基础，但因为简单易懂，也能解释大部分共价键的形成，至今依然出现在中学课本里。 共用电子对理论有以下几点：1、原子最外层达到8电子时是稳定结构，化合物中的所有原子的最外层价电子数必须为8（氢为2）；
轨道杂化理论共价键理论
价键理论在解释分子中各原子分布情况时，莱纳斯·鲍林（L.Pauling）提出了轨道杂化理论。理论要点有1、中心原子能量相近的不同轨道在外界的影响下会发生杂化，形成新的轨道，称杂化原子轨道，简称杂化轨道；2、杂化轨道在角度分布上，比单纯的原子轨道更为集中，因而重叠程度也更大，更加利于成键；3、参加杂化
色谱理论(基本概念和理论)（二）
在HPLC中，固定相确定后，K主要受流动相的性质影响。实践中主要靠调整流动相的组成配比及pH值，以获得组分间的分配系数差异及适宜的保留时间，达到分离的目的。Ø容量因子(capacity factor，k)——化合物在两相间达到分配平衡时，在固定相与流动相中的量之比。k＝。因此容量因子也称质量分配系数
AWorks编程——socket通信（四）
客户端创建后，点击连接，如图11。图11 连接到服务器连接成功后，在发送区发送数据，接收区可以看到服务器回发的数据，如图12所示。此时在串口界面也可以看到服务器收到的数据，如图13。图12 客户端收发数据图13 服务器收到的数据出错调试如果程序运行后，没有成功建立连接，可按照以下步骤查看网络状态：首
AWorks编程——socket通信（三）
TCP服务器实例按照基本的套接字编程流程，建立服务器，我们只需要调用socket、bind、listen、accept、send、recv、closesocket函数即可，如程序清单4，首先使用socket函数创建TCP类型的套接字，然后调用bind函数绑定本地网卡的IP地址和端口号，使用liste
AWorks编程——socket通信（二）
程序清单3 回声客户端程序程序编写完成后，我们使用TCP上位机软件测试。打开TCP调试软件，如图3。创建服务器，如图4。最后启动服务器，如图5。图3 TCP调试工具图4 创建服务器图5 启动服务器以上步骤就绪后，在主程序中调用demo＿tcp＿client＿entry（）入口函数，编译、下载程序到开
细胞的重编程概念
中文名称重编程英文名称reprogramming定 义已分化细胞的核基因组恢复其分化前的功能状态。应用学科遗传学（一级学科），发育遗传学（二级学科）
飞纳编程界面（PPI）
飞纳编程界面（PPI） 基于开放标准，PPI可以控制飞纳电镜的任何部分。移动台、导航相机、电镜控制等都可以通过PPI来实现。采购了PPI功能之后，您可以在网上下载一份包括丰富演示案例和所有命令列表的详细使用手册。此外，扩展版的FAQ和来自Phenom-World软件部门的邮件支持也随时在线待命，以
细胞重编程技术
细胞重编程介绍重编程体细胞重编程(somatic reprogramming)指的是分化的体细胞在特定的条件下被逆转后恢复到全能性状态，或者形成胚胎干细胞系，或者进一步发育成一个新的个体的过程。诱导体细胞重编程的方法有许多，如核移植、细胞融合、细胞提取物诱导、化学诱导以及分子调控诱导等。但到
MATLAB的编程规范总结
好的编程习惯，可以提高编程效率，不仅可以使代码容易修改，也容易给别人看懂，便于交流。我们不仅要写出“给机器读懂的代码”，也写出“给人看得懂的代码”。 本文根据一些目前搜索到的文献和自己的一些使用心得，整理出这个文档，大家可以根据经验提出自己的心得，相互促进，共同提高。 1，命名规则 （1）变量
AWorks编程——socket通信（一）
socket在计算机通信领域被称为“套接字”，是网络通信的一种方式，在AWorks系统中如何使用socket API建立服务器与客户端，进行数据通信呢？本文将详细为你介绍。概述要编写通过计算机网络通信的程序，首先要确定这些程序相互通信使用的协议，通常使用TCP或UDP协议族。TCP是面向连接的传输协
重点专项“细胞编程与重编程相关蛋白质机器研究”启动
9月23日，由中国科学院广州生物医药与健康研究院牵头承担的国家重点研发计划项目“蛋白质机器与生命过程调控”重点专项----“细胞编程与重编程相关蛋白质机器研究”项目实施启动会在广州生物院举行。 启动会上，广州生物院党委副书记、副院长段子渊代表项目承担单位致欢迎词，希望各位领导和专家能多提宝贵意
细胞重编程研究新突破：非哺乳类动物重编程
将已分化的细胞重编程，令其恢复多能性是一项重要的科学突破，这一成果也因此荣获了2012年诺贝尔生理/医学奖——两位科学家因证明“成熟细胞能被重编程恢复多能性”站在的科学的最高领奖台上。不过到目前为止，这种多能性重编程应用主要还是限制在哺乳动物中。 近期一组研究人员在9月3日的eLife杂志
细胞重编程丰碑：《Nature》公布70多种人类神经元编程代码
Scripps研究所的科学家们发现了一种被称为“神经元食谱（neuronal cookbook）的新方法”，它将使皮肤细胞转化成不同类型的神经元。今天，《Nature》报道了这项研究，为自闭症、精神分裂症、成瘾和阿尔兹海默症等常见脑部疾病打开一扇全新的大门。 “大脑极其复杂，里面有成千上万种不
酸碱离子理论的理论具体内容
酸碱定义布朗斯特（Brönsted）和劳莱（Lowry）在1923年提出的质子理论认为，凡是给出质子（H+）的任何物质（分子或离子）都是酸；凡是接受质子（H+）的任何物质都是碱。简单地说，酸是质子的给予体，而碱是质子的接受体。酸和碱之间的关系表示如下：酸 =质子（H+）+ 碱按照酸碱质子理论，属于酸
酸碱离子理论的理论具体内容
酸碱定义布朗斯特（Brönsted）和劳莱（Lowry）在1923年提出的质子理论认为，凡是给出质子（H+）的任何物质（分子或离子）都是酸；凡是接受质子（H+）的任何物质都是碱。简单地说，酸是质子的给予体，而碱是质子的接受体。酸和碱之间的关系表示如下：酸 =质子（H+）+ 碱按照酸碱质子理论，属于酸
C51单片机编程技巧：LCD1602编程经验分享（二）
LCD1602写时序：这个函数我写了，下面是代码：【注】在函数里面我用了两种方式，并4口和并8口下面说一下最重要的写操作时序，从图中可以看出：RS引脚按照你的读取什么而定，读取数据就高电平，读取命令就是低电平；RW引脚自然就是低电平了，因为这次我们要写嘛；然后再往后就是E引脚了，我们在读取命
C51单片机编程技巧：LCD1602编程经验分享（一）
这次我来分享一下我的LCD1602的编程经验：先说明一下，我下面要说的LCD1602的芯片驱动是HD44780，如果你们的LCD1602驱动芯片不是HD44780，那么下面的内容是不适用的。我对LCD1602的整体理解这里说一下我对LCD1602的整体理解哈，LCD1602是一个可以显示两行
八年！“细胞编程和重编程的表观遗传机制”重大研究计划
DNA上核苷酸序列承载了生命的遗传信息，遗传物质能够遵循孟德尔遗传法则代代相传。遗传信息从DNA传递给RNA，再从RNA传递给蛋白质，完成遗传信息的转录和翻译过程。 随着时间推移，科学家们逐渐认识到，即使从上一代那里复制获得的DNA序列不发生变化，基因表达也会发生能够继承的变化。上世纪80年代
半经验理论
半经验理论 ：将色谱分离过程比拟作蒸馏过程，将连续的色谱分离过程分割成多次的平衡过程的重复(类似于蒸馏塔塔板上的平衡过程)。