一种基于Petri网的半形式化面向对象的开发方法

在简要地论述了半形式化面向对象的开发方法的基本思想之后，着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Ｐｅｔｒｉ网的面向对象模型的形式化技术，给出了面向对象方法中一些基本概念的形式描述，旨在完整地形成一种基于Ｐｅｔｒｉ网的半形式化面向对象的开发方法．     

一类递归方程的解

本文研究一类递归方程的求解问题，利用形式幂级数方法得到了解序列的赘余母函 数。这一结论包含Ｎａｒａｙａｎａ，Ｒｏｈａｔｇｉ和Ｃａｒｌｉｔｚ的新近结果作为特例。作为应用，文中 证明了几个关于二项系数的组合恒等式。     

Test Generation with Unspecified Variable Assignments

ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs, testing and verification of the core-based designs become a challenging problem. This paper presents an algebraic test generation algorithm with unspecified variable assignments. Given a stuck at fault of the circuit with unspecified signals, the proposed algorithm uses a new encoding scheme for unspecified variable assignments, and solves the Boolean satisfiability formula representing the Boolean difference to obtain a test pattern. Experimental results demonstrate the efficiency and feasibility of the proposed algorithm.     

基本概念格的关联规则挖掘算法

在已有的基于概念格的关联规则挖掘算法中,搜索频繁结点的范围太大,从而导致花费大量的时间来产生关联规则。针对这一不足,利用“索引链表”数据结构来辅助快速地找到所有的频繁结点,缩小了结点的搜索范围,降低了概念格中挖掘关联规则算法的复杂度。     

农村非正式制度文化根源的哲学考察——以民族地区为例

文化是影响非正式制度存在和发生作用的一个重要因素,这一点在民族地区表现得尤为突出。通过把这些地区非正式制度的直接文化表现形式和这些文化表现形式产生的文化根源区分开来,有助于我们更深入地理解非正式制度,从而为探讨正式制度与非正式制度的有效整合方式,实现农村治理中的＂善治＂目标奠定基础。     

算子矩阵理论与常系数线性微分方程组求解（Ⅱ）

给出了用待定系数法求常系数非齐次线性微分方程组特解的充要条件和公式；研究了算子多项式矩阵的因式分解和算子多项式矩阵之逆的形式幂级数展开式的应用，得到了常系数线发生了微分方程组解若干新的公式。     

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

一种模型驱动的原型生成方法研究实现

随着模型驱动技术的重要性与日俱增，一系列基于模型的软件开发策略也日益被提出．提出一种模型驱动的原型生成方法，即从包含类模型与形式化约束的UML模型自动生成原型．该方法基于UML模型与OCL约束的形式化表示，对UML模型特别是静态结构部分作出形式化表示，并通过示例给予分析．基于类模型及形式化约束，原型按以下步骤生成：首先从类模型中生成实体对象集合（entity object set，EOS）；然后从类模型中生成包含操作按钮的原型界面；最后生成操作及约束的处理程序．为生成原型，须将类模型及约束条件转换成可执行的原子操作代码．这些原子操作用来创建、删除或更新对象，或者用来创建、删除对象间的关联关系．基于Java语言开发出一个从UML模型生成原型的支持工具，并通过一个简单的示例论证该方法的可行性．     

改革开放以来农村非正式制度变迁趋向探析

改革开放以来,农村非正式制度受到强烈冲击,发生了一系列新的变化,但其对社会发展的约束作用仍在很大范围内存在,甚至在有些地域依旧＂强势＂。立足于国家制度转型、变化的宏观背景,从非正式制度与正式制度的＂实然＂关系出发,探析非正式制度的变迁趋势,进而为国家正式制度设计和实施提供一定理论参考,不失为实现国家善治的一种积极尝试。     

技术知识共享研究——基于企业技术创新视角

技术知识是人们在改造和控制自然的实践过程中形成的技术原理、技术规则、技能的综合。技术知识共享能够促使企业内部技术知识储量增多,为企业技术创新提供智力支持。在企业技术创新过程中,技术知识共享的主体是个人、团体和组织,技术知识共享的内容是显性技术知识、隐性技术知识以及显性技术知识与隐性技术知识的相互转化,技术知识共享的手段包括传统和现代两种。技术知识共享包括正式创新网络和非正式创新网络两种模式,编码化策略和协调机制可以促进技术知识在正式创新网络中的共享,依靠情感、信任等因素维系的非正式创新网络有利于拓展技术知识共享的广度,加深技术知识共享的深度。