案例分析中的DNA计算

DNA计算是一种模拟生物分子DNA的结构并借助于分子生物技术进行计算的新方法，开创了以化学反应作为计算工具的先例，为解决NP—完全问题提供了一种全新的途径。案例分析中常用到离散数学中的逻辑演算，特别是在信息处理方面。在基于表面的DNA计算中采用了荧光标记策略，解决了案例分析中的一个问题，尝试了DNA计算在案例分析中的应用。且这种方法具有编码简单；耗材底；操作时间短；技术先进的优点。     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则。讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement. the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.     

嵌套式移动Agent的形式化研究

应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型,采用进程代数方法p演算对该模型中Agent间的嵌套过程、交互行为和验证过程等部分行为进行了形式化的描述,从理论上验证了在大型网络中使用嵌套式移动Agent进行分布式管理的可能性.     

酚与4,4′-联吡啶π-π叠加作用的核磁氢谱研究

通过核磁氢谱法研究酚类化合物与4,4′-联吡啶季铵盐π-π叠加作用,研究了吡啶环上α-H,β-H及氧乙基上的α′-H,β′-H的化学位移值及其改变的情况.结果表明,β-萘酚、α-萘酚、对苯二酚、间苯二酚及苯酚使上述氢的化学位移降低,其化学位移降低次序为:β萘酚>α-萘酚>对苯二酚、间苯二酚>苯酚.而8-羟基喹啉和间硝基苯酚导致上述氢的化学位移稍升高.     

杂化材料[Mn(H2O)(2,2''''-bipy)V2O6]的合成与表征

合成并表征了新化合物[Mn(H2O)(2,2'-bipy)V2O6],且对化合物进行了相应的红外、热重分析.结果表明:该化合物的空间群是Pca2(1),其晶胞参数为a=9.170 2(2),b=10.477 3(8),c=14.523 1(3)(A),V=1 393.54(10) (A)3且Z=4;该化合物的结构特征是钒氧四面体[VO4]以共顶点构成的钒氧链,[MnN2O4]八面体将钒氧链连成层;配体2,2'-联吡啶则分布于层的上下两侧,并以π-π相互作用将层与层之间连接起来.     

π-代数上的模及^DMC^π与Rat（C^＊MD^π ＊）范畴

引进了π-代数上的模的概念,研究了其相关性质.证明了π-余代数上余模的对偶是对偶π-代数上的模.最后在Mπ^C≌Rat（C^＊M^π）的基础上,证明了^DMπ^C≌Rat（C^＊MD^π＊）.     

圆周率π的自述

圆周率π现在的我们都不陌生,但是你知道从科学家发现π、利用不同的算法确定π、乃至将π从小数点后几位、几十位,精确到几百位几千位、甚至演算到上亿位所经历的艰辛么？文章将以第一人称的形式讲述π的发现、演算的经历。     

推求含有离域π键三原子分子构型的新方法

本文利用休克尔近似法，对含有离域π键三原子分子构型存在形式进行讨论，结果较好地解释了一些常见分子实际构型。     

有限群的类正规子群与π_σ-幂零性

推广了Ｉｔ及Ｂｕｒｎｓｉｄｅ等人的结果，同时在反正规条件下讨论了群的结构