一致与非一致复杂类的模型论性质

自从1965年J.Edmonds和A.Cobham提出P-NP问题以来已有30年的研究历史。目前环绕这个问题的大量学术论文和研究专著已使它发展成为计算机科学中最新和最活跃的研究领域之一,近年来,人们除了对由各种类型的图灵机确定的复杂类(如P,NP,PSPACE等)进行研究外,对一些用其他方法定义的非一致复杂类(如P/poly,P/log,NP/poly等)也越来越有兴趣,而且许     

日本林蛙部分生理生化指标的比较

本文介绍我们对日本林蛙(Rana j.japonica)在冬眠期(12～2月,5.5～8.5℃)与活动期(9～11月,12.5～24℃)的部分生理生化指标的比较.测定了血清、肝、脑、心肌和骨骼肌的乳酸脱氢酶(LDH)同工酶的相对活力(±SD)、血红蛋白浓度及红细胞数等指标.这些指标不仅存在明显的组织差异,也存在季节差异和种群差异.     

洞穴追凶

正近几年中,上百万只北美蝙蝠不明不白地神秘死去,令科学家们忧心忡忡。谁是杀害蝙蝠的元凶?科学家们进入洞穴,展开调查……在马默斯洞追踪罪魁祸首在美国肯塔基州中部猛犸洞穴国家公园,有一个名叫"马默斯洞"的洞穴。"马默斯"在英语中是"猛犸"的意思,因此马默斯洞也被叫作"猛犸洞"。马默斯洞既深又长,是迄今发现的世界上最长的洞穴。终年幽蔽、潮湿的洞穴里,正在冬眠的蝙蝠蜷缩着身躯悬掉     

一种基于标记点的近景摄影测量系统

给出了一种基于标记点的鲁棒三维重建摄影测量系统;采用编码点和非编码点等标记点方式.为了减少不同图像间误匹配的概率,采用一种新的基于编码点的匹配方法,不同图像间非编码点的匹配从编码点开始,并通过相似性准则、模糊度准则和距离误差准则来剔除误匹配,可获得非常高的正确匹配率.采用一种新的基于标记点的加权迭代特征算法,用编码点恢复相机的投影矩阵,从而可以确定相机的外部姿态参数;用非编码点恢复3D坐标.与已有的加权迭代特征算法比较,该算法避免了所有点参与计算相机的投影矩阵,运算速度更快.由于采用标记点的亚像素定位方法,提高了3D重建精度.实验结果表明,在3D重建方面,该系统是强壮和精确的.     

基于跳跃-扩散过程的一类亚式期权定价

在期权定价理论的研究中,一般都假设标的资产(设为股票)的价格服从几何布朗运动.然而在现实的金融市场上,当有重大信息到来时,便会对股票价格产生冲击,使其价格出现不连续的跳跃.考虑这一因素,在标的资产价格服从跳跃-扩散过程时,分别在完全市场与非完全市场上通过选择帐户折算变换与复制将一种亚式期权(考虑算术平均)定价问题进行简化为一种类似于欧式期权定价问题,然后运用Merton对冲风险方法得到原亚式期权的定价与套期保值策略.     

异质性视角下中小企业网络安全防御的最优投资策略

信息技术的飞速发展,带来了复杂多样的网络安全问题.越来越多基础安全设施相对薄弱的中小企业开始尝试“风险管理服务+网络安全保险”这一安全防御模式.但防御投资过度或不足均会导致网络安全风险管理效率损失或防御失败.据此,在异质性视角下,以中小企业为研究对象,对其网络安全投资决策模型进行了优化,并探讨了企业决策在多方博弈中的局部和全局最优解.研究表明,企业间安全防御投资行为处于非合作状态时,存在安全防御投资的最优解使风险厌恶型企业财富效用达到最大且稳定均衡;反之,若企业处于合作状态,尽管市场总效用有所提升,但由于存在“囚徒困境”,单个企业均存在打破合作的动机,因而在合作状态下,效用并不稳定;最后,讨论了考虑附加保费情形下保险免赔额、安全防御支出与非合作企业财富效用之间的关系,证明了设置一定的免赔额可对企业的财富效用起到促进作用.     

花背蟾蜍冬眠期和繁殖期几种器官组织中酶的研究

本文利用聚丙烯酰胺凝胶盘状电泳,测定了花背蟾蜍冬眠期和繁殖期6种器官组织中乳酸脱氢酶(LDH)同工酶的相对活性.结果表明,6种器官组织中 LDH 同工酶的活性表现明显的季节和性别差异.在肝脏的 LDH 同工酶酶谱中还出现亚带和第6条酶带.     

逻辑函数的“复合门”实现

在《数字逻辑》课程中，用“与”、“或”、“非”三种基本运算可以描述命题逻辑中任何复杂的问题。换句话说：不管逻辑电路多么复杂总可以看成是由“与”“或”、“非’等简单门电路组成的。但是，逻辑函数实现时不是用“与”、“或”、“非’门作基本的逻辑单元，而是大量使用“与非”。“或非”、“与或非’门，它们是数字逻辑集成电路系列（74LS00，74LS02，74LS10，74LS20…）的复合门电路。这是因为：“与非”、“或非”“与或非”门中的任何一种，都可以实现“与”、“或”、“非”三种基本操作：一、用“与非’们实现“与”、“…     

等谱与非等谱Kaup-Newell方程簇的B(a|¨)cklund变换

从Kaup-Newell方程簇的Lax对出发,经变换使之成为Riccati型的Lax对,从而得到对应于这些方程簇的广义Miura变换。利用这些广义Miura变换的某类不变性,得到了等谱与非等谱Kaup-Newell方程簇的B(?)cklund变换。     

非拟Newton族的导出及其收敛性

对无约束最优化问题提出了一类非拟Ｎｅｗｔｏｎ族算法，它不再是Ｈｕａｎｇ族中的成员．与拟Ｎｅｗｔｏｎ法相比，新给出的校正公式，在不增加计算量的前提下，能吸纳更多的信息，且仍保持正定对称传递性．对一致凸的目标函数，证明了算法的整体收敛性．且结论对众多类型的精确与非精确线搜索均能成立，而这些线搜索在最优化算法中是比较有效且常用的．