基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

基于Voronoi图和离散微粒群优化算法的UCAV攻击轨迹决策

根据UCAV可发射区简化模型,提出了UCAV攻击轨迹决策问题。提出了UCAV攻击轨迹决策的分层设计方法,并将其转化为优化问题。首先根据已知的飞行环境,采用Voronoi图生成初始轨迹;然后通过建立攻击轨迹约束条件模型、飞行距离模型和威胁模型,以飞行距离和威胁代价为优化目标函数,构建了UCAV攻击轨迹决策模型,并在此基础上提出了一种离散微粒群优化(Discrete Particle Swarm Optimization, DPSO)算法对攻击轨迹决策模型进行求解。仿真结果表明,通过Voronoi图和DPSO算法能够较好地解决UCAV攻击轨迹决策问题,并能够在多约束条件下对目标函数进行组合优化。     

基于Java Web的图像拼接系统：WebPano

针对图像拼接系统从桌面移植到网上存在的用户体验和服务效率等瓶颈问题,提出一种基于模型-视图-摔制器框架的网卜图像拼接系统一WebPano,并采用JSP/Servlet和Java技术分别实现了系统的网络平台和核心的图像拼接算法.以用户目视为准则,在上传多幅高分辨率图像的条件下,对网上系统拼接服务质量进行了测试,并利用LoadRunner对多用户同时在线访问系统的负载性能进行了测试.结果表明,在网上图像拼接系统上可以实现与桌面系统相同的用户体验和服务效率.     

浅析住宅工程电气专业设计方法及审图中存在的问题

本文起因源于当前施工图审查中发现在住宅工程电气专业设计方面存在不少问题和通病,目的是向电气设计人员介绍一些住宅电气设计的基本方法,尽可能统一设计手法,提高设计质量。这些方法经过相关人员多次认真讨论,认为实际工作中可行,也可供住宅工程施工图审查时参考。     

丢番图方程x~4-Dy~2=1的几类可解情形和求解公式

利用初等方法及方程x⁴-Dy4-Dy²=1的解与Pell方程基本解的关系,找到使x2=1的解与Pell方程基本解的关系,找到使x⁴-Dy4-Dy²=1有正整数解的8类D值,并给出求解公式.当D=1 785,7 140,28 560时,能求出方程的一组解,对所给的其它D值,能求出方程的唯一解.结果表明,有无穷多个非平方的正整数D使方程x2=1有正整数解的8类D值,并给出求解公式.当D=1 785,7 140,28 560时,能求出方程的一组解,对所给的其它D值,能求出方程的唯一解.结果表明,有无穷多个非平方的正整数D使方程x⁴-Dy4-Dy²=1有正整数解.     

关于极大二部匹配可扩图

若简单图G的每一个二部匹配都可增扩为G的一个完美匹配,则称图G是二部匹配可扩图(简称BM-可扩图)。BM-可扩图广泛地存在于相对稠密的图类之中。讨论树梯图、加强树梯图和正则加强树梯图等图类,并在树梯图图类中确定了正则加强树梯图是加强树梯图中的极大BM-可扩图的刻画。该结论与Wang Xiu-mei一起给出了三类极大BM-可扩图的完全刻画。     

一类Clifford半群Cayley图的1 可扩性

Clifford半群是群的半格.将任意n阶匹配扩充成一个完美匹配,然后再研究Clifford半群可扩性.该文主要刻画任取e∈边集E(Γ) ,证明{e}可扩充为Γ的一个完美匹配.从而研究Clifford半群S= (G∪F,φ)的Cayley图Cay(S,C)的1 可扩性.     

蛛网图的连通包数

证明了蛛网图W （m ,n）的连通包数为hc （W （m ,n））＝ m＋2 n -1．通过对蛛网图进行简化处理,即将蛛网图W （m ,n）的叶子顶点去掉,得到图G的连通包数为hc （G）＝┌n2┐＋ m ．     

关于丢番图方程x^3＋1＝301y^2＊

鲁伟阳等人利用递归数列,同余式、平方剩余以及 Pell方程的解的性质证明了不定方程x^3＋1＝301y^2仅有整数解（x ,y ）＝（1,0）。该文给出方程x^3＋1＝301y^2的解。     

更正声明

<正>本刊2013年第01期上(总第507期)第150页登载的《简述企业工程招标失误分析与工程造价管理》论文的作者更正为:第一作者才曙明、第二作者王键;第165页登载的《简述数字化测图技术与地产测量应用》论文的第一作者更正为:王键;第164页登载的《浅析大体积混凝土浇注的施工技术和施工要点》论文的第二作者更正为:才曙明。