Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

论一种直观的思维模式——用运动的观点分析立体几何点滴

初等数学研究的数和形总是循着“运动变化”的轨迹走向纵深，渗透了辩证思想，把人们带进逻辑思维深奥而幽美的花园。如函数解析式：Y=f（X）中Y随着X的变化而变化，而连续函数的图象正是由点按某一规则运动而成的，即所谓轨迹。数与形的结合生动地描述了一种运动的变化，一种对立统一的思想方法，它已成为数学的重要思维模式和基本的理论知识。但学生较难在各数学分支中真正掌握这种思维方法；尤其是立体几何，它作为专门的一个数学分支把学生引向另一个似乎与此种思维方法无关的广阔天地去了。     

An Improved S-Random Interleaver Design for Turbo Code Based on Chaos Model

A new method to design interleaver based on Henon chaos model is presented. The designed interleaver is with rather random behavior. Experimental results show that the proposed S-henon interleaver make a magnitude of im provement in bit error rate （BER） performance by 0.4 dB compared with the S-random interleaver for AWGN channel respectively. The S-henon interleaver may be adapted to 3G mobile communication systems.     

用二进制编码改进数据库多维查询

对教务管理中选课系统的数据表设计和查询中的问题进行了分析,提出了使用二进制编码来改进数据库多维查询的冲突判断,达到简化程序设计和提高计算机系统效率的目的。这种分析和设计改进的是管理中的时间冲突问题,可以运用到ERP的关键人员、关键设备的时间冲突中去。其中的程序在Microsoft的SQLServer2000中运行。     

游戏在规则之间--解读唐宋词审美愉悦

词作为"艳科"、"小道",起源于宴乐,流行于舞榭歌场,以艳情柔媚的风格作为叙事方式,取代了诗歌的统治地位而成为鼎盛一时的文学主流.这样一种文学形式的流行和兴盛,可以说是一个社会符号系统对欲望的妥协.在这场语言的集体狂欢中,词作为一种特殊的文化景观,游戏在社会角色规则、性别规则以及语言本身的规则之中,成为中国古代文学一朵盛极而糜的奇葩,也为今世之人带来与众不同的审美愉悦.     

基于﹒NET平台的魔芋专家系统的设计与实现

通过对农业技术应用现状的分析,指出了研制网上魔芋专家系统的必要性以及主要功能。本论文介绍了ASP.NET技术的特点、ADO.NET技术、以及初级魔芋专家系统开发的部分实例。     

从数据中挖掘模糊规则及其系统实现

针对一类多输入单输出模糊逻辑系统，提出一种简单而有效的方法从数据库中挖掘模糊规则．该方法产生的模糊规则库具有良好的完备性和鲁棒性，从仿真实验可以看出利用数据挖掘方法建立的模糊系统具有更好的逼近能力．为了使该方法在应用上具有良好的通用性，设计和实现了基于组件技术的数据挖掘系统．     

多相脉冲压缩编码波形产生及压缩处理技术

由线性调频信号导出的P3、P4多相码是一类常见的脉冲压缩信号 ,这类信号具有一些有用的特性。主要研究了P3、P4多相码信号的数字波形产生及压缩处理方法 ,提出了两种基于直接数字合成 (directdigitalsynthe sis ,DDS)技术的多相码波形产生方法。分析讨论了几种降低输出旁瓣电平的压缩处理技术 ,即经典的窗函数幅度加权技术、最小二乘幅度和相位加权技术和压缩后两采样滑窗处理技术。给出了一些计算机仿真结果 ,表明了这几种压缩处理技术的有效性。     

小波变换在图像压缩中的应用

介绍了小波变换在图像压缩中的应用，并提出了小波基选择的几个准则。