基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.     

基于关键链技术的工程项目进度管理模式

关键链（Critical Chain）是由高德拉特提出的一种以约束理论（TOC）为基础的工程项目管理方法。该方法在工程项目管理中的应用以及在确保工程进度的前提下，降低了不确定性因素风险概率、减少了不必要的成本以及保证了工程质量。     

两种带多约束的组播路由算法

组播对其成员节点能够提供服务质量,且组播在未来通信网络当中起到越来越重要的角色.对多约束斯坦利最小树问题,提出了基于Boruvka方法的多约束组播算法(BMCMRA)与基于Kruskal方法的多约束组播算法(KMCMRA).仿真试验表明算法具有良好代价性能,且能够很好地满足多约束条件.     

财会人员素质提升研究

<正>随着社会主义市场经济的逐步完善,财政和会计的改革力度也越来越大,各项改革的快速推进,使财会工作的环境越来越复杂,面临的各种矛盾也越来越多,新形势的发展,对财会人员提出了更高的要求,如何做一个合格的财会人员仍然是需要研究的课题。本文,笔者就如何提升财会人员素质谈一些想法。财会人员素质是财会工作者的体质、性格、气质、能力、知识和品质等要素的综合。要提升财会人员的素质,虽然各种外部原因有一定的影响,但是,财会人员作为主观能动的发挥主     

人力资本激励与约束

人力资本的激励是确保人力资本合法权益与正当社会地位的必要机制,人力资本的约束则是防范人力资本非法侵占公有货币资本的保障,两者相互依存又相互制约.文章将详细论述人力资本激励与约束机制的相关理论及其主要内涵.     

基于Client/Server数据完整性约束的实现技术

本论文主要讨论基于Client/Server数据完整性约束及其如何实施企业业务规则,并以PowerBuilder为例,介绍了数据完整性约束的实现技术。     

平面3自由度并联机构奇异位形研究

目的由引起机构部分构件运动的几何条件分析不同分支间引起的奇异位形。方法定义了构件之间相对运动的运动螺旋,分析了机构可以实现的运动自由度的个数及形式,以单个分支上的运动螺旋线性相关性判别奇异位形,得到奇异位形的几何意义。对于不同分支引起的奇异位形,假设将所有主动构件固定,由引起机构部分构件运动的几何条件来描述奇异位形的物理特征。结果得到了2类奇异位形在工作空间的分布特征。结论机构所有关节运动螺旋的反螺旋系代表了机构的公共约束,给出了发生各类奇异的判别准则。     

"草根经济"中的知识产权制度失灵现象及其探究

“草根经济”是指那些从家庭小作坊起步并至今仍带有原先经济模式痕迹的传统制造企业。从我们对长三角地区传统制造业创新转轨问题的调查情况看，“草根经济”中的知识产权保护存在着一定程度的制度失灵现象。这种制度失灵既和我国知识产权保护在民间缺乏足够的道德支持有关，也和知识产权制度的保护密度不适应“草根经济”的现状有关，还和我国知识产权制度的执法强度受到行政部门、乡亲情面等外部因素的干扰有关。知识产权制度失灵已经成为阻碍“草根经济”创新转轨的一大障碍，严重影响着我国传统制造业的健康持续发展。而改善知识产权保护教育，强化知识产权保护中的道德约束力，将是克服“草根经济”中知识产权制度失灵的重要对策。     

社会医疗保险诊疗项目“双轨制”的法制约束机制研究

社会医疗保险参保病人在医院就诊过程中,诊疗价格往往高于自费人员,诊疗项目也会多于一般就诊人员,造成参保病人的实际支出高于自费病人,通过对造成这种参保人员与自费人员不同价格与诊疗项目的"双轨制"形成原因与危害的分析,从法制约束机制角度提出相应的对策与建议。     

分子量分解问题

生命蛋白质是由若干种氨基酸经过不同的方式组合而成的,本题中将分子量为x的生命蛋白质分解为18种已知分子量a[i]氨基酸的和的形式,需要求解组合成蛋白质的氨基酸的所有可能形式。针对实验室没有计算机的情况下要求解对任意一个分子量x具体给出由哪些a[i](i=1,.......,n)氨基酸组成,由于计算量过大,我们通过假设实验室的化学等设备可以计算出蛋白质的分子式来增加计算中的约束条件,从而减小了计算量,再通过线性方程组求解计算出没有计算机的情况下的氨基酸组成个数。针对实验室有计算机的情况下,我们通过题目所给的条件列出等式,由于考虑到直接用所列出的等式计算一旦所给的数增大时,即使使用计算机也需要一定的时间才能得到答案,我们通过查阅的资料得到每个蛋白质N含量的限制为15%~17%,从而列出了约束条件,首先利用lingo求解,发现有一个最优解,不符合我们需要的解,再利用c语言编程出相应的程序,用软件算出解的个数及所有满足条件的组合。例如,得出x=1000时解的数量为2 0 6 5 0。