鼠标文字输入法及其应用

鼠标文字输入法是我校首家推出的一种新型文字输入方法.这种方法是利用鼠标器作为文字输入设备,结合机器的窗口提示系统,而完成对文字信息的输入.具有易学好用的特点,本文介绍了这种方法的基本思想和应用该方法实现的多文种处理系统.     

双变迁Petri网的电路模拟技术研究

介绍了双变迁Petri网的基本理论,探讨了Petri网模型的逻辑电路描述方法;针对逻辑电路模拟双变迁Petri网所遇到的问题,提出了采用硬件描述语言模拟双变迁Petri网的方法,详细讨论了用Verilog语言实现双变迁Petri网的技术;通过一个双变迁Petri网模型实例,在模拟软件中进行了模拟分析,验证了方法的可行性。研究表明,使用硬件描述语言描述Petri网模型,利用现有的设计模拟工具,可以模拟模型运行,分析模型的特性,方法简便,适用范围广,为双变迁Petri网模拟分析提供了一种新途径。     

基于Petri网的软件维护过程建模及应用分析

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。     

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

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

基于Web工作流管理系统的解决方案

提出了一种基于Ｗｅｂ工作流管理系统的解决方案,该系统采用 ３层体系结构,实现上将ＣＯＲＢＡ与Ｊａｖａ相结合,利用分布式对象计算技术ＣＯＲＢＡ的代理机制来实现客户机与服务器的分离及通信。