形式化方法自动生成测试用例的算法研究

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。     

公私法划分对中国法治的意义

公私法划分在我国现代具有极大的理论价值和实践意义.公私法划分是大陆法系国家法律体系在理论上的基本分类.依法治国是市场经济条件下公私法划分的现实意义.只有良好地实施、运用公法和私法,才能从理论和实践两个层面推进依法治国的进程.     

浅谈科研经费会计改革——基于国家自然科学基金经费管理的思考

在目前对财政性科研经费的管理方式和相应的会计核算模式下,科研经费投入方的负债状况得不到真实反映,项目依托单位不能提供真实完整的会计信息,财政性科研经费的核算在不同部门之间缺乏可比性。通过对以上缺陷的分析,本文认为需要对财政性科研经费会计核算机制进行改革,实行预算会计和财务会计的分离,并引入权责发生制核算基础。     

串行程序的并行划分算法研究

提出了将串行程序并行化的方法．首先对串行程序进行分段,提出并行划分模型,基于这个模型提出一种并行划分算法PDMA;然后给出了相关程度的定义,并根据程序段之间相关程度,提出了一种对PDMA进行改进的并行划分方法RPDMA;最后对这两种算法进行了比较和时间复杂度分析．     

恰有三个主特征值的树

设λ是图G的一个特征值,如果存在属于λ的一个特征向量X=(x1,x2,…,xn)T,使得∑nk=1xk≠0,则称λ是图G的主特征值。通过讨论图的主特征值数与公平划分之间的联系,给出某些具有三个主特征值的树类及其主特征值的计算方法。     

东北地区晚古生代地层划分与对比

对赤峰-开源断裂带以北、内蒙古贺根山以东的东北地区晚古生代地层进行了综合地层学研究。将上古生界划分为4个地层区11个地层分区;进行了岩石地层单位清理;在全区晚古生代建立了2个牙形刺带、9个■带、12个珊瑚带、16个腕足带、6个头足(含菊石)带、1个双壳带和7个植物带等共计53个生物带,其中前人建立42个带,此次新建11个带。根据岩石地层、生物地层研究资料,结合同位素测年数据确立了各地层分区的代表性岩石地层单位的时代,建立了该区多重地层划分对比表,为岩相古地理图的编制打下基础。     

昨天的地理学地图制作中的难题

两个半球从古到今,地图的重要性是显而易见的。早期,人们把世界地图画成是矩形的。在西方人发现美洲以后,世界地图更方便的表现法,是将整个世界画成两个半球：东半球与西半球,每个半球画在自己的圆圈里,驶出这种地图的某个圆圈,就等于驶进另一个半球。当时,地图绘制者都抱着欧洲是世界中心的观点,因此西半球成了“新世界”,他们自己的半球则是“旧世界”。现在,将他表绘制成两个半球已是十分普遍的事,因而一些微妙处很可能被人忽略。首先,东、西半球的划分纯粹是任意的,地图绘制者根据自己的需要,可以有无数种等分地球的方法…     

闽南粤西沿海老红砂的沉积年代

采用岩石地层学、磁性地层学和地球化学等方法。结合ＴＬ,ＥＳＲ,＾４Ｃ测年等,对广泛分布于闽南和粤西沿海的老红砂沉积地层及其形成时代进行了划分。研究表明,老红砂沉积从５５．４～９ｋａＢＰ都有发生,它们是晚更新世中、晚期末次冰期（玉木冰期）的风沙沉积。其中,大致可分成５６～４２和３０～１０ｋａ两个相对较集中的都红砂沉积期,在这两期中,又以３０～１０ｋｇ晚玉木亚冰期（Ｑ３＾３）的老红砂发育规模最大,分布     

一种三次约束有理插值样条及其逼近性质

构造了一种仅依赖于函数值的有理三次插值样条,这种插值样条是C^1-连续的,并含有参数,具有较好的可约束控制性质。讨论了一类约束插值问题,给出了将一种曲线约束于给定折线上（下）方或之间的条件。讨论了该插值的逼近性质,给出了数值算例。     

用有限差分网格方法寻找辅助标志层——以南梁-华池油田为例用有限差分网格方法寻找辅助标志层——以南梁-华池油田为例

目的解决研究区小层划分对比上的问题。方法借鉴油藏数值模拟中的有限差分网格方法,利用测井资料提出油田开发中一种新的实用性较强的地层划分对比方法--有限差分网格方法。结果在层序地层和沉积旋回控制的基础上,重新标定出了研究区的小层对比统一标志,找出了一系列辅助标志层。结论研究结果对指导沉积矿产资源勘查,层序地层划分具有指导意义。